Hello,

with the recent commit

  Directly use '%' in types, do not rename it to '$'

the fricas-aldor-interface fails to build. I investigate later more deeply.

Ralf



aldor -Wname=fricas -Mno-abbrev -Mpreview -Y al -L FriCASLib=fricas_A1AGG -fao=ao/A1AGG.ao ap/A1AGG.ap 2>&1 | tee tmp/A1AGG_ao.out
(Message Preview)

#1 (Error) Have determined 1 possible types for the expression.
        Meaning 1: Symbol
  The context requires an expression of type Tuple(Type).

(Message Preview)

#2 (Error) Have determined 1 possible types for the expression.
        Meaning 1: Symbol,  with ,  with
  The context requires an expression of type Tuple(Type).

(Message Preview)

#3 (Error) Argument 1 of `->' did not match any possible parameter type. The rejected type is Symbol, with , with .
    Expected type Tuple(Type).

(Message Preview)
"ap/A1AGG.ap", line 17:
                              (|RestrictTo| (|LitString| "%") |Symbol|)))
............................................^
[L17 C45] #4 (Error) No meaning for string-style literal `"%"'.

(Message Preview)

#5 (Error) Have determined 1 possible types for the expression.
        Meaning 1: Symbol
  The context requires an expression of type Tuple(Type).

(Message Preview)

#6 (Error) Have determined 1 possible types for the expression.
        Meaning 1: Symbol,  with
  The context requires an expression of type Tuple(Type).

(Message Preview)

#7 (Error) Argument 1 of `->' did not match any possible parameter type. The rejected type is Symbol, with .
    Expected type Tuple(Type).

--
You received this message because you are subscribed to the Google Groups "FriCAS - 
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/7796596d-cf78-a87f-f919-9704979bd6c7%40hemmecke.org.

Reply via email to