Goose  Artifact [6506402534]

Artifact 6506402534635e246ac1e94b154301e8ef90d82987c5afee65253aa11a841713:

• File tests/noprelude/diagnostics/template-instantiation-context.txt — part of check-in [980effe072] at 2019-08-14 02:30:10 on branch trunk —
  • Added an unification rule to deal with LocationIds. It honors poisoning and preserve the most recent location from the input values.
  • Added a diagnostic context indicating the point at which a template function passed as a value has been instantiated.
  • Added a trace mode that logs the diagnostics contexts, which can be activated by calling a compile time function.
  • Added a few diagnostic messages tests.
  (user: achavasse size: 484)

tests/noprelude/diagnostics/template-instantiation-context.em:14:12: error: return value type mismatch.
   14 |     return 5454
      |            ^~~~
     ...
   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.