stack: bump to lts-12.25

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

diff --git a/symantic-lib/Language/Symantic/Lib/Monoid.hs b/symantic-lib/Language/Symantic/Lib/Monoid.hs
index 1924e04dac9e8ab31271a5a09d6376a16a82f7d1..7ab59bcbb3c5e557459b1523f4b60160b944667e 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Monoid.hs
+++ b/symantic-lib/Language/Symantic/Lib/Monoid.hs
@@ -35,13 +35,15 @@ instance (Sym_Monoid r1, Sym_Monoid r2) => Sym_Monoid (Dup r1 r2) where
 instance (Sym_Monoid term, Sym_Lambda term) => Sym_Monoid (BetaT term)
 
 -- Typing
+instance NameTyOf Monoid where
+       nameTyOf _c = ["Monoid"] `Mod` "Monoid"
 instance FixityOf Monoid
 instance ClassInstancesFor Monoid
 instance TypeInstancesFor Monoid
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Monoid
-instance (Source src, Inj_Sym ss Monoid) => ModuleFor src ss Monoid where
+instance (Source src, SymInj ss Monoid) => ModuleFor src ss Monoid where
        moduleFor = ["Monoid"] `moduleWhere`
         [ "mempty"  := teMonoid_mempty
         , "mappend" := teMonoid_mappend