Opened 12 days ago

#406 new defect

Auto run and rebox suspension types in the body of private constructs.

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

Description

With this

lexText (tx: Text): List Token
 = private r with {Read r; Write r; Alloc r} in
   do   toks    = lexList (run (stateOfList [r] $ charListOfText tx))
        toks

The result lexList has type S (Read r + Write r) (List Token). We need to run and rebox this to eliminate the region variable from the type before it can be accepted as the body of a private.

Change History (0)

Note: See TracTickets for help on using tickets.