mirror of
https://github.com/justinethier/cyclone.git
synced 2025-05-19 13:49:16 +02:00
1020 lines
297 KiB
Scheme
1020 lines
297 KiB
Scheme
[cps]
|
|
(lambda (k598)
|
|
(let ((k599 (##core#lambda
|
|
(r600)
|
|
(let ((t326 r600))
|
|
(let ((k602 (##core#lambda
|
|
(r603)
|
|
(let ((t327 r603))
|
|
(let ((k605 (##core#lambda
|
|
(r606)
|
|
(let ((t328 r606))
|
|
(let ((k608 (##core#lambda
|
|
(r609)
|
|
(let ((t329 r609))
|
|
(let ((k611 (##core#lambda
|
|
(r612)
|
|
(let ((t15 r612))
|
|
(let ((t16 (##core#undefined)))
|
|
(let ((t330 (##core#undefined)))
|
|
(let ((t614 (set! flush-output-port #f flush-output)))
|
|
(let ((t331 t614))
|
|
(let ((t615 (set! current-jiffy #f current-milliseconds)))
|
|
(let ((t332 t615))
|
|
(let ((t616 (set! jiffies-per-second
|
|
#f
|
|
(lambda (k618) (k618 1000)))))
|
|
(let ((t333 t616))
|
|
(let ((t619 (set! current-second #f current-seconds)))
|
|
(let ((t334 t619))
|
|
(let ((t620 (set! inexact #f exact->inexact)))
|
|
(let ((t335 t620))
|
|
(let ((t621 (set! exact #f inexact->exact)))
|
|
(let ((t336 t621))
|
|
(let ((t622 (set! square
|
|
#f
|
|
(lambda (k624 x61)
|
|
(let ((k625 (##core#lambda (r626) (k624 r626))))
|
|
(* k625 x61 x61))))))
|
|
(let ((t337 t622))
|
|
(let ((t628 (set! exact-integer? #f integer?)))
|
|
(let ((t338 t628))
|
|
(let ((t629 (set! this-scheme-implementation-name
|
|
#f
|
|
(lambda (k631)
|
|
(let ((k632 (##core#lambda (r633) (k631 r633))))
|
|
(let ((k636 (##core#lambda
|
|
(r637)
|
|
(let ((a635 r637))
|
|
(string-append k632 "chicken-" a635)))))
|
|
(chicken-version k636)))))))
|
|
(let ((t339 t629))
|
|
(let ((t639 (set! lexico
|
|
#f
|
|
(lambda (k641 base66)
|
|
(let ((lex-fixed67 (##core#undefined)))
|
|
(let ((lex-first68 (##core#undefined)))
|
|
(let ((t642 (set! lex-fixed67
|
|
#f
|
|
(lambda (k644 fixed69 lhs70 rhs71)
|
|
(let ((check72 (##core#undefined)))
|
|
(let ((t645 (set! check72
|
|
#f
|
|
(lambda (k647 lhs73 rhs74)
|
|
(let ((k648 (##core#lambda (r649) (k647 r649))))
|
|
(let ((k651 (##core#lambda
|
|
(r652)
|
|
(if r652
|
|
(k648 fixed69)
|
|
(let ((k654 (##core#lambda
|
|
(r655)
|
|
(let ((probe75 r655))
|
|
(let ((k657 (##core#lambda (r658) (k648 r658))))
|
|
(let ((k660 (##core#lambda
|
|
(r661)
|
|
(let ((tmp7678 r661))
|
|
(let ((k663 (##core#lambda
|
|
(r664)
|
|
(if r664
|
|
(let ((k666 (##core#lambda (r667) (k657 r667))))
|
|
(let ((k670 (##core#lambda
|
|
(r671)
|
|
(let ((a669 r671))
|
|
(let ((k674 (##core#lambda
|
|
(r675)
|
|
(let ((a673 r675)) (check72 k666 a669 a673)))))
|
|
(cdr k674 rhs74))))))
|
|
(cdr k670 lhs73)))
|
|
(k657 'uncomparable)))))
|
|
(if tmp7678
|
|
(k663 tmp7678)
|
|
(let ((k677 (##core#lambda (r678) (k663 r678))))
|
|
(eq? k677 probe75 fixed69))))))))
|
|
(eq? k660 probe75 'equal)))))))
|
|
(let ((k681 (##core#lambda
|
|
(r682)
|
|
(let ((a680 r682))
|
|
(let ((k685 (##core#lambda
|
|
(r686)
|
|
(let ((a684 r686)) (base66 k654 a680 a684)))))
|
|
(car k685 rhs74))))))
|
|
(car k681 lhs73)))))))
|
|
(null? k651 lhs73)))))))
|
|
(let ((t79 t645))
|
|
(let ((k688 (##core#lambda (r689) (k644 r689))))
|
|
(check72 k688 lhs70 rhs71)))))))))
|
|
(let ((t92 t642))
|
|
(let ((t691 (set! lex-first68
|
|
#f
|
|
(lambda (k693 lhs80 rhs81)
|
|
(let ((k694 (##core#lambda (r695) (k693 r695))))
|
|
(let ((k697 (##core#lambda
|
|
(r698)
|
|
(if r698
|
|
(k694 'equal)
|
|
(let ((k700 (##core#lambda
|
|
(r701)
|
|
(let ((probe82 r701))
|
|
(let ((tmp8388 probe82))
|
|
(let ((k703 (##core#lambda (r704) (k694 r704))))
|
|
(let ((k706 (##core#lambda
|
|
(r707)
|
|
(let ((tmp8991 r707))
|
|
(let ((k709 (##core#lambda
|
|
(r710)
|
|
(if r710
|
|
(let ((k712 (##core#lambda (r713) (k703 r713))))
|
|
(let ((k716 (##core#lambda
|
|
(r717)
|
|
(let ((a715 r717))
|
|
(let ((k720 (##core#lambda
|
|
(r721)
|
|
(let ((a719 r721))
|
|
(lex-fixed67 k712 probe82 a715 a719)))))
|
|
(cdr k720 rhs81))))))
|
|
(cdr k716 lhs80)))
|
|
(let ((k723 (##core#lambda (r724) (k703 r724))))
|
|
(let ((k726 (##core#lambda
|
|
(r727)
|
|
(if r727
|
|
(let ((k729 (##core#lambda (r730) (k723 r730))))
|
|
(let ((k733 (##core#lambda
|
|
(r734)
|
|
(let ((a732 r734))
|
|
(let ((k737 (##core#lambda
|
|
(r738)
|
|
(let ((a736 r738)) (lex-first68 k729 a732 a736)))))
|
|
(cdr k737 rhs81))))))
|
|
(cdr k733 lhs80)))
|
|
(let ((k740 (##core#lambda (r741) (k723 r741))))
|
|
(let ((k743 (##core#lambda
|
|
(r744)
|
|
(if r744
|
|
(k740 'uncomparable)
|
|
(k740 (##core#undefined))))))
|
|
(eqv? k743 tmp8388 'uncomparable)))))))
|
|
(eqv? k726 tmp8388 'equal)))))))
|
|
(if tmp8991
|
|
(k709 tmp8991)
|
|
(let ((k746 (##core#lambda (r747) (k709 r747))))
|
|
(eqv? k746 tmp8388 'more))))))))
|
|
(eqv? k706 tmp8388 'less))))))))
|
|
(let ((k750 (##core#lambda
|
|
(r751)
|
|
(let ((a749 r751))
|
|
(let ((k754 (##core#lambda
|
|
(r755)
|
|
(let ((a753 r755)) (base66 k700 a749 a753)))))
|
|
(car k754 rhs81))))))
|
|
(car k750 lhs80)))))))
|
|
(null? k697 lhs80)))))))
|
|
(let ((t93 t691)) (k641 lex-first68)))))))))))
|
|
(let ((t340 t639))
|
|
(let ((t757 (set! make-lattice
|
|
#f
|
|
(lambda (k759 elem-list95 cmp-func96)
|
|
(let ((k760 (##core#lambda (r761) (k759 r761))))
|
|
(cons k760 elem-list95 cmp-func96))))))
|
|
(let ((t341 t757))
|
|
(let ((t763 (set! lattice->elements #f car)))
|
|
(let ((t342 t763))
|
|
(let ((t764 (set! lattice->cmp #f cdr)))
|
|
(let ((t343 t764))
|
|
(let ((t765 (set! zulu-select
|
|
#f
|
|
(lambda (k767 test100 lst101)
|
|
(let ((select-a102 (##core#undefined)))
|
|
(let ((t768 (set! select-a102
|
|
#f
|
|
(lambda (k770 ac103 lst104)
|
|
(let ((k771 (##core#lambda (r772) (k770 r772))))
|
|
(let ((k774 (##core#lambda
|
|
(r775)
|
|
(if r775
|
|
(let ((k777 (##core#lambda (r778) (k771 r778))))
|
|
(xreverse! k777 ac103))
|
|
(let ((k780 (##core#lambda (r781) (k771 r781))))
|
|
(let ((k784 (##core#lambda
|
|
(r785)
|
|
(let ((head105 r785))
|
|
(let ((k787 (##core#lambda
|
|
(r788)
|
|
(let ((a783 r788))
|
|
(let ((k791 (##core#lambda
|
|
(r792)
|
|
(let ((a790 r792)) (select-a102 k780 a783 a790)))))
|
|
(cdr k791 lst104))))))
|
|
(let ((k794 (##core#lambda
|
|
(r795)
|
|
(if r795
|
|
(let ((k797 (##core#lambda (r798) (k787 r798))))
|
|
(cons k797 head105 ac103))
|
|
(k787 ac103)))))
|
|
(test100 k794 head105)))))))
|
|
(car k784 lst104)))))))
|
|
(null? k774 lst104)))))))
|
|
(let ((t106 t768))
|
|
(let ((k800 (##core#lambda (r801) (k767 r801))))
|
|
(select-a102 k800 '() lst101)))))))))
|
|
(let ((t344 t765))
|
|
(let ((rotate109 (##core#undefined)))
|
|
(let ((rotate108110
|
|
(lambda (k805 fo111 fum112)
|
|
(let ((k806 (##core#lambda
|
|
(r807)
|
|
(let ((next113 r807))
|
|
(let ((k809 (##core#lambda
|
|
(r810)
|
|
(let ((t114 r810))
|
|
(let ((k812 (##core#lambda (r813) (k805 r813))))
|
|
(let ((k815 (##core#lambda
|
|
(r816)
|
|
(if r816
|
|
(k812 fo111)
|
|
(let ((k818 (##core#lambda (r819) (k812 r819))))
|
|
(rotate109 k818 next113 fo111))))))
|
|
(null? k815 next113)))))))
|
|
(set-cdr! k809 fo111 fum112))))))
|
|
(cdr k806 fo111)))))
|
|
(let ((t821 (set! rotate109 #f rotate108110)))
|
|
(let ((t116 t821))
|
|
(let ((t803 (set! xreverse!
|
|
#f
|
|
(lambda (k823 lst115)
|
|
(let ((k824 (##core#lambda (r825) (k823 r825))))
|
|
(let ((k827 (##core#lambda
|
|
(r828)
|
|
(if r828
|
|
(k824 '())
|
|
(let ((k830 (##core#lambda (r831) (k824 r831))))
|
|
(rotate109 k830 lst115 '()))))))
|
|
(null? k827 lst115)))))))
|
|
(let ((t345 t803))
|
|
(let ((t833 (set! select-map
|
|
#f
|
|
(lambda (k835 test118 func119 lst120)
|
|
(let ((select-a121 (##core#undefined)))
|
|
(let ((t836 (set! select-a121
|
|
#f
|
|
(lambda (k838 ac122 lst123)
|
|
(let ((k839 (##core#lambda (r840) (k838 r840))))
|
|
(let ((k842 (##core#lambda
|
|
(r843)
|
|
(if r843
|
|
(let ((k845 (##core#lambda (r846) (k839 r846))))
|
|
(xreverse! k845 ac122))
|
|
(let ((k848 (##core#lambda (r849) (k839 r849))))
|
|
(let ((k852 (##core#lambda
|
|
(r853)
|
|
(let ((head124 r853))
|
|
(let ((k855 (##core#lambda
|
|
(r856)
|
|
(let ((a851 r856))
|
|
(let ((k859 (##core#lambda
|
|
(r860)
|
|
(let ((a858 r860)) (select-a121 k848 a851 a858)))))
|
|
(cdr k859 lst123))))))
|
|
(let ((k862 (##core#lambda
|
|
(r863)
|
|
(if r863
|
|
(let ((k865 (##core#lambda (r866) (k855 r866))))
|
|
(let ((k869 (##core#lambda
|
|
(r870)
|
|
(let ((a868 r870)) (cons k865 a868 ac122)))))
|
|
(func119 k869 head124)))
|
|
(k855 ac122)))))
|
|
(test118 k862 head124)))))))
|
|
(car k852 lst123)))))))
|
|
(null? k842 lst123)))))))
|
|
(let ((t125 t836))
|
|
(let ((k872 (##core#lambda (r873) (k835 r873))))
|
|
(select-a121 k872 '() lst120)))))))))
|
|
(let ((t346 t833))
|
|
(let ((t875 (set! map-and
|
|
#f
|
|
(lambda (k877 proc127 lst128)
|
|
(let ((k878 (##core#lambda (r879) (k877 r879))))
|
|
(let ((k881 (##core#lambda
|
|
(r882)
|
|
(if r882
|
|
(k878 #t)
|
|
(let ((drudge130 (##core#undefined)))
|
|
(let ((drudge129131
|
|
(lambda (k885 lst132)
|
|
(let ((k886 (##core#lambda
|
|
(r887)
|
|
(let ((rest133 r887))
|
|
(let ((k889 (##core#lambda (r890) (k885 r890))))
|
|
(let ((k892 (##core#lambda
|
|
(r893)
|
|
(if r893
|
|
(let ((k895 (##core#lambda (r896) (k889 r896))))
|
|
(let ((k899 (##core#lambda
|
|
(r900)
|
|
(let ((a898 r900)) (proc127 k895 a898)))))
|
|
(car k899 lst132)))
|
|
(let ((k902 (##core#lambda (r903) (k889 r903))))
|
|
(let ((k905 (##core#lambda
|
|
(r906)
|
|
(if r906
|
|
(let ((k908 (##core#lambda (r909) (k902 r909))))
|
|
(drudge130 k908 rest133))
|
|
(k902 #f)))))
|
|
(let ((k912 (##core#lambda
|
|
(r913)
|
|
(let ((a911 r913)) (proc127 k905 a911)))))
|
|
(car k912 lst132))))))))
|
|
(null? k892 rest133)))))))
|
|
(cdr k886 lst132)))))
|
|
(let ((t915 (set! drudge130 #f drudge129131)))
|
|
(let ((t135 t915))
|
|
(let ((k916 (##core#lambda (r917) (k878 r917))))
|
|
(drudge130 k916 lst128))))))))))
|
|
(null? k881 lst128)))))))
|
|
(let ((t347 t875))
|
|
(let ((t919 (set! maps-1
|
|
#f
|
|
(lambda (k921 source137 target138 pas139 new140)
|
|
(let ((k922 (##core#lambda
|
|
(r923)
|
|
(let ((scmp141 r923))
|
|
(let ((k925 (##core#lambda
|
|
(r926)
|
|
(let ((tcmp142 r926))
|
|
(let ((k928 (##core#lambda
|
|
(r929)
|
|
(let ((less143 r929))
|
|
(let ((k931 (##core#lambda
|
|
(r932)
|
|
(let ((more144 r932))
|
|
(let ((k934 (##core#lambda (r935) (k921 r935))))
|
|
(let ((a937 (lambda (k939 t147)
|
|
(let ((k940 (##core#lambda (r941) (k939 r941))))
|
|
(let ((k943 (##core#lambda
|
|
(r944)
|
|
(if r944
|
|
(let ((k946 (##core#lambda (r947) (k940 r947))))
|
|
(let ((a949 (lambda (k951 t2150)
|
|
(let ((k952 (##core#lambda (r953) (k951 r953))))
|
|
(let ((k956 (##core#lambda
|
|
(r957)
|
|
(let ((a955 r957))
|
|
(memq k952 a955 '(more equal))))))
|
|
(tcmp142 k956 t2150 t147))))))
|
|
(map-and k946 a949 more144)))
|
|
(k940 #f)))))
|
|
(let ((a959 (lambda (k961 t2149)
|
|
(let ((k962 (##core#lambda (r963) (k961 r963))))
|
|
(let ((k966 (##core#lambda
|
|
(r967)
|
|
(let ((a965 r967))
|
|
(memq k962 a965 '(less equal))))))
|
|
(tcmp142 k966 t2149 t147))))))
|
|
(map-and k943 a959 less143)))))))
|
|
(let ((k970 (##core#lambda
|
|
(r971)
|
|
(let ((a969 r971)) (zulu-select k934 a937 a969)))))
|
|
(lattice->elements k970 target138))))))))
|
|
(let ((a973 (lambda (k975 p146)
|
|
(let ((k976 (##core#lambda (r977) (k975 r977))))
|
|
(let ((k980 (##core#lambda
|
|
(r981)
|
|
(let ((a979 r981)) (eq? k976 'more a979)))))
|
|
(let ((k984 (##core#lambda
|
|
(r985)
|
|
(let ((a983 r985)) (scmp141 k980 a983 new140)))))
|
|
(car k984 p146)))))))
|
|
(select-map k931 a973 cdr pas139)))))))
|
|
(let ((a987 (lambda (k989 p145)
|
|
(let ((k990 (##core#lambda (r991) (k989 r991))))
|
|
(let ((k994 (##core#lambda
|
|
(r995)
|
|
(let ((a993 r995)) (eq? k990 'less a993)))))
|
|
(let ((k998 (##core#lambda
|
|
(r999)
|
|
(let ((a997 r999)) (scmp141 k994 a997 new140)))))
|
|
(car k998 p145)))))))
|
|
(select-map k928 a987 cdr pas139)))))))
|
|
(lattice->cmp k925 target138))))))
|
|
(lattice->cmp k922 source137))))))
|
|
(let ((t348 t919))
|
|
(let ((t1001 (set! maps-rest
|
|
#f
|
|
(lambda (k1003
|
|
source152
|
|
target153
|
|
pas154
|
|
rest155
|
|
to-1156
|
|
to-collect157)
|
|
(let ((k1004 (##core#lambda (r1005) (k1003 r1005))))
|
|
(let ((k1007 (##core#lambda
|
|
(r1008)
|
|
(if r1008
|
|
(let ((k1010 (##core#lambda (r1011) (k1004 r1011))))
|
|
(to-1156 k1010 pas154))
|
|
(let ((k1013 (##core#lambda
|
|
(r1014)
|
|
(let ((next158 r1014))
|
|
(let ((k1016 (##core#lambda
|
|
(r1017)
|
|
(let ((rest159 r1017))
|
|
(let ((k1019 (##core#lambda (r1020) (k1004 r1020))))
|
|
(let ((k1023 (##core#lambda
|
|
(r1024)
|
|
(let ((g167175 r1024))
|
|
(let ((g166176 g167175))
|
|
(let ((g168177
|
|
(lambda (k1027 x179)
|
|
(let ((k1028 (##core#lambda (r1029) (k1027 r1029))))
|
|
(let ((k1032 (##core#lambda
|
|
(r1033)
|
|
(let ((a1031 r1033))
|
|
(maps-rest
|
|
k1028
|
|
source152
|
|
target153
|
|
a1031
|
|
rest159
|
|
to-1156
|
|
to-collect157)))))
|
|
(let ((k1036 (##core#lambda
|
|
(r1037)
|
|
(let ((a1035 r1037)) (cons k1032 a1035 pas154)))))
|
|
(cons k1036 next158 x179)))))))
|
|
(let ((k1039 (##core#lambda
|
|
(r1040)
|
|
(let ((g174178 r1040))
|
|
(let ((k1042 (##core#lambda
|
|
(r1043)
|
|
(let ((t186 r1043))
|
|
(let ((k1045 (##core#lambda
|
|
(r1046)
|
|
(let ((a1022 r1046)) (to-collect157 k1019 a1022)))))
|
|
(let ((map-loop162180 (##core#undefined)))
|
|
(let ((t1048 (set! map-loop162180
|
|
#f
|
|
(lambda (k1050 g174181)
|
|
(let ((k1051 (##core#lambda (r1052) (k1050 r1052))))
|
|
(let ((k1054 (##core#lambda
|
|
(r1055)
|
|
(if r1055
|
|
(let ((k1057 (##core#lambda
|
|
(r1058)
|
|
(let ((g163182 r1058))
|
|
(let ((k1060 (##core#lambda
|
|
(r1061)
|
|
(let ((t183 r1061))
|
|
(let ((t1063 (set! g167175 #f g163182)))
|
|
(let ((t184 t1063))
|
|
(let ((k1064 (##core#lambda (r1065) (k1051 r1065))))
|
|
(let ((k1068 (##core#lambda
|
|
(r1069)
|
|
(let ((a1067 r1069))
|
|
(map-loop162180 k1064 a1067)))))
|
|
(##sys#slot k1068 g174181 1)))))))))
|
|
(##sys#setslot k1060 g167175 1 g163182))))))
|
|
(let ((k1072 (##core#lambda
|
|
(r1073)
|
|
(let ((a1071 r1073)) (cons k1057 a1071 '())))))
|
|
(let ((k1076 (##core#lambda
|
|
(r1077)
|
|
(let ((a1075 r1077)) (g168177 k1072 a1075)))))
|
|
(##sys#slot k1076 g174181 0))))
|
|
(let ((k1079 (##core#lambda (r1080) (k1051 r1080))))
|
|
(##sys#slot k1079 g166176 1))))))
|
|
(pair? k1054 g174181)))))))
|
|
(let ((t185 t1048))
|
|
(map-loop162180 k1045 g174178)))))))))
|
|
(##sys#check-list k1042 g174178 'map))))))
|
|
(maps-1 k1039 source152 target153 pas154 next158))))))))
|
|
(cons k1023 (##core#undefined) '())))))))
|
|
(cdr k1016 rest155))))))
|
|
(car k1013 rest155))))))
|
|
(null? k1007 rest155)))))))
|
|
(let ((t349 t1001))
|
|
(let ((t1082 (set! maps
|
|
#f
|
|
(lambda (k1084 source188 target189)
|
|
(let ((k1085 (##core#lambda (r1086) (k1084 r1086))))
|
|
(let ((k1089 (##core#lambda
|
|
(r1090)
|
|
(let ((a1088 r1090))
|
|
(let ((k1093 (##core#lambda
|
|
(r1094)
|
|
(let ((a1092 r1094))
|
|
(make-lattice k1085 a1088 a1092)))))
|
|
(let ((k1097 (##core#lambda
|
|
(r1098)
|
|
(let ((a1096 r1098)) (lexico k1093 a1096)))))
|
|
(lattice->cmp k1097 target189)))))))
|
|
(let ((k1101 (##core#lambda
|
|
(r1102)
|
|
(let ((a1100 r1102))
|
|
(let ((a1104 (lambda (k1106 x190)
|
|
(let ((k1107 (##core#lambda (r1108) (k1106 r1108))))
|
|
(let ((k1111 (##core#lambda
|
|
(r1112)
|
|
(let ((g198206 r1112))
|
|
(let ((g197207 g198206))
|
|
(let ((g199208 cdr))
|
|
(let ((g205209 x190))
|
|
(let ((k1114 (##core#lambda
|
|
(r1115)
|
|
(let ((t216 r1115))
|
|
(let ((k1117 (##core#lambda
|
|
(r1118)
|
|
(let ((a1110 r1118)) (list k1107 a1110)))))
|
|
(let ((map-loop193210 (##core#undefined)))
|
|
(let ((t1120 (set! map-loop193210
|
|
#f
|
|
(lambda (k1122 g205211)
|
|
(let ((k1123 (##core#lambda (r1124) (k1122 r1124))))
|
|
(let ((k1126 (##core#lambda
|
|
(r1127)
|
|
(if r1127
|
|
(let ((k1129 (##core#lambda
|
|
(r1130)
|
|
(let ((g194212 r1130))
|
|
(let ((k1132 (##core#lambda
|
|
(r1133)
|
|
(let ((t213 r1133))
|
|
(let ((t1135 (set! g198206 #f g194212)))
|
|
(let ((t214 t1135))
|
|
(let ((k1136 (##core#lambda (r1137) (k1123 r1137))))
|
|
(let ((k1140 (##core#lambda
|
|
(r1141)
|
|
(let ((a1139 r1141))
|
|
(map-loop193210 k1136 a1139)))))
|
|
(##sys#slot k1140 g205211 1)))))))))
|
|
(##sys#setslot k1132 g198206 1 g194212))))))
|
|
(let ((k1144 (##core#lambda
|
|
(r1145)
|
|
(let ((a1143 r1145)) (cons k1129 a1143 '())))))
|
|
(let ((k1148 (##core#lambda
|
|
(r1149)
|
|
(let ((a1147 r1149)) (g199208 k1144 a1147)))))
|
|
(##sys#slot k1148 g205211 0))))
|
|
(let ((k1151 (##core#lambda (r1152) (k1123 r1152))))
|
|
(##sys#slot k1151 g197207 1))))))
|
|
(pair? k1126 g205211)))))))
|
|
(let ((t215 t1120))
|
|
(map-loop193210 k1117 g205209)))))))))
|
|
(##sys#check-list k1114 g205209 'map)))))))))
|
|
(cons k1111 (##core#undefined) '()))))))
|
|
(let ((a1154 (lambda (k1156 x217)
|
|
(let ((k1157 (##core#lambda (r1158) (k1156 r1158))))
|
|
(apply k1157 append x217)))))
|
|
(maps-rest
|
|
k1089
|
|
source188
|
|
target189
|
|
'()
|
|
a1100
|
|
a1104
|
|
a1154)))))))
|
|
(lattice->elements k1101 source188))))))))
|
|
(let ((t350 t1082))
|
|
(let ((t1160 (set! count-maps
|
|
#f
|
|
(lambda (k1162 source219 target220)
|
|
(let ((k1163 (##core#lambda (r1164) (k1162 r1164))))
|
|
(let ((k1167 (##core#lambda
|
|
(r1168)
|
|
(let ((a1166 r1168))
|
|
(let ((a1170 (lambda (k1172 x221) (k1172 1))))
|
|
(maps-rest
|
|
k1163
|
|
source219
|
|
target220
|
|
'()
|
|
a1166
|
|
a1170
|
|
sum))))))
|
|
(lattice->elements k1167 source219)))))))
|
|
(let ((t351 t1160))
|
|
(let ((t1173 (set! sum
|
|
#f
|
|
(lambda (k1175 lst223)
|
|
(let ((k1176 (##core#lambda (r1177) (k1175 r1177))))
|
|
(let ((k1179 (##core#lambda
|
|
(r1180)
|
|
(if r1180
|
|
(k1176 0)
|
|
(let ((k1182 (##core#lambda (r1183) (k1176 r1183))))
|
|
(let ((k1186 (##core#lambda
|
|
(r1187)
|
|
(let ((a1185 r1187))
|
|
(let ((k1190 (##core#lambda
|
|
(r1191)
|
|
(let ((a1189 r1191)) (+ k1182 a1185 a1189)))))
|
|
(let ((k1194 (##core#lambda
|
|
(r1195)
|
|
(let ((a1193 r1195)) (sum k1190 a1193)))))
|
|
(cdr k1194 lst223)))))))
|
|
(car k1186 lst223)))))))
|
|
(null? k1179 lst223)))))))
|
|
(let ((t352 t1173))
|
|
(let ((t1197 (set! run
|
|
#f
|
|
(lambda (k1199 k225)
|
|
(let ((k1200 (##core#lambda
|
|
(r1201)
|
|
(let ((l2226 r1201))
|
|
(let ((k1203 (##core#lambda
|
|
(r1204)
|
|
(let ((l3247 r1204))
|
|
(let ((k1206 (##core#lambda
|
|
(r1207)
|
|
(let ((l4248 r1207))
|
|
(let ((k1209 (##core#lambda
|
|
(r1210)
|
|
(let ((t258 r1210))
|
|
(let ((k1212 (##core#lambda
|
|
(r1213)
|
|
(let ((t259 r1213))
|
|
(let ((k1215 (##core#lambda
|
|
(r1216)
|
|
(let ((t260 r1216))
|
|
(let ((k1218 (##core#lambda
|
|
(r1219)
|
|
(let ((t261 r1219))
|
|
(let ((tmp249254 k225))
|
|
(let ((k1221 (##core#lambda (r1222) (k1199 r1222))))
|
|
(let ((k1224 (##core#lambda
|
|
(r1225)
|
|
(if r1225
|
|
(let ((k1227 (##core#lambda (r1228) (k1221 r1228))))
|
|
(count-maps k1227 l3247 l3247))
|
|
(let ((k1230 (##core#lambda (r1231) (k1221 r1231))))
|
|
(let ((k1233 (##core#lambda
|
|
(r1234)
|
|
(if r1234
|
|
(let ((k1236 (##core#lambda (r1237) (k1230 r1237))))
|
|
(count-maps k1236 l4248 l4248))
|
|
(let ((k1239 (##core#lambda (r1240) (k1230 r1240))))
|
|
(let ((k1242 (##core#lambda
|
|
(r1243)
|
|
(if r1243
|
|
(let ((k1245 (##core#lambda
|
|
(r1246)
|
|
(let ((l5255 r1246))
|
|
(let ((k1248 (##core#lambda (r1249) (k1239 r1249))))
|
|
(count-maps k1248 l4248 l5255))))))
|
|
(maps k1245 l4248 l4248))
|
|
(let ((k1251 (##core#lambda (r1252) (k1239 r1252))))
|
|
(let ((k1254 (##core#lambda
|
|
(r1255)
|
|
(if r1255
|
|
(let ((k1257 (##core#lambda
|
|
(r1258)
|
|
(let ((l5256 r1258))
|
|
(let ((k1260 (##core#lambda (r1261) (k1251 r1261))))
|
|
(count-maps k1260 l5256 l4248))))))
|
|
(maps k1257 l4248 l4248))
|
|
(let ((k1263 (##core#lambda (r1264) (k1251 r1264))))
|
|
(let ((k1266 (##core#lambda
|
|
(r1267)
|
|
(if r1267
|
|
(let ((k1269 (##core#lambda
|
|
(r1270)
|
|
(let ((l5257 r1270))
|
|
(let ((k1272 (##core#lambda (r1273) (k1263 r1273))))
|
|
(count-maps k1272 l5257 l5257))))))
|
|
(maps k1269 l4248 l4248))
|
|
(let ((k1275 (##core#lambda (r1276) (k1263 r1276))))
|
|
(error k1275
|
|
"run: unanticipated problem size"
|
|
k225))))))
|
|
(eqv? k1266 tmp249254 55)))))))
|
|
(eqv? k1254 tmp249254 54)))))))
|
|
(eqv? k1242 tmp249254 45)))))))
|
|
(eqv? k1233 tmp249254 44)))))))
|
|
(eqv? k1224 tmp249254 33))))))))
|
|
(count-maps k1218 l3247 l2226))))))
|
|
(count-maps k1215 l2226 l3247))))))
|
|
(count-maps k1212 l3247 l3247))))))
|
|
(count-maps k1209 l2226 l2226))))))
|
|
(maps k1206 l3247 l3247))))))
|
|
(maps k1203 l2226 l2226))))))
|
|
(let ((a1278 (lambda (k1280 lhs227 rhs228)
|
|
(let ((tmp229234 lhs227))
|
|
(let ((k1281 (##core#lambda (r1282) (k1280 r1282))))
|
|
(let ((k1284 (##core#lambda
|
|
(r1285)
|
|
(if r1285
|
|
(let ((tmp235240 rhs228))
|
|
(let ((k1287 (##core#lambda (r1288) (k1281 r1288))))
|
|
(let ((k1290 (##core#lambda
|
|
(r1291)
|
|
(if r1291
|
|
(k1287 'equal)
|
|
(let ((k1293 (##core#lambda (r1294) (k1287 r1294))))
|
|
(let ((k1296 (##core#lambda
|
|
(r1297)
|
|
(if r1297
|
|
(k1293 'less)
|
|
(let ((k1299 (##core#lambda (r1300) (k1293 r1300))))
|
|
(error k1299 'make-lattice "base" rhs228))))))
|
|
(eqv? k1296 tmp235240 'high)))))))
|
|
(eqv? k1290 tmp235240 'low))))
|
|
(let ((k1302 (##core#lambda (r1303) (k1281 r1303))))
|
|
(let ((k1305 (##core#lambda
|
|
(r1306)
|
|
(if r1306
|
|
(let ((tmp241246 rhs228))
|
|
(let ((k1308 (##core#lambda (r1309) (k1302 r1309))))
|
|
(let ((k1311 (##core#lambda
|
|
(r1312)
|
|
(if r1312
|
|
(k1308 'more)
|
|
(let ((k1314 (##core#lambda (r1315) (k1308 r1315))))
|
|
(let ((k1317 (##core#lambda
|
|
(r1318)
|
|
(if r1318
|
|
(k1314 'equal)
|
|
(let ((k1320 (##core#lambda (r1321) (k1314 r1321))))
|
|
(error k1320 'make-lattice "base" rhs228))))))
|
|
(eqv? k1317 tmp241246 'high)))))))
|
|
(eqv? k1311 tmp241246 'low))))
|
|
(let ((k1323 (##core#lambda (r1324) (k1302 r1324))))
|
|
(error k1323 'make-lattice "base" lhs227))))))
|
|
(eqv? k1305 tmp229234 'high)))))))
|
|
(eqv? k1284 tmp229234 'low)))))))
|
|
(make-lattice k1200 '(low high) a1278)))))))
|
|
(let ((t353 t1197))
|
|
(let ((t1326 (set! main
|
|
#f
|
|
(lambda (k1328)
|
|
(let ((k1329 (##core#lambda
|
|
(r1330)
|
|
(let ((count263 r1330))
|
|
(let ((k1332 (##core#lambda
|
|
(r1333)
|
|
(let ((input1264 r1333))
|
|
(let ((k1335 (##core#lambda
|
|
(r1336)
|
|
(let ((output265 r1336))
|
|
(let ((k1338 (##core#lambda
|
|
(r1339)
|
|
(let ((s2266 r1339))
|
|
(let ((k1341 (##core#lambda
|
|
(r1342)
|
|
(let ((s1267 r1342))
|
|
(let ((name268 "lattice"))
|
|
(let ((k1344 (##core#lambda (r1345) (k1328 r1345))))
|
|
(let ((k1348 (##core#lambda
|
|
(r1349)
|
|
(let ((a1347 r1349))
|
|
(let ((a1351 (lambda (k1353)
|
|
(let ((k1354 (##core#lambda (r1355) (k1353 r1355))))
|
|
(let ((k1358 (##core#lambda
|
|
(r1359)
|
|
(let ((a1357 r1359)) (run k1354 a1357)))))
|
|
(hide k1358 count263 input1264))))))
|
|
(let ((a1361 (lambda (k1363 result269)
|
|
(let ((k1364 (##core#lambda (r1365) (k1363 r1365))))
|
|
(= k1364 result269 output265)))))
|
|
(run-r7rs-benchmark
|
|
k1344
|
|
a1347
|
|
count263
|
|
a1351
|
|
a1361)))))))
|
|
(string-append k1348 name268 ":" s1267 ":" s2266))))))))
|
|
(number->string k1341 input1264))))))
|
|
(number->string k1338 count263))))))
|
|
(read k1335))))))
|
|
(read k1332))))))
|
|
(read k1329))))))
|
|
(let ((t354 t1326))
|
|
(let ((t1367 (set! hide
|
|
#f
|
|
(lambda (k1369 r271 x272)
|
|
(let ((k1370 (##core#lambda (r1371) (k1369 r1371))))
|
|
(let ((a1373 (lambda (k1375)
|
|
(let ((k1376 (##core#lambda (r1377) (k1375 r1377))))
|
|
(let ((k1380 (##core#lambda
|
|
(r1381)
|
|
(let ((a1379 r1381))
|
|
(let ((k1384 (##core#lambda
|
|
(r1385)
|
|
(let ((a1383 r1385)) (values k1376 a1379 a1383)))))
|
|
(let ((k1387 (##core#lambda
|
|
(r1388)
|
|
(if r1388 (k1384 0) (k1384 1)))))
|
|
(< k1387 r271 100)))))))
|
|
(let ((a1390 (lambda (k1392 x273) (k1392 x273))))
|
|
(vector k1380 values a1390)))))))
|
|
(let ((a1393 (lambda (k1395 v274 i275)
|
|
(let ((k1396 (##core#lambda
|
|
(r1397)
|
|
(let ((g276277 r1397))
|
|
(let ((k1399 (##core#lambda (r1400) (k1395 r1400))))
|
|
(g276277 k1399 x272))))))
|
|
(vector-ref k1396 v274 i275)))))
|
|
(call-with-values k1370 a1373 a1393))))))))
|
|
(let ((t355 t1367))
|
|
(let ((t1402 (set! run-r7rs-benchmark
|
|
#f
|
|
(lambda (k1404 name279 count280 thunk281 ok?282)
|
|
(let ((rounded283 (##core#undefined)))
|
|
(let ((t1405 (set! rounded283
|
|
#f
|
|
(lambda (k1407 x284)
|
|
(let ((k1408 (##core#lambda (r1409) (k1407 r1409))))
|
|
(let ((k1412 (##core#lambda
|
|
(r1413)
|
|
(let ((a1411 r1413)) (/ k1408 a1411 1000)))))
|
|
(let ((k1416 (##core#lambda
|
|
(r1417)
|
|
(let ((a1415 r1417)) (round k1412 a1415)))))
|
|
(* k1416 1000 x284))))))))
|
|
(let ((t320 t1405))
|
|
(let ((k1419 (##core#lambda
|
|
(r1420)
|
|
(let ((t321 r1420))
|
|
(let ((k1422 (##core#lambda
|
|
(r1423)
|
|
(let ((t322 r1423))
|
|
(let ((k1425 (##core#lambda
|
|
(r1426)
|
|
(let ((t323 r1426))
|
|
(let ((k1428 (##core#lambda
|
|
(r1429)
|
|
(let ((t324 r1429))
|
|
(let ((k1431 (##core#lambda
|
|
(r1432)
|
|
(let ((j/s285 r1432))
|
|
(let ((k1434 (##core#lambda
|
|
(r1435)
|
|
(let ((t0286 r1435))
|
|
(let ((k1437 (##core#lambda
|
|
(r1438)
|
|
(let ((j0287 r1438))
|
|
(let ((k1440 (##core#lambda (r1441) (k1404 r1441))))
|
|
(let ((loop288 (##core#undefined)))
|
|
(let ((t1443 (set! loop288
|
|
#f
|
|
(lambda (k1445 i289 result290)
|
|
(let ((k1446 (##core#lambda (r1447) (k1445 r1447))))
|
|
(let ((k1449 (##core#lambda
|
|
(r1450)
|
|
(if r1450
|
|
(let ((k1452 (##core#lambda (r1453) (k1446 r1453))))
|
|
(let ((k1456 (##core#lambda
|
|
(r1457)
|
|
(let ((a1455 r1457))
|
|
(let ((k1460 (##core#lambda
|
|
(r1461)
|
|
(let ((a1459 r1461)) (loop288 k1452 a1455 a1459)))))
|
|
(thunk281 k1460))))))
|
|
(+ k1456 i289 1)))
|
|
(let ((k1463 (##core#lambda (r1464) (k1446 r1464))))
|
|
(let ((k1466 (##core#lambda
|
|
(r1467)
|
|
(if r1467
|
|
(let ((k1469 (##core#lambda
|
|
(r1470)
|
|
(let ((j1295 r1470))
|
|
(let ((k1472 (##core#lambda
|
|
(r1473)
|
|
(let ((t1296 r1473))
|
|
(let ((k1475 (##core#lambda
|
|
(r1476)
|
|
(let ((jifs297 r1476))
|
|
(let ((k1478 (##core#lambda
|
|
(r1479)
|
|
(let ((secs298 r1479))
|
|
(let ((k1481 (##core#lambda
|
|
(r1482)
|
|
(let ((secs2299 r1482))
|
|
(let ((k1484 (##core#lambda
|
|
(r1485)
|
|
(let ((t300 r1485))
|
|
(let ((k1487 (##core#lambda
|
|
(r1488)
|
|
(let ((t301 r1488))
|
|
(let ((k1490 (##core#lambda
|
|
(r1491)
|
|
(let ((t302 r1491))
|
|
(let ((k1493 (##core#lambda
|
|
(r1494)
|
|
(let ((t303 r1494))
|
|
(let ((k1496 (##core#lambda
|
|
(r1497)
|
|
(let ((t304 r1497))
|
|
(let ((k1499 (##core#lambda
|
|
(r1500)
|
|
(let ((t305 r1500))
|
|
(let ((k1502 (##core#lambda
|
|
(r1503)
|
|
(let ((t306 r1503))
|
|
(let ((k1505 (##core#lambda
|
|
(r1506)
|
|
(let ((t307 r1506))
|
|
(let ((k1508 (##core#lambda
|
|
(r1509)
|
|
(let ((t308 r1509))
|
|
(let ((k1511 (##core#lambda
|
|
(r1512)
|
|
(let ((t309 r1512))
|
|
(let ((k1514 (##core#lambda
|
|
(r1515)
|
|
(let ((t310 r1515))
|
|
(let ((k1517 (##core#lambda
|
|
(r1518)
|
|
(let ((t311 r1518))
|
|
(let ((k1520 (##core#lambda
|
|
(r1521)
|
|
(let ((t312 r1521))
|
|
(let ((k1523 (##core#lambda
|
|
(r1524)
|
|
(let ((t313 r1524))
|
|
(let ((k1526 (##core#lambda
|
|
(r1527)
|
|
(let ((t314 r1527)) (k1463 result290)))))
|
|
(let ((k1530 (##core#lambda
|
|
(r1531)
|
|
(let ((a1529 r1531))
|
|
(flush-output-port k1526 a1529)))))
|
|
(current-output-port k1530)))))))
|
|
(newline k1523))))))
|
|
(display k1520 secs298))))))
|
|
(display k1517 ","))))))
|
|
(display k1514 name279))))))
|
|
(display k1511 ","))))))
|
|
(let ((k1534 (##core#lambda
|
|
(r1535)
|
|
(let ((a1533 r1535)) (display k1508 a1533)))))
|
|
(this-scheme-implementation-name k1534)))))))
|
|
(display k1505 "+!CSVLINE!+"))))))
|
|
(newline k1502))))))
|
|
(display k1499 name279))))))
|
|
(display k1496 ") for "))))))
|
|
(write k1493 secs2299))))))
|
|
(display k1490 " seconds ("))))))
|
|
(write k1487 secs298))))))
|
|
(display k1484 "Elapsed time: "))))))
|
|
(let ((k1538 (##core#lambda
|
|
(r1539)
|
|
(let ((a1537 r1539)) (rounded283 k1481 a1537)))))
|
|
(- k1538 t1296 t0286)))))))
|
|
(let ((k1542 (##core#lambda
|
|
(r1543)
|
|
(let ((a1541 r1543)) (inexact k1478 a1541)))))
|
|
(/ k1542 jifs297 j/s285)))))))
|
|
(- k1475 j1295 j0287))))))
|
|
(current-second k1472))))))
|
|
(current-jiffy k1469))
|
|
(let ((k1545 (##core#lambda
|
|
(r1546)
|
|
(let ((t315 r1546))
|
|
(let ((k1548 (##core#lambda
|
|
(r1549)
|
|
(let ((t316 r1549))
|
|
(let ((k1551 (##core#lambda
|
|
(r1552)
|
|
(let ((t317 r1552))
|
|
(let ((k1554 (##core#lambda
|
|
(r1555)
|
|
(let ((t318 r1555)) (k1463 result290)))))
|
|
(let ((k1558 (##core#lambda
|
|
(r1559)
|
|
(let ((a1557 r1559))
|
|
(flush-output-port k1554 a1557)))))
|
|
(current-output-port k1558)))))))
|
|
(newline k1551))))))
|
|
(write k1548 result290))))))
|
|
(display
|
|
k1545
|
|
"ERROR: returned incorrect result: "))))))
|
|
(ok?282 k1466 result290)))))))
|
|
(< k1449 i289 count280)))))))
|
|
(let ((t319 t1443)) (loop288 k1440 0 #f)))))))))
|
|
(current-jiffy k1437))))))
|
|
(current-second k1434))))))
|
|
(jiffies-per-second k1431))))))
|
|
(let ((k1562 (##core#lambda
|
|
(r1563)
|
|
(let ((a1561 r1563))
|
|
(flush-output-port k1428 a1561)))))
|
|
(current-output-port k1562)))))))
|
|
(newline k1425))))))
|
|
(display k1422 name279))))))
|
|
(display k1419 "Running ")))))))))
|
|
(let ((t356 t1402))
|
|
(let ((k1565 (##core#lambda
|
|
(r1566)
|
|
(let ((t357 r1566))
|
|
(let ((k1568 (##core#lambda
|
|
(r1569)
|
|
(let ((t358 r1569)) (k598 (##core#undefined))))))
|
|
(let ((k1571 (##core#lambda (r1572) (r1572 k1568))))
|
|
(##sys#implicit-exit-handler k1571)))))))
|
|
(main k1565))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
|
|
(##sys#require k611 'vector-lib))))))
|
|
(##core#callunit "extras" k608))))))
|
|
(##core#callunit "chicken_2dsyntax" k605))))))
|
|
(##core#callunit "eval" k602))))))
|
|
(##core#callunit "library" k599)))
|