@@ -14,3 +14,7 @@ unique001a.idr:55:12:Can't convert
14 UniqueType ([94mInt[0m -> [94mString[0m)
14 UniqueType ([94mInt[0m -> [94mString[0m)
16 [94mInt[0m -> [94mString[0m
16 [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