From bfd7870b3a0bbcd0b79903e18140f6118a5e3b4b Mon Sep 17 00:00:00 2001 From: tiatomee Date: Sat, 16 Jan 2021 01:38:58 +0100 Subject: [PATCH] corrected package name, public import EitherT --- src/Test.idr | 6 +++--- test.ipkg | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Test.idr b/src/Test.idr index bf33971..3d6c592 100644 --- a/src/Test.idr +++ b/src/Test.idr @@ -4,7 +4,7 @@ module Test -import Control.Monad.Either +import public Control.Monad.Either import Data.Strings import Control.ANSI @@ -33,7 +33,7 @@ red s = show $ colored Red s ||| itWorks = test "it works" $ do ||| assertEq (1 + 1) 2 ||| ``` -export +public export test : (description : String) -> (run : TestFunc ()) -> Test test = MkTest @@ -83,5 +83,5 @@ assert cond = ||| Cause a test failure with a message. public export -throw : (msg : String) -> TestFunc () +throw : (msg : String) -> TestFunc a throw = throwE \ No newline at end of file diff --git a/test.ipkg b/test.ipkg index ed98605..c49160f 100644 --- a/test.ipkg +++ b/test.ipkg @@ -2,7 +2,7 @@ -- -- SPDX-License-Identifier: CC0-1.0 -package toml +package test depends = contrib