Add a way to define more top-level things

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

Add a way to define more top-level things #61

Closed inkytonik closed 2 years ago

inkytonik commented 3 years ago

Currently the main program of a capability program has to syntactically be a function. For now we just want the ability to define type aliases that can then be used as the types of program capability arguments.

inkytonik commented 3 years ago

An example is something like

{
   type T = ...
   fun (t : Foo(T)) ...
}

nhweston commented 3 years ago

type T = …
fun (t : Foo(T)) …