shen-ruby 0.3.1 → 0.4.0

data/shen/release/k_lambda/writer.kl

@@ -1,108 +1,95 @@
+"**********************************************************************************
+*                           The License						                                      *
+* 										                                                                  *
+* The user is free to produce commercial applications with the software, to 	          *
+* distribute these applications in source or binary  form, and to charge monies         *
+* for them as he sees fit and in concordance with the laws of the land subject 	        *
+* to the following license.							                                                *
+*										                                                                    * 
+* 1. The license applies to all the software and all derived software and 	            *
+*    must appear on such.							                                                  *
+*										                                                                    *
+* 2. It is illegal to distribute the software without this license attached	            *
+*    to it and use of the software implies agreement with the license as such.          *
+*    It is illegal for anyone who is not the copyright holder to tamper with 	          *
+*    or change the license.							                                                *
+*										                                                                    *
+* 3. Neither the names of Lambda Associates or the copyright holder may be used         *
+*    to endorse or promote products built using the software without specific 	        *
+*    prior written permission from the copyright holder.		                            *
+*										                                                                    *
+* 4. That possession of this license does not confer on the copyright holder 	          *
+*    any special contractual obligation towards the user. That in no event 	            * 
+*    shall the copyright holder be liable for any direct, indirect, incidental,        *   
+*    special, exemplary or consequential damages (including but not limited             *
+*    to procurement of substitute goods or services, loss of use, data, 	              * 
+*    interruption), however caused and on any theory of liability, whether in	          * 
+*    contract, strict liability or tort (including negligence) arising in any         	*
+*    way out of the use of the software, even if advised of the possibility of         	*
+*    such damage.						                                                        		* 
+*										                                                                    *
+* 5. It is permitted for the user to change the software, for the purpose of 	          *
+*    improving performance, correcting an error, or porting to a new platform, 	        *
+*    and distribute the derived version of Shen provided the resulting program 	        *
+*    conforms in all respects to the Shen standard and is issued under that             * 
+*    title. The user must make it clear with his distribution that he/she is 	          *
+*    the author of the changes and what these changes are and why. 		                  *
+*										                                                                    *
+* 6. Derived versions of this software in whatever form are subject to the same         *
+*    restrictions. In particular it is not permitted to make derived copies of          *
+*    this software which do not conform to the Shen standard or appear under a          *
+*    different title.								                                                    *
+*										                                                                    *
+*    It is permitted to distribute versions of Shen which incorporate libraries,        *
+*    graphics or other facilities which are not part of the Shen standard.	            *
+*										                                                                    *
+* For an explication of this license see www.shenlanguage.org/license.htm which         *
+* explains this license in full.                                                        *
+*				 						                                                                    *
+*****************************************************************************************
+"(defun print (V2173) (let String (shen.insert V2173 "~S") (let Print (pr String (stoutput)) V2173)))
+
+(defun shen.mkstr (V2174 V2175) (cond ((string? V2174) (shen.mkstr-l (shen.proc-nl V2174) V2175)) (true (shen.mkstr-r (cons shen.proc-nl (cons V2174 ())) V2175))))
+
+(defun shen.mkstr-l (V2176 V2177) (cond ((= () V2177) V2176) ((cons? V2177) (shen.mkstr-l (shen.insert-l (hd V2177) V2176) (tl V2177))) (true (shen.sys-error shen.mkstr-l))))
+
+(defun shen.insert-l (V2180 V2181) (cond ((= "" V2181) "") ((and (shen.+string? V2181) (and (= "~" (pos V2181 0)) (and (shen.+string? (tlstr V2181)) (= "A" (pos (tlstr V2181) 0))))) (cons shen.app (cons V2180 (cons (tlstr (tlstr V2181)) (cons shen.a ()))))) ((and (shen.+string? V2181) (and (= "~" (pos V2181 0)) (and (shen.+string? (tlstr V2181)) (= "R" (pos (tlstr V2181) 0))))) (cons shen.app (cons V2180 (cons (tlstr (tlstr V2181)) (cons shen.r ()))))) ((and (shen.+string? V2181) (and (= "~" (pos V2181 0)) (and (shen.+string? (tlstr V2181)) (= "S" (pos (tlstr V2181) 0))))) (cons shen.app (cons V2180 (cons (tlstr (tlstr V2181)) (cons shen.s ()))))) ((shen.+string? V2181) (shen.factor-cn (cons cn (cons (pos V2181 0) (cons (shen.insert-l V2180 (tlstr V2181)) ()))))) ((and (cons? V2181) (and (= cn (hd V2181)) (and (cons? (tl V2181)) (and (cons? (tl (tl V2181))) (= () (tl (tl (tl V2181)))))))) (cons cn (cons (hd (tl V2181)) (cons (shen.insert-l V2180 (hd (tl (tl V2181)))) ())))) ((and (cons? V2181) (and (= shen.app (hd V2181)) (and (cons? (tl V2181)) (and (cons? (tl (tl V2181))) (and (cons? (tl (tl (tl V2181)))) (= () (tl (tl (tl (tl V2181)))))))))) (cons shen.app (cons (hd (tl V2181)) (cons (shen.insert-l V2180 (hd (tl (tl V2181)))) (tl (tl (tl V2181))))))) (true (shen.sys-error shen.insert-l))))
+
+(defun shen.factor-cn (V2182) (cond ((and (cons? V2182) (and (= cn (hd V2182)) (and (cons? (tl V2182)) (and (cons? (tl (tl V2182))) (and (cons? (hd (tl (tl V2182)))) (and (= cn (hd (hd (tl (tl V2182))))) (and (cons? (tl (hd (tl (tl V2182))))) (and (cons? (tl (tl (hd (tl (tl V2182)))))) (and (= () (tl (tl (tl (hd (tl (tl V2182))))))) (and (= () (tl (tl (tl V2182)))) (and (string? (hd (tl V2182))) (string? (hd (tl (hd (tl (tl V2182))))))))))))))))) (cons cn (cons (cn (hd (tl V2182)) (hd (tl (hd (tl (tl V2182)))))) (tl (tl (hd (tl (tl V2182)))))))) (true V2182)))
+
+(defun shen.proc-nl (V2183) (cond ((= "" V2183) "") ((and (shen.+string? V2183) (and (= "~" (pos V2183 0)) (and (shen.+string? (tlstr V2183)) (= "%" (pos (tlstr V2183) 0))))) (cn (n->string 10) (shen.proc-nl (tlstr (tlstr V2183))))) ((shen.+string? V2183) (cn (pos V2183 0) (shen.proc-nl (tlstr V2183)))) (true (shen.sys-error shen.proc-nl))))
+
+(defun shen.mkstr-r (V2184 V2185) (cond ((= () V2185) V2184) ((cons? V2185) (shen.mkstr-r (cons shen.insert (cons (hd V2185) (cons V2184 ()))) (tl V2185))) (true (shen.sys-error shen.mkstr-r))))
+
+(defun shen.insert (V2188 V2189) (cond ((= "" V2189) "") ((and (shen.+string? V2189) (and (= "~" (pos V2189 0)) (and (shen.+string? (tlstr V2189)) (= "A" (pos (tlstr V2189) 0))))) (shen.app V2188 (tlstr (tlstr V2189)) shen.a)) ((and (shen.+string? V2189) (and (= "~" (pos V2189 0)) (and (shen.+string? (tlstr V2189)) (= "R" (pos (tlstr V2189) 0))))) (shen.app V2188 (tlstr (tlstr V2189)) shen.r)) ((and (shen.+string? V2189) (and (= "~" (pos V2189 0)) (and (shen.+string? (tlstr V2189)) (= "S" (pos (tlstr V2189) 0))))) (shen.app V2188 (tlstr (tlstr V2189)) shen.s)) ((shen.+string? V2189) (cn (pos V2189 0) (shen.insert V2188 (tlstr V2189)))) (true (shen.sys-error shen.insert))))
+
+(defun shen.app (V2190 V2191 V2192) (cn (shen.arg->str V2190 V2192) V2191))
+
+(defun shen.arg->str (V2198 V2199) (cond ((= V2198 (fail)) "...") ((shen.list? V2198) (shen.list->str V2198 V2199)) ((string? V2198) (shen.str->str V2198 V2199)) ((absvector? V2198) (shen.vector->str V2198 V2199)) (true (shen.atom->str V2198))))
+
+(defun shen.list->str (V2200 V2201) (cond ((= shen.r V2201) (@s "(" (@s (shen.iter-list V2200 shen.r (shen.maxseq)) ")"))) (true (@s "[" (@s (shen.iter-list V2200 V2201 (shen.maxseq)) "]")))))
+
+(defun shen.maxseq () (value *maximum-print-sequence-size*))
+
+(defun shen.iter-list (V2212 V2213 V2214) (cond ((= () V2212) "") ((= 0 V2214) "... etc") ((and (cons? V2212) (= () (tl V2212))) (shen.arg->str (hd V2212) V2213)) ((cons? V2212) (@s (shen.arg->str (hd V2212) V2213) (@s " " (shen.iter-list (tl V2212) V2213 (- V2214 1))))) (true (@s " " (@s "|" (@s " " (shen.arg->str V2212 V2213)))))))
+
+(defun shen.str->str (V2219 V2220) (cond ((= shen.a V2220) V2219) (true (@s (n->string 34) (@s V2219 (n->string 34))))))
+
+(defun shen.vector->str (V2221 V2222) (if (shen.print-vector? V2221) ((<-address V2221 0) V2221) (if (vector? V2221) (@s "<" (@s (shen.iter-vector V2221 1 V2222 (shen.maxseq)) ">")) (@s "<" (@s "<" (@s (shen.iter-vector V2221 0 V2222 (shen.maxseq)) ">>"))))))
+
+(defun shen.print-vector? (V2223) (let Zero (<-address V2223 0) (if (= Zero shen.tuple) true (if (= Zero shen.pvar) true (if (not (number? Zero)) (shen.fbound? Zero) false)))))
+
+(defun shen.fbound? (V2224) (trap-error (do (ps V2224) true) (lambda E false)))
+
+(defun shen.tuple (V2225) (cn "(@p " (shen.app (<-address V2225 1) (cn " " (shen.app (<-address V2225 2) ")" shen.s)) shen.s)))
+
+(defun shen.iter-vector (V2232 V2233 V2234 V2235) (cond ((= 0 V2235) "... etc") (true (let Item (trap-error (<-address V2232 V2233) (lambda E shen.out-of-bounds)) (let Next (trap-error (<-address V2232 (+ V2233 1)) (lambda E shen.out-of-bounds)) (if (= Item shen.out-of-bounds) "" (if (= Next shen.out-of-bounds) (shen.arg->str Item V2234) (@s (shen.arg->str Item V2234) (@s " " (shen.iter-vector V2232 (+ V2233 1) V2234 (- V2235 1)))))))))))
+
+(defun shen.atom->str (V2236) (trap-error (str V2236) (lambda E (shen.funexstring))))
+
+(defun shen.funexstring () (@s "" (@s "f" (@s "u" (@s "n" (@s "e" (@s (shen.arg->str (gensym (intern "x")) shen.a) "")))))))
+
+(defun shen.list? (V2237) (or (empty? V2237) (cons? V2237)))
+
 
-"                                                   The License
- 
- The user is free to produce commercial applications with the software, to distribute these applications in source or binary  form, and to charge monies for them as he sees fit and in concordance with the laws of the land subject to the following  license.
- 
- 1. The license applies to all the software and all derived software and must appear on such.
- 2. It is illegal to distribute the software without this license attached to it and use of the software implies agreement 
-    with the license as such. It is illegal for anyone who is not the copyright holder to tamper with or change the license.
- 3. Neither the names of Lambda Associates or the copyright holder may be used to endorse or promote products built using
-     the software without specific prior written permission from the copyright holder.
- 4. That possession of this license does not confer on the copyright holder any special contractual obligation towards the    user. That in no event shall the copyright holder be liable for any direct, indirect, incidental, special, exemplary or   consequential damages (including but not limited to procurement of substitute goods or services, loss of use, data, or    profits; or business interruption), however caused and on any theory of liability, whether in contract, strict liability   or tort (including negligence) arising in any way out of the use of the software, even if advised of the possibility of   such damage. 
-5. It is permitted for the user to change the software, for the purpose of improving performance, correcting an error, or    porting to a new platform, and distribute the modified version of Shen (hereafter the modified version) provided the     resulting program conforms in all respects to the Shen standard and is issued under that title. The user must make it clear   with his distribution that he/she is the author of the changes and what these changes are and why. 
-6. Derived versions of this software in whatever form are subject to the same restrictions. In particular it is not          permitted to make derived copies of this software which do not conform to the Shen standard or appear under a different title.
-7. It is permitted to distribute versions of Shen which incorporate libraries, graphics or other facilities which are not    part of the Shen standard.
-
-For an explication of this license see http://www.lambdassociates.org/News/june11/license.htm which explains this license in full."
-
-(defun print (V1081)
- (do
-  (pr (shen-ms-h (cons "~" (cons "S" ())) (@p V1081 shen-skip))
-   (shen-stoutput 0))
-  V1081))
-
-(defun format (V1082 V1083 V1084)
- (cond ((= true V1082) (intoutput V1083 (@p V1084 ())))
-  ((= false V1082) (intmake-string V1083 (@p V1084 ())))
-  (true (pr (shen-ms-h (explode V1083) V1084) V1082))))
-
-(defun intoutput (V1085 V1086)
- (pr (shen-ms-h (shen-explode-string V1085) V1086) (shen-stoutput 0)))
-
-(defun interror (V1087 V1088)
- (simple-error (shen-ms-h (shen-explode-string V1087) V1088)))
-
-(defun intmake-string (V1089 V1090)
- (shen-ms-h (shen-explode-string V1089) V1090))
-
-(defun shen-ms-h (V1093 V1094)
- (cond ((= () V1093) "")
-  ((and (cons? V1093)
-    (and (= "~" (hd V1093))
-     (and (cons? (tl V1093)) (= "%" (hd (tl V1093))))))
-   (cn (n->string 10) (shen-ms-h (tl (tl V1093)) V1094)))
-  ((and (cons? V1093)
-    (and (= "~" (hd V1093))
-     (and (cons? (tl V1093))
-      (and (tuple? V1094)
-       (element? (hd (tl V1093)) (cons "A" (cons "S" (cons "R" ()))))))))
-   (cn (shen-ob->str (hd (tl V1093)) (fst V1094))
-    (shen-ms-h (tl (tl V1093)) (snd V1094))))
-  ((cons? V1093) (cn (hd V1093) (shen-ms-h (tl V1093) V1094)))
-  (true (shen-sys-error shen-ms-h))))
-
-(defun shen-ob->str (V1098 V1099)
- (cond ((= V1099 (fail)) "...")
-  ((= () V1099) (if (= V1098 "R") "()" "[]"))
-  ((= V1099 (vector 0)) "<>")
-  ((cons? V1099)
-   (shen-cn-all
-    (append (if (= V1098 "R") (cons "(" ()) (cons "[" ()))
-     (append (cons (shen-ob->str V1098 (hd V1099)) ())
-      (append
-       (shen-xmapcan (value *maximum-print-sequence-size*)
-        (lambda Z (cons " " (cons (shen-ob->str V1098 Z) ()))) (tl V1099))
-       (if (= V1098 "R") (cons ")" ()) (cons "]" ())))))))
-  ((vector? V1099)
-   (let L (shen-vector->list V1099 1)
-    (let E
-     (tlstr
-      (shen-cn-all
-       (shen-xmapcan (- (value *maximum-print-sequence-size*) 1)
-        (lambda Z
-         (cons " " (cons (shen-ob->str V1098 Z) ())))
-        L)))
-     (let V (cn "<" (cn E ">")) V))))
-  ((and (not (string? V1099)) (absvector? V1099))
-   (trap-error (shen-ob->str "A" ((<-address V1099 0) V1099))
-    (lambda Ignore
-     (let L (shen-vector->list V1099 0)
-      (let E
-       (tlstr
-        (shen-cn-all
-         (shen-xmapcan (- (value *maximum-print-sequence-size*) 1)
-          (lambda Z (cons " " (cons (shen-ob->str V1098 Z) ()))) L)))
-       (let V (cn "<" (cn E ">")) V))))))
-  (true (if (and (= V1098 "A") (string? V1099)) V1099 (str V1099)))))
-
-(defun shen-tuple (V1101)
- (intmake-string "(@p ~S ~S)" (@p (fst V1101) (@p (snd V1101) ()))))
-
-(defun shen-cn-all (V1102)
- (cond ((= () V1102) "")
-  ((cons? V1102) (cn (hd V1102) (shen-cn-all (tl V1102))))
-  (true (shen-sys-error shen-cn-all))))
-
-(defun shen-xmapcan (V1115 V1116 V1117)
- (cond ((= () V1117) ()) ((= 0 V1115) (cons "... etc" ()))
-  ((cons? V1117)
-   (append (V1116 (hd V1117)) (shen-xmapcan (- V1115 1) V1116 (tl V1117))))
-  (true (cons " |" (V1116 V1117)))))
-
-(defun shen-vector->list (V1118 V1119) (shen-vector->listh V1118 V1119 ()))
-
-(defun shen-vector->listh (V1120 V1121 V1122)
- (let Y (trap-error (<-address V1120 V1121) (lambda E shen-out-of-range))
-  (if (= Y shen-out-of-range) (reverse V1122)
-   (shen-vector->listh V1120 (+ V1121 1) (cons Y V1122)))))
 

data/shen/release/k_lambda/yacc.kl

@@ -1,280 +1,105 @@
+"**********************************************************************************
+*                           The License						                                      *
+* 										                                                                  *
+* The user is free to produce commercial applications with the software, to 	          *
+* distribute these applications in source or binary  form, and to charge monies         *
+* for them as he sees fit and in concordance with the laws of the land subject 	        *
+* to the following license.							                                                *
+*										                                                                    * 
+* 1. The license applies to all the software and all derived software and 	            *
+*    must appear on such.							                                                  *
+*										                                                                    *
+* 2. It is illegal to distribute the software without this license attached	            *
+*    to it and use of the software implies agreement with the license as such.          *
+*    It is illegal for anyone who is not the copyright holder to tamper with 	          *
+*    or change the license.							                                                *
+*										                                                                    *
+* 3. Neither the names of Lambda Associates or the copyright holder may be used         *
+*    to endorse or promote products built using the software without specific 	        *
+*    prior written permission from the copyright holder.		                            *
+*										                                                                    *
+* 4. That possession of this license does not confer on the copyright holder 	          *
+*    any special contractual obligation towards the user. That in no event 	            * 
+*    shall the copyright holder be liable for any direct, indirect, incidental,        *   
+*    special, exemplary or consequential damages (including but not limited             *
+*    to procurement of substitute goods or services, loss of use, data, 	              * 
+*    interruption), however caused and on any theory of liability, whether in	          * 
+*    contract, strict liability or tort (including negligence) arising in any         	*
+*    way out of the use of the software, even if advised of the possibility of         	*
+*    such damage.						                                                        		* 
+*										                                                                    *
+* 5. It is permitted for the user to change the software, for the purpose of 	          *
+*    improving performance, correcting an error, or porting to a new platform, 	        *
+*    and distribute the derived version of Shen provided the resulting program 	        *
+*    conforms in all respects to the Shen standard and is issued under that             * 
+*    title. The user must make it clear with his distribution that he/she is 	          *
+*    the author of the changes and what these changes are and why. 		                  *
+*										                                                                    *
+* 6. Derived versions of this software in whatever form are subject to the same         *
+*    restrictions. In particular it is not permitted to make derived copies of          *
+*    this software which do not conform to the Shen standard or appear under a          *
+*    different title.								                                                    *
+*										                                                                    *
+*    It is permitted to distribute versions of Shen which incorporate libraries,        *
+*    graphics or other facilities which are not part of the Shen standard.	            *
+*										                                                                    *
+* For an explication of this license see www.shenlanguage.org/license.htm which         *
+* explains this license in full.                                                        *
+*				 						                                                                    *
+*****************************************************************************************
+"(defun shen.yacc (V2090) (cond ((and (cons? V2090) (and (= defcc (hd V2090)) (and (cons? (tl V2090)) (and (cons? (tl (tl V2090))) (and (= { (hd (tl (tl V2090)))) (and (cons? (tl (tl (tl V2090)))) (and (cons? (tl (tl (tl (tl V2090))))) (and (= ==> (hd (tl (tl (tl (tl V2090)))))) (and (cons? (tl (tl (tl (tl (tl V2090)))))) (and (cons? (tl (tl (tl (tl (tl (tl V2090))))))) (= } (hd (tl (tl (tl (tl (tl (tl V2090)))))))))))))))))) (shen.yacc (cons defcc (cons (hd (tl V2090)) (tl (tl (tl (tl (tl (tl (tl V2090))))))))))) ((and (cons? V2090) (and (= defcc (hd V2090)) (cons? (tl V2090)))) (shen.yacc->shen (hd (tl V2090)) (tl (tl V2090)))) (true (shen.sys-error shen.yacc))))
 
-"                                                   The License
- 
- The user is free to produce commercial applications with the software, to distribute these applications in source or binary  form, and to charge monies for them as he sees fit and in concordance with the laws of the land subject to the following  license.
- 
- 1. The license applies to all the software and all derived software and must appear on such.
- 2. It is illegal to distribute the software without this license attached to it and use of the software implies agreement 
-    with the license as such. It is illegal for anyone who is not the copyright holder to tamper with or change the license.
- 3. Neither the names of Lambda Associates or the copyright holder may be used to endorse or promote products built using
-     the software without specific prior written permission from the copyright holder.
- 4. That possession of this license does not confer on the copyright holder any special contractual obligation towards the    user. That in no event shall the copyright holder be liable for any direct, indirect, incidental, special, exemplary or   consequential damages (including but not limited to procurement of substitute goods or services, loss of use, data, or    profits; or business interruption), however caused and on any theory of liability, whether in contract, strict liability   or tort (including negligence) arising in any way out of the use of the software, even if advised of the possibility of   such damage. 
-5. It is permitted for the user to change the software, for the purpose of improving performance, correcting an error, or    porting to a new platform, and distribute the modified version of Shen (hereafter the modified version) provided the     resulting program conforms in all respects to the Shen standard and is issued under that title. The user must make it clear   with his distribution that he/she is the author of the changes and what these changes are and why. 
-6. Derived versions of this software in whatever form are subject to the same restrictions. In particular it is not          permitted to make derived copies of this software which do not conform to the Shen standard or appear under a different title.
-7. It is permitted to distribute versions of Shen which incorporate libraries, graphics or other facilities which are not    part of the Shen standard.
+(defun shen.yacc->shen (V2091 V2092) (cons define (cons V2091 (shen.yacc_cases (map shen.cc_body (shen.split_cc_rules V2092 ()))))))
 
-For an explication of this license see http://www.lambdassociates.org/News/june11/license.htm which explains this license in full."
+(defun shen.yacc_cases (V2093) (append (mapcan (lambda Case (cons Stream (cons <- (cons Case ())))) V2093) (cons _ (cons -> (cons (cons fail ()) ())))))
 
-(defun shen-yacc (V293)
- (cond
-  ((and (cons? V293) (and (= defcc (hd V293)) (cons? (tl V293))))
-   (shen-yacc->shen (hd (tl V293)) (tl (tl V293))
-    (shen-extract-segvars (tl (tl V293)))))
-  (true (shen-sys-error shen-yacc))))
+(defun shen.first_n (V2098 V2099) (cond ((= 0 V2098) ()) ((= () V2099) ()) ((cons? V2099) (cons (hd V2099) (shen.first_n (- V2098 1) (tl V2099)))) (true (shen.sys-error shen.first_n))))
 
-(defun shen-extract-segvars (V298)
- (cond ((shen-segvar? V298) (cons V298 ()))
-  ((cons? V298)
-   (union (shen-extract-segvars (hd V298)) (shen-extract-segvars (tl V298))))
-  (true ())))
+(defun shen.split_cc_rules (V2100 V2101) (cond ((and (= () V2100) (= () V2101)) ()) ((= () V2100) (cons (shen.split_cc_rule (reverse V2101) ()) ())) ((and (cons? V2100) (= ; (hd V2100))) (cons (shen.split_cc_rule (reverse V2101) ()) (shen.split_cc_rules (tl V2100) ()))) ((cons? V2100) (shen.split_cc_rules (tl V2100) (cons (hd V2100) V2101))) (true (shen.sys-error shen.split_cc_rules))))
 
-(defun shen-yacc->shen (V299 V300 V301)
- (let Main
-  (cons define
-   (cons V299
-    (shen-yacc_cases
-     (map (lambda V302 (shen-cc_body V302)) (shen-split_cc_rules V300 ())))))
-  (if (empty? V301) Main
-   (cons package
-    (cons null
-     (cons () (cons Main (map (lambda V303 (shen-segdef V303)) V301))))))))
+(defun shen.split_cc_rule (V2102 V2103) (cond ((and (cons? V2102) (and (= := (hd V2102)) (and (cons? (tl V2102)) (= () (tl (tl V2102)))))) (cons (reverse V2103) (tl V2102))) ((and (cons? V2102) (and (= := (hd V2102)) (and (cons? (tl V2102)) (and (cons? (tl (tl V2102))) (and (= where (hd (tl (tl V2102)))) (and (cons? (tl (tl (tl V2102)))) (= () (tl (tl (tl (tl V2102))))))))))) (cons (reverse V2103) (cons (cons where (cons (hd (tl (tl (tl V2102)))) (cons (hd (tl V2102)) ()))) ()))) ((= () V2102) (do (pr "warning: " (stoutput)) (do (map (lambda X (pr (shen.app X " " shen.a) (stoutput))) (reverse V2103)) (do (pr "has no semantics.
+" (stoutput)) (shen.split_cc_rule (cons := (cons (shen.default_semantics (reverse V2103)) ())) V2103))))) ((cons? V2102) (shen.split_cc_rule (tl V2102) (cons (hd V2102) V2103))) (true (shen.sys-error shen.split_cc_rule))))
 
-(defun shen-segdef (V304)
- (cons define
-  (cons V304
-   (cons (cons @p (cons In (cons Out ())))
-    (cons Continuation
-     (cons ->
-      (cons
-       (cons let
-        (cons Continue
-         (cons
-          (cons Continuation
-           (cons (cons reverse (cons Out ()))
-            (cons (cons @p (cons In (cons () ()))) ())))
-          (cons
-           (cons if
-            (cons
-             (cons and
-              (cons (cons = (cons Continue (cons (cons fail ()) ())))
-               (cons (cons cons? (cons In ())) ())))
-             (cons
-              (cons V304
-               (cons
-                (cons @p
-                 (cons (cons tl (cons In ()))
-                  (cons
-                   (cons cons (cons (cons hd (cons In ())) (cons Out ())))
-                   ())))
-                (cons Continuation ())))
-              (cons Continue ()))))
-           ()))))
-       ())))))))
+(defun shen.default_semantics (V2104) (cond ((= () V2104) ()) ((and (cons? V2104) (shen.grammar_symbol? (hd V2104))) (cons append (cons (hd V2104) (cons (shen.default_semantics (tl V2104)) ())))) ((cons? V2104) (cons cons (cons (hd V2104) (cons (shen.default_semantics (tl V2104)) ())))) (true (shen.sys-error shen.default_semantics))))
 
-(defun shen-yacc_cases (V305)
- (append (mapcan (lambda Case (cons Stream (cons <- (cons Case ())))) V305)
-  (cons _ (cons -> (cons (cons fail ()) ())))))
+(defun shen.cc_body (V2105) (cond ((and (cons? V2105) (and (cons? (tl V2105)) (= () (tl (tl V2105))))) (shen.syntax (hd V2105) Stream (hd (tl V2105)))) (true (shen.sys-error shen.cc_body))))
 
-(defun shen-first_n (V310 V311)
- (cond ((= 0 V310) ()) ((= () V311) ())
-  ((cons? V311) (cons (hd V311) (shen-first_n (- V310 1) (tl V311))))
-  (true (shen-sys-error shen-first_n))))
+(defun shen.syntax (V2106 V2107 V2108) (cond ((and (= () V2106) (and (cons? V2108) (and (= where (hd V2108)) (and (cons? (tl V2108)) (and (cons? (tl (tl V2108))) (= () (tl (tl (tl V2108))))))))) (cons if (cons (shen.semantics (hd (tl V2108))) (cons (cons shen.pair (cons (cons hd (cons V2107 ())) (cons (shen.semantics (hd (tl (tl V2108)))) ()))) (cons (cons fail ()) ()))))) ((= () V2106) (cons shen.pair (cons (cons hd (cons V2107 ())) (cons (shen.semantics V2108) ())))) ((cons? V2106) (if (shen.grammar_symbol? (hd V2106)) (shen.recursive_descent V2106 V2107 V2108) (if (variable? (hd V2106)) (shen.variable-match V2106 V2107 V2108) (if (shen.terminal? (hd V2106)) (shen.check_stream V2106 V2107 V2108) (if (shen.jump_stream? (hd V2106)) (shen.jump_stream V2106 V2107 V2108) (if (shen.list_stream? (hd V2106)) (shen.list_stream (shen.decons (hd V2106)) (tl V2106) V2107 V2108) (simple-error (shen.app (hd V2106) " is not legal syntax
+" shen.a)))))))) (true (shen.sys-error shen.syntax))))
 
-(defun shen-split_cc_rules (V312 V313)
- (cond ((and (= () V312) (= () V313)) ())
-  ((= () V312) (cons (shen-split_cc_rule (reverse V313) ()) ()))
-  ((and (cons? V312) (= ; (hd V312)))
-   (cons (shen-split_cc_rule (reverse V313) ())
-    (shen-split_cc_rules (tl V312) ())))
-  ((cons? V312) (shen-split_cc_rules (tl V312) (cons (hd V312) V313)))
-  (true (shen-sys-error shen-split_cc_rules))))
+(defun shen.list_stream? (V2117) (cond ((cons? V2117) true) (true false)))
 
-(defun shen-split_cc_rule (V314 V315)
- (cond
-  ((and (cons? V314)
-    (and (= := (hd V314))
-     (and (cons? (tl V314)) (= () (tl (tl V314))))))
-   (cons (reverse V315) (tl V314)))
-  ((and (cons? V314) (= := (hd V314)))
-   (cons (reverse V315) (cons (shen-cons_form (tl V314)) ())))
-  ((= () V314)
-   (do (intoutput "warning: " ())
-    (do (map (lambda X (intoutput "~A " (@p X ()))) (reverse V315))
-     (do (intoutput "has no semantics.~%" ())
-      (shen-split_cc_rule
-       (cons := (cons (shen-default_semantics (reverse V315)) ())) V315)))))
-  ((cons? V314) (shen-split_cc_rule (tl V314) (cons (hd V314) V315)))
-  (true (shen-sys-error shen-split_cc_rule))))
+(defun shen.decons (V2118) (cond ((and (cons? V2118) (and (= cons (hd V2118)) (and (cons? (tl V2118)) (and (cons? (tl (tl V2118))) (= () (tl (tl (tl V2118)))))))) (cons (hd (tl V2118)) (shen.decons (hd (tl (tl V2118)))))) (true V2118)))
 
-(defun shen-default_semantics (V316)
- (cond ((= () V316) ())
-  ((and (cons? V316) (shen-grammar_symbol? (hd V316)))
-   (let PS (cons snd (cons (concat Parse_ (hd V316)) ()))
-    (if (empty? (tl V316)) PS
-     (cons append (cons PS (cons (shen-default_semantics (tl V316)) ()))))))
-  ((cons? V316)
-   (cons cons (cons (hd V316) (cons (shen-default_semantics (tl V316)) ()))))
-  (true (shen-sys-error shen-default_semantics))))
+(defun shen.list_stream (V2119 V2120 V2121 V2122) (let Test (cons and (cons (cons cons? (cons (cons hd (cons V2121 ())) ())) (cons (cons cons? (cons (cons hd (cons (cons hd (cons V2121 ())) ())) ())) ()))) (let Action (cons shen.snd-or-fail (cons (shen.syntax V2119 (cons shen.pair (cons (cons hd (cons (cons hd (cons V2121 ())) ())) (cons (cons shen.hdtl (cons V2121 ())) ()))) (cons shen.leave! (cons (shen.syntax V2120 (cons shen.pair (cons (cons tl (cons (cons hd (cons V2121 ())) ())) (cons (cons shen.hdtl (cons V2121 ())) ()))) V2122) ()))) ())) (let Else (cons fail ()) (cons if (cons Test (cons Action (cons Else ()))))))))
 
-(defun shen-cc_body (V317)
- (cond
-  ((and (cons? V317) (and (cons? (tl V317)) (= () (tl (tl V317)))))
-   (shen-syntax (hd V317) Stream (hd (tl V317))))
-  (true (shen-sys-error shen-cc_body))))
+(defun shen.snd-or-fail (V2129) (cond ((and (cons? V2129) (and (cons? (tl V2129)) (= () (tl (tl V2129))))) (hd (tl V2129))) (true (fail))))
 
-(defun shen-syntax (V318 V319 V320)
- (cond
-  ((= () V318)
-   (cons shen-reassemble
-    (cons (cons fst (cons V319 ())) (cons (shen-semantics V320) ()))))
-  ((cons? V318)
-   (if (shen-grammar_symbol? (hd V318)) (shen-recursive_descent V318 V319 V320)
-    (if (shen-segvar? (hd V318)) (shen-segment-match V318 V319 V320)
-     (if (shen-terminal? (hd V318)) (shen-check_stream V318 V319 V320)
-      (if (shen-jump_stream? (hd V318)) (shen-jump_stream V318 V319 V320)
-       (if (shen-list_stream? (hd V318))
-        (shen-list_stream (shen-decons (hd V318)) (tl V318) V319 V320)
-        (interror "~A is not legal syntax~%" (@p (hd V318) ()))))))))
-  (true (shen-sys-error shen-syntax))))
+(defun shen.grammar_symbol? (V2130) (and (symbol? V2130) (let Cs (explode V2130) (and (= (hd Cs) "<") (= (hd (reverse Cs)) ">")))))
 
-(defun shen-list_stream? (V329) (cond ((cons? V329) true) (true false)))
+(defun shen.recursive_descent (V2131 V2132 V2133) (cond ((cons? V2131) (let Test (cons (hd V2131) (cons V2132 ())) (let Action (shen.syntax (tl V2131) (concat Parse_ (hd V2131)) V2133) (let Else (cons fail ()) (cons let (cons (concat Parse_ (hd V2131)) (cons Test (cons (cons if (cons (cons not (cons (cons = (cons (cons fail ()) (cons (concat Parse_ (hd V2131)) ()))) ())) (cons Action (cons Else ())))) ())))))))) (true (shen.sys-error shen.recursive_descent))))
 
-(defun shen-decons (V330)
- (cond
-  ((and (cons? V330)
-    (and (= cons (hd V330))
-     (and (cons? (tl V330))
-      (and (cons? (tl (tl V330))) (= () (tl (tl (tl V330))))))))
-   (cons (hd (tl V330)) (shen-decons (hd (tl (tl V330))))))
-  (true V330)))
+(defun shen.variable-match (V2134 V2135 V2136) (cond ((cons? V2134) (let Test (cons cons? (cons (cons hd (cons V2135 ())) ())) (let Action (cons let (cons (concat Parse_ (hd V2134)) (cons (cons hd (cons (cons hd (cons V2135 ())) ())) (cons (shen.syntax (tl V2134) (cons shen.pair (cons (cons tl (cons (cons hd (cons V2135 ())) ())) (cons (cons shen.hdtl (cons V2135 ())) ()))) V2136) ())))) (let Else (cons fail ()) (cons if (cons Test (cons Action (cons Else ())))))))) (true (shen.sys-error shen.variable-match))))
 
-(defun shen-list_stream (V331 V332 V333 V334)
- (let Test
-  (cons and
-   (cons (cons cons? (cons (cons fst (cons V333 ())) ()))
-    (cons
-     (cons cons? (cons (cons hd (cons (cons fst (cons V333 ())) ())) ()))
-     ())))
-  (let Action
-   (cons shen-snd-or-fail
-    (cons
-     (shen-syntax V331
-      (cons shen-reassemble
-       (cons (cons hd (cons (cons fst (cons V333 ())) ()))
-        (cons (cons snd (cons V333 ())) ())))
-      (cons shen-leave!
-       (cons
-        (shen-syntax V332
-         (cons shen-reassemble
-          (cons (cons tl (cons (cons fst (cons V333 ())) ()))
-           (cons (cons snd (cons V333 ())) ())))
-         V334)
-        ())))
-     ()))
-   (let Else (cons fail ())
-    (cons if (cons Test (cons Action (cons Else ()))))))))
+(defun shen.terminal? (V2145) (cond ((cons? V2145) false) ((variable? V2145) false) (true true)))
 
-(defun shen-snd-or-fail (V341) (cond ((tuple? V341) (snd V341)) (true (fail))))
+(defun shen.jump_stream? (V2150) (cond ((= V2150 _) true) (true false)))
 
-(defun shen-grammar_symbol? (V342)
- (and (symbol? V342)
-  (let Cs (explode V342)
-   (and (= (hd Cs) "<") (= (hd (reverse Cs)) ">")))))
+(defun shen.check_stream (V2151 V2152 V2153) (cond ((cons? V2151) (let Test (cons and (cons (cons cons? (cons (cons hd (cons V2152 ())) ())) (cons (cons = (cons (hd V2151) (cons (cons hd (cons (cons hd (cons V2152 ())) ())) ()))) ()))) (let Action (shen.syntax (tl V2151) (cons shen.pair (cons (cons tl (cons (cons hd (cons V2152 ())) ())) (cons (cons shen.hdtl (cons V2152 ())) ()))) V2153) (let Else (cons fail ()) (cons if (cons Test (cons Action (cons Else ())))))))) (true (shen.sys-error shen.check_stream))))
 
-(defun shen-recursive_descent (V343 V344 V345)
- (cond
-  ((cons? V343)
-   (let Test (cons (hd V343) (cons V344 ()))
-    (let Action (shen-syntax (tl V343) (concat Parse_ (hd V343)) V345)
-     (let Else (cons fail ())
-      (cons let
-       (cons (concat Parse_ (hd V343))
-        (cons Test
-         (cons
-          (cons if
-           (cons
-            (cons not
-             (cons
-              (cons =
-               (cons (cons fail ()) (cons (concat Parse_ (hd V343)) ())))
-              ()))
-            (cons Action (cons Else ()))))
-          ()))))))))
-  (true (shen-sys-error shen-recursive_descent))))
+(defun shen.jump_stream (V2154 V2155 V2156) (cond ((cons? V2154) (let Test (cons cons? (cons (cons hd (cons V2155 ())) ())) (let Action (shen.syntax (tl V2154) (cons shen.pair (cons (cons tl (cons (cons hd (cons V2155 ())) ())) (cons (cons shen.hdtl (cons V2155 ())) ()))) V2156) (let Else (cons fail ()) (cons if (cons Test (cons Action (cons Else ())))))))) (true (shen.sys-error shen.jump_stream))))
 
-(defun shen-segvar? (V346) (and (symbol? V346) (= (hd (explode V346)) "?")))
+(defun shen.semantics (V2157) (cond ((and (cons? V2157) (and (= shen.leave! (hd V2157)) (and (cons? (tl V2157)) (= () (tl (tl V2157)))))) (hd (tl V2157))) ((= () V2157) ()) ((shen.grammar_symbol? V2157) (cons shen.hdtl (cons (concat Parse_ V2157) ()))) ((variable? V2157) (concat Parse_ V2157)) ((cons? V2157) (map shen.semantics V2157)) (true V2157)))
 
-(defun shen-segment-match (V347 V348 V349)
- (cond
-  ((cons? V347)
-   (let Continuation
-    (cons lambda
-     (cons (hd V347)
-      (cons
-       (cons lambda
-        (cons Restart (cons (shen-syntax (tl V347) Restart V349) ())))
-       ())))
-    (cons (hd V347) (cons V348 (cons Continuation ())))))
-  (true (shen-sys-error shen-segment-match))))
+(defun fail () shen.fail!)
 
-(defun shen-terminal? (V358)
- (cond ((cons? V358) false) ((= -*- V358) false) (true true)))
+(defun shen.pair (V2158 V2159) (cons V2158 (cons V2159 ())))
 
-(defun shen-jump_stream? (V363) (cond ((= -*- V363) true) (true false)))
+(defun shen.hdtl (V2160) (hd (tl V2160)))
 
-(defun shen-check_stream (V364 V365 V366)
- (cond
-  ((cons? V364)
-   (let Test
-    (cons and
-     (cons (cons cons? (cons (cons fst (cons V365 ())) ()))
-      (cons
-       (cons =
-        (cons (hd V364)
-         (cons (cons hd (cons (cons fst (cons V365 ())) ())) ())))
-       ())))
-    (let Action
-     (shen-syntax (tl V364)
-      (cons shen-reassemble
-       (cons (cons tl (cons (cons fst (cons V365 ())) ()))
-        (cons (cons snd (cons V365 ())) ())))
-      V366)
-     (let Else (cons fail ())
-      (cons if (cons Test (cons Action (cons Else ()))))))))
-  (true (shen-sys-error shen-check_stream))))
+(defun <!> (V2167) (cond ((and (cons? V2167) (and (cons? (tl V2167)) (= () (tl (tl V2167))))) (cons () (cons (hd V2167) ()))) (true (fail))))
 
-(defun shen-reassemble (V368 V369)
- (cond ((= V369 (fail)) V369) (true (@p V368 V369))))
+(defun <e> (V2172) (cond ((and (cons? V2172) (and (cons? (tl V2172)) (= () (tl (tl V2172))))) (cons (hd V2172) (cons () ()))) (true (shen.sys-error <e>))))
 
-(defun shen-jump_stream (V370 V371 V372)
- (cond
-  ((cons? V370)
-   (let Test (cons cons? (cons (cons fst (cons V371 ())) ()))
-    (let Action
-     (shen-syntax (tl V370)
-      (cons shen-reassemble
-       (cons (cons tl (cons (cons fst (cons V371 ())) ()))
-        (cons (cons snd (cons V371 ())) ())))
-      V372)
-     (let Else (cons fail ())
-      (cons if (cons Test (cons Action (cons Else ()))))))))
-  (true (shen-sys-error shen-jump_stream))))
 
-(defun shen-semantics (V373)
- (cond
-  ((and (cons? V373)
-    (and (= shen-leave! (hd V373))
-     (and (cons? (tl V373)) (= () (tl (tl V373))))))
-   (hd (tl V373)))
-  ((= () V373) ())
-  ((shen-grammar_symbol? V373) (cons snd (cons (concat Parse_ V373) ())))
-  ((= -o- V373) (cons snd (cons Stream ())))
-  ((= -*- V373) (cons hd (cons (cons fst (cons Stream ())) ())))
-  ((= -s- V373) (cons fst (cons Stream ())))
-  ((cons? V373) (map (lambda V374 (shen-semantics V374)) V373)) (true V373)))
-
-(defun fail () shen-fail!)
-
-(defun <!> (V379)
- (cond ((tuple? V379) (@p () (fst V379))) (true (shen-sys-error <!>))))