stack: bump to lts-12.25

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

diff --git a/lcc/Hcompta/LCC/Sym/Quantity.hs b/lcc/Hcompta/LCC/Sym/Quantity.hs
index 4cf545190d7f50a862288ae01308e79f9b6ac82f..a4cfe690b215b06f78ebdc69657350ca1464522d 100644 (file)
--- a/lcc/Hcompta/LCC/Sym/Quantity.hs
+++ b/lcc/Hcompta/LCC/Sym/Quantity.hs
@@ -15,7 +15,7 @@ import qualified Data.Text as Text
 
 import Hcompta (Addable, Negable, Subable)
 import Hcompta.LCC.Amount
-import Hcompta.LCC.Grammar
+import Hcompta.LCC.Read.Compta
 
 import Language.Symantic.Grammar as Sym
 import Language.Symantic
@@ -37,9 +37,9 @@ instance (Sym_Quantity r1, Sym_Quantity r2) => Sym_Quantity (Dup r1 r2) where
 instance (Sym_Quantity term, Sym_Lambda term) => Sym_Quantity (BetaT term)
 
 instance NameTyOf Quantity where
-       nameTyOf _c = ["LCC"] `Mod` "Quantity"
+       nameTyOf _c = ["Quantity"] `Mod` "Quantity"
 instance ClassInstancesFor Quantity where
-       proveConstraintFor _c (TyApp _ (TyConst _ _ q) c)
+       proveConstraintFor _c (TyConst _ _ q :$ c)
         | Just HRefl <- proj_ConstKiTy @(K Quantity) @Quantity c
         = case () of
                 _ | Just Refl <- proj_Const @Addable q    -> Just Dict
@@ -74,7 +74,7 @@ instance -- Gram_Term_AtomsFor
                 -- <*> option [] ((:) <$> char '.' <*> some (choice $ char <$> ['0'..'9']))
         ]
 instance (Source src, SymInj ss Quantity) => ModuleFor src ss Quantity where
-       moduleFor = ["LCC"] `moduleWhere`
+       moduleFor = ["Quantity"] `moduleWhere`
         [
         ]