stack: bump to lts-12.25

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

diff --git a/symantic-lib/Language/Symantic/Lib/Eq.hs b/symantic-lib/Language/Symantic/Lib/Eq.hs
index c898864446f33a4966d8c987cd6000c440e5d6d4..0aba6defda4b55a709c72d149d3560d8e5cae66c 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Eq.hs
+++ b/symantic-lib/Language/Symantic/Lib/Eq.hs
@@ -37,13 +37,15 @@ instance (Sym_Eq r1, Sym_Eq r2) => Sym_Eq (Dup r1 r2) where
 instance (Sym_Eq term, Sym_Lambda term) => Sym_Eq (BetaT term)
 
 -- Typing
+instance NameTyOf Eq where
+       nameTyOf _c = ["Eq"] `Mod` "Eq"
 instance FixityOf Eq
 instance ClassInstancesFor Eq
 instance TypeInstancesFor Eq
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Eq
-instance (Source src, Inj_Sym ss Eq) => ModuleFor src ss Eq where
+instance (Source src, SymInj ss Eq) => ModuleFor src ss Eq where
        moduleFor = ["Eq"] `moduleWhere`
         [ "==" `withInfixN` 4 := teEq_eq
         , "/=" `withInfixN` 4 := teEq_ne