From 3d56ec62b4710a2dc8ad9eb47d4ac14323ff7133 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Sat, 16 May 2020 19:05:26 +0100 Subject: [PATCH] Update ipkgs Algebra modules were missing --- idris2.ipkg | 5 +++++ idris2api.ipkg | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/idris2.ipkg b/idris2.ipkg index cd700a5..5e2eaab 100644 --- a/idris2.ipkg +++ b/idris2.ipkg @@ -1,6 +1,11 @@ package idris2 modules = + Algebra, + Algebra.Preorder, + Algebra.Semiring, + Algebra.ZeroOneOmega, + Compiler.ANF, Compiler.Common, Compiler.CompileExpr, diff --git a/idris2api.ipkg b/idris2api.ipkg index 50179ea..92ea971 100644 --- a/idris2api.ipkg +++ b/idris2api.ipkg @@ -1,6 +1,11 @@ package idris2api modules = + Algebra, + Algebra.Preorder, + Algebra.Semiring, + Algebra.ZeroOneOmega, + Compiler.Common, Compiler.CompileExpr, Compiler.Inline,