nickchapman-da 006aa9b608 Type checking DAML-LF type synonyms (#3959) ... * CHANGELOG_BEGIN Type-check type synonyms. CHANGELOG_END * placate HLint * comments * Add an example that requires the check in kindOf * check types containing syn-apps are well formed even when there is no expression of that type * show type mismatch error after synonyms are expanded * typeOf calls expandTypeSynonyms; track vars bound by TForall during expansion * test interaction of syn-expansion and free-vars; add one bigger testcase * extend bigger example with pointed typeclass, having functor as a super class Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>		2020-01-10 17:51:51 +00:00
..
src/DA/Daml/LF	Type checking DAML-LF type synonyms (#3959)	2020-01-10 17:51:51 +00:00
BUILD.bazel	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00
daml-lf-proto.cabal	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00