-------------------------------------
)abbrev package LENCHK LengthCheck
LengthCheck(): with
f: List Integer -> Boolean
== add
f l ==
if one?(# l) then true
else false
-------------------------------------
is OK,
-------------------------------------
)abbrev package LENCHK LengthCheck
LengthCheck(): with
f: List Integer -> Boolean
== add
f l ==
if one? # l then true
else false
-------------------------------------
fails:
(50) -> )co test.spad )co LENCHK
Compiling FriCAS source code from file
/home/martin/martin/Axiom/test.spad using old system compiler.
LENCHK abbreviates package LengthCheck
******** Boot Syntax Error detected ********
The current line is:
6> if one? # l then true
^
Currently preparsed lines are:
7> else false
The number of valid tokens is 1.
The current token is
#S(TOKEN :SYMBOL |#| :TYPE SPECIAL-CHAR :NONBLANK T)
is an instance of class #<STRUCTURE-CLASS TOKEN>.
The following slots have :INSTANCE allocation:
SYMBOL |#|
TYPE SPECIAL-CHAR
NONBLANK T
The prior token was
#S(TOKEN :SYMBOL |one?| :TYPE IDENTIFIER :NONBLANK NIL)
is an instance of class #<STRUCTURE-CLASS TOKEN>.
The following slots have :INSTANCE allocation:
SYMBOL |one?|
TYPE IDENTIFIER
NONBLANK NIL
-------------------------------------
)abbrev package LENCHK LengthCheck
LengthCheck(): with
f: List Integer -> Boolean
== add
f l == one? # l
-------------------------------------
fails:
(50) -> )co test.spad )co LENCHK
Compiling FriCAS source code from file
/home/martin/martin/Axiom/test.spad using old system compiler.
LENCHK abbreviates package LengthCheck
------------------------------------------------------------------------
initializing NRLIB LENCHK for LengthCheck
compiling into NRLIB LENCHK
compiling exported f : List Integer -> Boolean
****** comp fails at level 1 with expression: ******
error in function f
(|one?|)
****** level 1 ******
$x:= one?
$m:= (Boolean)
$f:=
((((|last| #) (|rest| #) (|first| #) (|value| #) ...)))
>> Apparent user error:
unspecified error
Martin
--
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 fricas-de...@googlegroups.com.
To unsubscribe from this group, send email to
fricas-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=.
