summaryrefslogtreecommitdiff
path: root/tests/cantSql.ur
Commit message (Expand)AuthorAge
* Better error messages about non-SQL-izability of typesGravatar Adam Chlipala2011-12-03