heist 0.1.0

data/test/numbers.scm

@@ -0,0 +1,19 @@
+(assert (eqv? 42 42))
+(assert (not (eqv? 42 #f)))
+(assert (not (eqv? 42 42.0)))
+(assert (= 42 42))
+(assert (= 42 42.0))
+
+(assert (number? 42))
+(assert (not (number? #t)))
+;(assert (complex? 2+3i))
+;(assert (not (real? 2+3i)))
+(assert (real? 3.1416))
+(assert (real? 22/7))
+(assert (real? 42))
+;(assert (not (rational? 2+3i)))
+;(assert (not (rational? 3.1416)))
+;(assert (rational? 22/7))
+(assert (not (integer? 22/7)))
+(assert (integer? 42))
+

data/test/plt-macros.txt

@@ -0,0 +1,40 @@
+This is output from mzscheme REPL on running some convoluted macros
+
+> (define-syntax convoluted
+  (syntax-rules (with)
+    [(_ (with (value ...) ...) ... (obj ...))
+      '((obj ((value ...) (value value) ...) ... (obj obj)) ...)]))
+
+> (convoluted (with (a u) (j e n k l) () (q c y n)) (with)
+                (with (b) (d f)) (with (k l e) (s) (u n) (f i k w) (p))
+                (foo bar baz what))
+
+((foo
+  ((a u) (a a) (u u))
+  ((j e n k l) (j j) (e e) (n n) (k k) (l l))
+  (())
+  ((q c y n) (q q) (c c) (y y) (n n))
+  (foo foo))
+ (bar (bar bar))
+ (baz ((b) (b b)) ((d f) (d d) (f f)) (baz baz))
+ (what
+  ((k l e) (k k) (l l) (e e))
+  ((s) (s s))
+  ((u n) (u u) (n n))
+  ((f i k w) (f f) (i i) (k k) (w w))
+  ((p) (p p))
+  (what what)))
+
+> (define-syntax convoluted
+  (syntax-rules (with)
+    [(_ thing ((name ...) ...) obj ...)
+      '((((name name) ... obj obj (obj (name ...))) ...))]))
+
+> (convoluted thing ((8 3 2 9) (2 3) (1 0 4) (8 3 2 1 7))
+                foo bar baz what)
+
+((((8 8) (3 3) (2 2) (9 9) foo foo (foo (8 3 2 9)))
+  ((2 2) (3 3) bar bar (bar (2 3)))
+  ((1 1) (0 0) (4 4) baz baz (baz (1 0 4)))
+  ((8 8) (3 3) (2 2) (1 1) (7 7) what what (what (8 3 2 1 7)))))
+

data/test/test_heist.rb

@@ -0,0 +1,84 @@
+$VERBOSE = nil
+$dir = File.dirname(__FILE__)
+
+$args = ARGV.map { |opt| "-#{opt}" }
+
+require $dir + "/../lib/heist"
+require $dir + "/../lib/bin_spec"
+require "test/unit"
+
+Class.new(Test::Unit::TestCase) do
+  @@env = nil
+  
+  def setup
+    return @@env if @@env
+    @@env = Heist::Runtime.new(Heist::BIN_SPEC.parse($args))
+    Heist.info(@@env)
+    
+    @@env.define('assert') do |value|
+      assert(value)
+    end
+    @@env.define('assert-equal') do |expected, actual|
+      assert_equal(expected, actual)
+    end
+    @@env.syntax('assert-raise') do |scope, name, expression|
+      exception = Heist.const_get(name.to_s)
+      assert_raise(exception) { @@env.eval(expression) }
+    end
+  end
+  
+  %w[   booleans
+        numbers
+        arithmetic
+        define_values
+        define_functions
+        closures
+        let
+        conditionals
+        file_loading
+        macros
+        delay
+        
+  ].each do |test|
+    define_method('test_' + test) do
+      @@env.run($dir + '/' + test)
+    end
+  end
+  
+  def test_macro_hygiene
+    @@env.run($dir + '/' + (@@env.hygienic? ? 'hygienic' : 'unhygienic'))
+  end
+  
+  def test_continuations
+    return if @@env.stackless?
+    @@env.run($dir + '/continuations')
+  end
+  
+  def test_quotes
+    assert_equal 7, @@env.eval("(+ 3 4)")
+    assert_equal [:+, 3, 4], @@env.eval("'(+ 3 4)").to_a
+    assert Heist::Runtime::List === @@env.eval("'(+ 3 4)")
+    assert_equal 7, @@env.eval("(+ '3 4)")
+    assert_equal [:+, [:-, 7, 9], 4], @@env.eval("'(+ (- 7 9) 4)").to_a
+    assert_equal [7, 9, 6], @@env.eval("`(7 ,(+ 4 5) 6)").to_a
+    assert Heist::Runtime::List === @@env.eval("`(7 ,(+ 4 5) 6)")
+    assert_equal [3, 7, 6, 2, 6, 9], @@env.eval("`(3 7 6 ,@((lambda () '(2 6))) 9)").to_a
+  end
+  
+  def test_birds
+    return unless @@env.lazy?
+    @@env.eval('(load "birdhouse")')
+    
+    @@env.eval <<-CODE
+      (define factorial (Y
+        (lambda (rec)
+          (lambda (x)
+            (if (= x 0) 1 (* x (rec (- x 1))))))))
+    CODE
+    assert_equal (1..6).inject { |a,b| a*b },
+                 @@env.eval("(factorial 6)")
+    
+    assert_equal 45, @@env.eval("((K 45) 6)")
+  end
+end
+

data/test/unhygienic.scm

@@ -0,0 +1,11 @@
+(load "macro-helpers")
+
+(assert-equal 4 (let ([first 9])
+                  (square-sum 1 first)))
+
+(let ([temp 5]
+      [other 6])
+  (swap temp other)         ; (let ([temp temp])
+  (assert-equal 5 temp)     ;   (set! temp other)
+  (assert-equal 6 other))   ;   (set! other temp))
+

data/test/vars.scm

@@ -0,0 +1,2 @@
+(define alpha 1/137)
+

metadata

@@ -0,0 +1,138 @@
+--- !ruby/object:Gem::Specification 
+name: heist
+version: !ruby/object:Gem::Version 
+  version: 0.1.0
+platform: ruby
+authors: 
+- James Coglan
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2009-02-24 00:00:00 +00:00
+default_executable: 
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: oyster
+  type: :runtime
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+- !ruby/object:Gem::Dependency 
+  name: treetop
+  type: :runtime
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: "0"
+    version: 
+- !ruby/object:Gem::Dependency 
+  name: hoe
+  type: :development
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: 1.8.2
+    version: 
+description: ""
+email: 
+- jcoglan@googlemail.com
+executables: 
+- heist
+extensions: []
+
+extra_rdoc_files: 
+- History.txt
+- Manifest.txt
+- README.txt
+- test/plt-macros.txt
+files: 
+- History.txt
+- Manifest.txt
+- README.txt
+- Rakefile
+- bin/heist
+- lib/heist.rb
+- lib/bin_spec.rb
+- lib/repl.rb
+- lib/builtin/primitives.rb
+- lib/builtin/syntax.rb
+- lib/builtin/syntax.scm
+- lib/builtin/library.scm
+- lib/parser/scheme.tt
+- lib/parser/scheme.rb
+- lib/parser/nodes.rb
+- lib/runtime/runtime.rb
+- lib/runtime/data/expression.rb
+- lib/runtime/data/identifier.rb
+- lib/runtime/data/list.rb
+- lib/runtime/callable/function.rb
+- lib/runtime/callable/macro.rb
+- lib/runtime/callable/macro/matches.rb
+- lib/runtime/callable/macro/splice.rb
+- lib/runtime/callable/macro/expansion.rb
+- lib/runtime/callable/continuation.rb
+- lib/runtime/stack.rb
+- lib/runtime/stackless.rb
+- lib/runtime/frame.rb
+- lib/runtime/scope.rb
+- lib/runtime/binding.rb
+- lib/stdlib/benchmark.scm
+- lib/stdlib/birdhouse.scm
+- test/test_heist.rb
+- test/arithmetic.scm
+- test/benchmarks.scm
+- test/booleans.scm
+- test/closures.scm
+- test/conditionals.scm
+- test/continuations.scm
+- test/define_functions.scm
+- test/define_values.scm
+- test/delay.scm
+- test/file_loading.scm
+- test/let.scm
+- test/lib.scm
+- test/macro-helpers.scm
+- test/macros.scm
+- test/hygienic.scm
+- test/unhygienic.scm
+- test/plt-macros.txt
+- test/numbers.scm
+- test/vars.scm
+has_rdoc: true
+homepage: Heist is a Scheme interpreter written in Ruby. It provides an executable
+post_install_message: 
+rdoc_options: 
+- --main
+- README.txt
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+requirements: []
+
+rubyforge_project: heist
+rubygems_version: 1.3.1
+signing_key: 
+specification_version: 2
+summary: ""
+test_files: 
+- test/test_heist.rb