Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T12033.stderr
index 02a1233..a3b293b 100644 (file)
@@ -1,24 +1,24 @@
-\r
-T12033.hs:12:22: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
-    • Found type wildcard ‘_’ standing for ‘v -> t’\r
-      Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of\r
-               makeTuple :: v -> t\r
-               makeExpression :: v -> t\r
-               at T12033.hs:(11,4)-(13,39)\r
-             ‘v’ is a rigid type variable bound by\r
-               the type signature for:\r
-                 tripleStoreToRuleSet :: forall v. v -> v\r
-               at T12033.hs:6:1-30\r
-    • In the type signature: makeExpression :: _\r
-      In an equation for ‘tripleStoreToRuleSet’:\r
-          tripleStoreToRuleSet getAtom\r
-            = makeTuple getAtom\r
-            where\r
-                makeRule v = makeExpression v\r
-                makeTuple v = makeExpression v\r
-                makeExpression :: _\r
-                makeExpression v = makeTuple getAtom\r
-    • Relevant bindings include\r
-        getAtom :: v (bound at T12033.hs:7:22)\r
-        tripleStoreToRuleSet :: v -> v (bound at T12033.hs:7:1)\r
+
+T12033.hs:12:22: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘v -> t’
+      Where: ‘v’ is a rigid type variable bound by
+               the type signature for:
+                 tripleStoreToRuleSet :: forall v. v -> v
+               at T12033.hs:6:1-30
+             ‘t’ is a rigid type variable bound by
+               the inferred type of
+               makeTuple :: v -> t
+               makeExpression :: v -> t
+               at T12033.hs:(11,4)-(13,39)
+    • In the type signature: makeExpression :: _
+      In an equation for ‘tripleStoreToRuleSet’:
+          tripleStoreToRuleSet getAtom
+            = makeTuple getAtom
+            where
+                makeRule v = makeExpression v
+                makeTuple v = makeExpression v
+                makeExpression :: _
+                makeExpression v = makeTuple getAtom
+    • Relevant bindings include
+        getAtom :: v (bound at T12033.hs:7:22)
+        tripleStoreToRuleSet :: v -> v (bound at T12033.hs:7:1)