Import Pruviloj.Core as public for eliminators
This fixes #3476, where the Infer datatype was not seen if clients
didn't import Pruviloj or Pruviloj.Core together with
Pruviloj.Derive.Eliminators.
commite6e01e30a55aa9dbb76117de022312214cdd8574
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 6 Oct 2016, 10:22 (10 years ago)
parent59287a7
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