shen-ruby 0.2.0 → 0.3.0

data/shen/release/k_lambda/toplevel.kl

@@ -27,7 +27,7 @@ For an explication of this license see http://www.lambdassociates.org/News/june1
 
 (defun version (V568) (set *version* V568))
 
-(version "version 7.1")
+(version "version 8")
 
 (defun shen-credits ()
  (do (intoutput "~%Shen 2010, copyright (C) 2010 Mark Tarver~%" ())

data/shen/release/k_lambda/types.kl

@@ -15,12 +15,12 @@
 
 For an explication of this license see http://www.lambdassociates.org/News/june11/license.htm which explains this license in full."
 
-(defun declare (V1681 V1682)
- (let Record (set shen-*signedfuncs* (adjoin V1681 (value shen-*signedfuncs*)))
+(defun declare (V1679 V1680)
+ (let Record (set shen-*signedfuncs* (adjoin V1679 (value shen-*signedfuncs*)))
   (let Variancy
-   (trap-error (shen-variancy-test V1681 V1682) (lambda E shen-skip))
-   (let Type (shen-rcons_form (shen-normalise-type V1682))
-    (let F* (concat shen-type-signature-of- V1681)
+   (trap-error (shen-variancy-test V1679 V1680) (lambda E shen-skip))
+   (let Type (shen-rcons_form (shen-normalise-type V1680))
+    (let F* (concat shen-type-signature-of- V1679)
      (let Parameters (shen-parameters 1)
       (let Clause
        (cons (cons F* (cons X ()))
@@ -33,43 +33,43 @@ For an explication of this license see http://www.lambdassociates.org/News/june1
             (append Parameters
              (append (cons ProcessN (cons Continuation ()))
               (cons -> (cons Code ()))))))
-          (let Eval (shen-eval-without-macros ShenDef) V1681)))))))))))
+          (let Eval (shen-eval-without-macros ShenDef) V1679)))))))))))
 
-(defun shen-normalise-type (V1683)
- (fix (lambda V1684 (shen-normalise-type-help V1684)) V1683))
+(defun shen-normalise-type (V1681)
+ (fix (lambda V1682 (shen-normalise-type-help V1682)) V1681))
 
-(defun shen-normalise-type-help (V1685)
+(defun shen-normalise-type-help (V1683)
  (cond
-  ((cons? V1685)
+  ((cons? V1683)
    (shen-normalise-X
-    (map (lambda V1686 (shen-normalise-type-help V1686)) V1685)))
-  (true (shen-normalise-X V1685))))
+    (map (lambda V1684 (shen-normalise-type-help V1684)) V1683)))
+  (true (shen-normalise-X V1683))))
 
-(defun shen-normalise-X (V1687)
- (let Val (assoc V1687 (value shen-*synonyms*))
-  (if (empty? Val) V1687 (tl Val))))
+(defun shen-normalise-X (V1685)
+ (let Val (assoc V1685 (value shen-*synonyms*))
+  (if (empty? Val) V1685 (tl Val))))
 
-(defun shen-variancy-test (V1688 V1689)
- (let TypeF (shen-typecheck V1688 B)
+(defun shen-variancy-test (V1686 V1687)
+ (let TypeF (shen-typecheck V1686 B)
   (let Check
    (if (= symbol TypeF) shen-skip
-    (if (shen-variant? TypeF V1689) shen-skip
+    (if (shen-variant? TypeF V1687) shen-skip
      (intoutput "warning: changing the type of ~A may create errors~%"
-      (@p V1688 ()))))
+      (@p V1686 ()))))
    shen-skip)))
 
-(defun shen-variant? (V1698 V1699)
- (cond ((= V1699 V1698) true)
-  ((and (cons? V1698) (and (cons? V1699) (= (hd V1699) (hd V1698))))
-   (shen-variant? (tl V1698) (tl V1699)))
-  ((and (cons? V1698)
-    (and (cons? V1699) (and (shen-pvar? (hd V1698)) (variable? (hd V1699)))))
-   (shen-variant? (subst shen-a (hd V1698) (tl V1698))
-    (subst shen-a (hd V1699) (tl V1699))))
-  ((and (cons? V1698)
-    (and (cons? (hd V1698)) (and (cons? V1699) (cons? (hd V1699)))))
-   (shen-variant? (append (hd V1698) (tl V1698))
-    (append (hd V1699) (tl V1699))))
+(defun shen-variant? (V1696 V1697)
+ (cond ((= V1697 V1696) true)
+  ((and (cons? V1696) (and (cons? V1697) (= (hd V1697) (hd V1696))))
+   (shen-variant? (tl V1696) (tl V1697)))
+  ((and (cons? V1696)
+    (and (cons? V1697) (and (shen-pvar? (hd V1696)) (variable? (hd V1697)))))
+   (shen-variant? (subst shen-a (hd V1696) (tl V1696))
+    (subst shen-a (hd V1697) (tl V1697))))
+  ((and (cons? V1696)
+    (and (cons? (hd V1696)) (and (cons? V1697) (cons? (hd V1697)))))
+   (shen-variant? (append (hd V1696) (tl V1696))
+    (append (hd V1697) (tl V1697))))
   (true false)))
 
 (declare absvector? (cons A (cons --> (cons boolean ()))))
@@ -313,13 +313,17 @@ For an explication of this license see http://www.lambdassociates.org/News/june1
 (declare read-byte
  (cons (cons stream (cons in ())) (cons --> (cons number ()))))
 
-(declare read-file
- (cons string (cons --> (cons (cons list (cons unit ())) ()))))
-
 (declare read-file-as-bytelist
  (cons string (cons --> (cons (cons list (cons number ())) ()))))
 
-(declare read-file-as-string (cons string (cons --> (cons string ()))))
+(declare read-file-as-string
+ (cons string (cons --> (cons string ()))))
+
+(declare read-file
+ (cons string (cons --> (cons (cons list (cons unit ())) ()))))
+
+(declare read-from-string
+ (cons string (cons --> (cons (cons list (cons unit ())) ()))))
 
 (declare remove
  (cons A
@@ -388,6 +392,8 @@ For an explication of this license see http://www.lambdassociates.org/News/june1
 
 (declare tuple? (cons A (cons --> (cons boolean ()))))
 
+(declare shen-undefmacro (cons symbol (cons --> (cons symbol ()))))
+
 (declare union
  (cons (cons list (cons A ()))
   (cons -->

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: shen-ruby
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.3.0
   prerelease: 
 platform: ruby
 authors:
@@ -10,7 +10,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-01-17 00:00:00.000000000 Z
+date: 2013-01-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rspec