git.iko.soy/Idris-dev
on master help sign in
Make test026 more robust
b906162David Christiansen
test/test026/test026.idr+1−1
compare with master
unifiedsplit
@@ -13,7 +13,7 @@ strToType _ = Nat
13-- If the file contains "Int", provide Int as a type, otherwise provide Nat
13-- If the file contains "Int", provide Int as a type, otherwise provide Nat
14fromFile : String -> IO (Provider Type)
14fromFile : String -> IO (Provider Type)
15fromFile fname = do str <- readFile fname
15fromFile fname = do str <- readFile fname
16− return (Provide (strToType str))
16+ return (Provide (strToType (trim str)))
17
17
18%provide (T1 : Type) with fromFile "theType"
18%provide (T1 : Type) with fromFile "theType"
19%provide (T2 : Type) with fromFile "theOtherType"
19%provide (T2 : Type) with fromFile "theOtherType"