Polish comments.

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

diff --git a/symantic-lib/Language/Symantic/Lib/MonoFunctor.hs b/symantic-lib/Language/Symantic/Lib/MonoFunctor.hs
index c9aa7bf1405886c3531049ce6c2865a6af1ab058..c3f48a8b005f2ead482b77d17945f57394031f1b 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/MonoFunctor.hs
+++ b/symantic-lib/Language/Symantic/Lib/MonoFunctor.hs
@@ -25,7 +25,7 @@ famElement :: Source src => Type src vs t -> Type src vs (MT.Element t)
 famElement o = TyFam noSource (lenVars o) (inj_Const @Element) (o `TypesS` TypesZ)
 
 -- * Class 'Sym_MonoFunctor'
-type instance Sym (Proxy MonoFunctor) = Sym_MonoFunctor
+type instance Sym MonoFunctor = Sym_MonoFunctor
 class Sym_MonoFunctor term where
        omap :: MonoFunctor o => term (MT.Element o -> MT.Element o) -> term o -> term o
        default omap
@@ -53,8 +53,8 @@ instance TypeInstancesFor MonoFunctor
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g MonoFunctor
-instance (Source src, Inj_Sym ss MonoFunctor) => Module src ss MonoFunctor where
-       module_ _s = [] `moduleWhere`
+instance (Source src, Inj_Sym ss MonoFunctor) => ModuleFor src ss MonoFunctor where
+       moduleFor = ["MonoFunctor"] `moduleWhere`
         [ "omap" := teMonoFunctor_omap
         ]