Open
Description
I am wondering if it might make sense to mark the simple effect primitives of the form foo ... = send $ Effect ...
like put
from State
with INLINE
pragmas?
freer-simple/src/Control/Monad/Freer/State.hs
Lines 57 to 58 in e5ef0fe
Is there a reason this has not already been done? Functions like these seem like prime targets for human-directed inling.
Metadata
Metadata
Assignees
Labels
No labels