mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 09:17:43 +03:00
8d5d9090c3
* Draft of new operational semantics. * make errors deterministic, and be explicit about them * Flesh out the op semantics for expressions and add tests. * Nail down the semantics of create * Apply suggestions from code review Co-authored-by: Remy <remy.haemmerle@daml.com> * Add a reminder that u has to be a value ... in the update interpretation section. changelog_begin changelog_end * add a test to track the ghc behavior on multi-lets * add test for erasable type abstraction * Add non-erasable type abstraction value test. * move the ValExpTyAbsNat to 1.7-only value test Co-authored-by: Remy <remy.haemmerle@daml.com> |
||
|---|---|---|
| .. | ||
| contract-id.rst | ||
| daml-lf-1.rst | ||
| transaction.rst | ||
| value.rst | ||