Opened 2 months ago

Last modified 2 months ago

#407 new defect

Auto box expressions if the expected type is a suspension

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Source Type Inferencer Version: 0.4.2
Keywords: Cc:

Description (last modified by benl)

In DDC.Core.Codec.SExp.Parser.Base

Applying 'peekRef' and 'nextRef' auto-runs the suspensions but they don't get re-boxed before being passed to the State constructor.

        [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)

Change History (1)

comment:1 Changed 2 months ago by benl

  • Description modified (diff)
Note: See TracTickets for help on using tickets.