Use of % instead of $

6 views
Skip to first unread message

Ralf Hemmecke

unread,
May 2, 2023, 5:37:03 PM5/2/23
to fricas-devel
Waldek,

I have a compiled FriCAS on top of b29704530432ef7c8de7dae5.

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
myalg.spad

Waldek Hebisch

unread,
May 2, 2023, 6:26:00 PM5/2/23
to fricas...@googlegroups.com
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?
Using recent trunk I see % in compiler messages.

--
Waldek Hebisch

Ralf Hemmecke

unread,
May 2, 2023, 6:38:16 PM5/2/23
to fricas...@googlegroups.com
> I have a compiled FriCAS on top of b29704530432ef7c8de7dae5.
>
> Are you sure?
Oooops. Sorry. Due to my constant rebasing locally, I made an error. My
build was from some commits before your patches. I'm sorry for wasting
your time.

Ralf
Reply all
Reply to author
Forward
0 new messages