git.iko.soy/Idris-dev
on master help sign in
Fixed broken provider test after providing `()` as `Unit` too
b2fb9d0Ahmad Salim Al-Sibahi
test/ffi002/test023.idr+2−2
compare with master
unifiedsplit
@@ -10,9 +10,9 @@ import Providers
10goodProvider : IO (Provider Type)
10goodProvider : IO (Provider Type)
11goodProvider = return (Provide (the Type ()))
11goodProvider = return (Provide (the Type ()))
12
12
13−%provide (Unit : Type) with goodProvider
13+%provide (Unit' : Type) with goodProvider
14
14
15−foo : Unit
15+foo : Unit'
16foo = ()
16foo = ()
17
17
18-- Always fail
18-- Always fail