Goose  Artifact [b6ae13923f]

Artifact b6ae13923fecfc4bf7f427c5e4e0f37bb3a8d032e3974796b677e21ae9682dcb:

• File tests/noprelude/diagnostics/template-instantiation-context.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: 482)

tests/noprelude/diagnostics/template-instantiation-context.g:
   14 |     return 5454
      |            ^~~~
      | Error: return value type mismatch.
     ...
   12 | ct_string someFunc( $T x )
      | ~~~~~~~~~~~~~~~~~~~~~~~~~~
      | In the template function declared here.
     ...
   17 | if !check( higherTpl( someFunc, "meh" ) == "higher: someFunc2: meh", "higher order template test 2" )
      |                       ~~~~~~~~
      |                  Instantiated here.