Merge pull request #4 from Russoul/update

Update to Idris2-bf87b623ef64244451d10c4b5460e8fc2f88c99a

.github/workflows/ci-ubuntu.yml

@@ -12,7 +12,7 @@ on:
 env:
   SCHEME: scheme
   IDRIS2_TESTS_CG: chez
-  IDRIS2_COMMIT: "0bc18bd34a53824cafa5a72d7790ca380648636a"
+  IDRIS2_COMMIT: "bf87b623ef64244451d10c4b5460e8fc2f88c99a"
 
 jobs:
   build:

README.md

@@ -2,7 +2,8 @@
 [![](https://github.com/Russoul/Idris2-Effect/workflows/Ubuntu/badge.svg)](https://github.com/Russoul/Idris2-Effect/actions?query=workflow%3A"Ubuntu")
 
 Experimental effects library for Idris 2
-<BR>Tested against [Idris 2, version 0.5.1-0bc18bd34](https://github.com/idris-lang/Idris2/tree/0bc18bd34a53824cafa5a72d7790ca380648636a)
+<BR>Tested against [Idris 2, version 0.5.1-bf87b623e](https://github.com/idris-lang/Idris2/tree/bf87b623ef64244451d10c4b5460e8fc2f88c99a)
+
 
 For an introduction, see [writing a parser via effects](/docs/example-parser.md)
 

src/Control/Effect/NonDet.idr

@@ -31,7 +31,7 @@ namespace Algebra
     -- hdl : Handler ctx n (ListT m)
     -- hdl' : Handler (List m) (ListT m) m
     -- ? : Handler (List m . ctx) n m
-    EffectAlgebra.alg {f = Functor.Compose @{(ListM, %search)}}
+    EffectAlgebra.alg {f = Functor.Compose @{ListM}}
         {ctx = ListM m . ctx}
         {m} (ctxx :: pure [])
         ((~<~) @{%search} @{Functor.ListM} { ctx1 = ListM m

src/Control/Effect/Writer.idr

@@ -25,7 +25,7 @@ namespace Algebra
     alg ctx hdl (Inl (Tell s)) = MkWriterT $ \_ => pure (ctx, s)
     alg ctxx hdl (Inr x) = MkWriterT $ \r => do
      res <- alg
-       {f = Functor.Compose @{(Functor.LeftPair, %search)}}
+       {f = Functor.Compose @{Functor.LeftPair}}
        (ctxx, r) h x
      pure res
      where
@@ -45,7 +45,7 @@ namespace Algebra
      -- h : Handler (,s) (WriterT s m) m
      -- h ~<~ hdl : Handler ((, s) . ctx) n m
      res <- alg
-       {f = Functor.Compose @{(Functor.LeftPair, %search)}}
+       {f = Functor.Compose @{Functor.LeftPair}}
        (ctxx, r) h x
      pure res
      where

tests/Main.idr

@@ -14,4 +14,4 @@ main = runner
   [ testPaths "effect" allTests
   ] where
     testPaths : String -> TestPool -> TestPool
-    testPaths dir = record { testCases $= map ((dir ++ "/") ++) }
+    testPaths dir = { testCases $= map ((dir ++ "/") ++) }