grammar: rename At -> Sourced

[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 c02f4fde23f6c5c10cf15549d0f81a126cbdfc76..7ab59bcbb3c5e557459b1523f4b60160b944667e 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Monoid.hs
+++ b/symantic-lib/Language/Symantic/Lib/Monoid.hs
@@ -35,6 +35,8 @@ 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