shen-ruby 0.13.0 → 0.14.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
 - data/HISTORY.md +7 -0
 - data/README.md +5 -5
 - data/Rakefile +10 -3
 - data/lib/shen_ruby/version.rb +1 -1
 - data/shen-ruby.gemspec +2 -2
 - data/shen/release/klambda/core.kl +63 -63
 - data/shen/release/klambda/declarations.kl +7 -7
 - data/shen/release/klambda/load.kl +15 -15
 - data/shen/release/klambda/macros.kl +33 -33
 - data/shen/release/klambda/prolog.kl +97 -97
 - data/shen/release/klambda/reader.kl +83 -83
 - data/shen/release/klambda/sequent.kl +55 -55
 - data/shen/release/klambda/sys.kl +101 -101
 - data/shen/release/klambda/t-star.kl +41 -41
 - data/shen/release/klambda/toplevel.kl +21 -21
 - data/shen/release/klambda/track.kl +25 -25
 - data/shen/release/klambda/types.kl +4 -4
 - data/shen/release/klambda/writer.kl +25 -25
 - data/shen/release/klambda/yacc.kl +28 -28
 - data/shen/release/license.pdf +0 -0
 - data/shen/release/test_programs/bubble_version_2.shen +1 -1
 - data/shen/release/test_programs/depth_.shen +1 -1
 - data/shen/release/test_programs/interpreter.shen +1 -1
 - data/shen/release/test_programs/metaprog.shen +1 -1
 - data/shen/release/test_programs/semantic_net.shen +1 -1
 - data/shen/release/test_programs/tests.shen +12 -12
 - metadata +5 -5
 
    
        data/shen/release/license.pdf
    CHANGED
    
    | 
         Binary file 
     | 
| 
         @@ -6,7 +6,7 @@ 
     | 
|
| 
       6 
6 
     | 
    
         
             
              {(list A) --> (A --> (list A)) --> (A --> boolean) --> (A --> boolean) --> (list A) --> (list A)}
         
     | 
| 
       7 
7 
     | 
    
         
             
              [State | _] _ Goal? _ Path -> (reverse [State | Path]) 	where (Goal? State)
         
     | 
| 
       8 
8 
     | 
    
         
             
              [State | _] _ _ Fail? _ -> [] 				where (Fail? State)
         
     | 
| 
       9 
     | 
    
         
            -
              [State | _] Successors Goal? Fail? Path <- (fail-if empty? 
         
     | 
| 
      
 9 
     | 
    
         
            +
              [State | _] Successors Goal? Fail? Path <- (fail-if (function empty?) 
         
     | 
| 
       10 
10 
     | 
    
         
             
                                                                  (depth-help' (Successors State) 
         
     | 
| 
       11 
11 
     | 
    
         
             
                                                                               Successors Goal? Fail? [State | Path]))
         
     | 
| 
       12 
12 
     | 
    
         
             
              [_ | States] Successors Goal? Fail? Path -> (depth-help' States Successors Goal? Fail? Path)
         
     | 
| 
         @@ -2,7 +2,7 @@ 
     | 
|
| 
       2 
2 
     | 
    
         
             
              [is Object Concept] -> (if (belongs? Object Concept) yes no))
         
     | 
| 
       3 
3 
     | 
    
         | 
| 
       4 
4 
     | 
    
         
             
            (define belongs?  
         
     | 
| 
       5 
     | 
    
         
            -
              Object Concept -> (element? Concept (fix spread-activation [Object])))
         
     | 
| 
      
 5 
     | 
    
         
            +
              Object Concept -> (element? Concept (fix (function spread-activation) [Object])))
         
     | 
| 
       6 
6 
     | 
    
         | 
| 
       7 
7 
     | 
    
         
             
            (define spread-activation  
         
     | 
| 
       8 
8 
     | 
    
         
             
              [] -> [] 
         
     | 
| 
         @@ -161,18 +161,18 @@ 
     | 
|
| 
       161 
161 
     | 
    
         | 
| 
       162 
162 
     | 
    
         
             
             (report "yacc"
         
     | 
| 
       163 
163 
     | 
    
         
             
               (load "yacc.shen") loaded
         
     | 
| 
       164 
     | 
    
         
            -
               (compile <sent> [the cat likes the dog]) [the cat likes the dog]
         
     | 
| 
       165 
     | 
    
         
            -
               (compile <sent> [the cat likes the canary] (/. E (fail))) (fail)
         
     | 
| 
       166 
     | 
    
         
            -
               (compile <asbscs> [a a a b b c])  [a a a b b c]
         
     | 
| 
       167 
     | 
    
         
            -
               (compile <find-digit> [a v f g 6 y u]) [6]
         
     | 
| 
       168 
     | 
    
         
            -
               (compile <vp> [chases the cat]) [chases the cat]
         
     | 
| 
       169 
     | 
    
         
            -
               (compile <des> [[d] [e e]]) [d e e]
         
     | 
| 
       170 
     | 
    
         
            -
               (compile <sent'> [the cat likes the dog]) [is it true that your father likes the dog ?]
         
     | 
| 
       171 
     | 
    
         
            -
               (compile <as> [a a a]) [a a a]
         
     | 
| 
       172 
     | 
    
         
            -
               (compile <find-digit'> [a v f g 6 y u]) [6 y u]
         
     | 
| 
       173 
     | 
    
         
            -
               (compile <asbs'cs> [a v f g 6 y u] (/. E (fail))) (fail)
         
     | 
| 
       174 
     | 
    
         
            -
               (compile <find-digit''> [a v f g 6 y u]) 6
         
     | 
| 
       175 
     | 
    
         
            -
               (compile <anbncn> [a a a b b b c c c]) [a a a b b b c c c] )
         
     | 
| 
      
 164 
     | 
    
         
            +
               (compile (function <sent>) [the cat likes the dog]) [the cat likes the dog]
         
     | 
| 
      
 165 
     | 
    
         
            +
               (compile (function <sent>) [the cat likes the canary] (/. E (fail))) (fail)
         
     | 
| 
      
 166 
     | 
    
         
            +
               (compile (function <asbscs>) [a a a b b c])  [a a a b b c]
         
     | 
| 
      
 167 
     | 
    
         
            +
               (compile (function <find-digit>) [a v f g 6 y u]) [6]
         
     | 
| 
      
 168 
     | 
    
         
            +
               (compile (function <vp>) [chases the cat]) [chases the cat]
         
     | 
| 
      
 169 
     | 
    
         
            +
               (compile (function <des>) [[d] [e e]]) [d e e]
         
     | 
| 
      
 170 
     | 
    
         
            +
               (compile (function <sent'>) [the cat likes the dog]) [is it true that your father likes the dog ?]
         
     | 
| 
      
 171 
     | 
    
         
            +
               (compile (function <as>) [a a a]) [a a a]
         
     | 
| 
      
 172 
     | 
    
         
            +
               (compile (function <find-digit'>) [a v f g 6 y u]) [6 y u]
         
     | 
| 
      
 173 
     | 
    
         
            +
               (compile (function <asbs'cs>) [a v f g 6 y u] (/. E (fail))) (fail)
         
     | 
| 
      
 174 
     | 
    
         
            +
               (compile (function <find-digit''>) [a v f g 6 y u]) 6
         
     | 
| 
      
 175 
     | 
    
         
            +
               (compile (function <anbncn>) [a a a b b b c c c]) [a a a b b b c c c] )
         
     | 
| 
       176 
176 
     | 
    
         | 
| 
       177 
177 
     | 
    
         
             
            (preclude-all-but [])    
         
     | 
| 
       178 
178 
     | 
    
         
             
            (tc +)       
         
     | 
    
        metadata
    CHANGED
    
    | 
         @@ -1,7 +1,7 @@ 
     | 
|
| 
       1 
1 
     | 
    
         
             
            --- !ruby/object:Gem::Specification
         
     | 
| 
       2 
2 
     | 
    
         
             
            name: shen-ruby
         
     | 
| 
       3 
3 
     | 
    
         
             
            version: !ruby/object:Gem::Version
         
     | 
| 
       4 
     | 
    
         
            -
              version: 0. 
     | 
| 
      
 4 
     | 
    
         
            +
              version: 0.14.0
         
     | 
| 
       5 
5 
     | 
    
         
             
            platform: ruby
         
     | 
| 
       6 
6 
     | 
    
         
             
            authors:
         
     | 
| 
       7 
7 
     | 
    
         
             
            - Greg Spurrier
         
     | 
| 
         @@ -9,7 +9,7 @@ authors: 
     | 
|
| 
       9 
9 
     | 
    
         
             
            autorequire: 
         
     | 
| 
       10 
10 
     | 
    
         
             
            bindir: bin
         
     | 
| 
       11 
11 
     | 
    
         
             
            cert_chain: []
         
     | 
| 
       12 
     | 
    
         
            -
            date: 2015-02- 
     | 
| 
      
 12 
     | 
    
         
            +
            date: 2015-02-25 00:00:00.000000000 Z
         
     | 
| 
       13 
13 
     | 
    
         
             
            dependencies:
         
     | 
| 
       14 
14 
     | 
    
         
             
            - !ruby/object:Gem::Dependency
         
     | 
| 
       15 
15 
     | 
    
         
             
              name: klam
         
     | 
| 
         @@ -17,14 +17,14 @@ dependencies: 
     | 
|
| 
       17 
17 
     | 
    
         
             
                requirements:
         
     | 
| 
       18 
18 
     | 
    
         
             
                - - '='
         
     | 
| 
       19 
19 
     | 
    
         
             
                  - !ruby/object:Gem::Version
         
     | 
| 
       20 
     | 
    
         
            -
                    version: 0.0. 
     | 
| 
      
 20 
     | 
    
         
            +
                    version: 0.0.7
         
     | 
| 
       21 
21 
     | 
    
         
             
              type: :runtime
         
     | 
| 
       22 
22 
     | 
    
         
             
              prerelease: false
         
     | 
| 
       23 
23 
     | 
    
         
             
              version_requirements: !ruby/object:Gem::Requirement
         
     | 
| 
       24 
24 
     | 
    
         
             
                requirements:
         
     | 
| 
       25 
25 
     | 
    
         
             
                - - '='
         
     | 
| 
       26 
26 
     | 
    
         
             
                  - !ruby/object:Gem::Version
         
     | 
| 
       27 
     | 
    
         
            -
                    version: 0.0. 
     | 
| 
      
 27 
     | 
    
         
            +
                    version: 0.0.7
         
     | 
| 
       28 
28 
     | 
    
         
             
            - !ruby/object:Gem::Dependency
         
     | 
| 
       29 
29 
     | 
    
         
             
              name: rake
         
     | 
| 
       30 
30 
     | 
    
         
             
              requirement: !ruby/object:Gem::Requirement
         
     | 
| 
         @@ -66,7 +66,7 @@ dependencies: 
     | 
|
| 
       66 
66 
     | 
    
         
             
                  - !ruby/object:Gem::Version
         
     | 
| 
       67 
67 
     | 
    
         
             
                    version: 3.1.0
         
     | 
| 
       68 
68 
     | 
    
         
             
            description: ShenRuby is a port of the Shen programming language to Ruby. It currently
         
     | 
| 
       69 
     | 
    
         
            -
              supports Shen version 17.
         
     | 
| 
      
 69 
     | 
    
         
            +
              supports Shen version 17.2.
         
     | 
| 
       70 
70 
     | 
    
         
             
            email:
         
     | 
| 
       71 
71 
     | 
    
         
             
            - greg@sourcematters.org
         
     | 
| 
       72 
72 
     | 
    
         
             
            executables:
         
     |