Make stack flags customizable in GNUmakefile.

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

diff --git a/symantic-lib/Language/Symantic/Lib/Alternative.hs b/symantic-lib/Language/Symantic/Lib/Alternative.hs
index 09244e54153a53e35f8ee42a40b110fcd49b6a7b..8338b49f3a4722530374480713c1fd22f786f6a1 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Alternative.hs
+++ b/symantic-lib/Language/Symantic/Lib/Alternative.hs
@@ -39,6 +39,8 @@ instance (Sym_Alternative r1, Sym_Alternative r2) => Sym_Alternative (Dup r1 r2)
 instance (Sym_Lambda term, Sym_Alternative term) => Sym_Alternative (BetaT term)
 
 -- Typing
+instance NameTyOf Alternative where
+       nameTyOf _c = ["Alternative"] `Mod` "Alternative"
 instance FixityOf Alternative
 instance ClassInstancesFor Alternative
 instance TypeInstancesFor Alternative