daml/compiler
Sofia Faro 04dd386dcc
interfaces: Add up/downcast in haskell AST (#12048)
Adds EToRequiredInterface and EFromRequiredInterface in
the Haskell AST, and the typechecker.

Part of #11978

changelog_begin
changelog_end
2021-12-08 13:22:08 +00:00
..
daml-extension Deprecate 'controller ... can' syntax (#11363) 2021-12-01 13:36:04 +01:00
daml-lf-ast interfaces: Add up/downcast in haskell AST (#12048) 2021-12-08 13:22:08 +00:00
daml-lf-proto interfaces: Add up/downcast in haskell AST (#12048) 2021-12-08 13:22:08 +00: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 interfaces: Add up/downcast in haskell AST (#12048) 2021-12-08 13:22:08 +00:00
daml-lf-verify Drop controller can syntax from compiler tests (#10807) 2021-09-08 15:28:09 +02:00
damlc Add typerep argument in UExerciseInterface call from daml (#11959) 2021-12-08 13:25:45 +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 Mark lsp tests as flaky (#11958) 2021-12-03 07:42:52 +01:00
repl-service Split daml-lf encode/decode Haskell libraries (#11906) 2021-11-29 12:49:02 +00:00
scenario-service LF: Introduce configurable limits on produced transactions (#11948) 2021-12-02 16:31:09 +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.