corrected package name, public import EitherT

hydrolarus · Jan 16, 2021 · bfd7870 · bfd7870
1 parent a769610
commit bfd7870
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
diff --git a/test.ipkg b/test.ipkg
@@ -2,7 +2,7 @@
 --
 -- SPDX-License-Identifier: CC0-1.0
 
-package toml
+package test
 
 depends = contrib