Add indent.

[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 aebbb85cc70fd9906a19601fde78c73c9179f901..62e1628f468f858f1c521c043ade2f8f2cfca477 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/If.hs
+++ b/symantic-lib/Language/Symantic/Lib/If.hs
@@ -13,7 +13,7 @@ import Language.Symantic.Lib.Function (a0)
 data If
 
 -- * Class 'Sym_If'
-type instance Sym (Proxy If) = Sym_If
+type instance Sym If = Sym_If
 class Sym_If term where
        if_ :: term Bool -> term a -> term a -> term a
        default if_ :: Sym_If (UnT term) => Trans term => term Bool -> term a -> term a -> term a
@@ -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