closure_conversion.js

@@ -151,7 +151,7 @@ function test(src) {
   console.log(JSON.stringify(closure_convert_all(ast), null, 4));
 }
 
-//console.log(test(pprint.pprint(parser.parse(pprint.pprint(parser.parse("if something then if a then if b then c else d else rtrrt else some_other_thing")[0]))[0])));
+//console.log(test("if something then if a then if b then c else d else rtrrt else some_other_thing"));
 module.export = {
   test : test,
   closureConvert : closure_convert_all

desugar.js

@@ -26,7 +26,6 @@ function desugarDefFunc(def) {
                                def.body));
 }
 
-
 function curryFunc(ps, body) {
   if (_.isEmpty(ps)) {
     return desugar(body);
@@ -43,6 +42,15 @@ function desugarLet(stx) {
   return new typ.LetExp(values, desugar(stx.body));
 }
 
+function sugarTypeApp(stx) {
+  var type;
+  var expression;
+  type = stx.p;
+  expression = desugar(stx.func.p);
+  return new typ.TypeApp(expression, type);
+}
+
+
 function desugar(stx) {
  switch (stx.exprType) {
     case "If":
@@ -56,10 +64,15 @@ function desugar(stx) {
     case "Name":
       return stx;
     case "Application":
-      if (stx.func.ident === "::") {
-        //It's a type binding
-        return desugarTypeBinding(stx);
+      if ((stx.func.func != undefined ) &&
+          (stx.func.func.ident === "::")) {
+            /* It's a type application probably (will be verified later)
+             * In this case we actually *add* syntax here to differentiate type applications
+             * from normal applications
+             */
+            return sugarTypeApp(stx);
           }
+
       if ((stx.func.ident === "-" ||
           stx.func.ident === "+") &&
           stx.p) {

example.jl

@@ -1,8 +1,9 @@
-defop 2 Left (a ## b)
+defop 2 Left (a ++#$ b)
  (a - b)
 
-def (f a b)
-  (a ++ b)
+
+(qat :: A)
+def qat (lambda a b c -> (a + b))
 
 def (add a b)
   (a + b)
@@ -63,6 +64,6 @@ def main
       if False
         then undefined
       else
-        (unary >>
-         fileLines >>
+        (unary +
+         fileLines +
          (print splitted))

pprint.js

@@ -30,9 +30,6 @@ function pprint(expr) {
   if (expr.exprType === "Name") {
     return expr.val;
   }
-  else if (expr.exprType === "TypeOperator") {
-    return expr.val;
-  }
   else if (expr.exprType === "Bool") {
     if (expr.val) {
       return "True";
@@ -77,6 +74,15 @@ function pprint(expr) {
             return pprint(v);
           }).join(" ; ") + "} in " + pprint(expr.body);
   }
+  else if (expr.exprType === "TypeOperator") {
+    return "("+expr.val+")";
+  }
+  else if (expr.exprType === "TypeVar") {
+    return "("+expr.name+")";
+  }
+  else if (expr.exprType === "TypeApplication") {
+    return "( " + pprint(expr.expression) + " :: " + pprint(expr.type) + " )";
+  }
 }
 
 module.exports = {pprint : pprint};

representation.js

@@ -41,7 +41,9 @@ function LetExp(pairs, body) {
     return (x.exprType === "Definition" ||
             x.exprType === "FunctionDefinition");
   })) {
-    throw "let can only be used to bind things to names or functions";
+    throw Errors.JInternalError(
+      "let can only be used to bind things to names or functions"
+      );
   }
   this.exprType = "Let";
   this.val = [pairs, body];
@@ -174,34 +176,48 @@ function If(condition, thenexp, elseexp) {
 function TypeVar(name) {
   this.exprtype = "TypeVar";
   this.name = name;
+  this.exprType = "TypeVar";
   return this;
 }
 
 TypeVar.prototype = TypeExpression;
 
-function TypeOp(name, params, body) {
-  if (!_.every(params, _.compose(
-                          _.partial(_.isEqual, "TypeVar"),
-                          _.property("exprtype")))) {
-    throw errors.JInternalError(
-        "Parameters to a type operator must be type variables"
-    );
-  }
+function TypeOp(name) {
   this.name = name;
-  this.params = params;
-  this.body = body;
+  this.val = name;
+  this.exprType = "TypeOperator";
   return this;
 }
 
+function isTypeExpr(expr) {
+  if (!expr.exprType) {
+    throw errors.JInternalError(expr);
+  }
+  return ((expr.exprType === "TypeOperator") ||
+          (expr.exprType === "TypeVar") ||
+          (expr.exprType === "TypeApplication"));
+}
+
 TypeOp.prototype = TypeExpression;
 
-function TypeBinding(expression, type) {
-  this.expr = expression;
+function TypeApp(expression, type) {
+  if (isTypeExpr(expression)) {
+    throw errors.JInternalError(
+      "Left-hand-side of type application must not be in the type language"
+      );
+  }
+  if (!isTypeExpr(type)) {
+    throw errors.JInternalError(
+      "Right-hand-side of type application must be a type expression"
+      );
+  }
+  this.expression = expression;
   this.type = type;
+  this.exprType = "TypeApplication";
   return this;
 }
 
-TypeBinding.prototype = TypeExpression;
+TypeApp.prototype = TypeExpression;
 
 //Applies the function ``name'' to the list of parameters
 function makeApp(name, parameters) {
@@ -246,7 +262,8 @@ OPInfo = {"+" : [3, "Left"],
           ">>=" : [1, "Left"],
           "<$>" : [1, "Left"],
           "." : [1, "Left"],
-          "," : [1, "Left"]};
+          "," : [1, "Left"],
+          "->" : [1, "Right"]};
 
 module.exports =
    {
@@ -270,6 +287,6 @@ module.exports =
      gensym : gensym,
      TypeVar : TypeVar,
      TypeOp : TypeOp,
-     TypeBinding : TypeBinding,
+     TypeApp: TypeApp,
      Closure : Closure
    };