git.iko.soy/Idris-dev
on master help sign in
Import Pruviloj.Core as public for eliminators
e6e01e3David Christiansen
libs/pruviloj/Pruviloj/Derive/Eliminators.idr+1−1
compare with master
unifiedsplit
@@ -3,7 +3,7 @@ module Pruviloj.Derive.Eliminators
3import Language.Reflection.Utils
3import Language.Reflection.Utils
4import Data.Vect
4import Data.Vect
5
5
6−import Pruviloj.Core
6+import public Pruviloj.Core
7import Pruviloj.Internals.TyConInfo
7import Pruviloj.Internals.TyConInfo
8import Pruviloj.Internals
8import Pruviloj.Internals
9import Pruviloj.Renamers
9import Pruviloj.Renamers