diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2014-10-22 15:13:06 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2014-10-22 15:17:24 +0200 |
commit | 21a9cec02cc389a33cf1fc0dc6d0229939abc51d (patch) | |
tree | 9e8ce18782c1289bf003fe7c96eb9df555b1f62e /tools | |
parent | 8afac4f87d9d7e3add1c19485f475bd2207bfde7 (diff) |
Fix missing lift in VM and native compiler (second part of #2729).
Was occurring in the parameters of constructors when reifying a dependent
pattern matching return predicate. Note: this does not affect the kernel,
only the pretyper.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions