daml/compiler
Robin Krom 3692a4a565
interfaces:ensure that implementations are ordered (#13071)
* interfaces:ensure that implementations are ordered

We make sure that the implementations are ordered by insertion in the
Scala AST. This is important to guarantee an evaluation order of the
interface preconditions that is determined by the order of interface
implementations of a template.

CHANGELOG_BEGIN
CHANGELOG_END

* use VectorMap instead of ListMap
2022-02-25 15:14:50 +00:00
..
daml-extension Add autoformatting to ts bindings & navigator frontend (#12693) 2022-02-11 11:44:52 +00:00
daml-lf-ast Delete vestigial InterfaceChoice from AST (#13017) 2022-02-22 13:59:04 +00:00
daml-lf-proto Replace experimental interface primitives with proper LF primitives (#12678) 2022-02-03 13:36:45 +00:00
daml-lf-reader update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
daml-lf-tools Delete vestigial InterfaceChoice from AST (#13017) 2022-02-22 13:59:04 +00:00
damlc interfaces:ensure that implementations are ordered (#13071) 2022-02-25 15:14:50 +00:00
ghcide Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
hie-core Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
lsp-tests Upgrade ghcide (#12579) 2022-01-26 16:00:20 +01:00
repl-service Fold daml test-script under daml script --all (#12895) 2022-02-14 14:23:21 +01:00
scenario-service Fix activeness display in script service (#13059) 2022-02-24 16:20:00 +01:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00

Daml Compiler

This directory contains several libraries used by and the executable for the Daml compiler.

Libraries

  • daml-lf-ast: The Daml-LF AST and type checker.