Merge pull request #496 from statementreply/strengthen-scope-check

Check for mismatched scope begin/end in typecheck

Author: LingDong-

lib/js/位經.wy

@@ -35,5 +35,5 @@
 
 疏曰「「位變。同犀之~x也。」」
 今有一術。名之曰「位變」。欲行是術。必先得一數。曰「甲」。乃行是術曰。
-	施「(x=>y=>(~x))」於「甲」。名之曰「乙」。乃得「乙」。
+	施「(x=>(~x))」於「甲」。名之曰「乙」。乃得「乙」。
 是謂「位變」之術也。

lib/列經.wy

@@ -86,7 +86,7 @@
 今有一術。名之曰「擷取」。欲行是術。必先得一列。曰「甲」。二數。曰「乙」曰「丙」。乃行是術曰。
 	吾有一列。名之曰「丁」。
 	吾有一數。曰「乙」。名之曰「戊」。
-	若「丙」小於零者。夫「甲」之長。加其以「丙」。昔之「丙」者。今其是矣。
+	若「丙」小於零者。夫「甲」之長。加其以「丙」。昔之「丙」者。今其是矣。云云。
 
 	恆為是。若「戊」大於「丙」者乃止也。
 		夫「甲」之「戊」。充「丁」以其。

lib/曆法.wy

@@ -149,7 +149,7 @@
 		夫「乙」之「「商」」。加其以一。夫「數字」之其。加其以「「十」」。昔之「數」者。今其是矣。云云。
 	夫「乙」之「「餘」」。若其大於零者。
 		夫「乙」之「「餘」」。加其以一。夫「數字」之其。加「數」以其。昔之「數」者。今其是矣。云云。
-	乃得「數」也。
+	乃得「數」。
 是謂「言百內數」之術也。
 
 吾有一術。名之曰「言年月日」。欲行是術。必先得一數。曰「積日」。乃行是術曰。
@@ -173,6 +173,7 @@
 		夫「年」。取一以施「言百內數」。加其以「「年」」。加「年月日」以其。昔之「年月日」者。今其是矣。
 	若非。
 		夫「年」。取一以施「言序數」。加其以「「年」」。加「年月日」以其。昔之「年月日」者。今其是矣。
+	云云。
 	減一於「積年」。除其以十。所餘幾何。加其以一。夫「天干」之其。加「年月日」以其。昔之「年月日」者。今其是矣。
 	減一於「積年」。除其以十二。所餘幾何。加其以一。夫「地支」之其。加「年月日」以其。昔之「年月日」者。今其是矣。
 	加「年月日」以「「年」」。昔之「年月日」者。今其是矣。
@@ -183,6 +184,7 @@
 		加「年月日」以「「正月」」。昔之「年月日」者。今其是矣。
 	若非。
 		夫「月」。取一以施「言百內數」。加其以「「月」」。加「年月日」以其。昔之「年月日」者。今其是矣。
+	云云。
 
 	若「日」不大於十者。
 		加「年月日」以「「初」」。昔之「年月日」者。今其是矣。云云。

src/typecheck.js

@@ -78,7 +78,7 @@ function typecheck(
   let imported = [];
   let strayvar = [];
   let scope = [{}];
-  let scopestarts = [0];
+  let scopestarts = [{ pos: 0, op: "global" }];
   let signature = [];
   let funstack = [];
   let funretcnt = [];
@@ -178,15 +178,20 @@ function typecheck(
     return t.fields[x];
   }
 
-  function scopepush(pos) {
+  function scopepush(tok) {
     scope.push({});
-    scopestarts.push(pos);
+    scopestarts.push(tok);
   }
 
-  function scopepop(pos) {
+  function scopepop(tok, ...acceptScopeStartOps) {
     let ss = scopestarts.pop();
     let s = scope.pop();
-    signature.push([[ss, pos, scope.length], s]);
+    assert(
+      `[Type] Unexpected '${tok.op}' in '${ss.op}' block`,
+      tok.pos,
+      acceptScopeStartOps.indexOf(ss.op) >= 0
+    );
+    signature.push([[ss.pos, tok.pos, scope.length], s]);
   }
 
   function logscope() {
@@ -303,11 +308,11 @@ function typecheck(
         let ptr = scope[scope.length - 1][funstack[funstack.length - 1]];
         ptr.in = inittype("nil");
       }
-      scopepush(a.pos);
+      scopepush(a);
     } else if (a.op == "funend") {
       var f = funstack.pop();
       var n = funretcnt.pop();
-      scopepop(a.pos);
+      scopepop(a, "funbody");
 
       if (n == 0) {
         var ptr = scope[scope.length - 1][f];
@@ -325,12 +330,12 @@ function typecheck(
         a.type
       );
     } else if (a.op == "end") {
-      scopepop(a.pos);
+      scopepop(a, "if", "else", "for", "whiletrue", "whilen");
     } else if (a.op == "if") {
-      scopepush(a.pos);
+      scopepush(a);
     } else if (a.op == "else") {
-      scopepop(a.pos);
-      scopepush(a.pos);
+      scopepop(a, "if");
+      scopepush(a);
     } else if (a.op == "return") {
       funretcnt[funretcnt.length - 1]++;
       let ptr;
@@ -536,14 +541,14 @@ function typecheck(
 
       gettype(a.container).element = Object.assign({}, typ);
     } else if (a.op == "for") {
-      scopepush(a.pos);
+      scopepush(a);
       typeassert(`For-each LHS`, [inittype("arr")], a.container, a.pos);
       scope[scope.length - 1][a.iterator] =
         gettype(a.container).element || inittype("any");
     } else if (a.op == "whiletrue") {
-      scopepush(a.pos);
+      scopepush(a);
     } else if (a.op == "whilen") {
-      scopepush(a.pos);
+      scopepush(a);
     } else if (a.op == "break") {
       //pass
     } else if (a.op == "not") {
@@ -657,22 +662,25 @@ function typecheck(
     } else if (a.op == "import") {
       imported = imported.concat(a.iden);
     } else if (a.op == "try") {
-      scopepush(a.pos);
+      scopepush(a);
     } else if (a.op == "catch") {
-      scopepop(a.pos);
-      scopepush(a.pos);
+      scopepop(a, "try");
+      scopepush(a);
     } else if (a.op == "catcherr") {
-      scopepop(a.pos);
-      scopepush(a.pos);
+      scopepop(a, "catch", "catcherr");
+      scopepush(a);
+      if (a.error === undefined) {
+        strayvar.push(inittype("str"));
+      }
     } else if (a.op == "tryend") {
-      scopepop(a.pos);
+      scopepop(a, "catch", "catcherr");
     } else if (a.op == "throw") {
     } else if (a.op == "comment") {
       //pass
     } else {
     }
   }
-  scopepop(a.pos);
+  scopepop({ pos: a.pos, op: "EOF" }, "global");
   // console.log(scope.length)
   // console.dir(signature,{maxArrayLength:null,depth:null})