Robin Krom 6943165c84 language: cross sdk dalf/dar imports (#3358) ... * language: cross sdk dalf/dar imports The final piece for cross sdk imports. With this PR we can import the data types of packages and dalfs that were created with different sdks. This is done by generating interface files from dalfs and an 'instances' package that contains the template instance definitions of template data types. The instances itself are defined via the `external` keyword, which is inlined to proper daml-lf instance definitions given in the respective dalf package. We test that cross sdk imports work by importing the `simple-dalf` in the daml-assistant integation tests and running a scenario.		2019-11-06 19:35:40 +01:00
..
src/DA/Daml	language: cross sdk dalf/dar imports (#3358)	2019-11-06 19:35:40 +01:00
BUILD.bazel	Get ghcide from the new upstream repo (#2867)	2019-09-11 08:57:48 +02:00