3 ms·
One nice thing that this release does that isn't explicitly mentioned in the release notes is fix matches on instances of tagged types. Previously, the pattern
by clhodapp 12y ago
One nice thing that this release does that isn't explicitly mentioned in the release notes is fix matches on instances of tagged types. Previously, the pattern match desugarer assumed that all instances of the tagged type were equal, which meant that the first case where one was used would always match.