change the type of error for type decl syntax

desugar.js

@@ -52,6 +52,8 @@ function sugarTypeApp(stx) {
   var expression;
   type = stx.p;
   expression = desugar(stx.func.p);
+  expression.linenum = stx.linenum;
+  expression.charnum = stx.charnum;
   return new typ.TypeApp(expression, type);
 }
 

example.jl

@@ -1,7 +1,7 @@
 defop 2 Left (a ++ b)
  (a - b)
 
-(qat :: A -> B)
+(qat :: A -> b)
 def qat (lambda a b c -> (a + b))
 
 def (add a b)

representation.js

@@ -24,7 +24,9 @@ var TypeExpression = {
         console.log("Could not unify " + this.expr + " with " + t.expr);
       }
     },
-  isTypeExpr : true
+  isTypeExpr : true,
+  linenum : 0,
+  charnum : 0
 };
 
 function isTypeExpr(x) {
@@ -270,7 +272,9 @@ function isTypeExpr(expr) {
 function TypeApp(expression, type) {
   if (isTypeExprRec(expression) &&
       expression.exprType !== "Name") {
-    throw errors.JInternalError(
+    throw errors.JSyntaxError(
+      expression.linenum,
+      expression.charnum,
       "Left-hand-side of type application must not be in the type language"
       );
   }