Goose  Artifact [ea70bd72e6]

Artifact ea70bd72e6d0c6ff5377d674a488c4fbabd070fc5678a71b6637bb1e7106f7b7:

• File tests/g0/function/e-fail-template-instantiation-context.txt — part of check-in [45f663093d] at 2021-09-12 13:42:15 on branch trunk — Adopted a new convention for source extensions: .g0 for prelude code (where most language features won't be available), .g1 for user code (user: achavasse size: 751)

tests/g0/function/e-fail-template-instantiation-context.g0:
   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.

tests/g0/function/e-fail-template-instantiation-context.g0:
   17 | if !check( higherTpl( someFunc, "meh" ) == "higher: someFunc2: meh", "higher order template test 2" )
      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
      |         Error: function arguments mismatch.