sql-typechecker 0.0.30 → 0.0.31

package/out/cli.js

@@ -241712,9 +241712,8 @@ function requireBoolean(e, t) {
   } else {
     throw new TypeMismatch(e, {
       expected: BuiltinTypes.Boolean,
-      actual: t,
-      mess: "Requiring boolean"
-    });
+      actual: t
+    }, "Requiring boolean");
   }
 }
 var BuiltinTypeConstructors = {
@@ -241798,11 +241797,11 @@ function unifyRecords(e, source, target) {
   }
   const newFields = source.fields.map((sf, i) => {
     const tf = target.fields[i];
-    const t = unifySimples(tf.expr || e, sf.type, tf.type);
+    const t = unifySimples(tf._expr || e, sf.type, tf.type);
     return {
       name: sf.name || tf.name,
       type: t,
-      expr: tf.expr
+      _expr: tf._expr
     };
   });
   return {
@@ -241978,11 +241977,7 @@ function doCreateTable(g, s) {
     } else {
       return acc.concat({
         name: c.name,
-        type: mkType(c.dataType, c.constraints || []),
-        expr: {
-          type: "null",
-          _location: c._location
-        }
+        type: mkType(c.dataType, c.constraints || [])
       });
     }
   }, []);
@@ -242057,7 +242052,7 @@ function elabSelect(g, c, s) {
               const foundNullabilityInference = inferredNullability.find((inf) => eqQNames(inf.fromName, fr.name) && inf.fieldName === fi.name?.name);
               if (foundNullabilityInference && isNullable(fi.type)) {
                 const t = foundNullabilityInference.isNull === true ? BuiltinTypes.Null : unnullify(fi.type);
-                return {name: fi.name, type: t, expr: fi.expr};
+                return {name: fi.name, type: t, _expr: fi._expr};
               } else {
                 return fi;
               }
@@ -242087,7 +242082,7 @@ function elabSelect(g, c, s) {
           if (c2.expr.type === "ref" && c2.expr.name === "*") {
             return t.fields;
           } else {
-            return [{name: n, type: t.fields[0].type, expr: c2.expr}];
+            return [{name: n, type: t.fields[0].type, _expr: c2.expr}];
           }
         } else {
           if (c2.expr.type === "ref" && c2.expr.name === "*") {
@@ -242097,7 +242092,7 @@ function elabSelect(g, c, s) {
           }
         }
       }
-      return [{name: n, type: t, expr: c2.expr}];
+      return [{name: n, type: t, _expr: c2.expr}];
     });
     return {
       kind: "record",
@@ -242121,7 +242116,7 @@ function elabSelect(g, c, s) {
         if (t === null) {
           throw new CantReduceToSimpleT(exp, t_);
         } else {
-          return {name: null, type: t, expr: exp};
+          return {name: null, type: t, _expr: exp};
         }
       });
       return {
@@ -242149,7 +242144,7 @@ function elabSelect(g, c, s) {
           {
             name: null,
             type: res,
-            expr: s
+            _expr: s
           }
         ]
       };
@@ -242163,6 +242158,7 @@ function elabSelect(g, c, s) {
   }
 }
 function elabInsert(g, c, s) {
+  debugger;
   const insertingInto = g.tables.find((t) => eqQNames(t.name, s.into)) || null;
   if (!insertingInto) {
     throw new UnknownIdentifier(s, s.into);
@@ -242187,7 +242183,7 @@ function elabInsert(g, c, s) {
     }
     return foundField;
   }) : insertingInto.rel.fields;
-  const insertT = elabSelect(g, newContext, s.insert);
+  const insertT = elabSelect(g, c, s.insert);
   if (insertT.kind === "void") {
     throw new ColumnsMismatch(s.insert, {
       expected: columns.length,
@@ -242202,7 +242198,7 @@ function elabInsert(g, c, s) {
   }
   insertT.fields.forEach((insertField, i) => {
     const col = columns[i];
-    cast(insertField.expr || s.insert, insertField.type, col.type, "assignment");
+    cast(insertField._expr || s.insert, insertField.type, col.type, "assignment");
   });
   if (s.returning) {
     return {
@@ -242216,7 +242212,7 @@ function elabInsert(g, c, s) {
           return {
             name: selectedCol.alias || deriveNameFromExpr(selectedCol.expr),
             type: t,
-            expr: selectedCol.expr
+            _expr: selectedCol.expr
           };
         }
       })
@@ -242255,7 +242251,7 @@ function elabDeleteOrUpdate(g, c, s) {
           return {
             name: selectedCol.alias || deriveNameFromExpr(selectedCol.expr),
             type: t,
-            expr: selectedCol.expr
+            _expr: selectedCol.expr
           };
         }
       })
@@ -242851,7 +242847,7 @@ function elabCall(g, c, e) {
         record.fields.push({
           name: {name: key.value},
           type: valTSimple,
-          expr: e.args[i]
+          _expr: e.args[i]
         });
       }
       return {kind: "jsonknown", record};
@@ -243058,9 +243054,8 @@ function elabExpr(g, c, e) {
       if (unnulified.kind !== "array") {
         throw new TypeMismatch(e.array, {
           expected: arrayT,
-          actual: BuiltinTypeConstructors.Array(BuiltinTypes.AnyScalar),
-          mess: "Can't get array index from non-array type"
-        });
+          actual: BuiltinTypeConstructors.Array(BuiltinTypes.AnyScalar)
+        }, "Can't get array index from non-array type");
       } else {
         return nullify(unnulified.typevar);
       }