lemmascript 0.4.0 → 0.5.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (13) hide show
  1. package/README.md +17 -12
  2. package/package.json +4 -1
  3. package/tools/dist/dafny-emit.js +294 -12
  4. package/tools/dist/extract.js +1093 -165
  5. package/tools/dist/info-command.js +38 -0
  6. package/tools/dist/lean-emit.js +28 -2
  7. package/tools/dist/lsc.js +16 -6
  8. package/tools/dist/narrow.js +211 -16
  9. package/tools/dist/peephole.js +5 -2
  10. package/tools/dist/resolve.js +416 -46
  11. package/tools/dist/specparser.js +6 -0
  12. package/tools/dist/transform.js +400 -42
  13. package/tools/dist/types.js +128 -69
package/tools/dist/specparser.js CHANGED
@@ -231,6 +231,12 @@ class Parser {
231
231
  this.advance();
232
232
  return { kind: "bool", value: false };
233
233
  }
234
+ // Match the body extractor (extract.ts NullLiteral): `null` and
235
+ // `undefined` are interchangeable in LS, both map to None.
236
+ if (t.value === "null") {
237
+ this.advance();
238
+ return { kind: "var", name: "undefined" };
239
+ }
234
240
  // new Set<T>() / new Map<K,V>()
235
241
  if (t.value === "new") {
236
242
  this.advance();