OEP

176

Title

CLAIM PROC parameters

Summary

Allow CLAIM in PROC parameters

Owner

Neil Brown <nccb2@kent.ac.uk>

Status

Proposed

Date-Proposed

2009-03-25

Keywords

shared channels

An idea that came up when working on Tock is to allow CLAIM in PROC parameters:

PAR
  foo (CLAIM c?, d!)
  bar (e, CLAIM f!)

Which would desugar into:

PAR
  CLAIM c?
    foo (c?, d!)
  CLAIM f!
    bar (e, f!)

See also OEP OEP/174 for something related

OEP/176 (last edited 2009-03-25 18:08:26 by nccb2)