daml/compiler
Moritz Kiefer 3b5f8a73e1
Remove precondition field from TemplateImplements (#11763)
* Remove precondition field from TemplateImplements

fixes #11635

changelog_begin
changelog_end

* Update daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/Compiler.scala

Co-authored-by: Remy <remy.haemmerle@daml.com>

Co-authored-by: Remy <remy.haemmerle@daml.com>
2021-11-18 17:10:40 +01:00
..
daml-extension Address remaining dependabot alerts (#11045) 2021-09-28 11:12:14 +02:00
daml-lf-ast Remove precondition field from TemplateImplements (#11763) 2021-11-18 17:10:40 +01:00
daml-lf-proto Remove precondition field from TemplateImplements (#11763) 2021-11-18 17:10:40 +01:00
daml-lf-reader DEL-8657 update version info for Haskell LF libraries (#10160) 2021-07-02 09:46:53 +10:00
daml-lf-tools Remove precondition field from TemplateImplements (#11763) 2021-11-18 17:10:40 +01:00
daml-lf-verify Drop controller can syntax from compiler tests (#10807) 2021-09-08 15:28:09 +02:00
damlc Remove precondition field from TemplateImplements (#11763) 2021-11-18 17:10:40 +01: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 Drop flaky marker from lsp-tests (#11442) 2021-10-28 12:21:01 +02:00
repl-service Update to Java 11 (#11512) 2021-11-18 14:48:37 +00:00
scenario-service Update to Java 11 (#11512) 2021-11-18 14:48:37 +00: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.