sql-typechecker 0.0.53 → 0.0.55

package/out/cli.js

@@ -235922,7 +235922,10 @@ function normalizeTypeName(s) {
   if (s === "bool") {
     return "boolean";
   }
-  if (s === "float") {
+  if (s === "float4") {
+    return "real";
+  }
+  if (s === "float" || s === "float8") {
     return "double";
   }
   if (s === "double precision") {
@@ -241354,7 +241357,14 @@ var builtinoperatorsFromSchema = [
 var builtinoperators = builtinoperatorsFromSyntax.concat(builtinoperatorsFromSchema);
 
 // src/builtinunaryoperators.ts
-var builtinunaryoperatorsFromSyntax = [];
+var builtinunaryoperatorsFromSyntax = [
+  {
+    name: {name: "NOT"},
+    operand: {kind: "scalar", name: {name: "boolean"}},
+    result: {kind: "scalar", name: {name: "boolean"}},
+    description: ""
+  }
+];
 var builtinunaryoperatorsFromSchema = [
   {
     name: {name: "!"},
@@ -242060,8 +242070,21 @@ function doCreateTable(g, s) {
     })
   };
 }
-function doCreateView(_g, s) {
-  return _g;
+function doCreateView(g, s) {
+  const sel = elabSelect(g, {
+    froms: [],
+    decls: []
+  }, Array.isArray(s.query) ? s.query[0] : s.query);
+  if (sel.kind === "void") {
+    throw new ErrorWithLocation(s._location, "View returns void");
+  }
+  return {
+    ...g,
+    views: g.views.concat({
+      name: s.name,
+      rel: sel
+    })
+  };
 }
 function doAlterTable(_g, s) {
   return notImplementedYet(s);
@@ -242453,7 +242476,8 @@ ${JSON.stringify(node)} @ ${node._location}` : "";
 var UnknownField = class extends ErrorWithLocation {
   constructor(e, s, n) {
     super(e._location, `UnknownField ${n.name}.
-Keys present: ${s.fields.map((f) => f.name?.name || "").join(", ")}`);
+Keys present:
+${s.fields.map((f) => (f.name?.name || "") + ": " + showType(f.type)).join("\n")}`);
   }
 };
 var UnknownIdentifier = class extends ErrorWithLocation {
@@ -242912,7 +242936,11 @@ function elabCall(g, c, e) {
   }
   if (eqQNames(e.function, {name: "array_agg"})) {
     if (e.args.length === 1) {
-      return {kind: "array", subtype: "array", typevar: argTypes[0]};
+      const subt = argTypes[0];
+      if (subt.kind === "record") {
+        throw new ErrorWithLocation(e.args[0]._location, "Can't have record type inside array");
+      }
+      return BuiltinTypeConstructors.Nullable(BuiltinTypeConstructors.Array(subt));
     } else {
       throw new InvalidArguments(e, e.function, argTypes);
     }
@@ -243251,7 +243279,7 @@ function elabExpr(g, c, e) {
 function inferNullability(c, e) {
   if (e.type === "unary") {
     if (e.op === "NOT") {
-      return inferNullability(c, e).map((judg) => ({
+      return inferNullability(c, e.operand).map((judg) => ({
         ...judg,
         isNull: !judg.isNull
       }));
@@ -243342,8 +243370,8 @@ function unnullify(s) {
     return s;
   }
 }
-function checkAllCasesHandled(_) {
-  throw new Error("Oops didn't expect that");
+function checkAllCasesHandled(r) {
+  throw new Error(`Oops didn't expect that, ${JSON.stringify(r)}`);
 }
 function showQName(n) {
   return n.schema ? n.schema + "." + n.name : n.name;
@@ -243729,6 +243757,9 @@ async function go() {
     const functionsOutFile = await prepOutFile(outFileName);
     await fs.appendFile(outFileName, mkImportDomainsStatement(g.domains, outFileName, typesFile), "utf8");
     for (let st of createFunctionStatements) {
+      if (st.language?.name.toLowerCase() !== "sql") {
+        continue;
+      }
       try {
         const res = doCreateFunction(g, {decls: [], froms: []}, st);
         const writing = prettier.format(functionToTypescript(res), {