daml/daml-lf/validation
Robin Krom 50291ed61b
interfaces: scala typechecker implementation (#10867)
* interfaces: scala typechecker implementation

This is the scala side of the lf typechecker for interfaces.

CHANGELOG_BEGIN
CHANGELOG_END

* added collision check

* added exercise/fetch typechecking

* review suggestions

* added todos for collision/typing scala tests
2021-09-16 20:37:33 +00:00
..
src interfaces: scala typechecker implementation (#10867) 2021-09-16 20:37:33 +00:00
BUILD.bazel [Ledger API error codes] Extracted common errors and groups [DPP-607] (#10890) 2021-09-16 17:19:03 +02:00