shen-ruby 0.8.0 → 0.8.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/.travis.yml +1 -1
- data/HISTORY.md +4 -0
- data/README.md +7 -7
- data/lib/shen_ruby/version.rb +1 -1
- data/shen/release/k_lambda/declarations.kl +4 -53
- data/shen/release/k_lambda/macros.kl +1 -1
- data/shen/release/k_lambda/t-star.kl +61 -50
- data/shen/release/k_lambda/toplevel.kl +21 -21
- data/shen/release/k_lambda/types.kl +1 -5
- data/shen/release/k_lambda/writer.kl +25 -25
- data/shen/release/k_lambda/yacc.kl +28 -26
- data/shen-ruby.gemspec +1 -1
- metadata +8 -12
checksums.yaml
ADDED
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
---
|
|
2
|
+
SHA1:
|
|
3
|
+
metadata.gz: 24a6aa12631510875bd002608176244f213c31e1
|
|
4
|
+
data.tar.gz: 41a82d539165b299f9bdc348c51280bb6b4be948
|
|
5
|
+
SHA512:
|
|
6
|
+
metadata.gz: 350d8f0ff3f16359c9b7aeea6c452aeb2cb8fe05183d23cc1c4b0e17b684e751f88f119042fb1be3ce75e885f3b226843acaf09a4385cfe26bf2c44993f98741
|
|
7
|
+
data.tar.gz: a032b69c15ffb7b58214916ff4ee8618f70ce6b9e3547b2b510c713789e83fd49bb4d6fdf5c37a49a39767123916801ef31e1eb271bfffe5bcb9d37316a9d5ac
|
data/.travis.yml
CHANGED
data/HISTORY.md
CHANGED
data/README.md
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
# ShenRuby
|
|
2
2
|
ShenRuby is a Ruby port of the [Shen](http://shenlanguage.org/) programming language. Shen is a modern, functional Lisp that supports pattern matching, currying, and optional static type checking.
|
|
3
3
|
|
|
4
|
-
ShenRuby supports Shen version 14, which was released in
|
|
4
|
+
ShenRuby supports Shen version 14.2, which was released in January, 2014.
|
|
5
5
|
|
|
6
6
|
The ShenRuby project has two primary goals. The first is to be a low barrier-to-entry means for Rubyists to explore Shen. To someone with a working installation of Ruby 1.9.3, a Shen REPL is only a gem install away.
|
|
7
7
|
|
|
@@ -14,7 +14,7 @@ ShenRuby 0.1.0 began to satisfy the first goal by providing a Shen REPL accessib
|
|
|
14
14
|
## Installation
|
|
15
15
|
NOTE: ShenRuby requires Ruby 1.9 language features. It has been tested with Ruby 1.9.3 and Ruby 2.0.0. It has been lightly tested with JRuby 1.7.8.
|
|
16
16
|
|
|
17
|
-
ShenRuby 0.
|
|
17
|
+
ShenRuby 0.8.1 is the current release. To install it as a gem, use the following command:
|
|
18
18
|
|
|
19
19
|
gem install shen-ruby
|
|
20
20
|
|
|
@@ -23,13 +23,13 @@ ShenRuby 0.7.0 is the current release. To install it as a gem, use the following
|
|
|
23
23
|
Once the gem has been installed, the Shen REPL can be launched via the `srrepl` (short for ShenRuby REPL) command. For example:
|
|
24
24
|
|
|
25
25
|
% srrepl
|
|
26
|
-
Loading.... Completed in 6.
|
|
26
|
+
Loading.... Completed in 6.32 seconds.
|
|
27
27
|
|
|
28
28
|
Shen 2010, copyright (C) 2010 Mark Tarver
|
|
29
29
|
released under the Shen license
|
|
30
|
-
www.shenlanguage.org, version 14
|
|
30
|
+
www.shenlanguage.org, version 14.2
|
|
31
31
|
running under Ruby, implementation: ruby 2.0.0
|
|
32
|
-
port 0.8.
|
|
32
|
+
port 0.8.1 ported by Greg Spurrier
|
|
33
33
|
|
|
34
34
|
|
|
35
35
|
(0-)
|
|
@@ -167,6 +167,6 @@ The following people are gratefully acknowledged for their contributions to Shen
|
|
|
167
167
|
## License
|
|
168
168
|
Shen and ShenRuby are released under the Shen License. A copy of the Shen License may be found in [shen/license.txt](https://github.com/gregspurrier/shen-ruby/blob/master/shen/license.txt). A detailed description of the license, along with questions and answers, may be found at http://shenlanguage.org/license.html. In particular, please note that any forks or derivatives of ShenRuby must maintain conformance with the Official Shen Specification.
|
|
169
169
|
|
|
170
|
-
The implementation of Shen, which is found in the [shen/release](https://github.com/gregspurrier/shen-ruby/tree/master/shen) directory, is Copyright (c) 2010-
|
|
170
|
+
The implementation of Shen, which is found in the [shen/release](https://github.com/gregspurrier/shen-ruby/tree/master/shen) directory, is Copyright (c) 2010-2014 Mark Tarver and may only be used in accordance with the Shen License.
|
|
171
171
|
|
|
172
|
-
The remainder of the code for ShenRuby is Copyright(c) 2012-
|
|
172
|
+
The remainder of the code for ShenRuby is Copyright(c) 2012-2014 Greg Spurrier. It may be used outside of the context of ShenRuby under the terms of the MIT License. A copy of the MIT License may be found in [MIT_LICENSE.txt](https://github.com/gregspurrier/shen-ruby/blob/master/MIT_LICENSE.txt).
|
data/lib/shen_ruby/version.rb
CHANGED
|
@@ -1,53 +1,4 @@
|
|
|
1
|
-
"
|
|
2
|
-
* The License *
|
|
3
|
-
* *
|
|
4
|
-
* The user is free to produce commercial applications with the software, to *
|
|
5
|
-
* distribute these applications in source or binary form, and to charge monies *
|
|
6
|
-
* for them as he sees fit and in concordance with the laws of the land subject *
|
|
7
|
-
* to the following license. *
|
|
8
|
-
* *
|
|
9
|
-
* 1. The license applies to all the software and all derived software and *
|
|
10
|
-
* must appear on such. *
|
|
11
|
-
* *
|
|
12
|
-
* 2. It is illegal to distribute the software without this license attached *
|
|
13
|
-
* to it and use of the software implies agreement with the license as such. *
|
|
14
|
-
* It is illegal for anyone who is not the copyright holder to tamper with *
|
|
15
|
-
* or change the license. *
|
|
16
|
-
* *
|
|
17
|
-
* 3. Neither the names of Lambda Associates or the copyright holder may be used *
|
|
18
|
-
* to endorse or promote products built using the software without specific *
|
|
19
|
-
* prior written permission from the copyright holder. *
|
|
20
|
-
* *
|
|
21
|
-
* 4. That possession of this license does not confer on the copyright holder *
|
|
22
|
-
* any special contractual obligation towards the user. That in no event *
|
|
23
|
-
* shall the copyright holder be liable for any direct, indirect, incidental, *
|
|
24
|
-
* special, exemplary or consequential damages (including but not limited *
|
|
25
|
-
* to procurement of substitute goods or services, loss of use, data, *
|
|
26
|
-
* interruption), however caused and on any theory of liability, whether in *
|
|
27
|
-
* contract, strict liability or tort (including negligence) arising in any *
|
|
28
|
-
* way out of the use of the software, even if advised of the possibility of *
|
|
29
|
-
* such damage. *
|
|
30
|
-
* *
|
|
31
|
-
* 5. It is permitted for the user to change the software, for the purpose of *
|
|
32
|
-
* improving performance, correcting an error, or porting to a new platform, *
|
|
33
|
-
* and distribute the derived version of Shen provided the resulting program *
|
|
34
|
-
* conforms in all respects to the Shen standard and is issued under that *
|
|
35
|
-
* title. The user must make it clear with his distribution that he/she is *
|
|
36
|
-
* the author of the changes and what these changes are and why. *
|
|
37
|
-
* *
|
|
38
|
-
* 6. Derived versions of this software in whatever form are subject to the same *
|
|
39
|
-
* restrictions. In particular it is not permitted to make derived copies of *
|
|
40
|
-
* this software which do not conform to the Shen standard or appear under a *
|
|
41
|
-
* different title. *
|
|
42
|
-
* *
|
|
43
|
-
* It is permitted to distribute versions of Shen which incorporate libraries, *
|
|
44
|
-
* graphics or other facilities which are not part of the Shen standard. *
|
|
45
|
-
* *
|
|
46
|
-
* For an explication of this license see www.shenlanguage.org/license.htm which *
|
|
47
|
-
* explains this license in full. *
|
|
48
|
-
* *
|
|
49
|
-
*****************************************************************************************
|
|
50
|
-
"(set shen.*installing-kl* false)
|
|
1
|
+
"*********************************************************************************** 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. ** ******************************************************************************************"(set shen.*installing-kl* false)
|
|
51
2
|
|
|
52
3
|
(set shen.*history* ())
|
|
53
4
|
|
|
@@ -109,19 +60,19 @@
|
|
|
109
60
|
|
|
110
61
|
(set shen.*optimise* false)
|
|
111
62
|
|
|
112
|
-
(set *version* "version 14")
|
|
63
|
+
(set *version* "version 14.2")
|
|
113
64
|
|
|
114
65
|
(defun shen.initialise_arity_table (V820) (cond ((= () V820) ()) ((and (cons? V820) (cons? (tl V820))) (let DecArity (put (hd V820) arity (hd (tl V820)) (value *property-vector*)) (shen.initialise_arity_table (tl (tl V820))))) (true (shen.sys-error shen.initialise_arity_table))))
|
|
115
66
|
|
|
116
67
|
(defun arity (V821) (trap-error (get V821 arity (value *property-vector*)) (lambda E -1)))
|
|
117
68
|
|
|
118
|
-
(shen.initialise_arity_table (cons absvector (cons 1 (cons adjoin (cons 2 (cons and (cons 2 (cons append (cons 2 (cons arity (cons 1 (cons assoc (cons 2 (cons boolean? (cons 1 (cons cd (cons 1 (cons compile (cons 3 (cons concat (cons 2 (cons cons (cons 2 (cons cons? (cons 1 (cons cn (cons 2 (cons declare (cons 2 (cons destroy (cons 1 (cons difference (cons 2 (cons do (cons 2 (cons element? (cons 2 (cons empty? (cons 1 (cons enable-type-theory (cons 1 (cons interror (cons 2 (cons eval (cons 1 (cons eval-kl (cons 1 (cons explode (cons 1 (cons external (cons 1 (cons fail-if (cons 2 (cons fail (cons 0 (cons fix (cons 2 (cons findall (cons 5 (cons freeze (cons 1 (cons fst (cons 1 (cons gensym (cons 1 (cons get (cons 3 (cons get-time (cons 1 (cons address-> (cons 3 (cons <-address (cons 2 (cons <-vector (cons 2 (cons > (cons 2 (cons >= (cons 2 (cons = (cons 2 (cons hd (cons 1 (cons hdv (cons 1 (cons hdstr (cons 1 (cons head (cons 1 (cons if (cons 3 (cons integer? (cons 1 (cons intern (cons 1 (cons identical (cons 4 (cons inferences (cons 0 (cons input (cons 1 (cons input+ (cons 2 (cons implementation (cons 0 (cons intersection (cons 2 (cons
|
|
69
|
+
(shen.initialise_arity_table (cons absvector (cons 1 (cons adjoin (cons 2 (cons and (cons 2 (cons append (cons 2 (cons arity (cons 1 (cons assoc (cons 2 (cons boolean? (cons 1 (cons cd (cons 1 (cons compile (cons 3 (cons concat (cons 2 (cons cons (cons 2 (cons cons? (cons 1 (cons cn (cons 2 (cons declare (cons 2 (cons destroy (cons 1 (cons difference (cons 2 (cons do (cons 2 (cons element? (cons 2 (cons empty? (cons 1 (cons enable-type-theory (cons 1 (cons interror (cons 2 (cons eval (cons 1 (cons eval-kl (cons 1 (cons explode (cons 1 (cons external (cons 1 (cons fail-if (cons 2 (cons fail (cons 0 (cons fix (cons 2 (cons findall (cons 5 (cons freeze (cons 1 (cons fst (cons 1 (cons gensym (cons 1 (cons get (cons 3 (cons get-time (cons 1 (cons address-> (cons 3 (cons <-address (cons 2 (cons <-vector (cons 2 (cons > (cons 2 (cons >= (cons 2 (cons = (cons 2 (cons hd (cons 1 (cons hdv (cons 1 (cons hdstr (cons 1 (cons head (cons 1 (cons if (cons 3 (cons integer? (cons 1 (cons intern (cons 1 (cons identical (cons 4 (cons inferences (cons 0 (cons input (cons 1 (cons input+ (cons 2 (cons implementation (cons 0 (cons intersection (cons 2 (cons language (cons 0 (cons length (cons 1 (cons lineread (cons 1 (cons load (cons 1 (cons < (cons 2 (cons <= (cons 2 (cons vector (cons 1 (cons macroexpand (cons 1 (cons map (cons 2 (cons mapcan (cons 2 (cons maxinferences (cons 1 (cons not (cons 1 (cons nth (cons 2 (cons n->string (cons 1 (cons number? (cons 1 (cons occurs-check (cons 1 (cons occurrences (cons 2 (cons occurs-check (cons 1 (cons optimise (cons 1 (cons or (cons 2 (cons os (cons 0 (cons package (cons 3 (cons port (cons 0 (cons porters (cons 0 (cons pos (cons 2 (cons print (cons 1 (cons profile (cons 1 (cons profile-results (cons 1 (cons pr (cons 2 (cons ps (cons 1 (cons preclude (cons 1 (cons preclude-all-but (cons 1 (cons protect (cons 1 (cons address-> (cons 3 (cons put (cons 4 (cons shen.reassemble (cons 2 (cons read-file-as-string (cons 1 (cons read-file (cons 1 (cons read (cons 1 (cons read-byte (cons 1 (cons read-from-string (cons 1 (cons release (cons 0 (cons remove (cons 2 (cons reverse (cons 1 (cons set (cons 2 (cons simple-error (cons 1 (cons snd (cons 1 (cons specialise (cons 1 (cons spy (cons 1 (cons step (cons 1 (cons stinput (cons 0 (cons stoutput (cons 0 (cons string->n (cons 1 (cons string->symbol (cons 1 (cons string? (cons 1 (cons shen.strong-warning (cons 1 (cons subst (cons 3 (cons sum (cons 1 (cons symbol? (cons 1 (cons tail (cons 1 (cons tl (cons 1 (cons tc (cons 1 (cons tc? (cons 0 (cons thaw (cons 1 (cons tlstr (cons 1 (cons track (cons 1 (cons trap-error (cons 2 (cons tuple? (cons 1 (cons type (cons 1 (cons return (cons 3 (cons undefmacro (cons 1 (cons unprofile (cons 1 (cons unify (cons 4 (cons unify! (cons 4 (cons union (cons 2 (cons untrack (cons 1 (cons unspecialise (cons 1 (cons undefmacro (cons 1 (cons vector (cons 1 (cons vector-> (cons 3 (cons value (cons 1 (cons variable? (cons 1 (cons version (cons 0 (cons warn (cons 1 (cons write-byte (cons 2 (cons write-to-file (cons 2 (cons y-or-n? (cons 1 (cons + (cons 2 (cons * (cons 2 (cons / (cons 2 (cons - (cons 2 (cons == (cons 2 (cons <e> (cons 1 (cons @p (cons 2 (cons @v (cons 2 (cons @s (cons 2 (cons preclude (cons 1 (cons include (cons 1 (cons preclude-all-but (cons 1 (cons include-all-but (cons 1 (cons where (cons 2 ())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
|
|
119
70
|
|
|
120
71
|
(defun systemf (V822) (let Shen (intern "shen") (let External (get Shen shen.external-symbols (value *property-vector*)) (put Shen shen.external-symbols (adjoin V822 External) (value *property-vector*)))))
|
|
121
72
|
|
|
122
73
|
(defun adjoin (V823 V824) (if (element? V823 V824) V824 (cons V823 V824)))
|
|
123
74
|
|
|
124
|
-
(put (intern "shen") shen.external-symbols (cons ! (cons } (cons { (cons --> (cons <-- (cons && (cons : (cons ; (cons :- (cons := (cons _ (cons *language* (cons *implementation* (cons *stinput* (cons *home-directory* (cons *version* (cons *maximum-print-sequence-size* (cons *macros* (cons *os* (cons *release* (cons *property-vector* (cons @v (cons @p (cons @s (cons *port* (cons *porters* (cons *hush* (cons <- (cons -> (cons <e> (cons == (cons = (cons >= (cons > (cons /. (cons =! (cons $ (cons - (cons / (cons * (cons + (cons <= (cons < (cons >> (cons (vector 0) (cons ==> (cons y-or-n? (cons write-to-file (cons write-byte (cons where (cons when (cons warn (cons version (cons verified (cons variable? (cons value (cons vector-> (cons <-vector (cons vector (cons vector? (cons unspecialise (cons untrack (cons unit (cons shen.unix (cons union (cons unify (cons unify! (cons unprofile (cons undefmacro (cons return (cons type (cons tuple? (cons true (cons trap-error (cons track (cons time (cons thaw (cons tc? (cons tc (cons tl (cons tlstr (cons tlv (cons tail (cons systemf (cons synonyms (cons symbol (cons symbol? (cons string->symbol (cons subst (cons string? (cons string->n (cons stream (cons string (cons stinput (cons stoutput (cons step (cons spy (cons specialise (cons snd (cons simple-error (cons set (cons save (cons str (cons run (cons reverse (cons remove (cons release (cons read (cons read+ (cons read-file (cons read-file-as-bytelist (cons read-file-as-string (cons read-byte (cons read-from-string (cons quit (cons put (cons preclude (cons preclude-all-but (cons ps (cons prolog? (cons protect (cons profile-results (cons profile (cons print (cons pr (cons pos (cons porters (cons port (cons package (cons output (cons out (cons os (cons or (cons open (cons occurrences (cons occurs-check (cons n->string (cons number? (cons number (cons null (cons nth (cons not (cons nl (cons mode (cons macro (cons macroexpand (cons maxinferences (cons mapcan (cons map (cons make-string (cons load (cons loaded (cons list (cons lineread (cons limit (cons length (cons let (cons lazy (cons lambda (cons language (cons
|
|
75
|
+
(put (intern "shen") shen.external-symbols (cons ! (cons } (cons { (cons --> (cons <-- (cons && (cons : (cons ; (cons :- (cons := (cons _ (cons *language* (cons *implementation* (cons *stinput* (cons *home-directory* (cons *version* (cons *maximum-print-sequence-size* (cons *macros* (cons *os* (cons *release* (cons *property-vector* (cons @v (cons @p (cons @s (cons *port* (cons *porters* (cons *hush* (cons <- (cons -> (cons <e> (cons == (cons = (cons >= (cons > (cons /. (cons =! (cons $ (cons - (cons / (cons * (cons + (cons <= (cons < (cons >> (cons (vector 0) (cons ==> (cons y-or-n? (cons write-to-file (cons write-byte (cons where (cons when (cons warn (cons version (cons verified (cons variable? (cons value (cons vector-> (cons <-vector (cons vector (cons vector? (cons unspecialise (cons untrack (cons unit (cons shen.unix (cons union (cons unify (cons unify! (cons unprofile (cons undefmacro (cons return (cons type (cons tuple? (cons true (cons trap-error (cons track (cons time (cons thaw (cons tc? (cons tc (cons tl (cons tlstr (cons tlv (cons tail (cons systemf (cons synonyms (cons symbol (cons symbol? (cons string->symbol (cons subst (cons string? (cons string->n (cons stream (cons string (cons stinput (cons stoutput (cons step (cons spy (cons specialise (cons snd (cons simple-error (cons set (cons save (cons str (cons run (cons reverse (cons remove (cons release (cons read (cons read+ (cons read-file (cons read-file-as-bytelist (cons read-file-as-string (cons read-byte (cons read-from-string (cons quit (cons put (cons preclude (cons preclude-all-but (cons ps (cons prolog? (cons protect (cons profile-results (cons profile (cons print (cons pr (cons pos (cons porters (cons port (cons package (cons output (cons out (cons os (cons or (cons open (cons occurrences (cons occurs-check (cons n->string (cons number? (cons number (cons null (cons nth (cons not (cons nl (cons mode (cons macro (cons macroexpand (cons maxinferences (cons mapcan (cons map (cons make-string (cons load (cons loaded (cons list (cons lineread (cons limit (cons length (cons let (cons lazy (cons lambda (cons language (cons is (cons intersection (cons inferences (cons intern (cons integer? (cons input (cons input+ (cons include (cons include-all-but (cons in (cons implementation (cons if (cons identical (cons head (cons hd (cons hdv (cons hdstr (cons hash (cons get (cons get-time (cons gensym (cons function (cons fst (cons freeze (cons fix (cons file (cons fail (cons fail-if (cons fwhen (cons findall (cons false (cons enable-type-theory (cons explode (cons external (cons exception (cons eval-kl (cons eval (cons error-to-string (cons error (cons empty? (cons element? (cons do (cons difference (cons destroy (cons defun (cons define (cons defmacro (cons defcc (cons defprolog (cons declare (cons datatype (cons cut (cons cn (cons cons? (cons cons (cons cond (cons concat (cons compile (cons cd (cons cases (cons call (cons close (cons bind (cons bound? (cons boolean? (cons boolean (cons bar! (cons assoc (cons arity (cons append (cons and (cons adjoin (cons <-address (cons address-> (cons absvector? (cons absvector (cons abort ()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (value *property-vector*))
|
|
125
76
|
|
|
126
77
|
(defun specialise (V825) (do (set shen.*special* (cons V825 (value shen.*special*))) V825))
|
|
127
78
|
|
|
@@ -57,7 +57,7 @@
|
|
|
57
57
|
|
|
58
58
|
(defun shen.make-string-macro (V871) (cond ((and (cons? V871) (and (= make-string (hd V871)) (cons? (tl V871)))) (shen.mkstr (hd (tl V871)) (tl (tl V871)))) (true V871)))
|
|
59
59
|
|
|
60
|
-
(defun shen.input-macro (V872) (cond ((and (cons? V872) (and (= lineread (hd V872)) (= () (tl V872)))) (cons lineread (cons (cons stinput ()) ()))) ((and (cons? V872) (and (= input (hd V872)) (= () (tl V872)))) (cons input (cons (cons stinput ()) ()))) ((and (cons? V872) (and (= read (hd V872)) (= () (tl V872)))) (cons read (cons (cons stinput ()) ()))) ((and (cons? V872) (and (= input+ (hd V872)) (and (cons? (tl V872)) (= () (tl (tl V872)))))) (cons input+ (cons (hd (tl V872)) (cons (cons stinput ()) ())))) ((and (cons? V872) (and (= read
|
|
60
|
+
(defun shen.input-macro (V872) (cond ((and (cons? V872) (and (= lineread (hd V872)) (= () (tl V872)))) (cons lineread (cons (cons stinput ()) ()))) ((and (cons? V872) (and (= input (hd V872)) (= () (tl V872)))) (cons input (cons (cons stinput ()) ()))) ((and (cons? V872) (and (= read (hd V872)) (= () (tl V872)))) (cons read (cons (cons stinput ()) ()))) ((and (cons? V872) (and (= input+ (hd V872)) (and (cons? (tl V872)) (= () (tl (tl V872)))))) (cons input+ (cons (hd (tl V872)) (cons (cons stinput ()) ())))) ((and (cons? V872) (and (= read-byte (hd V872)) (= () (tl V872)))) (cons read-byte (cons (cons stinput ()) ()))) (true V872)))
|
|
61
61
|
|
|
62
62
|
(defun shen.compose (V873 V874) (cond ((= () V873) V874) ((cons? V873) (shen.compose (tl V873) ((hd V873) V874))) (true (shen.sys-error shen.compose))))
|
|
63
63
|
|