Add tar GNUmakefile target.

[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 29cb18fa78ce397cc65104fb781a86e5fd737d58..8338b49f3a4722530374480713c1fd22f786f6a1 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Alternative.hs
+++ b/symantic-lib/Language/Symantic/Lib/Alternative.hs
@@ -12,7 +12,7 @@ import Language.Symantic.Lib.Functor (Sym_Functor(..), f1)
 import Language.Symantic.Lib.Function (a0)
 
 -- * Class 'Sym_Alternative'
-type instance Sym (Proxy Alternative) = Sym_Alternative
+type instance Sym Alternative = Sym_Alternative
 class Sym_Functor term => Sym_Alternative term where
        empty :: Alternative f => term (f a)
        (<|>) :: Alternative f => term (f a) -> term (f a) -> term (f a)
@@ -39,13 +39,15 @@ 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
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Alternative
-instance (Source src, Inj_Sym ss Alternative) => ModuleFor src ss Alternative where
+instance (Source src, SymInj ss Alternative) => ModuleFor src ss Alternative where
        moduleFor = ["Alternative"] `moduleWhere`
         [ "empty" := teAlternative_empty
         , "<|>" `withInfixL` 3 := teAlternative_alt