Really fix output of unique001a...
commitd2f95b0d1dcebc8d11bf1f9e36aa1bff2857ffb8
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 22 Aug 2014, 21:09 (12 years ago)
parent773ff9a
test/unique001/expected+4
@@ -14,3 +14,7 @@ unique001a.idr:55:12:Can't convert
1414 UniqueType ([94mInt[0m -> [94mString[0m)
1515with
1616 [94mInt[0m -> [94mString[0m
17+unique001b.idr:16:7:Borrowed name xs must not be used on RHS
18+unique001c.idr:49:6:Unique name f is used more than once
19+unique001d.idr:3:7:Borrowed name x must not be used on RHS
20+unique001e.idr:4:11:Constructor Main.:: has a UniqueType, but the data type does not