haskell-effectful/effectful
1
1
Fork 0
mirror of https://github.com/haskell-effectful/effectful.git synced 2024-11-24 07:14:04 +03:00
Code Issues Projects Releases Wiki Activity

Clarify note for unsafeConsEnv

Browse Source
This commit is contained in:
Andrzej Rybczak 2021-07-26 15:58:11 +02:00
parent c851bda0bd
commit 04f427d5ff
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
effectful-core/src/Effectful/Internal/Env.hs
View File

@ -341,7 +341,8 @@ checkSizeEnv k (Env (Forks _ baseIx lref _) _ _) = do
-- | Extend the environment with a new data type (in place).
--
-- /Note:/ this function is __unsafe__ because it renders the input 'Env'
-- unusable, but it's not checked anywhere.
-- unusable until the corresponding 'unsafeTailEnv' call, but it's not checked
-- anywhere.
unsafeConsEnv :: handler e -> Relinker handler e -> Env es -> IO (Env (e : es))
unsafeConsEnv e f (Env fork gref gen) = case fork of
NoFork -> do