Fix breakableFill.

[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 beda28c205bc734d7e0d9b98045c92dbff8e1155..7ab59bcbb3c5e557459b1523f4b60160b944667e 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Monoid.hs
+++ b/symantic-lib/Language/Symantic/Lib/Monoid.hs
@@ -11,7 +11,7 @@ import Language.Symantic
 import Language.Symantic.Lib.Function (a0)
 
 -- * Class 'Sym_Monoid'
-type instance Sym (Proxy Monoid) = Sym_Monoid
+type instance Sym Monoid = Sym_Monoid
 class Sym_Monoid term where
        mempty  :: Monoid a => term a
        mappend :: Monoid a => term a -> term a -> term a
@@ -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