Polish comments.

[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 8d85e761629e1c282b90ab3ffbad7839852338bc..5d4566d96fff9910cf2c19742bfdc8b6d7ca23c5 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Num.hs
+++ b/symantic-lib/Language/Symantic/Lib/Num.hs
@@ -12,7 +12,7 @@ import Language.Symantic.Lib.Function (a0)
 import Language.Symantic.Lib.Integer (tyInteger)
 
 -- * Class 'Sym_Num'
-type instance Sym (Proxy Num) = Sym_Num
+type instance Sym Num = Sym_Num
 class Sym_Num term where
        abs         :: Num n => term n -> term n
        negate      :: Num n => term n -> term n
@@ -75,7 +75,7 @@ instance TypeInstancesFor Num
 -- Compiling
 instance Gram_Term_AtomsFor src ss g Num
 instance (Source src, Inj_Sym ss Num) => ModuleFor src ss Num where
-       moduleFor _s = ["Num"] `moduleWhere`
+       moduleFor = ["Num"] `moduleWhere`
         [ "abs"    := teNum_abs
         , "negate" := teNum_negate
         , "signum" := teNum_signum