Rework resolver (AssemblyScript#489)

* Rework IR and resolver to use nested lookup tables
* Integrate types into IR
* Make components prefer IR, slimmed down AST
* Implement `export *`
* Add `@lazy` annotation and remove `--noTreeShaking`
* Add `@start` annotation and remove magic `main`
* Related refactoring, cleanup and docs

Author: dcodeIO

.travis.yml

@@ -17,7 +17,7 @@ jobs:
         cd $TRAVIS_BUILD_DIR/tests/allocators/buddy && npm run build && cd .. && npm test buddy &&
         cd $TRAVIS_BUILD_DIR/tests/allocators/tlsf  && npm run build && cd .. && npm test tlsf;
       fi
-    env: Runs the tests on node.js LTS
+    env: Runs the tests on node.js LTS, also tests allocators
   - node_js: node
     script:
     - npm run all

cli/asc.js

@@ -419,7 +419,6 @@ exports.main = function main(argv, options, callback) {
   // Begin compilation
   const compilerOptions = assemblyscript.createOptions();
   assemblyscript.setTarget(compilerOptions, 0);
-  assemblyscript.setNoTreeShaking(compilerOptions, args.noTreeShaking);
   assemblyscript.setNoAssert(compilerOptions, args.noAssert);
   assemblyscript.setImportMemory(compilerOptions, args.importMemory);
   assemblyscript.setImportTable(compilerOptions, args.importTable);

cli/asc.json

@@ -86,11 +86,6 @@
     "type": "b",
     "default": false
   },
-  "noTreeShaking": {
-    "description": "Disables compiler-level tree-shaking, compiling everything.",
-    "type": "b",
-    "default": false
-  },
   "noAssert": {
     "description": "Replaces assertions with just their value without trapping.",
     "type": "b",

examples/game-of-life/build/optimized.d.ts

@@ -8,8 +8,17 @@ declare module ASModule {
   type f32 = number;
   type f64 = number;
   type bool = any;
+  namespace JSMath {
+    function random(): f64;
+  }
+  var w: i32;
+  var h: i32;
+  var s: i32;
   function init(width: i32, height: i32): void;
   function step(): void;
   function fill(x: u32, y: u32, p: f64): void;
+  var BGR_ALIVE: u32;
+  var BGR_DEAD: u32;
+  var BIT_ROT: u32;
 }
 export default ASModule;