stack: bump to lts-12.25
[comptalang.git] / lcc / Hcompta / LCC / Sym / Subable.hs
index 541e6d3a204d34b6143a2d98f86bf233768f93ef..259d609f4f1610ac2c9b83677fd31691c4d5b3f1 100644 (file)
@@ -6,7 +6,8 @@ module Hcompta.LCC.Sym.Subable where
 import Language.Symantic
 import Language.Symantic.Lib (a0)
 
-import Hcompta.Quantity
+import Hcompta.Quantity as H hiding ((-))
+import qualified Hcompta.Quantity as H
 
 -- * Class 'Sym_Subable'
 type instance Sym Subable = Sym_Subable
@@ -16,18 +17,20 @@ class Sym_Subable term where
        (-) = trans2 (-)
 
 instance Sym_Subable Eval where
-       (-) = eval2 quantity_sub
+       (-) = eval2 (H.-)
 instance Sym_Subable View where
        (-) = viewInfix "-" (infixB SideL 6)
 instance (Sym_Subable r1, Sym_Subable r2) => Sym_Subable (Dup r1 r2) where
        (-) = dup2 @Sym_Subable (-)
 instance (Sym_Subable term, Sym_Lambda term) => Sym_Subable (BetaT term)
 
+instance NameTyOf Subable where
+       nameTyOf _c = ["Subable"] `Mod` "Subable"
 instance FixityOf Subable
 instance ClassInstancesFor Subable
 instance TypeInstancesFor Subable
 instance Gram_Term_AtomsFor src ss g Subable
-instance (Source src, Inj_Sym ss Subable) => ModuleFor src ss Subable where
+instance (Source src, SymInj ss Subable) => ModuleFor src ss Subable where
        moduleFor = ["Subable"] `moduleWhere`
         [ "-" `withInfixB` (SideL, 6) := teSubable_sub
         ]