aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/skolemize.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix #1009: Do not forget to skolemize some typesGuillaume Martres2015-12-241-0/+13