Make stack flags customizable in GNUmakefile.

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

diff --git a/symantic-lib/Language/Symantic/Lib/Semigroup.hs b/symantic-lib/Language/Symantic/Lib/Semigroup.hs
index 9754ead3eba6131309eecfb19696b34b43fff6f3..e6fb6f5eca87117da281b01a8ca3bf5e503e7632 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Semigroup.hs
+++ b/symantic-lib/Language/Symantic/Lib/Semigroup.hs
@@ -36,6 +36,8 @@ instance (Sym_Semigroup r1, Sym_Semigroup r2) => Sym_Semigroup (Dup r1 r2) where
 instance (Sym_Semigroup term, Sym_Lambda term) => Sym_Semigroup (BetaT term)
 
 -- Typing
+instance NameTyOf Semigroup where
+       nameTyOf _c = ["Semigroup"] `Mod` "Semigroup"
 instance FixityOf Semigroup
 instance ClassInstancesFor Semigroup
 instance TypeInstancesFor Semigroup