On Tue, May 02, 2023 at 11:37:01PM +0200, Ralf Hemmecke wrote:
> Waldek,
>
> I have a compiled FriCAS on top of b29704530432ef7c8de7dae5.
Are you sure?
> The attached file is not finished, but the error message shows $ instead of
> %.
>
> It eems you still have missed some places and $ still survived somehow.
>
> Ralf
>
>
> compiling exported - : $ -> $
> ****** comp fails at level 5 with expression: ******
> error in function -
>
> (SEQ (|:=| (|:| |c| C) (- 1))
> (|exit| 1
> (|pretend|
> (@ | << | (|construct| |c| |x|) | >> |
> (|Union|
> (|:| |bin|
> (|Record| (|:| |fun| (|Mapping| B B B)) (|:| |fst| $)
> (|:| |snd| $)))
> (|:| |cmul| (|Record| (|:| |const| C) (|:| |el| $)))
> (|:| |expn|
> (|Record| (|:| |base| $) (|:| |expo| (|NonNegativeInteger|))))
> (|:| |elem| B)))
> $)))
> ****** level 5 ******
> $x:= (construct c x)
> $m:= (Union (: bin (Record (: fun (Mapping B B B)) (: fst $) (: snd $))) (:
> cmul (Record (: const C) (: el $))) (: expn (Record (: base $) (: expo
> (NonNegativeInteger)))) (: elem B))
> $f:=
> ((((|c| # #) (|x| # #) (|case| #) (|elt| #) ...)))
>
> >> Apparent user error:
> NoValueMode
> is an unknown mode
Using recent trunk I see % in compiler messages.
--
Waldek Hebisch
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20230502230834.qgalxrfldfqjpp3b%40fricas.math.uni.wroc.pl.
