git.iko.soy/Idris-dev
on master help sign in
Clarify behavior of type provider test
commite4a04b453b4db68b6eeb211b1b7edcccf190b302 authorJacob Mitchell <jmitchell@member.fsf.org> dateFri 30 Oct 2015, 19:02 (11 years ago) parentad9ef67
1 file changed+1−1
compare with master
unifiedsplit
test/ffi004/theOtherType+1−1
test/ffi004/theOtherType+1−1
@@ -1 +1 @@
1−Nat
1+When `fromFile` reads me it will provide the default type Nat.