stack: bump to lts-12.25

[comptalang.git] / lcc / Hcompta / LCC / Sym / Negable.hs

diff --git a/lcc/Hcompta/LCC/Sym/Negable.hs b/lcc/Hcompta/LCC/Sym/Negable.hs
index f72175f2c8e56ede70b770d64039f3218c9f5dc8..d14fc0b3591f47ba3a85aaf08afd44bbc4a72433 100644 (file)
--- a/lcc/Hcompta/LCC/Sym/Negable.hs
+++ b/lcc/Hcompta/LCC/Sym/Negable.hs
@@ -6,7 +6,8 @@ module Hcompta.LCC.Sym.Negable where
 import Language.Symantic
 import Language.Symantic.Lib (a0)
 
-import Hcompta.Quantity
+import Hcompta.Quantity as H hiding (neg)
+import qualified Hcompta.Quantity as H
 
 -- * Class 'Sym_Negable'
 type instance Sym Negable = Sym_Negable
@@ -16,7 +17,7 @@ class Sym_Negable term where
        neg = trans1 neg
 
 instance Sym_Negable Eval where
-       neg = eval1 quantity_neg
+       neg = eval1 H.neg
 instance Sym_Negable View where
        neg = view1 "neg"
 instance (Sym_Negable r1, Sym_Negable r2) => Sym_Negable (Dup r1 r2) where
@@ -24,13 +25,13 @@ instance (Sym_Negable r1, Sym_Negable r2) => Sym_Negable (Dup r1 r2) where
 instance (Sym_Negable term, Sym_Lambda term) => Sym_Negable (BetaT term)
 
 instance NameTyOf Negable where
-       nameTyOf _c = ["LCC"] `Mod` "Negable"
+       nameTyOf _c = ["Negable"] `Mod` "Negable"
 instance FixityOf Negable
 instance ClassInstancesFor Negable
 instance TypeInstancesFor Negable
 instance Gram_Term_AtomsFor src ss g Negable
 instance (Source src, SymInj ss Negable) => ModuleFor src ss Negable where
-       moduleFor = ["LCC"] `moduleWhere`
+       moduleFor = ["Negable"] `moduleWhere`
         [ "-" `withPrefix` 10 := teNegable_neg
         ]