diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-10-27 23:59:05 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-10-28 16:57:55 +0100 |
| commit | 90dfacaacfec8265b11dc9291de9510f515c0081 (patch) | |
| tree | 7cdf561c5f7a8df718152b37a2943776892f76e3 /kernel/cbytecodes.ml | |
| parent | 9ce6802ea563437b15e45198f4d8d0f716a576bb (diff) | |
Conversion of polymorphic inductive types was incomplete in VM and native.
Was showing up when comparing e.g. prod Type Type with prod Type Type (!) with
a polymorphic prod.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions