digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 09:17:43 +03:00
Code Issues Projects Releases Wiki Activity
5f0976343c
daml/compiler/daml-lf-ast
History
Remy 5f0976343c
DAML-LF: fix subsitution bug (#3798) 
* damlc lf typechecker: expose subtitution bug

* Fix substitution bug

* Rename variables

* fix subsitution bug in scala side

* reactive some test

* Update daml-lf/validation/src/main/scala/com/digitalasset/daml/lf/validation/TypeSubst.scala

Co-Authored-By: associahedron <231829+associahedron@users.noreply.github.com>

* Update daml-lf/validation/src/main/scala/com/digitalasset/daml/lf/validation/TypeSubst.scala

Co-Authored-By: associahedron <231829+associahedron@users.noreply.github.com>
2019-12-10 13:36:55 +01:00
..
src/DA/Daml/LF DAML-LF: fix subsitution bug (#3798) 2019-12-10 13:36:55 +01:00
test/DA/Daml/LF/Ast DAML-LF: fix subsitution bug (#3798) 2019-12-10 13:36:55 +01:00
BUILD.bazel DAML-LF: fix subsitution bug (#3798) 2019-12-10 13:36:55 +01:00
daml-lf-ast.cabal Various improvements to make hs-bindings usable outside repo (#2583) 2019-08-19 16:44:45 +00:00