Goose  Artifact [fd1fb907de]

Artifact fd1fb907de6226c907c3f39f5fd980d0f067afab97fdab90e5550bbe1d03046d:

• File tests/noprelude/diagnostics/recursive-using.txt — part of check-in [3740e7a491] at 2019-10-05 16:37:24 on branch trunk —
  • Renamed the "assert" test helper function to "check".
  • Implemented a builtin "assert" intrinsic that emits an Assert instruction for the verifier.
  • Implemented a couple of tests to verify the generated z3 expressions for a couple of simple functions.
  • Fixed a few issues when building the z3 expressions.
  (user: achavasse size: 539)

tests/noprelude/diagnostics/recursive-using.g:
    4 | using SomeOtherThing = Laffo
      | ^~~~~~~~~~~~~~~~~~~~
      | Error: recursive using expression.
tests/noprelude/helpers.g:
   11 | using Laffo = SomeOtherThing
      |               ~~~~~~~~~~~~~~
      |              Referenced here.
tests/noprelude/diagnostics/recursive-using.g:
    4 | using SomeOtherThing = Laffo
      |                        ~~~~~
      |                   Referenced here.
     ...
    6 | SomeOtherThing
      | ~~~~~~~~~~~~~~
      | Referenced here.