Merge pull request #3478 from david-christiansen/issue/3476
Import Pruviloj.Core as public for eliminators
commit92c537530464b66e98099041362296729723062f
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 7 Oct 2016, 00:30 (10 years ago)
parent59287a7e6e01e3
libs/pruviloj/Pruviloj/Derive/Eliminators.idr+1−1
@@ -3,7 +3,7 @@ module Pruviloj.Derive.Eliminators
33import Language.Reflection.Utils
44import Data.Vect
55
6−import Pruviloj.Core
6+import public Pruviloj.Core
77import Pruviloj.Internals.TyConInfo
88import Pruviloj.Internals
99import Pruviloj.Renamers