Goose  Diff

Differences From Artifact [e4456ad12e]:

• File tests/noprelude/diagnostics/template-instantiation-context.txt — part of check-in [af650a9e95] at 2019-09-22 14:37:55 on branch trunk — Project renaming. (user: achavasse size: 485)

To Artifact [b6ae13923f]:

• 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)

1
2
3
4
5
6
7
8
9
10
11
12

1
2
3
4
5
6
7
8
9



10
11
12

-
-
-
+
+
+

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 !assert( higherTpl( someFunc, "meh" ) == "higher: someFunc2: meh", "higher order template test 2" )
      |                        ~~~~~~~~
      |                   Instantiated here.
   17 | if !check( higherTpl( someFunc, "meh" ) == "higher: someFunc2: meh", "higher order template test 2" )
      |                       ~~~~~~~~
      |                  Instantiated here.