search

inkytonik / cooma

The Cooma project is investigating secure programming language design based on fine-grained object capabilities.
Mozilla Public License 2.0
3 stars 2 forks source link

Define capability node in the AST #32

Closed nhweston closed 3 years ago

nhweston commented 3 years ago

The key change in this PR is a new AST node:

CapName =
    'Reader'    {ReaderT}
  | 'Writer'    {WriterT}.

This helps to reduce boilerplate in various places, for example in identifying if an expression refers to a type.