summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr
Commit message (Expand)AuthorAgeFilesLines
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-0/+5
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-5/+0
* Implement BoxedRep proposalAndrew Martin2020-12-141-0/+5