Clojure JIRA

[MATCH-61] Exception thrown when matching using :seq when there is a seq call in the tail of the occurrences

Sat, 15 Jun 2013 22:11:30 -0500

The following match throws:

(let [q '(a) y '(b) z '(c)]
(match [q (seq y) z]
  [([_] :seq) _ _] 'a
  [_ _ _] 'b))

Looking at the macro expansion there's something clearly wrong simply with the fact that the seq expression occurs in multiple places instead of just at the beginning of the macro expansion.

[MATCH-49] Duplicate wildcard detection in pattern row doesn't account for locals

Thu, 12 Jan 2012 08:36:14 -0600

Duplicate wildcard detection in pattern row doesn't account for locals

[MATCH-40] Allow or'ing of guard functions

Mon, 21 Nov 2011 11:11:42 -0600

In order to simplify composition of guard predicates which are alternatives, allow for passing a sequence of predicates whose values when called will be or'd together.

The :when keyword currently allows passing of a vector of predicates that are and'd together.

Either case (`and` or `or`) can be achieved externally to match via composition, and an alternative might be to force explicit composition outside of core.match.

At the least, the documentation should mention that multiple predicates will be and'd together.

[MATCH-4] Optimized pattern matching on deftype/record, POJOs

Thu, 27 Oct 2011 23:42:15 -0500

(match [x]
  [({:a 0 :b 1} :type Foo)] :a0
  ...)

:a and :b would be converted to field access, i.e. (.a x)

As with primitive array matching, we should do an instance check followed by hinted field access.

We should consider adopting the deftype/record syntax.