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:
<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| #(NIL (#(0 (#<FUNCTION
FOAM-USER::|C81-runtime-n|> . #1=(# #)) NIL (#<FUNCTION
FOAM-USER::|C82-runtime-ptrg|> . #1#) (#<FUNCTION
FOAM-USER::|C83-runtime-h|> . #1#) (#<FUNCTION
FOAM-USER::|C86-runtime-i|> . #1#)) 1 #(|oldAxiomDomain| (#<FUNCTION
|oldAxiomDomainDevaluate|>) (NIL) (#<FUNCTION
|oldAxiomDomainLookupExport|>) (#<FUNCTION |oldAxiomDomainHashCode|>)
(#<FUNCTION |oldAxiomAddChild|>)) 740244383 . #2=#(#3=(|Boolean|)
(#<FUNCTION |lookupComplete|> #2# #(~= 10 ~ 16 |xor| 21 |true| 27 |test|
31 |smaller?| 36 ...)) NIL 0 (#(|Logic&| T T T |OrderedSet&| T T T
|Finite&| T T T ...) #(# # # # # # # # # # # # ...) . #(1 29 0 28 30 1
33 0 32 34 2 0 ...)) NIL #3# (#<FUNCTION |BOOLEAN;test;2%;1|> . #2#)
(#4=#<FUNCTION |makeSpadConstant|> #<FUNCTION |BOOLEAN;true;%;3|> #2# 8)
(#4# #<FUNCTION |BOOLEAN;false;%;4|> #2# 9) (#<FUNCTION
|BOOLEAN;not;2%;5|> . #2#) (#<FUNCTION |BOOLEAN;~;2%;6|> . #2#) ...))
11137124 740244383 NIL) #<unused argument>)
2: (FOAM-USER::|C1-sieve-sieve| 2 (#S(FOAM-USER::|Struct-sieve-7|
:|Boolean-0| #1=(#(0 (#2=#<FUNCTION FOAM-USER::|C81-runtime-n|> . #3=#)
NIL (#4=#<FUNCTION FOAM-USER::|C82-runtime-ptrg|> . #3#) (#5=#<FUNCTION
FOAM-USER::|C83-runtime-h|> . #3#) (#6=#<FUNCTION
FOAM-USER::|C86-runtime-i|> . #3#)) 1 #(|oldAxiomDomain| (#<FUNCTION
|oldAxiomDomainDevaluate|>) (NIL) (#<FUNCTION
|oldAxiomDomainLookupExport|>) (#<FUNCTION |oldAxiomDomainHashCode|>)
(#<FUNCTION |oldAxiomAddChild|>)) 740244383 . #7=#(#8=(|Boolean|)
(#<FUNCTION |lookupComplete|> #7# #) NIL 0 (# # . #) NIL #8# (#<FUNCTION
|BOOLEAN;test;2%;1|> . #7#) (#9=#<FUNCTION |makeSpadConstant|>
#<FUNCTION |BOOLEAN;true;%;3|> #7# 8) (#9# #<FUNCTION
|BOOLEAN;false;%;4|> #7# 9) (#<FUNCTION |BOOLEAN;not;2%;5|> . #7#)
(#<FUNCTION |BOOLEAN;~;2%;6|> . #7#) ...)) :|NonNegativeInteger-1|
#10=(#(0 (#2# . #11=#) NIL (#4# . #11#) (#5# . #11#) (#6# . #11#)) 1 #(0
(#<FUNCTION FOAM-USER::|C70-runtime-n|> . #12=#) NIL (#<FUNCTION
FOAM-USER::|C71-runtime-extendg|> . #12#) (#<FUNCTION
FOAM-USER::|C72-runtime-h|> . #12#) (#<FUNCTION
FOAM-USER::|C73-runtime-i|> . #12#)) . #((#<FUNCTION
FOAM-USER::|C65-axextend-extend0|> . #13=#) NIL 0 #(2 2 #) NIL NIL NIL
NIL NIL 0 0 #(0 # # 15) ...)) :|PrimitiveArray-2| (|runOldAxiomFunctor|
. |PrimitiveArray|) :|true-3| #(NIL #1# 11137124 740244383 NIL)
:|false-4| #(NIL #1# 13900568 740244383 NIL) :|+-5| (#14=#<FUNCTION
FOAM-USER::|C54-axextend-+|> . #15=(#S(FOAM-USER::|Struct-axextend-9|
:|mod-0| # :|rem-1| # :|quo-2| # :>=-3 # :<=-4 # :>-5 # :<-6 # :=-7 #
:|--8| # :*-9 # :|+-10| # :|zero?-11| # ...) (NIL #13#))) :|0-6| #(NIL
#10# 200089 172927374 NIL) :*-7 #16=(#17=#<FUNCTION
FOAM-USER::|C118-runtime-lazyGetter|> .
#18=(#S(FOAM-USER::|Struct-runtime-28| :|getter-0| # :|flag-1| NIL
:|self-2| #16#) #19=(# NIL) #20=#<FUNCTION
FOAM-USER::|C106-runtime-lazyGetter2|> . #18#)) :|1-8| #(T NIL 200090
172927374 1) :|integer-9| #21=(#22=#<FUNCTION
FOAM-USER::|C126-runtime-lazyGetter|> .
#23=(#S(FOAM-USER::|Struct-runtime-28| :|getter-0| # :|flag-1| NIL
:|self-2| #21#) #19# #20# . #23#)) :|coerce-10| #24=(#22# .
#25=(#S(FOAM-USER::|Struct-runtime-28| :|getter-0| # :|flag-1| NIL
:|self-2| #24#) #19# #20# . #25#)) :|..-11| #26=(#17# .
#27=(#S(FOAM-USER::|Struct-runtime-28| :|getter-0| # :|flag-1| NIL
:|self-2| #26#) #19# #20# . #27#)) ...) NIL))
3: (SB-EVAL::EVAL-THE ((VALUES T) (FUNCALL (THE FUNCTION (CAR
#1=#:G442)) 2 (CDR #1#))) #<SB-EVAL::ENV {1004A92AF3}>)
4: (SB-EVAL:EVAL-IN-NATIVE-ENVIRONMENT (SPADCALL 2
FOAM-USER::|G-sieve_sieve_825325564|) #<NULL-LEXENV>)
0]
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.
Well, I have to compare all the generated .ap files in the src-aldor
directory. Ufff...no differences except some fasl files and the version
string in the .log files.
Makefile2 | 4 ++--
Makefile3 | 4 ++--
cliques | Bin 3220504 -> 3220928 bytes
lib/axextend.fasl | Bin 758561 -> 758561 bytes
lib/axlit.fasl | Bin 267107 -> 267107 bytes
lib/boolean0.fasl | Bin 10671 -> 10671 bytes
lib/lang.fasl | Bin 251632 -> 251632 bytes
lib/minimach.fasl | Bin 91148 -> 91148 bytes
lib/runtime.fasl | Bin 488118 -> 488118 bytes
lib/subsetc.fasl | Bin 32418 -> 32418 bytes
And the above looks unsuspicious. Probably just a timestamp difference.
Even better. The generated libfricas.al is bitidentical in FriCAS
c4482787fec4223e96960c1dfaa628cab40ec145 (working) and
fa45633db5587c104bcdd4e9a1889bd1650a3901 (nonworking).
Doesn't that suggest that FriCAS is to blame and not Aldor?
What could it be???
Ralf
--
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/653395d8-6bc4-71e5-445c-905589530cac%40hemmecke.org.
((|Declare|
|sieve|
(|Apply|
->
(|Declare|
|n|
|NonNegativeInteger|
((|symeNameCode| . 200151)
(|symeTypeCode| . 114180905)
(|srcpos| . 9)
(|constNum| . 0)))
|NonNegativeInteger|)
((|symeNameCode| . 849565737)
(|symeTypeCode| . 825325564)
(|srcpos| . 9)
(|constNum| . 0))))
(|Sequence|)
;;;
;;; Lisp code generated by Aldor from file "sieve.as".
;;;
(in-package "FOAM-USER")
(declare-prog (|C0-sieve-sieve|) ((|e1| |Env|)))
(declare-prog
(|C1-sieve-sieve| |Word|)
((|P0-n| |Word|) (|e1| |Env|)))
(declare-prog
(|C2-sieve-lazyFnGetter| |Clos|)
((|P0-init| |Word|) (|e1| |Env|)))
(declare-prog
(|C3-sieve-lazyGetter| |Clos|)
((|P0-a| |Word|) (|e1| |Env|)))
(declare-prog (|C4-sieve-lazyGetter2|) ((|e1| |Env|)))
(declare-prog
(|C5-sieve-fricas-init| |Word|)
((|P0-idx| |SInt|) (|e1| |Env|)))
(declare-prog
(|C6-sieve-axextend-init| |Word|)
((|P0-idx| |SInt|) (|e1| |Env|)))
(declare-type |G-sieve| |Clos|)
(declare-type |G-sieve_sieve_825325564| |Clos|)
(defspecials |G-sieve_sieve_825325564|)
(|DDecl|
|Struct-sieve-5|
(|done?-0| |Clos|)
(|step!-1| |Clos|)
(|value-2| |Clos|)
(|bound-3| |Clos|))
(|DDecl|
|Struct-sieve-6|
(|getter-0| |Clos|)
(|flag-1| |Bool|)
(|self-2| |Clos|))
(|DDecl|
|Struct-sieve-7|
(|Boolean-0| |Word|)
(|NonNegativeInteger-1| |Word|)
(|PrimitiveArray-2| |Clos|)
(|true-3| |Word|)
(|false-4| |Word|)
(\+-5 |Clos|)
(\0-6 |Word|)
(*-7 |Clos|)
(\1-8 |Word|)
(|integer-9| |Clos|)
(|coerce-10| |Clos|)
(\..-11 |Clos|)
(|UniversalSegment-12| |Clos|)
(|generator-13| |Clos|)
(|by-14| |Clos|)
(|apply-15| |Clos|)
(|set!-16| |Clos|)
(|new-17| |Clos|)
(|dom-18| |Word|)
(|dom-19| |Word|)
(|dom-20| |Word|)
(|dom-21| |Word|)
(\-22 |Bool|)
(\-23 |Bool|))
(defprog
((|C0-sieve-sieve|) ((|e1| |Env|)))
((t0 |Clos|)
(t1 |Clos|)
(t2 |SInt|)
(t3 |SInt|)
(t4 |SInt|)
(|l0| |Level|)
(|e0| |Env|))
(setq |l0| (|MakeLevel| |MAKE-Struct-sieve-7| |Struct-sieve-7|))
(setq |e0| (|MakeEnv| |e1| |l0|))
(tagbody
(|CCall| |G-runtime|)
(setq |G-sieve| |G-noOperation|)
(setq t0 (|Clos| |e0| |C6-sieve-axextend-init|))
(setq t1 (|Clos| |e0| |C5-sieve-fricas-init|))
(setq |G-sieve_sieve_825325564| (|Clos| |e0| |C1-sieve-sieve|))
(|SetLex| |Struct-sieve-7--22| 22 |l0| (the |Bool| nil))
(|SetLex| |Struct-sieve-7--23| 23 |l0| (the |Bool| nil))
(|SetLex|
|Struct-sieve-7-NonNegativeInteger-1|
1
|l0|
(|CCall| |G-rtLazyDomFrInit| t0 (the |SInt| 0)))
(|SetLex|
|Struct-sieve-7-dom-18|
18
|l0|
(|Lex| |Struct-sieve-7-NonNegativeInteger-1| 1 |l0|))
(|SetLex|
|Struct-sieve-7-1-8|
8
|l0|
(|CCall|
|G-lazyGetExport!|
(|Lex| |Struct-sieve-7-dom-18| 18 |l0|)
(the |SInt| 200090)
(the |SInt| 172927374)))
(|SetLex|
|Struct-sieve-7-+-5|
5
|l0|
(|CCall|
|G-stdGetWordWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-18| 18 |l0|)
(the |SInt| 200084)
(the |SInt| 804459118))))
(|SetLex|
|Struct-sieve-7-Boolean-0|
0
|l0|
(|CCall| |G-rtLazyDomFrInit| t1 (the |SInt| 0)))
(|SetLex|
|Struct-sieve-7-dom-19|
19
|l0|
(|Lex| |Struct-sieve-7-Boolean-0| 0 |l0|))
(|SetLex|
|Struct-sieve-7-true-3|
3
|l0|
(|CCall|
|G-lazyGetExport!|
(|Lex| |Struct-sieve-7-dom-19| 19 |l0|)
(the |SInt| 11137124)
(the |SInt| 740244383)))
(|SetLex|
|Struct-sieve-7-PrimitiveArray-2|
2
|l0|
(|CCall|
|G-stdGetWordRetWord0|
(|CCall| |G-rtDelayedInit!| t1 (the |SInt| 1))))
(|SetLex|
|Struct-sieve-7-dom-20|
20
|l0|
(|CCall|
(|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)
(|Lex| |Struct-sieve-7-Boolean-0| 0 |l0|)))
(|FoamEnvEnsure|
(|ClosEnv| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)))
(when
(|SIntIsZero|
(|ProgHashCode|
(|ClosFun| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|))))
(go |Lab0|))
(setq
t2
(|SIntHashCombine|
(the |SInt| 740244383)
(|ProgHashCode|
(|ClosFun| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)))))
|Lab1|
(|SetLex|
|Struct-sieve-7-new-17|
17
|l0|
(|CCall|
|G-stdGetWordWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-20| 20 |l0|)
(the |SInt| 318528389)
(|SIntHashCombine| t2 (the |SInt| 1020327573)))))
(|SetLex|
|Struct-sieve-7-0-6|
6
|l0|
(|CCall|
|G-lazyGetExport!|
(|Lex| |Struct-sieve-7-dom-18| 18 |l0|)
(the |SInt| 200089)
(the |SInt| 172927374)))
(|SetLex|
|Struct-sieve-7-integer-9|
9
|l0|
(|CCall|
|G-stdGetWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-18| 18 |l0|)
(the |SInt| 477900237)
(the |SInt| 541960708))))
(|SetLex|
|Struct-sieve-7-UniversalSegment-12|
12
|l0|
(|CCall|
|G-stdGetWordRetWord0|
(|CCall| |G-rtDelayedInit!| t0 (the |SInt| 1))))
(|SetLex|
|Struct-sieve-7-dom-21|
21
|l0|
(|CCall|
(|Lex| |Struct-sieve-7-UniversalSegment-12| 12 |l0|)
(|Lex| |Struct-sieve-7-NonNegativeInteger-1| 1 |l0|)))
(|FoamEnvEnsure|
(|ClosEnv| (|Lex| |Struct-sieve-7-UniversalSegment-12| 12 |l0|)))
(|SetLex|
|Struct-sieve-7-generator-13|
13
|l0|
(|C2-sieve-lazyFnGetter|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-21| 21 |l0|)
(the |SInt| 113320568)
(the |SInt| 449293618))
|e0|))
(|FoamEnvEnsure|
(|ClosEnv| (|Lex| |Struct-sieve-7-UniversalSegment-12| 12 |l0|)))
(|SetLex|
|Struct-sieve-7-..-11|
11
|l0|
(|CCall|
|G-stdGetWordWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-21| 21 |l0|)
(the |SInt| 51488814)
(the |SInt| 258380167))))
(|FoamEnvEnsure|
(|ClosEnv| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)))
(when
(|SIntIsZero|
(|ProgHashCode|
(|ClosFun| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|))))
(go |Lab2|))
(setq
t3
(|SIntHashCombine|
(the |SInt| 740244383)
(|ProgHashCode|
(|ClosFun| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)))))
|Lab3|
(|SetLex|
|Struct-sieve-7-apply-15|
15
|l0|
(|CCall|
|G-stdGetWordWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-20| 20 |l0|)
(the |SInt| 306472243)
(|SIntHashCombine|
(the |SInt| 740244383)
(|SIntHashCombine|
(the |SInt| 32236)
(|SIntHashCombine|
(the |SInt| 484208045)
(|SIntHashCombine| t3 (the |SInt| 51489085))))))))
(|SetLex|
|Struct-sieve-7-coerce-10|
10
|l0|
(|CCall|
|G-stdGetWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-18| 18 |l0|)
(the |SInt| 770345191)
(the |SInt| 307259515))))
(|SetLex|
|Struct-sieve-7-*-7|
7
|l0|
(|CCall|
|G-stdGetWordWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-18| 18 |l0|)
(the |SInt| 200083)
(the |SInt| 804459118))))
(|FoamEnvEnsure|
(|ClosEnv| (|Lex| |Struct-sieve-7-UniversalSegment-12| 12 |l0|)))
(|FoamEnvEnsure|
(|ClosEnv| (|Lex| |Struct-sieve-7-UniversalSegment-12| 12 |l0|)))
(|SetLex|
|Struct-sieve-7-by-14|
14
|l0|
(|CCall|
|G-stdGetWordWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-21| 21 |l0|)
(the |SInt| 51500205)
(the |SInt| 951181325))))
(|FoamEnvEnsure|
(|ClosEnv| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)))
(when
(|SIntIsZero|
(|ProgHashCode|
(|ClosFun| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|))))
(go |Lab4|))
(setq
t4
(|SIntHashCombine|
(the |SInt| 740244383)
(|ProgHashCode|
(|ClosFun| (|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)))))
|Lab5|
(|SetLex|
|Struct-sieve-7-set!-16|
16
|l0|
(|CCall|
|G-stdGetWordWordWordRetWord0|
(|CCall|
|G-rtDelayedGetExport!|
(|Lex| |Struct-sieve-7-dom-20| 20 |l0|)
(the |SInt| 55906833)
(|SIntHashCombine|
(the |SInt| 740244383)
(|SIntHashCombine|
(the |SInt| 32236)
(|SIntHashCombine|
(the |SInt| 740244383)
(|SIntHashCombine|
(the |SInt| 484208045)
(|SIntHashCombine| t4 (the |SInt| 51489085)))))))))
(|SetLex|
|Struct-sieve-7-false-4|
4
|l0|
(|CCall|
|G-lazyGetExport!|
(|Lex| |Struct-sieve-7-dom-19| 19 |l0|)
(the |SInt| 13900568)
(the |SInt| 740244383)))
(block-return |C0-sieve-sieve| ())
|Lab4|
(setq
t4
(|CCall|
|G-domainHash!|
(|CCall|
(|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)
(|Lex| |Struct-sieve-7-Boolean-0| 0 |l0|))))
(go |Lab5|)
|Lab2|
(setq
t3
(|CCall|
|G-domainHash!|
(|CCall|
(|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)
(|Lex| |Struct-sieve-7-Boolean-0| 0 |l0|))))
(go |Lab3|)
|Lab0|
(setq
t2
(|CCall|
|G-domainHash!|
(|CCall|
(|Lex| |Struct-sieve-7-PrimitiveArray-2| 2 |l0|)
(|Lex| |Struct-sieve-7-Boolean-0| 0 |l0|))))
(go |Lab1|)))
(defprog
((|C1-sieve-sieve| |Word|) ((|P0-n| |Word|) (|e1| |Env|)))
((|T0-two| |Word|)
(|T1-np| |Word|)
(|T2-isprime| |Word|)
(|T3-p| |Word|)
(t4 |Clos|)
(t5 |Clos|)
(t6 |Clos|)
(t7 |Clos|)
(|T8-i| |Word|)
(t9 |Clos|)
(t10 |Clos|)
(t11 |Clos|)
(t12 |Clos|)
(|l1| |Level|))
(setq |l1| (|EnvLevel| |e1|))
(tagbody
(setq
|T2-isprime|
(|CCall|
(|Lex| |Struct-sieve-7-new-17| 17 |l1|)
(|CCall|
(|Lex| |Struct-sieve-7-+-5| 5 |l1|)
|P0-n|
(|CCall| |G-lazyForceImport| (|Lex| |Struct-sieve-7-1-8| 8 |l1|)))
(|CCall| |G-lazyForceImport| (|Lex| |Struct-sieve-7-true-3| 3 |l1|))))
(setq
|T1-np|
(|CCall| |G-lazyForceImport| (|Lex| |Struct-sieve-7-0-6| 6 |l1|)))
(setq
|T0-two|
(|CCall| (|Lex| |Struct-sieve-7-integer-9| 9 |l1|) (|MakeLit| "2")))
(multiple-value-setq
(t4 t5 t6 t7)
(|CCall|
(|CCall|
(|Lex| |Struct-sieve-7-generator-13| 13 |l1|)
(|CCall| (|Lex| |Struct-sieve-7-..-11| 11 |l1|) |T0-two| |P0-n|))))
|Lab0|
(|CCall| t5)
(when (|CCall| t4) (go |Lab1|))
(setq |T3-p| (|CCall| t6))
(when
(|CCall|
(|Lex| |Struct-sieve-7-apply-15| 15 |l1|)
|T2-isprime|
(|CCall| (|Lex| |Struct-sieve-7-coerce-10| 10 |l1|) |T3-p|))
(go |Lab2|))
(go |Lab0|)
|Lab2|
(setq
|T1-np|
(|CCall|
(|Lex| |Struct-sieve-7-+-5| 5 |l1|)
|T1-np|
(|CCall| |G-lazyForceImport| (|Lex| |Struct-sieve-7-1-8| 8 |l1|))))
(multiple-value-setq
(t9 t10 t11 t12)
(|CCall|
(|CCall|
(|Lex| |Struct-sieve-7-generator-13| 13 |l1|)
(|CCall|
(|Lex| |Struct-sieve-7-by-14| 14 |l1|)
(|CCall|
(|Lex| |Struct-sieve-7-..-11| 11 |l1|)
(|CCall| (|Lex| |Struct-sieve-7-*-7| 7 |l1|) |T0-two| |T3-p|)
|P0-n|)
(|CCall| (|Lex| |Struct-sieve-7-coerce-10| 10 |l1|) |T3-p|)))))
|Lab3|
(|CCall| t10)
(when (|CCall| t9) (go |Lab0|))
(setq |T8-i| (|CCall| t11))
(|CCall|
(|Lex| |Struct-sieve-7-set!-16| 16 |l1|)
|T2-isprime|
(|CCall| (|Lex| |Struct-sieve-7-coerce-10| 10 |l1|) |T8-i|)
(|CCall|
|G-lazyForceImport|
(|Lex| |Struct-sieve-7-false-4| 4 |l1|)))
(go |Lab3|)
|Lab1|
(block-return |C1-sieve-sieve| |T1-np|)))
(defprog
((|C2-sieve-lazyFnGetter| |Clos|) ((|P0-init| |Word|) (|e1| |Env|)))
((|l0| |Level|) (|e0| |Env|))
(setq |l0| (|MakeLevel| |MAKE-Struct-sieve-6| |Struct-sieve-6|))
(setq |e0| (|MakeEnv| |e1| |l0|))
(|SetLex| |Struct-sieve-6-getter-0| 0 |l0| |P0-init|)
(|SetLex| |Struct-sieve-6-flag-1| 1 |l0| (the |Bool| nil))
(|SetLex|
|Struct-sieve-6-self-2|
2
|l0|
(|Clos| |e0| |C3-sieve-lazyGetter|))
(|SetEnvInfo| |e0| (|Clos| |e0| |C4-sieve-lazyGetter2|))
(block-return
|C2-sieve-lazyFnGetter|
(|Lex| |Struct-sieve-6-self-2| 2 |l0|)))
(defprog
((|C3-sieve-lazyGetter| |Clos|) ((|P0-a| |Word|) (|e1| |Env|)))
((t0 |Clos|) (|l1| |Level|))
(setq |l1| (|EnvLevel| |e1|))
(tagbody
(when (|Lex| |Struct-sieve-6-flag-1| 1 |l1|) (go |Lab0|))
(setq t0 (|CCall| (|Lex| |Struct-sieve-6-getter-0| 0 |l1|)))
(|SetClosEnv| (|Lex| |Struct-sieve-6-self-2| 2 |l1|) (|ClosEnv| t0))
(|SetClosFun| (|Lex| |Struct-sieve-6-self-2| 2 |l1|) (|ClosFun| t0))
(|SetLex| |Struct-sieve-6-flag-1| 1 |l1| (the |Bool| t))
|Lab0|
(block-return
|C3-sieve-lazyGetter|
(|CCall| (|Lex| |Struct-sieve-6-self-2| 2 |l1|) |P0-a|))))
(defprog
((|C4-sieve-lazyGetter2|) ((|e1| |Env|)))
((t0 |Clos|) (|l1| |Level|))
(setq |l1| (|EnvLevel| |e1|))
(tagbody
(when (|Lex| |Struct-sieve-6-flag-1| 1 |l1|) (go |Lab0|))
(setq t0 (|CCall| (|Lex| |Struct-sieve-6-getter-0| 0 |l1|)))
(|SetLex| |Struct-sieve-6-flag-1| 1 |l1| (the |Bool| t))
(|SetClosEnv| (|Lex| |Struct-sieve-6-self-2| 2 |l1|) (|ClosEnv| t0))
(|SetClosFun| (|Lex| |Struct-sieve-6-self-2| 2 |l1|) (|ClosFun| t0))
(|SetEnvInfo| |e1| nil)
|Lab0|
(block-return |C4-sieve-lazyGetter2| ())))
(defprog
((|C5-sieve-fricas-init| |Word|) ((|P0-idx| |SInt|) (|e1| |Env|)))
((|l1| |Level|))
(setq |l1| (|EnvLevel| |e1|))
(tagbody
(when (|Lex| |Struct-sieve-7--22| 22 |l1|) (go |Lab0|))
(|SetLex| |Struct-sieve-7--22| 22 |l1| (the |Bool| t))
(|CCall| |G-fricas|)
|Lab0|
(when (|SIntNE| |P0-idx| (the |SInt| 1)) (go |Lab1|))
(block-return
|C5-sieve-fricas-init|
|G-fricas_PrimitiveArray_127244986|)
|Lab1|
(block-return |C5-sieve-fricas-init| |G-fricas_Boolean_812466899|)))
(defprog
((|C6-sieve-axextend-init| |Word|) ((|P0-idx| |SInt|) (|e1| |Env|)))
((|l1| |Level|))
(setq |l1| (|EnvLevel| |e1|))
(tagbody
(when (|Lex| |Struct-sieve-7--23| 23 |l1|) (go |Lab0|))
(|SetLex| |Struct-sieve-7--23| 23 |l1| (the |Bool| t))
(|CCall| |G-axextend|)
|Lab0|
(when (|SIntNE| |P0-idx| (the |SInt| 2)) (go |Lab1|))
(block-return |C6-sieve-axextend-init| |G-axextend_Integer_166981623|)
|Lab1|
(when (|SIntNE| |P0-idx| (the |SInt| 1)) (go |Lab2|))
(block-return
|C6-sieve-axextend-init|
|G-axextend_UniversalSegment_173983831|)
|Lab2|
(block-return
|C6-sieve-axextend-init|
|G-axextend_NonNegativeInteger_358783505|)))
(setq |G-sieve| (|Clos| nil |C0-sieve-sieve|))
(setq |G-sieve_sieve_825325564| nil)
(file-imports
'((|G-axextend| "axextend" |initializer| "")
(|G-fricas| "fricas" |initializer| "")
(|G-stdGetWordWordWordRetWord0| "stdGetWordWordWordRetWord0" 0 "")
(|G-axextend_Integer_166981623| "Integer" 166981623 "axextend")
(|G-axextend_UniversalSegment_173983831|
"UniversalSegment"
173983831
"axextend")
(|G-stdGetWordRetWord0| "stdGetWordRetWord0" 0 "")
(|G-rtDelayedInit!| "rtDelayedInit!" 0 "")
(|G-fricas_PrimitiveArray_127244986|
"PrimitiveArray"
127244986
"fricas")
(|G-fricas_Boolean_812466899| "Boolean" 812466899 "fricas")
(|G-stdGetWordWordRetWord0| "stdGetWordWordRetWord0" 0 "")
(|G-rtDelayedGetExport!| "rtDelayedGetExport!" 0 "")
(|G-lazyForceImport| "lazyForceImport" 0 "")
(|G-lazyGetExport!| "lazyGetExport!" 0 "")
(|G-domainHash!| "domainHash!" 0 "")
(|G-rtLazyDomFrInit| "rtLazyDomFrInit" 0 "")
(|G-axextend_NonNegativeInteger_358783505|
"NonNegativeInteger"
358783505
"axextend")
(|G-runtime| "runtime" |initializer| "")
(|G-noOperation| "noOperation" 0 "")))
(file-exports
'((|G-sieve_sieve_825325564| "sieve" 825325564 "sieve")
(|G-sieve| "sieve" |initializer| "")))
