Remove dependency on ghc-prim.

[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 42e369293e656a0ae9e71332bba37e0afc7bbdc3..8338b49f3a4722530374480713c1fd22f786f6a1 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Alternative.hs
+++ b/symantic-lib/Language/Symantic/Lib/Alternative.hs
@@ -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