diff options
| author | Hugo Herbelin | 2015-03-24 22:40:29 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-03-24 22:42:42 +0100 |
| commit | 7061f479eaf148779d216ad6779cf153076fb005 (patch) | |
| tree | 74d0509c2ed0ce494a52eaa9edbc44189a5b52e4 /kernel/nativelambda.ml | |
| parent | 2e8e5cc85bfb7f2339fc38babd2dec0026ff5aa4 (diff) | |
Fixing wrong rel_context in checking positivity condition.
Parameters were missing in the context, apparently without negative
effects because the context was used only for whd normalization of
types, while reduction (in closure.ml) was resistant to unbound rels.
See however next commit for an indirect effect on the wrong
computation of non recursively uniform parameters producing an anomaly
when computing _rect schemas.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions