summaryrefslogtreecommitdiff
path: root/xml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-05-04 10:33:04 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-05-04 10:33:04 -0400
commit802fc606ff18c261eb591d7ae6dbb99fe9c48af9 (patch)
treee52dfe5be4f5e8033c784ee197b5980006771472 /xml
parent75fa1fd2ad8aae9a88dfacd1a85eb80f645a3b74 (diff)
More diagnostic information about some type class resolution failures
Diffstat (limited to 'xml')
0 files changed, 0 insertions, 0 deletions