Rename Dim -> Dimension.

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

diff --git a/symantic-lib/Language/Symantic/Lib/Num.hs b/symantic-lib/Language/Symantic/Lib/Num.hs
index 5d4566d96fff9910cf2c19742bfdc8b6d7ca23c5..8a11699a77436561d59afdd9ddacbc6df3e4f993 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Num.hs
+++ b/symantic-lib/Language/Symantic/Lib/Num.hs
@@ -68,13 +68,15 @@ instance (Sym_Num r1, Sym_Num r2) => Sym_Num (Dup r1 r2) where
 instance (Sym_Num term, Sym_Lambda term) => Sym_Num (BetaT term)
 
 -- Typing
+instance NameTyOf Num where
+       nameTyOf _c = ["Num"] `Mod` "Num"
 instance FixityOf Num
 instance ClassInstancesFor Num
 instance TypeInstancesFor Num
 
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Num
-instance (Source src, Inj_Sym ss Num) => ModuleFor src ss Num where
+instance (Source src, SymInj ss Num) => ModuleFor src ss Num where
        moduleFor = ["Num"] `moduleWhere`
         [ "abs"    := teNum_abs
         , "negate" := teNum_negate