Martin Huschenbett 25d1e2ce63 Fix the safety of the empty map in the DAML-LF simplifier (#2679) ... Currently, we use `Safe 1` as the safety of the `BEMapEmpty` primitive. This is clearly wrong since `BEMapEmtpy` is not supposed to be applied to a value (but only to a type). Thus, it must be `Safe 0`. This has not caused any problems in the past because the type checker would have caught any application of `BEMapEmpty` to a value.		2019-08-28 13:20:31 +02:00
..
src/DA/Daml/LF	Fix the safety of the empty map in the DAML-LF simplifier (#2679)	2019-08-28 13:20:31 +02:00
BUILD.bazel	update copyright notices (#2499)	2019-08-13 17:23:03 +01:00