On Sat, May 06, 2023 at 10:06:55PM +0200, Ralf Hemmecke wrote:
> 1) -> )set break break
> (1) -> )co sieve.as
> Compiling FriCAS source code from file
> /home/hemmecke/backup/git/fricas-bisect/aldortest/sieve.as using
> Aldor compiler and options
> -O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y
> $FRICAS/algebra -I $FRICAS/algebra
> Use the system command )set compiler args to change these
> options.
> Compiling Lisp source code from file ./sieve.lsp
> Issuing )library command for sieve
> Reading /home/hemmecke/backup/git/fricas-bisect/aldortest/sieve.asy
> (1) -> sieve 3
>
> debugger invoked on a UNDEFINED-FUNCTION @52A005B4 in thread
> #<THREAD "main thread" RUNNING {10023F0103}>:
> The function FOAM-USER::|fiRaiseException| is undefined.
>
> Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
>
> restarts (invokable by number or by possibly-abbreviated name):
> 0: [CONTINUE ] Retry calling FOAM-USER::|fiRaiseException|.
> 1: [USE-VALUE ] Call specified function.
> 2: [RETURN-VALUE ] Return specified values.
> 3: [RETURN-NOTHING] Return zero values.
> 4: [ABORT ] Exit from the current thread.
>
> ("undefined function" "Export not found
>
> ================================================
>
> The curor stops exactly after the "found". No closing paren visible.
>
> If I type 3 ENTER, I get:
You should just type 'backtrace 5'. Or may ENTER for clearer
position on the screen. IIUC 3 return from current function
obscuring exact location of the error.
>
> <THREAD "main thread" RUNNING {10023F0103}>:
> User error: Reached a 'never'
>
> Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
>
> restarts (invokable by number or by possibly-abbreviated name):
> 0: [ABORT] Exit from the current thread.
>
> (FOAM:|Halt| 102)
> source: (ERROR
> (COND ((= N 101) "System Error: Unfortunate use of dependent
> type")
> ((= N 102) "User error: Reached a 'never'")
> ((= N 103) "User error: Bad union branch")
> ((= N 104) "User error: Assertion failed")
> (T (FORMAT NIL "Unknown halt condition ~a" N))))
>
> After that I could use
>
> backtrace 5
>
> Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {10023F0103}>
> 0: (FOAM:|Halt| 102)
> 1: (FOAM-USER::|C50-runtime-lazyForceImport|
This is inside Aldor runtime, looks like function responsible
for runtime search for funtions.
> From here I have no idea how to continue. If it helps, I also attache
> sieve.lsp and sieve.asy as generated by aldor. But they are identical for
> both c4482787fec4223e96960c1dfaa628cab40ec145 and
> fa45633db5587c104bcdd4e9a1889bd1650a3901.
>
> Interestingly, FriCAS c4482787fec4223e96960c1dfaa628cab40ec145 works.
> And when I compile sieve.as against the libfricas.al from that version, only
> sieve.fasl is different. So the problem must lie inside libfricas.al.
Clearly this is problem of incompatiblity of runtimes. Something
must still assume that FriCAS function signatures contain '$'.
One point is that 'hashType' in 'hashcode.boot' must compute the
same value which Aldor computes. Or there are some places where
current domain needs special case and it may still use '$'.
--
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/20230506220906.xa6ermtjcyxohozp%40fricas.math.uni.wroc.pl.
