From 64eafbf2633212cb9671f433ba2f7f755d4fd143 Mon Sep 17 00:00:00 2001
From: cuddlefishie <lara.fishie@gmail.com>
Date: Tue, 21 Dec 2021 14:57:01 +0100
Subject: [PATCH] update to Idris 0.5.0

---
 README.md             | 4 ++--
 src/Tester.idr        | 4 ++--
 src/Tester/Runner.idr | 2 +-
 tester.ipkg           | 4 ++--
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index 7ef3ec4..7b8cddf 100644
--- a/README.md
+++ b/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/).
\ No newline at end of file
+This project aims to be [REUSE compliant](https://reuse.software/).
diff --git a/src/Tester.idr b/src/Tester.idr
index e74c4f7..512691d 100644
--- a/src/Tester.idr
+++ b/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
\ No newline at end of file
+throw = throwE
diff --git a/src/Tester/Runner.idr b/src/Tester/Runner.idr
index 1777550..ed8159b 100644
--- a/src/Tester/Runner.idr
+++ b/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
diff --git a/tester.ipkg b/tester.ipkg
index 2b4b89e..a57eb9d 100644
--- a/tester.ipkg
+++ b/tester.ipkg
@@ -3,7 +3,7 @@
 -- SPDX-License-Identifier: CC0-1.0
 
 package tester
-version = 0.1.0
+version = 0.1.1
 
 depends = contrib
 
@@ -11,4 +11,4 @@ modules =
     Tester,
     Tester.Runner
 
-sourcedir = "src"
\ No newline at end of file
+sourcedir = "src"