diff options
| author | Pierre-Marie Pédrot | 2016-10-16 19:04:29 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-10-16 19:04:29 +0200 |
| commit | 67c713cab69a54f5347c987aa0076aeddd1bceef (patch) | |
| tree | 314a1e576d2abaf7765975f6c19651bd0cdec691 /plugins/extraction/json.ml | |
| parent | c3b9a7bf9fcd162628ce6a2a544652ca096cfe54 (diff) | |
Fix bug #5141: Bogus message "Error: Cannot infer type of pattern-matching".
We simply explicit that the type is actually referring to the return type,
not to the type of the argument of the pattern-matching. Note that the
heuristic could be enhanced so as to use the same code in both let-style
and match-style pattern-matching, but I'm leaving this for another time.
Diffstat (limited to 'plugins/extraction/json.ml')
0 files changed, 0 insertions, 0 deletions