diff options
| author | Matthieu Sozeau | 2015-04-10 18:28:12 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-04-10 18:28:12 +0200 |
| commit | a86ae4d352cc8e4ac306f04d5536d7fff04d3303 (patch) | |
| tree | bf7aa3e7cdf5be6f68a1c8784ec53ce9d93f1e5c /kernel/nativecode.ml | |
| parent | 07d63e1333dc73eda3e49e904ff8df6e7f62fa79 (diff) | |
Fix #3590 for good this time, by changing the API, change's argument now
takes a variable substitution for matched variables in the (lhs) pattern, and
uses the existing ist structure to pretype the rhs correcly, without
having to deal with the volatile evars.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions