Remove dependency on ghc-prim.

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

diff --git a/symantic-lib/Language/Symantic/Lib/Semigroup.hs b/symantic-lib/Language/Symantic/Lib/Semigroup.hs
index 0cf5d3787319ca57361576422efa2460770cb6bf..e6fb6f5eca87117da281b01a8ca3bf5e503e7632 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Semigroup.hs
+++ b/symantic-lib/Language/Symantic/Lib/Semigroup.hs
@@ -36,13 +36,15 @@ instance (Sym_Semigroup r1, Sym_Semigroup r2) => Sym_Semigroup (Dup r1 r2) where
 instance (Sym_Semigroup term, Sym_Lambda term) => Sym_Semigroup (BetaT term)
 
 -- Typing
+instance NameTyOf Semigroup where
+       nameTyOf _c = ["Semigroup"] `Mod` "Semigroup"
 instance FixityOf Semigroup
 instance ClassInstancesFor Semigroup
 instance TypeInstancesFor Semigroup
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Semigroup
-instance (Source src, Inj_Sym ss Semigroup) => ModuleFor src ss Semigroup where
+instance (Source src, SymInj ss Semigroup) => ModuleFor src ss Semigroup where
        moduleFor = ["Semigroup"] `moduleWhere`
         [ "<>" `withInfixR` 6 := teSemigroup_sappend
         , "stimes" := teSemigroup_stimes