Obviously, the commit modified the output of .ap files.
Before and after we have
(1) -> )boot GETDATABASE('Eltable, 'CONSTRUCTORCATEGORY)
(EVAL-WHEN (EVAL LOAD)
(PROG () (RETURN (GETDATABASE '|Eltable| 'CONSTRUCTORCATEGORY))))
Value = (|Join| (CATEGORY |domain| (SIGNATURE |elt| (|t#2| $ |t#1|))))
However, where before the commit we get
(1) -> )boot modemapToAx(GETDATABASE('Eltable, 'CONSTRUCTORMODEMAP))
(EVAL-WHEN (EVAL LOAD)
(PROG ()
(RETURN (|modemapToAx| (GETDATABASE '|Eltable| 'CONSTRUCTORMODEMAP)))))
Value = (|Define|
(|Declare| |Eltable|
(|Apply| ->
(|Comma| . #1=((|Declare| |#1| |Type|) (|Declare| |#2| |Type|)))
|Category|))
(|Lambda| (|Comma| . #1#) |Category|
(|Label| |Eltable|
(|With| NIL
(|Sequence|
(|Declare| |apply|
(|Apply| -> (|Comma| % |#1|) |#2|)))))))
whereas after this becomes
(1) -> )boot modemapToAx(GETDATABASE('Eltable, 'CONSTRUCTORMODEMAP))
(EVAL-WHEN (EVAL LOAD)
(PROG ()
(RETURN (|modemapToAx| (GETDATABASE '|Eltable| 'CONSTRUCTORMODEMAP)))))
Value = (|Define|
(|Declare| |Eltable|
(|Apply| ->
(|Comma| . #1=((|Declare| |#1| |Type|) (|Declare| |#2| |Type|)))
|Category|))
(|Lambda| (|Comma| . #1#) |Category|
(|Label| |Eltable|
(|With| NIL
(|Sequence|
(|Declare| |apply|
(|Apply| ->
(|Comma| (|RestrictTo| (|LitString| "%") |Symbol|)
|#1|)
|#2|)))))))
I think it is the removal of the line
axFormatType(typeform) ==
atom typeform =>
typeform = '$ => '% <---------
STRINGP typeform =>
['Apply,'Enumeration, INTERN typeform]
...
MEMQ(typeform, $FormalMapVariableList) => typeform
axAddLiteral('string, 'Symbol, 'Literal)
['RestrictTo, ['LitString, PNAME typeform], 'Symbol]
typeform is ['construct,: args] =>
axAddLiteral('bracket, ['Apply, 'List, 'Symbol], [ 'Apply,
'Tuple, 'Symbol])
axAddLiteral('string, 'Symbol, 'Literal)
['RestrictTo, ['Apply, 'bracket,
:[axFormatType a for a in args]],
['Apply, 'List, 'Symbol] ]
because falling through seems to be the source of this |RestrictTo|.
Maybe thes is another place. But that is for tomorrow... Too late now.
Ralf
On 23.04.23 01:24, Ralf Hemmecke wrote:
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/eaa479cc-c097-4b85-ade4-f8b9303de244%40hemmecke.org.
