digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-11-10 00:35:25 +03:00
Code Issues Projects Releases Wiki Activity
b4541b5a4d
daml/compiler
History
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
..
daml-extension feature: persist script view config in worspace (#10521) 2021-08-09 18:24:14 +02:00
daml-lf-ast Separate exercise & fetch for interfaces from templates (#10908) 2021-09-16 12:05:11 +00:00
daml-lf-proto Separate exercise & fetch for interfaces from templates (#10908) 2021-09-16 12:05:11 +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: scala typechecker implementation (#10867) 2021-09-16 20:37:33 +00:00
daml-lf-verify Drop controller can syntax from compiler tests (#10807) 2021-09-08 15:28:09 +02:00
damlc Bump ghc-lib to include daml interfaces parser (#10747) 2021-09-16 17:52:16 +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 Drop controller can syntax from compiler tests (#10807) 2021-09-08 15:28:09 +02:00
repl-service Update rules_haskell (#10674) 2021-08-26 10:41:58 +02:00
scenario-service Drop ContractId typeparameter from Value (#10827) 2021-09-16 08:46:57 +00:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00

README.md

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.