Prelude compilation test

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

Prelude compilation test #78

Closed nhweston closed 2 years ago

nhweston commented 2 years ago

I have added a test case that checks that the prelude has been compiled. This checks not only that the prelude compiles without error, but that prelude.cooma.dynamic and prelude.cooma.static have been compiled from the latest prelude.cooma.

inkytonik commented 2 years ago

LGTM