Moritz Kiefer 52e594a2e9 Move optWriteIface to compile-specific options (#3861) ... Originally, this made sense as a flag in Options since we read it during typechecking to write out interfaces on the fly. But now, we write this is only used in execCompile so having this be a global option that is ignored anywhere but in `compile` is rather confusing.		2019-12-17 11:05:28 +01:00
..
daml-opts/DA/Daml	Create a new type for package imports (#3765)	2019-12-06 14:02:59 +00:00
daml-opts-types/DA/Daml/Options	Move optWriteIface to compile-specific options (#3861)	2019-12-17 11:05:28 +01:00
BUILD.bazel	Add a CPP flag for each available DAML-LF feature. (#2896)	2019-09-16 11:34:02 +01:00