sql-typechecker 0.0.29 → 0.0.30

package/out/cli.js

@@ -241712,7 +241712,8 @@ function requireBoolean(e, t) {
   } else {
     throw new TypeMismatch(e, {
       expected: BuiltinTypes.Boolean,
-      actual: t
+      actual: t,
+      mess: "Requiring boolean"
     });
   }
 }
@@ -241784,7 +241785,7 @@ function cast(e, source, target, casttype) {
 }
 function castRecords(e, source, target, casttype) {
   if (source.fields.length !== target.fields.length) {
-    throw new TypeMismatch(e, {expected: source, actual: target});
+    throw new TypeMismatch(e, {expected: source, actual: target}, "Amount of fields is not the same");
   }
   source.fields.forEach((sf, i) => {
     const tf = target.fields[i];
@@ -241793,7 +241794,7 @@ function castRecords(e, source, target, casttype) {
 }
 function unifyRecords(e, source, target) {
   if (source.fields.length !== target.fields.length) {
-    throw new TypeMismatch(e, {expected: source, actual: target});
+    throw new TypeMismatch(e, {expected: source, actual: target}, "Amount of fields is not the same");
   }
   const newFields = source.fields.map((sf, i) => {
     const tf = target.fields[i];
@@ -241846,19 +241847,19 @@ function castSimples(e, source, target, type) {
     if (target.kind === "nullable") {
       return castSimples(e, source.typevar, target.typevar, type);
     } else {
-      throw new TypeMismatch(e, {expected: source, actual: target});
+      throw new TypeMismatch(e, {expected: source, actual: target}, "Nullability is different");
     }
   } else if (source.kind === "array") {
     if (target.kind === "array" && source.subtype === target.subtype) {
       return castSimples(e, source.typevar, target.typevar, type);
     } else {
-      throw new TypeMismatch(e, {expected: source, actual: target});
+      throw new TypeMismatch(e, {expected: source, actual: target}, "Can't unify array with non-array");
     }
   } else if (source.kind === "scalar") {
     if (target.kind === "scalar") {
       return castScalars(e, source, target, type);
     } else {
-      throw new TypeMismatch(e, {expected: source, actual: target});
+      throw new TypeMismatch(e, {expected: source, actual: target}, "Can't unify scalar with non-scalar");
     }
   } else if (source.kind === "jsonknown") {
     if (target.kind === "jsonknown") {
@@ -241872,7 +241873,7 @@ function castSimples(e, source, target, type) {
       }
       return;
     } else {
-      throw new TypeMismatch(e, {expected: source, actual: target});
+      throw new TypeMismatch(e, {expected: source, actual: target}, "Can't unify JSON with non-JSON");
     }
   } else {
     return checkAllCasesHandled(source);
@@ -241915,7 +241916,7 @@ function unifyCallGeneral(call, argTypes, expectedArgs, returnT) {
 function castScalars(e, source, target, type) {
   const matchingCast = findMatchingCast([source.name], source, target, type);
   if (matchingCast === null) {
-    throw new TypeMismatch(e, {expected: target, actual: source});
+    throw new TypeMismatch(e, {expected: target, actual: source}, "Couldn't find matching cast");
   }
 }
 function findMatchingCast(visited, from, to, type) {
@@ -243057,7 +243058,8 @@ function elabExpr(g, c, e) {
       if (unnulified.kind !== "array") {
         throw new TypeMismatch(e.array, {
           expected: arrayT,
-          actual: BuiltinTypeConstructors.Array(BuiltinTypes.AnyScalar)
+          actual: BuiltinTypeConstructors.Array(BuiltinTypes.AnyScalar),
+          mess: "Can't get array index from non-array type"
         });
       } else {
         return nullify(unnulified.typevar);