Can somebody tell me why the attached program does not compile?
The error message looks not very helpful.
Is that a bug?
Ralf
(1) -> )co bug.spad
Compiling FriCAS source code from file
/home/hemmecke/backup/git/qeta/src/bug.spad using old system
compiler.
FOO abbreviates domain Foo
------------------------------------------------------------------------
initializing NRLIB FOO for Foo
compiling into NRLIB FOO
compiling exported foo : () -> Boolean
****** comp fails at level 3 with expression: ******
error in function foo
(SEQ (|:=| (|:| |a| (|List| (|List| (|Integer|)))) (|empty|))
(|:=| (|:| |b| (|List| (|List| (|Integer|)))) (|empty|))
(|exit| 1 | << | (< |a| |b|) | >> |))
****** level 3 ******
$x:= (< a b)
$m:= (Boolean)
$f:=
((((|b| # #) (|a| # #) (|foo| #) (|$DomainsInScope| # # #) ...)))
>> Apparent user error:
not known that (List (List (Integer))) has (AND (has (List (List
(Integer))) (finiteAggregate)) (has (List (Integer)) (OrderedSet)))
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/7c2d6bf6-9df0-b819-b368-e90bd331376c%40hemmecke.org.
)abbrev domain FOO Foo
Foo(): Exports == Implementation where
Exports ==> with
foo: () -> Boolean
Implementation ==> add
foo(): Boolean ==
a: List List Integer := empty()
b: List List Integer := empty()
a < b
