diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-14 23:29:51 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-14 23:29:51 +0100 |
| commit | fff6beda3523abce3d27037ea2fb020fce31f502 (patch) | |
| tree | fbcfb97a8eb2366ec46e0612b4b308741a8b601e /src/CHAD | |
| parent | 137eaa13144c2599ac29da9ebd3af24ac1ce8968 (diff) | |
Much process with accumulator revamp
Diffstat (limited to 'src/CHAD')
| -rw-r--r-- | src/CHAD/Accum.hs | 2 | ||||
| -rw-r--r-- | src/CHAD/Types.hs | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/CHAD/Accum.hs b/src/CHAD/Accum.hs index 14a1d3b..b61b5ff 100644 --- a/src/CHAD/Accum.hs +++ b/src/CHAD/Accum.hs @@ -12,7 +12,7 @@ makeAccumulators :: SList STy envPro -> Ex (Append (D2AcE envPro) env) t -> Ex e makeAccumulators SNil e = e makeAccumulators (t `SCons` envpro) e = makeAccumulators envpro $ - EWith ext (EZero ext t) e + EWith ext t (EZero ext t) e uninvertTup :: SList STy list -> STy core -> Ex env (InvTup core list) -> Ex env (TPair core (Tup list)) uninvertTup SNil _ e = EPair ext e (ENil ext) diff --git a/src/CHAD/Types.hs b/src/CHAD/Types.hs index a8614cf..e8ec0c9 100644 --- a/src/CHAD/Types.hs +++ b/src/CHAD/Types.hs @@ -40,7 +40,7 @@ type family D2E env where type family D2AcE env where D2AcE '[] = '[] - D2AcE (t : env) = TAccum (D2 t) : D2AcE env + D2AcE (t : env) = TAccum t : D2AcE env d1 :: STy t -> STy (D1 t) d1 STNil = STNil @@ -75,7 +75,7 @@ d2e (t `SCons` ts) = d2 t `SCons` d2e ts d2ace :: SList STy env -> SList STy (D2AcE env) d2ace SNil = SNil -d2ace (t `SCons` ts) = STAccum (d2 t) `SCons` d2ace ts +d2ace (t `SCons` ts) = STAccum t `SCons` d2ace ts data CHADConfig = CHADConfig |