diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-10-07 14:34:27 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-10-07 14:34:27 +0200 |
| commit | 72eddb67bb6f048fc2076184be3a32169026a832 (patch) | |
| tree | 2f5ca7511a798d7329b12d499f4dea7239b39c50 /src/CHAD.hs | |
| parent | 948cae3ca7279040627db393e4372a668f8a22f7 (diff) | |
Towards a test suite
Diffstat (limited to 'src/CHAD.hs')
| -rw-r--r-- | src/CHAD.hs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/CHAD.hs b/src/CHAD.hs index bcc1485..55d94b1 100644 --- a/src/CHAD.hs +++ b/src/CHAD.hs @@ -25,6 +25,7 @@ module CHAD ( freezeRet, Storage(..), Descr(..), + Select, ) where import Data.Bifunctor (first, second) @@ -630,10 +631,6 @@ sD1eEnv :: Descr env sto -> SList STy (D1E env) sD1eEnv DTop = SNil sD1eEnv (DPush d (t, _)) = SCons (d1 t) (sD1eEnv d) -d2e :: SList STy env -> SList STy (D2E env) -d2e SNil = SNil -d2e (SCons t ts) = SCons (d2 t) (d2e ts) - d2ace :: SList STy env -> SList STy (D2AcE env) d2ace SNil = SNil d2ace (SCons t ts) = SCons (STAccum (d2 t)) (d2ace ts) |