@ldclabs/kip-lang 0.3.1 → 2.0.0

package/dist/exec-ast.js

@@ -0,0 +1,24 @@
+/**
+ * The *executable* KIP 2.0 AST.
+ *
+ * This is a different tree from `ast.ts`, on purpose. `ast.ts` is a syntax
+ * tree: it keeps ranges, comments, quoting style and raw number text, because
+ * a formatter and an editor need to reproduce the source. This tree is what an
+ * engine needs instead — every construct already collapsed to the one shape it
+ * means, with the open-ended parts of the grammar closed:
+ *
+ *  - a predicate is an atom or a path, not a nested alternation/quantifier tree;
+ *  - a filter is a comparison, a logical node, a negation, or a call to one of
+ *    the registered functions, not a general expression tree;
+ *  - a variable is a name and a path of steps, not a chain of member accesses;
+ *  - `ASSERT` is gone: it has been desugared to the parts it is defined as.
+ *
+ * A consumer switching on these tags is total: there is no "some other
+ * function name" case to defend against, because `lower` rejected it.
+ *
+ * The shape follows serde's default externally-tagged enum encoding, so a
+ * Rust engine can consume it directly and a differential test can compare the
+ * two field for field.
+ */
+export {};
+//# sourceMappingURL=exec-ast.js.map

package/dist/exec-ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec-ast.js","sourceRoot":"","sources":["../src/exec-ast.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG"}

package/dist/formatter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"formatter.d.ts","sourceRoot":"","sources":["../src/formatter.ts"],"names":[],"mappings":"AA8CA,MAAM,WAAW,aAAa;IAC5B,0DAA0D;IAC1D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;;OAIG;IACH,cAAc,CAAC,EAAE,OAAO,CAAA;CACzB;AAED,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,MAAM,CAgBtE"}
+{"version":3,"file":"formatter.d.ts","sourceRoot":"","sources":["../src/formatter.ts"],"names":[],"mappings":"AA+DA,MAAM,WAAW,aAAa;IAC5B,0DAA0D;IAC1D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;;OAIG;IACH,cAAc,CAAC,EAAE,OAAO,CAAA;CACzB;AAED,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,MAAM,CAgBtE"}