Arrrghhh.... This interpreter drives me crazy.
(1) -> f2:String->Integer := (x:String):Integer+->position(char "0",x)
(1) theMap(*1;anonymousFunction;0;frame1;internal)
Type: (String -> Integer)
(2) -> f2("1230")
(2) 4
Type: PositiveInteger
(3) -> f2(12340)
(3) 5
Type: PositiveInteger
Is there somebody, who considers the above behaviour a good thing?
I could understand if f2 were not explicitly given a type. But in the
above situation I would rather like the autocoercion not to apply to the
argument. In other words (3) should fail.
Am I alone with that wish?
BTW, I cannot even find a function coerce: Integer -> String, neither in
String nor in Integer. The only one that looks like the one being
applied is string: Integer -> String. Why would this function be allowed
to be applied automatically?
I vote for removinng this autocoercion.
Other opinions?
Ralf
--
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.
