Serge D. Mechveliani wrote:
>
> 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.
1) Spad strings are multilne, so the compiler takes next lines
as part of the string.
2) Normally you get syntax error when eventually compiler realizes
that there is no closing quote.
3) You may have missed error message because after finding error
in DPARSE apparently compiler compiles DPARSE1.
4) Compiler overwrites output (that is "DPARSE.NRLIB") only after
successful compilation. Otherwise "DPARSE.NRLIB" is unchanged.
In case of parse errors there should be no output, in case of
other errors compiler leaves trash in "DPARSE.erlib".
--
Waldek Hebisch
[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.
