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 /_tags | |
| 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 '_tags')
0 files changed, 0 insertions, 0 deletions