Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Better error reporting for patterns #8317
Previously, failed pattern match typings gave too often the message:
This message sometimes hid some error condition that was more informative. We now report these errors instead.