git.iko.soy/Idris-dev
on master help sign in
Make test026 more robust
commitb90616266130186b7b12a268de9dac79ba5ff79d authorDavid Christiansen <david@davidchristiansen.dk> dateWed 19 Jun 2013, 12:37 (13 years ago) parentf148775
1 file changed+1−1
compare with master
unifiedsplit
test/test026/test026.idr+1−1
test/test026/test026.idr+1−1
@@ -13,7 +13,7 @@ strToType _ = Nat
1313-- If the file contains "Int", provide Int as a type, otherwise provide Nat
1414fromFile : String -> IO (Provider Type)
1515fromFile fname = do str <- readFile fname
16− return (Provide (strToType str))
16+ return (Provide (strToType (trim str)))
1717
1818%provide (T1 : Type) with fromFile "theType"
1919%provide (T2 : Type) with fromFile "theOtherType"