update to Idris 0.5.0

README.md

@@ -10,7 +10,7 @@ A testing framework for Idris 2.
 
 ## Installation
 
-At least version `0.3.0` of the Idris 2 compiler is required.
+At least version `0.5.0` of the Idris 2 compiler is required.
 
 ```sh
 idris2 --install tester.ipkg
@@ -55,4 +55,4 @@ All code is licensed under the [MPL-2.0](LICENSES/MPL-2.0.txt).
 All files that are not properly copyrightable are in the public domain, using
 the [CC0 license](LICENSES/CC0-1.0.txt).
 
-This project aims to be [REUSE compliant](https://reuse.software/).
+This project aims to be [REUSE compliant](https://reuse.software/).

src/Tester.idr

@@ -5,7 +5,7 @@
 module Tester
 
 import public Control.Monad.Either
-import Data.Strings
+import Data.String
 import Control.ANSI
 
 ||| A function which can report test failures.
@@ -84,4 +84,4 @@ assert cond =
 ||| Cause a test failure with a message.
 public export
 throw : (msg : String) -> TestFunc a
-throw = throwE
+throw = throwE

src/Tester/Runner.idr

@@ -25,7 +25,7 @@ runTests tests = do
             let diff = longestDesc `minus` len
             in pack $ replicate diff ' '
 
-    res <- for tests \t => do
+    res <- for tests $ \t => do
         putStr $ t.description ++ padding (length t.description) ++ " ... " 
         case !(runEitherT t.run) of
             Left err => do

tester.ipkg

@@ -3,12 +3,12 @@
 -- SPDX-License-Identifier: CC0-1.0
 
 package tester
-version = 0.1.0
+version = 0.1.1
 
 depends = contrib
 
 modules =
     Tester,
     Tester.Runner
 
-sourcedir = "src"
+sourcedir = "src"