Opened 3 years ago

Last modified 19 months ago

#387 new feature

Insert local 'private' constructs.

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Core Transforms Version: 0.4.2
Keywords: Cc:

Description

At the moment if type checked program has an unconstrained region variable then compilation dies as the compliance checker does not accept meta-variables in the output program.

We should instead insert local 'private' constructs to create local regions as we did in the alpha compiler.

Change History (4)

comment:1 Changed 3 years ago by benl

  • Summary changed from Insert 'private' statements. to Insert local 'private' constructs.

comment:2 Changed 2 years ago by benl

  • Milestone 0.5.0 deleted

comment:3 Changed 19 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:4 Changed 19 months ago by benl

  • Component changed from Source Typing to Core Transforms
  • Type changed from enhancement to feature
Note: See TracTickets for help on using tickets.