stack: bump to lts-12.25

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib / Integer.hs

diff --git a/symantic-lib/Language/Symantic/Lib/Integer.hs b/symantic-lib/Language/Symantic/Lib/Integer.hs
index 058995f98f7cc2298117bf229e9a7ab3109144b2..ff4d38ffedb3c4854e8fd710313c2e9722063f06 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Integer.hs
+++ b/symantic-lib/Language/Symantic/Lib/Integer.hs
@@ -3,6 +3,14 @@
 -- | Symantic for 'Integer'.
 module Language.Symantic.Lib.Integer where
 
+import Data.Eq (Eq)
+import Data.Function (($), (.))
+import Data.Functor ((<$>))
+import Data.Maybe (Maybe(..))
+import Data.Ord (Ord)
+import Prelude (Enum, Integer, Integral, Num, Real)
+import Text.Show (Show(..))
+import Text.Read (read)
 import qualified Data.Text as Text
 
 import Language.Symantic
@@ -31,7 +39,7 @@ instance (Sym_Integer term, Sym_Lambda term) => Sym_Integer (BetaT term)
 instance NameTyOf Integer where
        nameTyOf _c = ["Integer"] `Mod` "Integer"
 instance ClassInstancesFor Integer where
-       proveConstraintFor _ (TyApp _ (TyConst _ _ q) z)
+       proveConstraintFor _ (TyConst _ _ q :$ z)
         | Just HRefl <- proj_ConstKiTy @_ @Integer z
         = case () of
                 _ | Just Refl <- proj_Const @Enum     q -> Just Dict