Add common instances to Interpreting.Dup.

[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 b37c81c479196d2a43c9d7d8a6d39f37dc78ccc8..0aba6defda4b55a709c72d149d3560d8e5cae66c 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Eq.hs
+++ b/symantic-lib/Language/Symantic/Lib/Eq.hs
@@ -11,7 +11,7 @@ import Language.Symantic.Lib.Bool (tyBool)
 import Language.Symantic.Lib.Function (a0)
 
 -- * Class 'Sym_Eq'
-type instance Sym (Proxy Eq) = Sym_Eq
+type instance Sym Eq = Sym_Eq
 class Sym_Eq term where
        (==) :: Eq a => term a -> term a -> term Bool; infix 4 ==
        (/=) :: Eq a => term a -> term a -> term Bool; infix 4 /=
@@ -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