Decisions Made During Development

This page was created to help us keep track of decisions we made during development, but are yet to make it to the documentation.

Package to be Used by Create

Calling Create(...) creates the new entity in the package of the call node.

Package <-> Compilation Unit

A package is defined in only one CU, and a CU shall contain only one package.

Contract handling

We cannot use contracts as parameter/attribute types (currently). The intended approach is to use Base instead and perform Conforms check manually at the beginning of the operation, where the attribute/param is used.