diff options
| author | Alasdair Armstrong | 2018-04-19 15:13:10 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-19 15:18:23 +0100 |
| commit | b93ae6094a95e3bfaed9196f396ea72d3d66ea74 (patch) | |
| tree | f423d30be64b4428f7a1188d515383f43248d793 /src/spec_analysis.ml | |
| parent | 725d5d7868b3b10882ee6eb2fa2f3e63212c1848 (diff) | |
Fix bug with function being applied to tuples
For some reason there was a desugaring rule that mapped f((x, y)) to
f(x, y) in initial_check.ml, this prevented functions and constructors
from being applied to tuples.
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions