summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_compile/LopezJuan.hs
Commit message (Expand)AuthorAgeFilesLines
* Kill derived constraintsRichard Eisenberg2022-02-231-0/+73