digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-11-13 10:08:03 +03:00
Code Issues Projects Releases Wiki Activity
ddf1378273
daml/compiler
History
Sofia Faro ddf1378273
Use a NonEmpty list in makeLocalValBinds. (#8013) 
Rewrite makeLocalValBinds to make the non-emptiness of the `binds`
argument explicit.

changelog_begin
changelog_end
2020-11-19 11:29:19 +00:00
..
daml-extension Remove version header from vscode snippet (#7452) 2020-09-21 16:59:47 +02:00
daml-lf-ast DAML-LF: Add interning for type to DAML-LF 1.dev (#7893) 2020-11-18 11:14:30 +00:00
daml-lf-proto DAML-LF: Add interning for type to DAML-LF 1.dev (#7893) 2020-11-18 11:14:30 +00:00
daml-lf-reader DEL-8132 extract DAML LF haskell libraries (scripted) (#7246) 2020-09-01 12:09:26 +10:00
daml-lf-tools damlc: Tiny improvement to DAML-LF type checker (#7948) 2020-11-11 15:41:15 +00:00
daml-lf-verify Haskell: Add hlint rule to suggest foldl' over foldl (#7897) 2020-11-05 18:32:44 +00:00
daml-licenses Connectify user-facing output (#7624) 2020-10-09 15:45:02 +02:00
damlc Use a NonEmpty list in makeLocalValBinds. (#8013) 2020-11-19 11:29:19 +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 Deprecate the "daml 1.2" version header. (#7513) 2020-09-29 13:14:59 +00:00
repl-service Cache computation of top-level values at definition level (#7818) 2020-10-28 13:39:20 +00:00
scenario-service Fix missing trace statements on failed submits (#7987) 2020-11-17 17:09:24 +01:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01: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.