Fixed broken provider test after providing `()` as `Unit` too
commitb2fb9d0f2067bff5860e768e395b2fba6e58a2b2
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateFri 26 Sep 2014, 14:52 (12 years ago)
parent17bab90
test/ffi002/test023.idr+2−2
@@ -10,9 +10,9 @@ import Providers
1010goodProvider : IO (Provider Type)
1111goodProvider = return (Provide (the Type ()))
1212
13−%provide (Unit : Type) with goodProvider
13+%provide (Unit' : Type) with goodProvider
1414
15−foo : Unit
15+foo : Unit'
1616foo = ()
1717
1818-- Always fail