MiniJavaInScala/mjis — pull request #152 by TehMillhouse (2014-11-30 09:46:57+00:00)
Title: Implement remaining TODOs

* cache array types
* Use NoMem for loads so we don't impart an unnecessary ordering on loads