Auto box expressions if the expected type is a suspension
|Reported by:||benl||Owned by:|
|Component:||Source Type Inferencer||Version:||0.4.2|
Description (last modified by benl)
Applying 'peekRef' and 'nextRef' auto-runs the suspensions but they don't get re-boxed before being passed to the State constructor.
stateOfList [r: Region] [a: Data] (xx: List a): S (Alloc r) (State r a) = do ref = allocRef [r] xx State [r] [a] (peekRef [r] ref) (nextRef [r] ref)
Note: See TracTickets for help on using tickets.