Remove dependency on ghc-prim.

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

diff --git a/symantic-lib/Language/Symantic/Lib/Bounded.hs b/symantic-lib/Language/Symantic/Lib/Bounded.hs
index c2695482d22dfe500441a4319e543558c7fcd603..efe6a0ae2b61e3b9ea0614e71c95e2e866f4cb62 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Bounded.hs
+++ b/symantic-lib/Language/Symantic/Lib/Bounded.hs
@@ -35,13 +35,15 @@ instance (Sym_Bounded r1, Sym_Bounded r2) => Sym_Bounded (Dup r1 r2) where
 instance (Sym_Lambda term, Sym_Bounded term) => Sym_Bounded (BetaT term)
 
 -- Typing
+instance NameTyOf Bounded where
+       nameTyOf _c = ["Bounded"] `Mod` "Bounded"
 instance FixityOf Bounded
 instance ClassInstancesFor Bounded
 instance TypeInstancesFor Bounded
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Bounded
-instance (Source src, Inj_Sym ss Bounded) => ModuleFor src ss Bounded where
+instance (Source src, SymInj ss Bounded) => ModuleFor src ss Bounded where
        moduleFor = ["Bounded"] `moduleWhere`
         [ "minBound" := teBounded_minBound
         , "maxBound" := teBounded_maxBound