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