diff options
| author | Gaëtan Gilbert | 2020-10-13 14:13:13 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-11-15 10:30:31 +0100 |
| commit | bb3f88473c1dd3bae56b769e0f3bc531c63e87fd (patch) | |
| tree | d74c472dd970d72046bfc0d56bb74dfd36de5ab5 /kernel/vm.ml | |
| parent | a118b906b3da7cb2e03a72f7a8079a7fc99c6f84 (diff) | |
Default disable automatic generalization of Instance type
Fix #6042
Also introduce a deprecated compat option
Diffstat (limited to 'kernel/vm.ml')
0 files changed, 0 insertions, 0 deletions