mirah 0.1.3-java → 0.1.4-java

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 9c43543a6d373e0cc8f1dbc80ba79635dbe8ac93
-  data.tar.gz: b26f831bf81940b7268657bd1d8839e17dae25b6
+  metadata.gz: 1af0c232deb319793169771869237071abe16677
+  data.tar.gz: 59f8f8f68b83436eb954eb357d0dadcf78ac9dbe
 SHA512:
-  metadata.gz: bb72ed358c9b843a5dfcc10f0f452f434fa332c35771e725822ef973a622862a75b8b501f7e325e51832e92aad0dd5edf15df71b3d4350b9db6c911013cbf61e
-  data.tar.gz: 8ad01e2fcb6ebdebb56bc1c1d6e8d30fb4b78fe5e4fcf0273ed62a0f7eb5f8020379a63637ee5e8c6d43b72c4fd7ef7f820bb647e4e2bfa681a9d244a93ad070
+  metadata.gz: 0045ae4be5b4c916096ce797f8f6b2db53f3aa5f499d8cee50882555593729905a06fd7d4001d6911de45bc807286273c38cd1026af09fb940fe8c5e32e3b03f
+  data.tar.gz: 04edb6509392c2cb73c92872e26c25a3402d88c2785dc2d08555e7a0a98bbe5d0a18d5f698ad0034fa620e6f933c1c3b5b503e8d033d727d166f25cfc77543db

data/History.txt

@@ -1,6 +1,102 @@
+=== 0.1.4 November Chill / 2014-11-13
 
-=== 0.1.3 Metacircularity: Achieved / 2014-08-06
+d73e6d4 ignore ruby version management / test temp files
+4090b8d add a number of new block tests
+b29a845 some work in progress wrt new closure impl.
+aa92d0f add some whitespace to scopes.mirah
+010e16a add a few things to TODO, rm return error message todo
+140cd96 catch another explicit cast that could be implicit in a block
+78122d6 change type incompat error on returns to use be clearer
+71d9ea3 add declared_binding_type= definitions to BetterScope
+5fad461 update TODO w/ some more issue numbers
+c6bbd73 reformat method_lookup_test
+266889f add add_import to Scope interface for java interop
+2e0b0de rm old scope impl
+8e15cd0 pass new closure flag through to typers
+6067583 mark differing type sig test as pending
+2ecbea4 add flag for enabling new closures, default to off
+a6d6e54 add a couple TODOs, make issues for most warnings related todos
+c68c5a1 rm local return in mirror_type_system.mirah
+c2cdd2d clean should rm generated test files
+0f9b6ce bytecode generation should blow up if it encounters a call with a block
+bc4f351 reenable better closures, now that some bugs are fixed
+2e7118b attempt to fix test fixtures
+8ee1764 reformat long line in typer
+0fc0cb2 add some things to better closures
+c33f4f8 fix build by moving back to old closure impl + fixing ProxyNode clone
+56c528f if a node doesn't have a position, still have a good error
+2c23611 rm usage of import sorter
+f40f2e5 update java bits to 1.6 from 1.5 in Rakefile, to get rid of warnings
+2d983ff only compile test fixtures if needed
+7946057 rm unused file from previous closure rewrite attempt
+1f8590f rm unused assert method
+5210e2f clean up better closures a bit
+54fe717 rm finest logging call in test
+d94068e only drop stacktraces when fine logging enabled
+25efb58 fix interface problem. It was a problem w/ a closure w/o a binding having its class def inserted incorrectly
+508fb5a rm puts in test
+4d9363d do a proxy cleanup before adjusting bindings
+f054ae6 WIP I
+f91eec0 better asm download link in Rakefile
+104082e fix import sorter so that nested packages don't cause it to blow up
+bdf29f9 use https for maven
+dbc36ea fix import sorter by using NodeScanner
+7eecc9d add new closure impl, but off
+006622e bump copyright
+6b9439e rm nlr from old closure builder
+73f9866 add call to finish closures to mirah_compiler.mirah
+6e8ce48 if we're about to create a loop in scope, just continue
+4cc0841 dump stack trace on internal typer errors when running in verbose mode
+1249e63 do something slightly more reasonable when a lambda's type arg is no good
+80a7151 add expln at top of better_scope.mirah
+2f3606d add new args tests
+9fe02d0 update maven instructions w/ dist/mirahc.jar
+993135c roughly sort asts before performing type inference.
+32e2189 add building mirah w/ mirah to ci
+8adf80b adding some fine logging to closure building / commentary
+69ffe75 complain in a better way if generic inference has a problem
+5ef8965 add some tests for lambdas in the blocks test
+245badf clean up block test for param to not use threads
+16c4071 rm commented puts from async_type_builder
+7717d61 fix up better scope to act like JVMScope
+9c4cf81 fix blocks in rescues
+6d5e408 add interface for closure building to make it easier to defer it later
+8e538e7 format org/mirah/macros/builder.mirah / move inference of annotation to after ast attachment
+b4876e4 bump copyright on mirah_compiler.mirah
+5d41f16 format src/org/mirah/typer/assignable_type_future.mirah
+eae844d flesh out remaining better scope bits, use better scope
+0526803 break up import test a bit
+bfbeaae rm unneeded semi colon in test
+b7079fd add more information to default error message
+aa84912 start putting together a MirrorScope interface
+28a6a15 update ant task, update ant example
+c8b4930 make tmp script names for tests shorter
+b367886 move binding creation to class building
+e0344c4 formatting jvm_scope + base_type_future, w/ better logging in base_type_future
+a373f3b format array_compiler.mirah
+829e85a move scope related typer methods together
+676394d name closure inner classes w/ good names
+6ffe551 add ant classes to mirahc.jar
+52f0acd add pending test for bad nested closure binding generation
+fd3d1cb update versions in readme
+7a47048 start converting to implicit casting in block arg defs
+6a814e6 add whitespace, rm unneeded manual boxing
+ba7ef3e rm unneeded ruby files
+aec965b add constant support
+0fcf899 rm unnecessary test logging
+4a080d4 Merge branch 'shannah-parser_issue_14_fix2'
+89b56fc Merge branch 'parser_issue_14_fix2' of git://github.com/shannah/mirah into shannah-parser_issue_14_fix2
+b377e66 fix version test
+40cd50f bump version
+839416d use released mirah for builds
+60aa9be Updated parser to include support for including whitespace and comment tokens in the lexer.  https://github.com/mirah/mirah-parser/issues/14
 
+=== 0.1.3 Metacircularity: Achieved / 2014-08-08
+
+0a17b30 doh, java 7 parser
+607f9ae update to fixed parser
+4f78f2b reverting mirah-parser while trying to fix things
+394fd95 add history for 0.1.3
 5b1454c bump parser w/ java 7 jar
 8c0be9d de-SNAPSHOT/dev ify versions
 0bb1553 update parser

data/README.md

@@ -33,8 +33,7 @@ SYNOPSIS
 REQUIREMENTS
 -----------------
 
-* JRuby 1.6.0 or higher.
-* BiteScript 0.0.8 or higher
+* Java 1.7 or higher.
 
 INSTALL
 -----------------
@@ -56,7 +55,7 @@ Extract it, and add `bin` to your `$PATH` to be able to use `mirah`, `mirahc`, e
 SOURCE
 -----------------
 
-To build and install from source, you'll need jruby 1.7.0 or
+To build and install from source, you'll need jruby 1.7.12 or
 higher. Then just follow these commands.
 
     $ git clone http://github.com/mirah/mirah.git

data/Rakefile

@@ -41,7 +41,7 @@ end
 task :default => :new_ci
 
 desc "run new backend ci"
-task :new_ci => [:'test:core', :'test:jvm', :'test:artifacts']
+task :new_ci => [:'test:core', :'test:jvm', :'test:artifacts', 'dist/mirahc3.jar']
 
 def run_tests tests
   results = tests.map do |name|
@@ -91,7 +91,7 @@ namespace :test do
   task :jvm => 'test:jvm:all'
 
   namespace :jvm do
-    task :test_setup =>  [:clean_tmp_test_directory, :build_test_fixtures]
+    task :test_setup =>  [:clean_tmp_test_classes, :build_test_fixtures]
 
     desc "run jvm tests using the new self hosted backend"
     task :all do
@@ -112,14 +112,17 @@ namespace :test do
   end
 end
 
-task :clean_tmp_test_directory do
-  FileUtils.rm_rf "tmp_test"
-  FileUtils.mkdir_p "tmp_test"
+task :clean_tmp_test_classes do
+  FileUtils.rm_rf "tmp_test/test_classes"
   FileUtils.mkdir_p "tmp_test/test_classes"
-  FileUtils.mkdir_p "tmp_test/fixtures"
 end
 
-task :build_test_fixtures do
+
+
+task :build_test_fixtures => 'tmp_test/fixtures/fixtures_built.txt'
+directory 'tmp_test/fixtures'
+file 'tmp_test/fixtures/fixtures_built.txt' => ['tmp_test/fixtures'] + Dir['test/fixtures/**/*.java'] do
+  `touch tmp_test/fixtures/fixtures_built.txt`
   ant.javac 'destdir' => "tmp_test/fixtures",
             'srcdir' => 'test/fixtures',
             'includeantruntime' => false,
@@ -138,6 +141,7 @@ task :clean do
   ant.delete 'quiet' => true, 'dir' => 'dist'
   rm_f 'dist/mirahc.jar'
   rm_rf 'tmp'
+  rm_rf 'tmp_test'
 end
 
 desc "clean downloaded dependencies"
@@ -203,7 +207,8 @@ task :dist => [:gem, :zip]
 file_create 'javalib/asm-5.jar' do
   require 'open-uri'
   puts "Downloading asm-5.jar"
-  open('http://central.maven.org/maven2/org/ow2/asm/asm-all/5.0.3/asm-all-5.0.3.jar', 'rb') do |src|
+  url = 'https://search.maven.org/remotecontent?filepath=org/ow2/asm/asm-all/5.0.3/asm-all-5.0.3.jar'
+  open(url, 'rb') do |src|
     open('javalib/asm-5.jar', 'wb') do |dest|
       dest.write(src.read)
     end
@@ -212,9 +217,7 @@ end
 
 file_create 'javalib/mirahc-prev.jar' do
   require 'open-uri'
-  # get latest snapshot from XML description.
-  xml = open('https://oss.sonatype.org/service/local/repositories/snapshots/content/org/mirah/mirah/0.1.3-SNAPSHOT/').read
-  url = xml.scan(%r{<resourceURI>(https:.*\.jar)</resourceURI>}).map(&:first).sort.last
+  url = 'https://search.maven.org/remotecontent?filepath=org/mirah/mirah/0.1.3/mirah-0.1.3.jar'
 
   puts "Downloading mirahc-prev.jar from #{url}"
 
@@ -227,18 +230,108 @@ end
 
 
 def bootstrap_mirah_from(old_jar, new_jar)
+  
+  #typer_srcs = Dir['src/org/mirah/typer/**/*.mirah'].sort
+  #typer_classes = typer_srcs.map {|s| s.sub 'src', build_dir }
+if false
+  name = new_jar.sub /[.\/]/, '_'
+
+  
+  java_build_dir = "build/#{name}-java"
+  java_jar = "#{java_build_dir}.jar"
+  file java_jar => Dir["src/**/*.java"].sort do
+    rm_rf java_build_dir
+    mkdir_p java_build_dir
+
+    # Compile Java sources
+    ant.javac 'source' => '1.6',
+              'target' => '1.6',
+              'destdir' => java_build_dir,
+              'srcdir' => 'src',
+              'includeantruntime' => false,
+              'debug' => true,
+              'listfiles' => true
+    ant.jar 'jarfile' => java_jar do
+      fileset 'dir' => java_build_dir
+    end
+  end
+
+  bootstrap_build_dir = "build/#{name}-bootstrap"
+  bootstrap_jar = "#{bootstrap_build_dir}.jar"
+  bootstrap_srcs = Dir['src/org/mirah/{builtins,jvm/types,macros,util,}/*.mirah'].sort
+  file bootstrap_jar => bootstrap_srcs do
+    build_mirah_stuff old_jar, bootstrap_build_dir, bootstrap_srcs
+    ant.jar 'jarfile' => bootstrap_jar do
+      fileset 'dir' => bootstrap_build_dir
+    end
+  end
+
+  typer_build_dir = "build/#{name}-typer"
+  typer_jar = "#{typer_build_dir}.jar"
+  file typer_jar => Dir['src/org/mirah/typer/**/*.mirah'].sort do
+    build_mirah_stuff old_jar, typer_build_dir, typer_srcs
+    ant.jar 'jarfile' => typer_jar do
+      fileset 'dir' => typer_build_dir
+    end
+  end
+
+  compiler_build_dir = "build/#{name}-compiler"
+  compiler_jar = "#{compiler_build_dir}.jar"
+  file compiler_jar => Dir['src/org/mirah/jvm/{compiler,mirrors,model}/**/*.mirah'].sort do
+    build_mirah_stuff old_jar, compiler_build_dir, compiler_srcs
+    ant.jar 'jarfile' => compiler_jar do
+      fileset 'dir' => compiler_build_dir
+    end
+  end
+
+  tool_build_dir = "build/#{name}-tool"
+  tool_jar = "#{tool_build_dir}.jar"
+  file tool_jar => Dir['src/org/mirah/tool/**/*.mirah'].sort do
+    build_mirah_stuff old_jar, tool_build_dir, tool_srcs
+    ant.jar 'jarfile' => tool_jar do
+      fileset 'dir' => tool_build_dir
+    end
+  end
+
+  ant_build_dir = "build/#{name}-ant"
+  ant_jar = "#{ant_build_dir}.jar"
+  file ant_jar => Dir['src/org/mirah/ant/**/*.mirah'].sort do
+    build_mirah_stuff old_jar, ant_build_dir, ant_srcs
+    ant.jar 'jarfile' => ant_jar do
+      fileset 'dir' => ant_build_dir
+    end
+  end
+  jars = [java_jar, bootstrap_jar, typer_jar, compiler_jar, tool_jar, ant_jar]
+  file new_jar => jars +
+                  [old_jar, 'javalib/asm-5.jar', 'javalib/mirah-parser.jar'] do
+    ant.jar 'jarfile' => new_jar do
+      jars.each {|j| zipfileset 'src' => j }
+      zipfileset 'src' => 'javalib/asm-5.jar', 'includes' => 'org/objectweb/**/*'
+      zipfileset 'src' => 'javalib/mirah-parser.jar'
+      metainf 'dir' => File.dirname(__FILE__), 'includes' => 'LICENSE,COPYING,NOTICE'
+      manifest do
+        attribute 'name' => 'Main-Class', 'value' => 'org.mirah.MirahCommand'
+      end
+    end
+
+  end
+
+else # original
+
+
   mirah_srcs = Dir['src/org/mirah/{builtins,jvm/types,macros,util,}/*.mirah'].sort +
                Dir['src/org/mirah/typer/**/*.mirah'].sort +
                Dir['src/org/mirah/jvm/{compiler,mirrors,model}/**/*.mirah'].sort +
                Dir['src/org/mirah/tool/*.mirah'].sort
-  file new_jar => mirah_srcs + [old_jar, 'javalib/asm-5.jar', 'javalib/mirah-parser.jar'] do
+
+  file new_jar => mirah_srcs + ['src/org/mirah/ant/compile.mirah'] + [old_jar, 'javalib/asm-5.jar', 'javalib/mirah-parser.jar'] do
     build_dir = 'build/bootstrap'
     rm_rf build_dir
     mkdir_p build_dir
 
     # Compile Java sources
-    ant.javac 'source' => '1.5',
-              'target' => '1.5',
+    ant.javac 'source' => '1.6',
+              'target' => '1.6',
               'destdir' => build_dir,
               'srcdir' => 'src',
               'includeantruntime' => false,
@@ -250,14 +343,29 @@ def bootstrap_mirah_from(old_jar, new_jar)
     if build_version.to_f > 1.7
       build_version = '1.7'
     end
+
+    default_class_path = ["javalib/mirah-parser.jar", build_dir,"javalib/asm-5.jar"].join(File::PATH_SEPARATOR)
+
     # Compile Mirah sources
     runjava('-Xmx512m',
             old_jar,
             '-d', build_dir,
-            '-classpath', "javalib/mirah-parser.jar:#{build_dir}:javalib/asm-5.jar",
+            '-classpath', default_class_path,
             '--jvm', build_version,
+            
+            #'--verbose',
+
             *mirah_srcs)
   
+      # compile ant stuff
+      ant_classpath = $CLASSPATH.grep(/ant/).map{|x| x.sub(/^file:/,'')}.join(File::PATH_SEPARATOR)
+      runjava '-Xmx512m',
+            old_jar,
+            '-d', build_dir,
+            '-classpath', [default_class_path, ant_classpath].join(File::PATH_SEPARATOR),
+            '--jvm', build_version,
+            'src/org/mirah/ant'
+
     # Build the jar                    
     ant.jar 'jarfile' => new_jar do
       fileset 'dir' => build_dir
@@ -269,6 +377,55 @@ def bootstrap_mirah_from(old_jar, new_jar)
       end
     end
   end
+end # feature flag
+end
+
+def build_mirah_stuff old_jar, build_dir, mirah_srcs
+
+    rm_rf build_dir
+    mkdir_p build_dir
+
+
+    # mirahc needs to be 1.7 or lower
+    build_version = java.lang.System.getProperty('java.specification.version')
+    if build_version.to_f > 1.7
+      build_version = '1.7'
+    end
+
+    default_class_path = ["javalib/mirah-parser.jar", build_dir,"javalib/asm-5.jar"].join(File::PATH_SEPARATOR)
+
+    # Compile Mirah sources
+    runjava('-Xmx512m',
+            old_jar,
+            '-d', build_dir,
+            '-classpath', default_class_path,
+            '--jvm', build_version,
+            *mirah_srcs)
+
+
+  
+      # compile ant stuff
+#      ant_classpath = $CLASSPATH.grep(/ant/).map{|x| x.sub(/^file:/,'')}.join(File::PATH_SEPARATOR)
+#      runjava '-Xmx512m',
+#            old_jar,
+#            '-d', build_dir,
+#            '-classpath', [default_class_path, ant_classpath].join(File::PATH_SEPARATOR),
+#            '--jvm', build_version,
+#            'src/org/mirah/ant'
+
+    # Build the jar                    
+    ant.jar 'jarfile' => new_jar do
+      fileset 'dir' => build_dir
+      zipfileset 'src' => 'javalib/asm-5.jar', 'includes' => 'org/objectweb/**/*'
+      zipfileset 'src' => 'javalib/mirah-parser.jar'
+      metainf 'dir' => File.dirname(__FILE__), 'includes' => 'LICENSE,COPYING,NOTICE'
+      manifest do
+        attribute 'name' => 'Main-Class', 'value' => 'org.mirah.MirahCommand'
+      end
+    end
+
+
+
 end
 
 bootstrap_mirah_from('javalib/mirahc-prev.jar', 'dist/mirahc.jar')

data/TODO.md

@@ -1,60 +1,207 @@
 
-0.1.3 checklist
-=============
 
-- check jar CLI
-org.mirah:mirah doesn't work w/o JRuby currently
-org.mirah:mirah-complete jar is also broken in 0.1.2, 0.1.1
-:/
-otoh, probably no one is using them since they don't work
+The TODO list of DOOM
+=======================
+100 char or less per feature, points included
+syntax
 
-- check jruby gem
-0.1.2 is the broken :(
+    - (points) description
 
-- done: silence run compiler logging
-- done: make sure in run mode we don't drop things on the filesystem
-- silence logging by default in RunCommand, w/ options overriding it.
+points logrithmicy difficulty 0-3
+- 0 know what to do, how to do it, and it's trivial < 15 min
+- 1 know what to do, how to do it, but not trivial < 1/2 day, > 1 hour
+- 2 know what to do, but not how to do it, < 1 day, > 1/2 day
+- 3 don't know exactly what to do, or how to do it, est is undefined
 
 
-- Java 8
--- make asm new d/l dependency
--- find usages of org.jruby...asm & change them
--- rm jruby-complete asa d/l dep
--- add asm license file to dist bundle
+Dist
+===========
+- mirah-parser maven artifact https://github.com/mirah/mirah-parser/issues/16
+- Java 8 ...
+- look at java 9 features we could use
+- update mvn compiler plugin
+- add regression test for ant task example!
+- rm implicit ant dependency... break out ant support as separate maven artifact
+- mvn artifacts:
+-- mirah-core
+-- mirah-parser
+-- mirah-ant
+-- mirah
+
 
-- mirah-parser CI (ish)
+Compiler Internals Improvements
+======================
+- make Mirror type systems addDefaultImports more obvious
+- faster mirah compiler build: src => class is tricky, I could make src => jar, jar => jar tho
+- switch to minitest
+- tests for imports at different scopes
+- shade asm lib for dev happiness
+- keep version in fewer places whew. Current is
+   version.rb
+   various pom.xmls
+   some random mirah file in src
 - automated tests for distribution artifacts
-- CI passing
+  - verify bytecode version of compiler
+    should have dist jar check that does this as part of acceptance suite
 
+- silence logging from JRuby interfaces, unless overridden.
 
-------------------
+- get rid of all outputs that escape from tests
+- move build artifacts to javalib for gem so that we don't depend on dist directory
+- clean up javalib dir
+- don't use 1.5 as java compile target
+- make it obvious when ASTs have been dropped during macro expansion
 
+- break compiler into phases
+---------------
+# parse
+# typer prep
 
+- sort files by import graph (could cache this)
+- load macros
+- load type systems
+- load types for System, & predefs maybe?
+- load scoped macros / extensions
+# typer
+- visit script body / class bodies, skipping method bodies
+- compile macros
+- visit method bodies
+# finishs resolving typer wip
+- resolve proxies
+- change captured locals into binding fields
+# clean up / compiler prep
+- clean ast up
+# compile
 
+- maybe after parse, check built files to see if they need to be rebuilt, and ignore them otherwise
+- investigate using Java 8 Lambda impl hooks for closures.
 
+Warnings / Logging
+============
+- fix import not found so that it says can't find com.blah for import com.blah, or at least both package scoped & absolute packages. mirah#267
+- warn about unused imports mirah#268
+- initial not found should not be error in fine logging mirah#269
+- log bindings as they are created 
+- don't warn on self.initialize mirah#270
+- can't find method error could list nearly matching methods mirah#271
+- error on not all methods implemented for interfaces mirah#272
 
-- Check mvn compile plugin
-- move build artifacts to javalib for gem
+- improve duplicate name/sig error when multiple method defs w/ same sig mirah#273
+- code sources from macro expansion should know both the macro location and the invoke location and report both on errors so that users know where to look to debug
 
-- verify bytecode version of compiler
-- silence logging from JRuby interfaces, unless overridden.
+Parser
+======
+- variables w/ name package are not allowed :/ mirah-parser#18
+- case expressions mirah-parser#17
+- lambda literals mirah-parser#19
 
-Misc
-===========
-- mirah-parser maven artifact
+Features
+==========
+- Reflection Macros
+- AST formatter that converts back to something the parser can parse
+- default toString?
+- default hashCode / equals
+- change == to use equals
+- default val/no type that defers to indy
+
+eg
+def foo(x: int, y=1)
+end
+should work
+
+- attr_reader/et al as varargs instead of just Hash. It would mean that the type info would have to come from somewhere else
+- goto: headius wants it
+- synchronize intrinsic ala java's
+- file scoped macros / extensions
+- extension syntax
+- move macro / mirahc anno to separate class dir to improve javac interop
+- public / private / protected / package scope helpers
+- subclass access to super protected fields w/ @syntax
+- (0) add a gets function like Ruby
+- (2) a more "batteries included" set of imports
+- (3) generics generics generics
+- (???) ARGV
+- (???) field access from closures, synthesize synthetic accessors
+- (???) self in closures should be lexical self
+- covariant interface impl overrides
+- macro helpers for inserting things into initializers
+- macro helpers for add method if not already there
+- reverse macro on collections
+- inner classes don't get nested names
+    class A
+      class B
+      end
+    end
+    # => pkg.A, pkg.B
+- understand Java 8 default methods
+- default args on non-last position params. eg when a method takes a block(read: functional interface), it should be allowed to have default args before the block arg.
+- do jruby style method lookup
+
+Bugs
+==========
 
-- java 9
+- "foo: #{x || y} acts weird", my guess is that interpolation doesn't generate the right code sometimes
+- lambda's can't exist in methods! !! by which I mean that they can't close over things in methods. You can have them there, they just don't close. >:[]
+- parser can't deal w/ unquotes in hash literals when key is unquote
+  quote { puts `key`: 1 }
 - implicit void methods w/ explicit return generate incorrect bytecode. Let's see if that's true of explicit. nope.
-- get rid of all outputs that escape from tests
-- default toString?
+- import * doesn't always work correctly
+- Inner class issues. Two inner classes w/ the same name will confuse the type system
+  class A
+    class B
+      def b
+        @b = 1
+      end
+    end
+  end
+class C
+    class B
+      def b
+        @b = 1
+      end
+    end
+  end
+
+- if with no else has type of the bool expression not type of the body. It should return nil w/ the body type, or just be an error
+  This might be just a error reporting issue
+    ERROR: Invalid return type org.mirah.typer.Scope, expected org.mirah.typer.ResolvedType
+            if parent
+            ^^^^^^^^^
+
+
+Libraries
+===============
+- delegation macro library
+- (???) testing framework
+- (???) fix up shatner
+- (???) fix dubious
+
+
+Compiled Code Usability
+=======================
+- name extension / macro classes after method name
+- break annotations / macro build path to make javac happier
+  currently macros are compiled to same tree as runtime code. We should make it so you can compile them to a different dir. Additionally, the annotations used for macros are unfriendly to javac, so we should put them in the macro dir
 
 etc
 =========
 
-- Reflection Macros
-- AST formatter that converts back to something the parser can parse
+- overriding interface req type atm :( apparently. -- nope wrong method name
+  interface Bar
+    def bar(i: int):void;end
+  end
+  class Foo; implements Bar
+    def bar(i) puts i; end
+  end
+
+- ArrayList.new(list) should do generic inference, perhaps, so T of list -> T of the resulting object
+
+- when dealing in generics, error messages should highlight generic types somehow
+
+
+blocks don't introduce new scopes when they are part of a macro currently :/
+
 
-- switch to minitest
 
 from notes, uncategorized
 ============================
@@ -74,27 +221,124 @@ puts e # e is LUB(X, Y)
 list o example code + what the compiler says when you give it to the compiler
 things like errors, & behavior
 
-feature requests
-----------------
-- goto: headius wants it
-- synchronize intrinsic ala java's
-- file scoped macros
-- move macro / mirahc anno to separate class dir to improve javac interop
 
-parser
--------
+fix maven plugins
 
-foo {|a| !a || ''.equals(a) }
-doesn't parse
 
-does now :)
 
 
-blocks don't introduce new scopes when they are part of a macro currently :/
+what I want is to be able to say
+this might be a field access,
+if a field w/ that name exists on the class, then use it
+if it's a constant that's in scope that's not on the current class target, use it
+
+def a
+  CONST
+end
+
+CONST=1
+
+
+
+fixing closures
+
+ add block scope
+ block scope
+   "self" is captured self
+   if in closure self may also be closure type, for method lookup.
+   I think this means that the proxy node for calls might need another elem
+
+what's happening is
+hit 1st block
+look for parent binding, none
+create binding for 'm' scope
+resolve block type, build closure
+hit 2nd block
+look for parent binding, walks up to 'm'
+but in m's scope y is not captured, so not added to binding
+
+
+def m           # b = Binding1.new()
+  r do          # Closure1.new b; b2 = Binding2.new
+    y = 1       # b2.y = 1
+    r do        # Closure2.new b2
+      y += 4    # b2.y += 4
+    end
+    puts y
+  end
+end
+
+update binding/closure generation
+
+one top level binding, 2 closures
+def m           # b = Binding1.new()
+  x = 1         # b.x = 1
+  r do          # Closure1.new b
+    x += 1      # b.x += 1
+    r do        # Closure2.new b
+      x += 4    # b.x += 4
+    end
+  end
+  puts x        # puts b.x
+end
+
+one tl binding, one closure binding
+def m           # b = Binding1.new()
+  x = 1         # b.x = 1
+  r do          # Closure1.new b; b2 = Binding2.new
+    y = 1       # b2.y = 1
+    r do        # Closure2.new b2
+      y += 4    # b2.y += 4
+    end
+    x += y      # b.x += b2.y
+  end
+  puts x        # puts b.x
+end
+
+binding shared across closures
+either pull binding construction above 1st ref, or
+copy binding back after.
+Not sure if I like that
+it's probably better to pull binding up, because you don't know when things are run
+def m
+  x = 1
+  r { x += 1 }
+  r { x += 2 }
+  puts x
+end
+
+
+def m
+  x = 1
+  l { x += 1 }
+  l { x += 2 }
+  puts x  # => 1
+  run_ls
+  puts x  # => 4
+end
+
+
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
+
+SimpleNodeVisitor sucks. It doesn't seem to work unless you define all the things to visit :(
+
+sometimes implicit nil in return screws everything up, and you get a stack error from the jvm
+
+
+Hash (things w/ init_list) needs a position, or they blow up w/ NPE somewhere
+
+
+can't have block args w/ name interface
+
+
+wierd error for VV
+def foo: int
+if a < b
+end
+end
+
 
 
-Release management
-------------------
 
-keep version in fewer places
-whew
+compile rake task doesn't fail, if it doesn't work for some things, it goes on anyway
+in generics. hmm