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 34f28e654a8298894c9276c72bbd3d090cc34ab8..efe6a0ae2b61e3b9ea0614e71c95e2e866f4cb62 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Bounded.hs
+++ b/symantic-lib/Language/Symantic/Lib/Bounded.hs
@@ -11,7 +11,7 @@ import Language.Symantic
 import Language.Symantic.Lib.Function (a0)
 
 -- * Class 'Sym_Bounded'
-type instance Sym (Proxy Bounded) = Sym_Bounded
+type instance Sym Bounded = Sym_Bounded
 class Sym_Bounded term where
        minBound :: Bounded a => term a
        maxBound :: Bounded a => term a
@@ -35,14 +35,16 @@ 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) => Module src ss Bounded where
-       module_ _s = [] `moduleWhere`
+instance (Source src, SymInj ss Bounded) => ModuleFor src ss Bounded where
+       moduleFor = ["Bounded"] `moduleWhere`
         [ "minBound" := teBounded_minBound
         , "maxBound" := teBounded_maxBound
         ]