diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-10-28 12:51:51 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-10-28 16:57:55 +0100 |
| commit | f1dd27ae0e6082b111770fa74cba6abda30f3b89 (patch) | |
| tree | d57c67f299b7398cdbc0b26fbf2ea7694f7379a0 /library/lib.mli | |
| parent | 4f8a9d10123bd8aa4d17853a7248d3b3fe8a3625 (diff) | |
Fix bug in native compiler with universe polymorphism.
Universe instances for constructors were not always correct, for instance in:
[cons _ list (nil _)] with a polymorphic [list] type, [nil] was receiving an
empty instance.
Diffstat (limited to 'library/lib.mli')
0 files changed, 0 insertions, 0 deletions