Rename Dim -> Dimension.

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

diff --git a/symantic-lib/Language/Symantic/Lib/MonoFoldable.hs b/symantic-lib/Language/Symantic/Lib/MonoFoldable.hs
index 8ffffc6e84bc683e4ce70b7ade33d26020036deb..9effe21f3c8ef55f0b3232b1e6cdb77ae569f595 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/MonoFoldable.hs
+++ b/symantic-lib/Language/Symantic/Lib/MonoFoldable.hs
@@ -75,6 +75,8 @@ instance (Sym_MonoFoldable r1, Sym_MonoFoldable r2) => Sym_MonoFoldable (Dup r1
 instance (Sym_MonoFoldable term, Sym_Lambda term) => Sym_MonoFoldable (BetaT term)
 
 -- Typing
+instance NameTyOf MonoFoldable where
+       nameTyOf _c = ["MonoFoldable"] `Mod` "MonoFoldable"
 instance FixityOf MonoFoldable
 instance ClassInstancesFor MonoFoldable
 instance TypeInstancesFor MonoFoldable