Opened 2 years ago

Last modified 17 months ago

#407 new feature

Auto box expressions if the expected type is a suspension

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Source Typing 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.

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)

Change History (5)

comment:1 Changed 2 years ago by benl

  • Description modified (diff)

comment:2 Changed 2 years ago by benl

  • Milestone 0.4.3 deleted

comment:3 Changed 2 years ago by benl

  • Type changed from defect to enhancement

comment:4 Changed 17 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:5 Changed 17 months ago by benl

  • Type changed from enhancement to feature
Note: See TracTickets for help on using tickets.