Dear Axiom developers,
the FriCAS-1.1.5 compiler compiles the program of kind
--------------------------------------------------------------
[skipped about 80 lines]
...
f(lexs : String) : Product(String, List String) ==
...
empty? lexs => error "f [(] -- forgotten quote
construct(first lexs, rest lexs) $ Product(String, List Lexeme)
Lexeme ==> String
LexList ==> List String
)abbrev package DPARSE1 DParse1
DParse1(T : SetCategory) : with
dParseL : LexList -> Product(T, LexList)
dParse : String -> T
==
add
import DChar1
dParse(str : String) : T == first dParseL(lexLots(str))
--------------------------------------------------------------
while there is no closing quote in "f [(]
(I did not try to run it).
May be the compiler is right. But I wonder what is this happy case
that makes this code compiled, even with all message being regular.
Regards,
------
Sergei
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
