daml/compiler
Moisés Ackerman 2393b5071f
Reject class method overlapping with record field (#14391)
* Update GHC patch

* Add daml-test-files for overlapping methods and fields

* changelog

changelog_begin
* [daml] Programs where a class method overlaps with a record field are no longer accepted (#14390)
changelog_end
2022-07-11 12:58:20 +00:00
..
daml-extension Replace more instances of 'scenario' with 'script' (#13651) 2022-04-27 17:49:32 +02:00
daml-lf-ast Add CoImplements to DefInterface in protobuf (#14053) 2022-06-03 16:05:18 +00:00
daml-lf-proto Add CoImplements to DefInterface in protobuf (#14053) 2022-06-03 16:05:18 +00:00
daml-lf-reader hunt down DAML (#13191) 2022-03-08 14:25:25 +01:00
daml-lf-tools Check interface view exists and is serializable, in compiler and in engine (#14112) (#14322) 2022-07-05 13:43:28 +00:00
damlc Reject class method overlapping with record field (#14391) 2022-07-11 12:58:20 +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 Speed up Daml repl startup (#13172) 2022-03-09 08:22:42 +00:00
scenario-service [Speedy] Do not crash when encountering an inconsistent contract key (#14276) 2022-07-05 10:28:38 +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.