stack: bump to lts-12.25

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

diff --git a/lcc/Hcompta/LCC/Sym/Balance.hs b/lcc/Hcompta/LCC/Sym/Balance.hs
index 6c32837654876c1f92872a743a64e1cded6e91a3..c1828de41775808792fa9a4ce1706379f0ba3946 100644 (file)
--- a/lcc/Hcompta/LCC/Sym/Balance.hs
+++ b/lcc/Hcompta/LCC/Sym/Balance.hs
@@ -30,10 +30,18 @@ instance (Sym_Balance r1, Sym_Balance r2) => Sym_Balance (Dup r1 r2) where
 instance (Sym_Balance term, Sym_Lambda term) => Sym_Balance (BetaT term)
 
 instance NameTyOf Balance where
-       nameTyOf _c = ["LCC"] `Mod` "Balance"
+       nameTyOf _c = ["Balance"] `Mod` "Balance"
 -- instance FixityOf Balance
 instance ClassInstancesFor Balance where
-       proveConstraintFor _ (TyApp _ (TyConst _ _ q) b)
+       {-
+       proveConstraintFor _ (TyConst _ _ c :$ q :@ db :@ b)
+        | Just HRefl <- proj_ConstKiTy @_ @RunQuery c
+        , Just HRefl <- proj_ConstKiTy @_ @Query q
+        , Just HRefl <- proj_ConstKiTy @_ @(LCC.LCC LCC.SourceRead) db
+        , Just HRefl <- proj_ConstKiTy @_ @Balance b
+        = Just Dict
+       -}
+       proveConstraintFor _ (TyConst _ _ q :$ b)
         | Just HRefl <- proj_ConstKiTy @_ @Balance b
         = case () of
                 _ | Just Refl <- proj_Const @Show q -> Just Dict
@@ -42,7 +50,7 @@ instance ClassInstancesFor Balance where
 instance TypeInstancesFor Balance
 instance Gram_Term_AtomsFor src ss g Balance
 instance (Source src, SymInj ss Balance) => ModuleFor src ss Balance where
-       moduleFor = ["LCC"] `moduleWhere`
+       moduleFor = ["Balance"] `moduleWhere`
         [ "balance" := teBalance_balance
         ]