daml/compiler
Moritz Kiefer a928402050
Make debug a bit more lazy (#4807)
* Make `debug` a bit more lazy

Previously `debug x >>= f` would print the debug statement when it got
evaluated rather than when the monadic execution got executed. This is
rather confusing. Now we explicitly make it lazy by wrapping the trace
statement in a lambda passed to >>=.

changelog_begin

- [DAML Standard Library] Fix a bug where ``debug`` printed the trace
  statement before the action got executed. Note that this means that
  ``debug`` now has a slightly more restrictive type. You can use
  ``trace`` directly if this causes problems.

changelog_end

* Update compiler/damlc/tests/src/DA/Test/ShakeIdeClient.hs

Co-Authored-By: Martin Huschenbett <martin.huschenbett@posteo.me>

Co-authored-by: Martin Huschenbett <martin.huschenbett@posteo.me>
2020-03-04 17:12:24 +00:00
..
daml-extension Remove pragma 'daml 1.2' (#4702) 2020-02-26 13:17:45 -05:00
daml-lf-ast Freeze DAML-LF 1.8 (#4770) 2020-03-02 18:29:26 +01:00
daml-lf-proto Produce package metadata in damlc (#4647) 2020-02-21 13:47:28 +01:00
daml-lf-reader Use package metadata instead of file names to infer unit ids (#4667) 2020-02-24 18:12:29 +00:00
daml-lf-tools damlc validate-dar (#4654) 2020-02-27 14:26:14 +00:00
daml-licenses remove MissingH (#3948) 2020-01-06 14:36:14 +01:00
damlc Make debug a bit more lazy (#4807) 2020-03-04 17:12:24 +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 Fix flaky lsp tests (#4541) 2020-02-17 12:50:53 +01:00
repl-service Graceful error handling in daml repl (#4673) 2020-02-24 18:15:32 +01:00
scenario-service [Engine] push absolute contract ids inside the evaluation (#4652) 2020-02-21 20:21:35 +01:00
ghcide-daml.sh update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01: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.