ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity
b2fb9d0f20
Idris-dev/test/ffi002/expected
David Raymond Christiansen ec1b1f3616 Test updates for executor and type provider update
2014-02-03 11:07:11 +01:00

2 lines
52 B
Plaintext
Raw Blame History

test023.idr:22:21:Type provider error: Always fails
Reference in New Issue View Git Blame Copy Permalink