Compile fail for an old spad file

[Xiaojun]

Hi!

I'm trying to compile an old spad file but get an error:

)compile ORESUS.spad

 

   Compiling FriCAS source code from file 

      /Users/lxj/Dropbox/SourceCode/MyProjects/ORESUS/test/ORESUS.spad 

      using old system compiler.

   ORESUS abbreviates domain UnivariateSkewSeries 

------------------------------------------------------------------------

   initializing NRLIB ORESUS for UnivariateSkewSeries 

   compiling into NRLIB ORESUS 

   compiling exported coerce : R -> $

****** comp fails at level 2 with expression: ******

error in function coerce 

(|construct| | << | (|::| (|construct| |r|) (|Stream| R)) | >> | 0

             (|::| 0 (|OrderedCompletion| (|Integer|))))

****** level 2  ******

$x:= (:: (construct r) (Stream R))

$m:= R

$f:=

((((|r| # #) (|copy| #) (|setelt!| #) (|lo| #) ...)))

 

I'm pretty sure this file could be compiled before. It seems FriCAS has a lot of changes  

over time. 

So any suggestions on how to fix it?

The spad file is attached.

Thanks in advance!

BR

XJ

[oldk1331]

This is mostly due to change r2093 "Remove unsound structure
from completions", so OrderedCompletion doesn't have many
signatures anymore, especially 0$INF.

I patched your file in attachment.

> --
> 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...@googlegroups.com
> <mailto:fricas-devel...@googlegroups.com>.
> To post to this group, send email to fricas...@googlegroups.com
> <mailto:fricas...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/a3104bc3-77ba-4223-ae47-f04c4ba39adc%40googlegroups.com
> <https://groups.google.com/d/msgid/fricas-devel/a3104bc3-77ba-4223-ae47-f04c4ba39adc%40googlegroups.com?utm_medium=email&utm_source=footer>.
> For more options, visit https://groups.google.com/d/optout.

[Liu Xiaojun]

Hi oldk1331,

It's worked! Thanks very much!

BR

XJ

oldk1331 <oldk...@gmail.com> 于2019年6月5日周三 下午12:54写道：

To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
To post to this group, send email to fricas...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/0bc96f67-7d9b-0f65-66a4-d4f9b76388c5%40gmail.com.

For more options, visit https://groups.google.com/d/optout.

--

Best regards,
Xiaojun