Opened 3 years ago

Last modified 22 months ago

#406 new feature

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

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

comment:1 Changed 2 years ago by benl

  • Milestone 0.4.3 deleted

comment:2 Changed 2 years ago by benl

  • Type changed from defect to enhancement

comment:3 Changed 22 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:4 Changed 22 months ago by benl

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