digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 01:07:18 +03:00
Code Issues Projects Releases Wiki Activity
038388cdb7
daml/compiler
History
Moritz Kiefer 038388cdb7
Fix handling of non-visibile contract keys in scenario runner (#6433) 
fixes #6403

I am not entirely sure why I thought that using `missingWith` makes
sense here but it clearly doesn’t make sense and resulted in a pretty
bad bug where a transaction both succeeded via `submit` as well as
failed via `submitMustFail` which is clearly the wrong thing to do.

This PR fixes this issue and introduces a `notVisibleWith` function
that does the right thing. I’ve also added some comments and an extra
assertion to clarify things a bit.

changelog_begin
changelog_end
2020-06-22 10:20:24 +02:00
..
daml-extension Fix vscode extension (#6379) 2020-06-17 13:17:48 +00:00
daml-lf-ast Constant lifting transformation in the LF simplifier. (#6101) 2020-06-18 17:36:28 +00:00
daml-lf-proto Use com.daml as root package (#5343) 2020-04-05 19:49:57 +02:00
daml-lf-reader replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
daml-lf-tools constant lifting: adjust what gets lifted (#6430) 2020-06-19 17:09:52 +01:00
daml-lf-verify Verification tool bugfix for PR#6101 (#6431) 2020-06-19 15:04:59 +02:00
daml-licenses replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
damlc Fix handling of non-visibile contract keys in scenario runner (#6433) 2020-06-22 10:20:24 +02: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 Turn warnings for module name/record name mismatches into errors (#5266) 2020-03-30 10:21:53 +00:00
repl-service Integrate time service into DAML Script (#6417) 2020-06-18 18:25:24 +02:00
scenario-service Speedy: clean machine builder name (#6427) 2020-06-19 14:58:13 +02: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.