Fixed another code generation bug.

luqui · Mar 1, 2012 · 422f2a9 · 422f2a9
1 parent 3d7186e
commit 422f2a9
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/Sequent/Program.hs b/Sequent/Program.hs
@@ -50,7 +50,7 @@ toJS (SetResult g h p) =
 toJS (Variable h) = h
 toJS (Apply f helper helpermap p vars goalmap) =
     "var _tmp = " ++ fapply ++ ";\n" ++
-    unlines [ "var " ++ quoteJS res ++ " = _tmp." ++ quoteJS rparam | (rparam, res) <- goalmap ] ++
+    unlines [ "var " ++ quoteJS res ++ " = _tmp." ++ quoteJS rparam ++ ";" | (rparam, res) <- goalmap ] ++
     toJS p
     where
     fapply = quoteJS f ++ "(_adapt(" ++ adapter helpermap ++ ", " ++ object vars ++ ", " ++ 

diff --git a/examples/union/union.js b/examples/union/union.js
@@ -11,21 +11,21 @@ function (_hyps) {
     var _goals = {};
     return _goals;
   }()));
-  var U1 = _tmp.H0
-  var U2 = _tmp.H1
-  var U3 = _tmp.H2
-  var union_Enat_jreal_D_ounion = _tmp.union
+  var U1 = _tmp.H0;
+  var U2 = _tmp.H1;
+  var U3 = _tmp.H2;
+  var union_Enat_jreal_D_ounion = _tmp.union;
   var _tmp = U3(_adapt({ G1: 'H0', G2: 'H1', G3: 'H2' }, { Z: union_Ereal_jnat_D_ounion, z: x }, function (_hyps) {
     var _goals = {};
     _goals.G3 = H1;
     var _tmp = union(_adapt({  }, { X: real, Y: nat }, function (_hyps) {
       var _goals = {};
       return _goals;
     }()));
-    var U1_047 = _tmp.H0
-    var U2_047 = _tmp.H1
-    var U3_047 = _tmp.H2
-    var union_Ereal_jnat_D_ounion = _tmp.union
+    var U1_047 = _tmp.H0;
+    var U2_047 = _tmp.H1;
+    var U3_047 = _tmp.H2;
+    var union_Ereal_jnat_D_ounion = _tmp.union;
     _goals.G1 = function (_hyps) {
       var _goals = {};
       var a = _hyps.x;
@@ -35,7 +35,7 @@ function (_hyps) {
         _goals.G1 = K;
         return _goals;
       }()));
-      var Z = _tmp.H0
+      var Z = _tmp.H0;
       _goals.H0 = Z;
       return _goals;
     };
@@ -48,13 +48,13 @@ function (_hyps) {
         _goals.G1 = K;
         return _goals;
       }()));
-      var Z = _tmp.H0
+      var Z = _tmp.H0;
       _goals.H0 = Z;
       return _goals;
     };
     return _goals;
   }()));
-  var H2 = _tmp.H0
+  var H2 = _tmp.H0;
   _goals.H0 = H2;
   return _goals;
 }