Error message wibbles
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 25 Jan 2013 12:14:04 +0000 (12:14 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 25 Jan 2013 12:14:04 +0000 (12:14 +0000)
testsuite/tests/indexed-types/should_compile/T3017.stderr
testsuite/tests/polykinds/T5716.stderr
testsuite/tests/typecheck/should_compile/tc231.stderr
testsuite/tests/typecheck/should_fail/T3468.stderr

index b7bedae..28ddc14 100644 (file)
@@ -1,24 +1,24 @@
-TYPE SIGNATURES
-  emptyL :: forall a. ListColl a
-  test2 ::
-    forall c t t1. (Num t, Num t1, Coll c, Elem c ~ (t, t1)) => c -> c
-TYPE CONSTRUCTORS
-  Coll :: * -> Constraint
-  class Coll c
-      RecFlag NonRecursive
-      type family Elem c :: *
-      empty :: c insert :: Elem c -> c -> c
-  ListColl :: * -> *
-  data ListColl a
-      No C type associated
-      RecFlag NonRecursive
-      = L :: forall a. [a] -> ListColl a Stricts: _
-      FamilyInstance: none
-COERCION AXIOMS
-  axiom Foo.TFCo:R:ElemListColl :: forall a. Elem (ListColl a) ~# a
-INSTANCES
-  instance Coll (ListColl a) -- Defined at T3017.hs:12:11
-FAMILY INSTANCES
-  type Elem (ListColl a) -- Defined at T3017.hs:13:9
-Dependent modules: []
-Dependent packages: [base, ghc-prim, integer-gmp]
+TYPE SIGNATURES\r
+  emptyL :: forall a. ListColl a\r
+  test2 ::\r
+    forall c t t1. (Num t, Num t1, Coll c, Elem c ~ (t, t1)) => c -> c\r
+TYPE CONSTRUCTORS\r
+  Coll :: * -> Constraint\r
+  class Coll c\r
+      RecFlag NonRecursive\r
+      type family Elem c :: *\r
+      empty :: c insert :: Elem c -> c -> c\r
+  ListColl :: * -> *\r
+  data ListColl a\r
+      No C type associated\r
+      RecFlag NonRecursive, Promotable\r
+      = L :: forall a. [a] -> ListColl a Stricts: _\r
+      FamilyInstance: none\r
+COERCION AXIOMS\r
+  axiom Foo.TFCo:R:ElemListColl :: forall a. Elem (ListColl a) ~# a\r
+INSTANCES\r
+  instance Coll (ListColl a) -- Defined at T3017.hs:12:11\r
+FAMILY INSTANCES\r
+  type Elem (ListColl a) -- Defined at T3017.hs:13:9\r
+Dependent modules: []\r
+Dependent packages: [base, ghc-prim, integer-gmp]\r
index 7e38d01..165f32b 100644 (file)
@@ -1,6 +1,4 @@
-
-T5716.hs:13:33:
-    `U1' of type `DF Int -> U' is not promotable
-    In the type `I (U1 DFInt)'
-    In the definition of data constructor `I1'
-    In the data declaration for `I'
+\r
+T5716.hs:13:11:\r
+    `U' of kind `*' is not promotable\r
+    In the kind `U -> *'\r
index 0e9196c..99f7dfd 100644 (file)
@@ -1,29 +1,29 @@
-TYPE SIGNATURES
-  foo ::
-    forall s b chain.
-    Zork s (Z [Char]) b =>
-    Q s (Z [Char]) chain -> ST s ()
-  s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
-TYPE CONSTRUCTORS
-  Q :: * -> * -> * -> *
-  data Q s a chain
-      No C type associated
-      RecFlag NonRecursive
-      = Node :: forall s a chain. s -> a -> chain -> Q s a chain
-            Stricts: _ _ _
-      FamilyInstance: none
-  Z :: * -> *
-  data Z a
-      No C type associated
-      RecFlag NonRecursive
-      = Z :: forall a. a -> Z a Stricts: _
-      FamilyInstance: none
-  Zork :: * -> * -> * -> Constraint
-  class Zork s a b | a -> b
-      RecFlag NonRecursive
-      huh :: forall chain. Q s a chain -> ST s ()
-COERCION AXIOMS
-  axiom ShouldCompile.NTCo:Zork ::
-    forall s a b. Zork s a b ~# (forall chain. Q s a chain -> ST s ())
-Dependent modules: []
-Dependent packages: [base, ghc-prim, integer-gmp]
+TYPE SIGNATURES\r
+  foo ::\r
+    forall s b chain.\r
+    Zork s (Z [Char]) b =>\r
+    Q s (Z [Char]) chain -> ST s ()\r
+  s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1\r
+TYPE CONSTRUCTORS\r
+  Q :: * -> * -> * -> *\r
+  data Q s a chain\r
+      No C type associated\r
+      RecFlag NonRecursive, Promotable\r
+      = Node :: forall s a chain. s -> a -> chain -> Q s a chain\r
+            Stricts: _ _ _\r
+      FamilyInstance: none\r
+  Z :: * -> *\r
+  data Z a\r
+      No C type associated\r
+      RecFlag NonRecursive, Promotable\r
+      = Z :: forall a. a -> Z a Stricts: _\r
+      FamilyInstance: none\r
+  Zork :: * -> * -> * -> Constraint\r
+  class Zork s a b | a -> b\r
+      RecFlag NonRecursive\r
+      huh :: forall chain. Q s a chain -> ST s ()\r
+COERCION AXIOMS\r
+  axiom ShouldCompile.NTCo:Zork ::\r
+    forall s a b. Zork s a b ~# (forall chain. Q s a chain -> ST s ())\r
+Dependent modules: []\r
+Dependent packages: [base, ghc-prim, integer-gmp]\r
index ac040ba..1dcc348 100644 (file)
@@ -1,12 +1,12 @@
-
-T3468.hs-boot:3:6:
-    Type constructor `Tool' has conflicting definitions in the module and its hs-boot file
-    Main module: data Tool d
-                     No C type associated
-                     RecFlag Recursive
-                     = F :: forall d a r. a -> Tool d Stricts: _
-                     FamilyInstance: none
-    Boot file:   abstract(False) Tool
-                     No C type associated
-                     RecFlag NonRecursive
-                     FamilyInstance: none
+\r
+T3468.hs-boot:3:6:\r
+    Type constructor `Tool' has conflicting definitions in the module and its hs-boot file\r
+    Main module: data Tool d\r
+                     No C type associated\r
+                     RecFlag Recursive, Promotable\r
+                     = F :: forall d a r. a -> Tool d Stricts: _\r
+                     FamilyInstance: none\r
+    Boot file:   abstract(False) Tool\r
+                     No C type associated\r
+                     RecFlag NonRecursive, Not promotable\r
+                     FamilyInstance: none\r