Make stack flags customizable in GNUmakefile.

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

diff --git a/symantic-lib/Language/Symantic/Lib/If.hs b/symantic-lib/Language/Symantic/Lib/If.hs
index e23d0447547dcd22afa11eec87c71cd024cf8652..62e1628f468f858f1c521c043ade2f8f2cfca477 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/If.hs
+++ b/symantic-lib/Language/Symantic/Lib/If.hs
@@ -38,6 +38,8 @@ instance (Sym_If r1, Sym_If r2) => Sym_If (Dup r1 r2) where
 instance (Sym_If term, Sym_Lambda term) => Sym_If (BetaT term)
 
 -- Typing
+instance NameTyOf If where
+       nameTyOf _c = ["If"] `Mod` "If"
 instance ClassInstancesFor If
 instance TypeInstancesFor If