Matching Diagnostics

Description

Communicate to the user precisely what failed to match. Conversation here: http://groups.google.com/group/clojure/browse_thread/thread/675456fba1712214. We adopt the behavior of condp since that is closer to what match does and will do (predicate dispatch)

Environment

None

Activity

Show:

David Nolen June 16, 2013 at 7:57 PM

Lowering priority. Happy to take a patch, but I don't think I'll be looking into this myself in the near future.

Ambrose Bonnaire-Sergeant September 30, 2011 at 10:39 AM

I haven't yet kept up with your backtracking changes, and I just noticed this conversation, so I'll have to have another look at diagnostics with backtracking.

David Nolen September 26, 2011 at 1:10 PM

Matching diagnostics will be complicated by MATCH-1. Clojure doesn't yet support simple data conveying exceptions. Will probably have to use a combination of proxy and definterface.

David Nolen September 5, 2011 at 4:40 PM

Continuing the conversation from GitHub - concerning your changes, we should probably show what current occurrence failed to match as well as the breadcrumb.

Details

Assignee

Reporter

Priority

Created September 4, 2011 at 3:54 PM
Updated June 16, 2013 at 7:57 PM