on master help sign in
Idris-dev/test/ffi002/expected.out
6 lines 146 B history raw
1test023.idr:20:26-36:
2 |
320 | %provide (t : Type) with badProvider
4 | ~~~~~~~~~~~
5Type provider error: Always fails