[MATCH-45] group types together Created: 21/Dec/11 Updated: 28/Jul/13 Resolved: 23/Dec/11
|Reporter:||David Nolen||Assignee:||David Nolen|
Currently if patterns of the same type are not adjacent, matching fails unexpectedly. This should always work. This does beg the question about things which might possible match multiple clauses. When we get to predicate dispatch we may check for subsumption. However in some cases we might have something which is legitimately both things. We haven't decided yet how we'll handle that.
|Comment by David Nolen [ 23/Dec/11 10:09 PM ]|