mirah 0.0.4-java

data/test/test_typer.rb

@@ -0,0 +1,221 @@
+require 'test/unit'
+require 'mirah'
+
+class TestTyper < Test::Unit::TestCase
+  include Duby
+
+  def test_fixnum
+    ast = AST.parse("1")
+
+    assert_equal(AST::TypeReference.new("fixnum"), ast.infer(Typer::Simple.new(:bar)))
+  end
+
+  def test_float
+    ast = AST.parse("1.0")
+
+    assert_equal(AST::TypeReference.new("float"), ast.infer(Typer::Simple.new(:bar)))
+  end
+
+  def test_string
+    ast = AST.parse("'foo'")
+
+    assert_equal(AST::TypeReference.new("string"), ast.infer(Typer::Simple.new(:bar)))
+  end
+
+  def test_boolean
+    ast1 = AST.parse("true")
+    ast2 = AST.parse("false")
+
+    assert_equal(AST::TypeReference.new("boolean"), ast1.infer(Typer::Simple.new(:bar)))
+    assert_equal(AST::TypeReference.new("boolean"), ast2.infer(Typer::Simple.new(:bar)))
+  end
+
+  def test_body
+    ast1 = AST.parse("'foo'; 1.0; 1")
+    ast2 = AST.parse("begin; end")
+
+    assert_equal(AST::TypeReference.new("fixnum"), ast1.infer(Typer::Simple.new(:bar)))
+    assert_equal(AST::TypeReference::NullType, ast2.infer(Typer::Simple.new(:bar)))
+  end
+
+  def test_local
+    ast1 = AST.parse("a = 1; a")
+    typer = Typer::Simple.new :bar
+
+    ast1.infer(typer)
+
+    assert_equal(AST::TypeReference.new("fixnum"), typer.local_type(ast1.static_scope, 'a'))
+    assert_equal(AST::TypeReference.new("fixnum"), ast1.body.children[0].inferred_type)
+    assert_equal(AST::TypeReference.new("fixnum"), ast1.body.children[1].inferred_type)
+
+    ast2 = AST.parse("b = a = 1")
+    ast2.infer(typer)
+
+    assert_equal(AST::TypeReference.new("fixnum"), typer.local_type(ast2.static_scope, 'a'))
+    assert_equal(AST::TypeReference.new("fixnum"), ast2.body.children[0].inferred_type)
+  end
+
+  def test_signature
+    ["def foo", "def self.foo"].each do |def_foo|
+      ast1 = AST.parse("#{def_foo}(a:string); end")
+      typer = Typer::Simple.new :bar
+
+      ast1.infer(typer)
+
+      assert_nothing_raised {typer.resolve(true)}
+      assert_nothing_raised {typer.resolve}
+
+
+      if def_foo =~ /self/
+        type = typer.self_type.meta
+      else
+        type = typer.self_type
+      end
+
+      assert_equal(typer.null_type, typer.method_type(type, 'foo', [typer.string_type]))
+      assert_equal(typer.string_type, typer.local_type(ast1.body[0].static_scope, 'a'))
+      assert_equal(typer.null_type, ast1.body.inferred_type)
+      assert_equal(typer.string_type, ast1.body[0].arguments.args[0].inferred_type)
+
+      ast1 = AST.parse("#{def_foo}(a:string); a; end")
+      typer = Typer::Simple.new :bar
+
+      ast1.infer(typer)
+
+      assert_equal(typer.string_type, typer.method_type(type, 'foo', [typer.string_type]))
+      assert_equal(typer.string_type, typer.local_type(ast1.body[0].static_scope, 'a'))
+      assert_equal(typer.string_type, ast1.body[0].inferred_type)
+      assert_equal(typer.string_type, ast1.body[0].arguments.args[0].inferred_type)
+
+      ast1 = AST.parse("#{def_foo}(a) returns :string; end")
+      typer = Typer::Simple.new :bar
+
+      assert_raise(Typer::InferenceError) do
+        ast1.infer(typer)
+        typer.resolve(true)
+      end
+    end
+  end
+
+  def test_call
+    ast = AST.parse("1.foo(2)").body
+    typer = Typer::Simple.new "bar"
+
+    typer.learn_method_type(typer.fixnum_type, "foo", [typer.fixnum_type], typer.string_type, [])
+    assert_equal(typer.string_type, typer.method_type(typer.fixnum_type, "foo", [typer.fixnum_type]))
+
+    ast.infer(typer)
+
+    assert_equal(typer.string_type, ast.inferred_type)
+
+    ast = AST.parse("def bar(a:fixnum, b:string); 1.0; end; def baz; bar(1, 'x'); end")
+
+    ast.infer(typer)
+    ast = ast.body
+
+    assert_equal(typer.float_type, typer.method_type(typer.self_type, "bar", [typer.fixnum_type, typer.string_type]))
+    assert_equal(typer.float_type, typer.method_type(typer.self_type, "baz", []))
+    assert_equal(typer.float_type, ast.children[0].inferred_type)
+    assert_equal(typer.float_type, ast.children[1].inferred_type)
+
+    # Reverse the order, ensure deferred inference succeeds
+    ast = AST.parse("def baz; bar(1, 'x'); end; def bar(a:fixnum, b:string); 1.0; end")
+    typer = Typer::Simple.new("bar")
+
+    ast.infer(typer)
+    ast = ast.body
+
+    assert_equal(typer.default_type, typer.method_type(typer.self_type, "baz", []))
+    assert_equal(typer.float_type, typer.method_type(typer.self_type, "bar", [typer.fixnum_type, typer.string_type]))
+    assert_equal(typer.default_type, ast.children[0].inferred_type)
+    assert_equal(typer.float_type, ast.children[1].inferred_type)
+
+    # allow resolution to run
+    assert_nothing_raised {typer.resolve}
+
+    assert_equal(typer.float_type, typer.method_type(typer.self_type, "baz", []))
+    assert_equal(typer.float_type, typer.method_type(typer.self_type, "bar", [typer.fixnum_type, typer.string_type]))
+    assert_equal(typer.float_type, ast.children[0].inferred_type)
+    assert_equal(typer.float_type, ast.children[1].inferred_type)
+
+    # modify bar call to have bogus types, ensure resolution fails
+    ast = AST.parse("def baz; bar(1, 1); end; def bar(a:fixnum, b:string); 1.0; end")
+    typer = Typer::Simple.new("bar")
+
+    ast.infer(typer)
+    ast = ast.body
+
+    assert_equal(typer.default_type, typer.method_type(typer.self_type, "baz", []))
+    assert_equal(typer.float_type, typer.method_type(typer.self_type, "bar", [typer.fixnum_type, typer.string_type]))
+    assert_equal(typer.default_type, ast.children[0].inferred_type)
+    assert_equal(typer.float_type, ast.children[1].inferred_type)
+
+    # allow resolution to run and produce error
+    assert_raise(Typer::InferenceError) {typer.resolve(true)}
+    error_nodes = typer.errors.map {|e| e.node}
+    inspected = "[FunctionalCall(bar)\n Fixnum(1)\n Fixnum(1)]"
+    assert_equal(inspected, error_nodes.inspect)
+  end
+
+  def test_if
+    ast = AST.parse("if true; 1.0; else; ''; end").body[0]
+    typer = Typer::Simple.new("bar")
+
+    # incompatible body types
+    assert_raise(Typer::InferenceError) {ast.infer(typer)}
+
+    ast = AST.parse("if true; 1.0; else; 2.0; end").body[0]
+
+    assert_nothing_raised {ast.infer(typer); typer.resolve(true)}
+
+    assert_equal(typer.boolean_type, ast.condition.inferred_type)
+    assert_equal(typer.float_type, ast.body.inferred_type)
+    assert_equal(typer.float_type, ast.else.inferred_type)
+
+    ast = AST.parse("if foo; bar; else; baz; end").body[0]
+
+    assert_nothing_raised {ast.infer(typer)}
+
+    assert_equal(typer.default_type, ast.condition.inferred_type)
+    assert_equal(typer.default_type, ast.body.inferred_type)
+    assert_equal(typer.default_type, ast.else.inferred_type)
+
+    # unresolved types for the foo, bar, and baz calls
+    assert_raise(Typer::InferenceError) {typer.resolve(true)}
+
+    ast2 = AST.parse("def foo; 1; end; def bar; 1.0; end")[0]
+
+    ast2.infer(typer)
+    ast.infer(typer)
+
+    # unresolved types for the baz call
+    assert_raise(Typer::InferenceError) {typer.resolve(true)}
+
+    assert_equal(AST.error_type, ast.condition.inferred_type)
+    assert_equal(AST.error_type, ast.body.inferred_type)
+    assert_equal(AST.error_type, ast.else.inferred_type)
+
+    typer.errors.clear
+
+    ast2 = AST.parse("def baz; 2.0; end")
+
+    ast2.infer(typer)
+    ast.infer(typer)
+
+    assert_nothing_raised {typer.resolve(true)}
+
+    assert_equal(typer.float_type, ast2.body[0].inferred_type)
+  end
+
+  def test_class
+    ast = AST.parse("class Foo; def foo; 1; end; def baz; foo; end; end")
+    cls = ast.body[0]
+    foo = cls.body[0]
+    baz = cls.body[1]
+
+    typer = Typer::Simple.new("script")
+    ast.infer(typer)
+
+    assert_nothing_raised {typer.resolve(true)}
+  end
+end

metadata

@@ -0,0 +1,235 @@
+--- !ruby/object:Gem::Specification 
+name: mirah
+version: !ruby/object:Gem::Version 
+  prerelease: false
+  segments: 
+  - 0
+  - 0
+  - 4
+  version: 0.0.4
+platform: java
+authors: 
+- Charles Oliver Nutter
+- Ryan Brown
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2010-11-16 22:23:38.767177 -08:00
+default_executable: 
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: bitescript
+  prerelease: false
+  requirement: &id001 !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        segments: 
+        - 0
+        - 0
+        - 6
+        version: 0.0.6
+  type: :runtime
+  version_requirements: *id001
+description: |-
+  Mirah is a customizable programming language featuring static types,
+  local type inference and a heavily Ruby-inspired syntax. Mirah
+  currently includes a typer/compiler backend for the JVM which can
+  output either JVM bytecode or Java source files.
+email: 
+- headius@headius.com
+- ribrdb@google.com
+executables: 
+- mirah
+- mirahc
+- mirahp
+- duby
+- dubyc
+- dubyp
+extensions: []
+
+extra_rdoc_files: 
+- History.txt
+- README.txt
+files: 
+- bin/duby
+- bin/dubyc
+- bin/dubyp
+- bin/jrubyp
+- bin/mirah
+- bin/mirah.cmd
+- bin/mirahc
+- bin/mirahc.cmd
+- bin/mirahp
+- bin/mirahp.cmd
+- lib/duby.rb
+- lib/mirah/appengine_tasks.rb
+- lib/mirah/ast/call.rb
+- lib/mirah/ast/class.rb
+- lib/mirah/ast/flow.rb
+- lib/mirah/ast/intrinsics.rb
+- lib/mirah/ast/literal.rb
+- lib/mirah/ast/local.rb
+- lib/mirah/ast/method.rb
+- lib/mirah/ast/scope.rb
+- lib/mirah/ast/structure.rb
+- lib/mirah/ast/type.rb
+- lib/mirah/ast.rb
+- lib/mirah/compiler.rb
+- lib/mirah/env.rb
+- lib/mirah/jvm/base.rb
+- lib/mirah/jvm/compiler.rb
+- lib/mirah/jvm/method_lookup.rb
+- lib/mirah/jvm/source_compiler.rb
+- lib/mirah/jvm/source_generator/builder.rb
+- lib/mirah/jvm/source_generator/loops.rb
+- lib/mirah/jvm/source_generator/precompile.rb
+- lib/mirah/jvm/source_generator/typer.rb
+- lib/mirah/jvm/typer.rb
+- lib/mirah/jvm/types/basic_types.rb
+- lib/mirah/jvm/types/boolean.rb
+- lib/mirah/jvm/types/enumerable.rb
+- lib/mirah/jvm/types/extensions.rb
+- lib/mirah/jvm/types/factory.rb
+- lib/mirah/jvm/types/floats.rb
+- lib/mirah/jvm/types/integers.rb
+- lib/mirah/jvm/types/intrinsics.rb
+- lib/mirah/jvm/types/literals.rb
+- lib/mirah/jvm/types/methods.rb
+- lib/mirah/jvm/types/number.rb
+- lib/mirah/jvm/types.rb
+- lib/mirah/nbcompiler.rb
+- lib/mirah/plugin/edb.rb
+- lib/mirah/plugin/gwt.rb
+- lib/mirah/plugin/java.rb
+- lib/mirah/transform.rb
+- lib/mirah/transform2.rb
+- lib/mirah/typer.rb
+- lib/mirah.rb
+- lib/mirah_task.rb
+- test/test_ast.rb
+- test/test_compilation.rb
+- test/test_env.rb
+- test/test_gwt.rb
+- test/test_java_typer.rb
+- test/test_javac_compiler.rb
+- test/test_jvm_compiler.rb
+- test/test_typer.rb
+- examples/ant/example-build.xml
+- examples/appengine/Rakefile
+- examples/appengine/Readme
+- examples/appengine/src/org/mirah/list.dhtml
+- examples/appengine/src/org/mirah/MirahApp.mirah
+- examples/appengine/war/WEB-INF/lib/dubydatastore.jar
+- examples/bintrees.mirah
+- examples/construction.mirah
+- examples/dynamic.mirah
+- examples/edb.mirah
+- examples/fib.mirah
+- examples/fields.mirah
+- examples/fractal.mirah
+- examples/java_thing.mirah
+- examples/plugins/appengine/lib/com/google/appengine/ext/duby/db/datastore.rb
+- examples/plugins/appengine/Rakefile
+- examples/plugins/appengine/src/com/google/appengine/ext/duby/db/Model.duby
+- examples/plugins/appengine/test/com/google/appengine/ext/duby/db/ModelTest.duby
+- examples/simple_class.mirah
+- examples/sort_closure.mirah
+- examples/swing.mirah
+- examples/tak.mirah
+- examples/test.edb
+- examples/wiki/Rakefile
+- examples/wiki/src/org/mirah/wiki/edit.eduby.html
+- examples/wiki/src/org/mirah/wiki/error.eduby.html
+- examples/wiki/src/org/mirah/wiki/layout.eduby.html
+- examples/wiki/src/org/mirah/wiki/MirahWiki.duby
+- examples/wiki/src/org/mirah/wiki/parser.eduby.html
+- examples/wiki/src/org/mirah/wiki/view.eduby.html
+- examples/wiki/war/app.yaml
+- examples/wiki/war/public/favicon.ico
+- examples/wiki/war/public/images/appengine_duby.png
+- examples/wiki/war/public/images/back.gif
+- examples/wiki/war/public/images/dir.gif
+- examples/wiki/war/public/images/file.gif
+- examples/wiki/war/public/javascripts/prettify.js
+- examples/wiki/war/public/robots.txt
+- examples/wiki/war/public/stylesheets/main.css
+- examples/wiki/war/public/stylesheets/prettify.css
+- examples/wiki/war/public/stylesheets/sh_style.css
+- examples/wiki/war/public/stylesheets/source.css
+- examples/wiki/war/public/wmd/images/bg-fill.png
+- examples/wiki/war/public/wmd/images/bg.png
+- examples/wiki/war/public/wmd/images/blockquote.png
+- examples/wiki/war/public/wmd/images/bold.png
+- examples/wiki/war/public/wmd/images/code.png
+- examples/wiki/war/public/wmd/images/h1.png
+- examples/wiki/war/public/wmd/images/hr.png
+- examples/wiki/war/public/wmd/images/img.png
+- examples/wiki/war/public/wmd/images/italic.png
+- examples/wiki/war/public/wmd/images/link.png
+- examples/wiki/war/public/wmd/images/ol.png
+- examples/wiki/war/public/wmd/images/redo.png
+- examples/wiki/war/public/wmd/images/separator.png
+- examples/wiki/war/public/wmd/images/ul.png
+- examples/wiki/war/public/wmd/images/undo.png
+- examples/wiki/war/public/wmd/images/wmd-on.png
+- examples/wiki/war/public/wmd/images/wmd.png
+- examples/wiki/war/public/wmd/showdown.js
+- examples/wiki/war/public/wmd/wmd-base.js
+- examples/wiki/war/public/wmd/wmd-plus.js
+- examples/wiki/war/public/wmd/wmd.js
+- examples/wiki/war/WEB-INF/classes/test/HeredocContext.class
+- examples/wiki/war/WEB-INF/classes/test/MirahParser.class
+- examples/wiki/war/WEB-INF/lib/appengine-api.jar
+- examples/wiki/war/WEB-INF/lib/dubydatastore.jar
+- examples/wiki/war/WEB-INF/lib/jmeta-runtime.jar
+- examples/wiki/war/WEB-INF/lib/pegdown-stubs.jar
+- examples/wiki/war/WEB-INF/pegdown.jar
+- javalib/dynalang-invoke-0.1.jar
+- javalib/JRubyParser.jar
+- javalib/mirah-bootstrap.jar
+- javalib/mirah-parser.jar
+- History.txt
+- README.txt
+- Rakefile
+has_rdoc: true
+homepage: http://www.mirah.org/
+licenses: []
+
+post_install_message: 
+rdoc_options: 
+- --main
+- README.txt
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      segments: 
+      - 0
+      version: "0"
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      segments: 
+      - 0
+      version: "0"
+requirements: []
+
+rubyforge_project: mirah
+rubygems_version: 1.3.6
+signing_key: 
+specification_version: 3
+summary: Mirah is a customizable programming language featuring static types, local type inference and a heavily Ruby-inspired syntax
+test_files: 
+- test/test_ast.rb
+- test/test_compilation.rb
+- test/test_env.rb
+- test/test_gwt.rb
+- test/test_java_typer.rb
+- test/test_javac_compiler.rb
+- test/test_jvm_compiler.rb
+- test/test_typer.rb