diff options
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) |