Improve GNUmakefile.

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

diff --git a/lcc/Hcompta/LCC/Sym/Transaction.hs b/lcc/Hcompta/LCC/Sym/Transaction.hs
index dd437f87bb8ec8047189b6a6bfa1f9a61eeef05d..e4e1ba1343f744c809f7618a6f0f5f861b45882b 100644 (file)
--- a/lcc/Hcompta/LCC/Sym/Transaction.hs
+++ b/lcc/Hcompta/LCC/Sym/Transaction.hs
@@ -29,7 +29,7 @@ tyPostings :: Source src => Inj_Len vs => Type src vs Postings
 tyPostings = tyMap tyAccount (tyList tyPosting)
 
 -- * Class 'Sym_Transaction'
-type instance Sym (Proxy Transaction) = Sym_Transaction
+type instance Sym Transaction = Sym_Transaction
 class Sym_Transaction term where
        transaction_date     :: term Transaction -> term Date
        transaction_postings :: term Transaction -> term Postings
@@ -61,7 +61,7 @@ instance TypeInstancesFor Transaction
 
 instance Gram_Term_AtomsFor src ss g Transaction
 instance (Source src, Inj_Sym ss Transaction) => ModuleFor src ss Transaction where
-       moduleFor _s = ["Transaction"] `moduleWhere`
+       moduleFor = ["Transaction"] `moduleWhere`
         [ "date"     := teTransaction_date
         , "postings" := teTransaction_postings
         ]
@@ -69,8 +69,8 @@ instance (Source src, Inj_Sym ss Transaction) => ModuleFor src ss Transaction wh
 tyTransaction :: Source src => Inj_Len vs => Type src vs Transaction
 tyTransaction = tyConst @(K Transaction) @Transaction
 
-teTransaction_date :: TermDef Transaction '[] (Transaction -> Date)
+teTransaction_date :: TermDef Transaction '[] (() #> (Transaction -> Date))
 teTransaction_date = Term noConstraint (tyTransaction ~> tyDate) $ teSym @Transaction $ lam1 transaction_date
 
-teTransaction_postings :: TermDef Transaction '[] (Transaction -> Postings)
+teTransaction_postings :: TermDef Transaction '[] (() #> (Transaction -> Postings))
 teTransaction_postings = Term noConstraint (tyTransaction ~> tyPostings) $ teSym @Transaction $ lam1 transaction_postings