diff options
author | 2016-10-16 19:04:29 +0200 | |
---|---|---|
committer | 2016-10-16 19:04:29 +0200 | |
commit | 67c713cab69a54f5347c987aa0076aeddd1bceef (patch) | |
tree | 314a1e576d2abaf7765975f6c19651bd0cdec691 /config | |
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 'config')
0 files changed, 0 insertions, 0 deletions