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

Support separate compilation #11

Open inkytonik opened 3 years ago

inkytonik commented 3 years ago

Currently we require a Cooma program to be self-contained and the compiler/runtime has baked-in support for pre-defined type and operations. In the longer term, it is desirable to be able to write programs in more than one file or module. Also, we would like the pre-defined things to be provided in source code form as a prelude, rather than baked-in.

inkytonik commented 3 years ago

Prelude support was added in fb081541d7a90da6084364a342a11a46ae6a9d08. Our plan is to support loading multiple pre-compiled files in the same way.