Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail / T6123.stderr
index d97968b..3c77040 100644 (file)
@@ -1,7 +1,9 @@
 
 T6123.hs:10:14: error:
-    Occurs check: cannot construct the infinite type: t0 ~ Id t0
-    The type variable ‘t0’ is ambiguous
-    In the expression: cid undefined
-    In an equation for ‘cundefined’: cundefined = cid undefined
-    Relevant bindings include cundefined :: t0 (bound at T6123.hs:10:1)
+    • Occurs check: cannot construct the infinite type: t0 ~ Id t0
+        arising from a use of ‘cid’
+      The type variable ‘t0’ is ambiguous
+    • In the expression: cid undefined
+      In an equation for ‘cundefined’: cundefined = cid undefined
+    • Relevant bindings include
+        cundefined :: t0 (bound at T6123.hs:10:1)