Accept error message changes
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 5 Aug 2011 14:33:21 +0000 (15:33 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 5 Aug 2011 14:33:21 +0000 (15:33 +0100)
When printing TH code we see the (nicely numbered)
uniques on fresh names. A consequence of the fix
to #5379

testsuite/tests/th/T3572.stdout
testsuite/tests/th/T3920.stdout
testsuite/tests/th/T5037.stderr
testsuite/tests/th/TH_ppr1.stdout
testsuite/tests/th/TH_repGuard.stderr
testsuite/tests/th/TH_viewPatPrint.stdout

index 224efdf..ddc9748 100644 (file)
@@ -1,2 +1,2 @@
-type family T :: (* -> * -> * -> *) -> (* -> *) -> *
-type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *
+type family T_0 :: (* -> * -> * -> *) -> (* -> *) -> *\r
+type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *\r
index 987d7fd..391368c 100644 (file)
@@ -1,3 +1,3 @@
-f :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int\r
-f (Data.Maybe.Nothing) = 3\r
-f (Data.Maybe.Just x_0) = x\r
+f_0 :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int\r
+f_0 (Data.Maybe.Nothing) = 3\r
+f_0 (Data.Maybe.Just x_1) = x\r
index 291d0bf..e969c17 100644 (file)
@@ -1,14 +1,14 @@
-Main.f Main.u1 Main.u2
-Main.u1 `Main.f` Main.u2
-(Main..+.) Main.u1 Main.u2
-Main.u1 Main..+. Main.u2
-(GHC.Types.:) Main.u1 Main.u2
-Main.u1 GHC.Types.: Main.u2
-\((GHC.Types.:) x_0 xs_1) -> x_0
-\(x_0 GHC.Types.: xs_1) -> x_0
-class Foo a_0 b_1
-    where foo :: a_0 -> b_1
-\x_0 -> (x_0, 1 `x_0` 2)
-\(+_0) -> ((+_0), 1 +_0 2)
-(Main.f, 1 `Main.f` 2)
-((Main..+.), 1 Main..+. 2)
+Main.f Main.u1 Main.u2\r
+Main.u1 `Main.f` Main.u2\r
+(Main..+.) Main.u1 Main.u2\r
+Main.u1 Main..+. Main.u2\r
+(GHC.Types.:) Main.u1 Main.u2\r
+Main.u1 GHC.Types.: Main.u2\r
+\((GHC.Types.:) x_0 xs_1) -> x_0\r
+\(x_0 GHC.Types.: xs_1) -> x_0\r
+class Foo_0 a_1 b_2\r
+    where foo_3 :: a_1 -> b_2\r
+\x_0 -> (x_0, 1 `x_0` 2)\r
+\(+_0) -> ((+_0), 1 +_0 2)\r
+(Main.f, 1 `Main.f` 2)\r
+((Main..+.), 1 Main..+. 2)\r
index 896793a..c0a4dd7 100644 (file)
@@ -1,7 +1,7 @@
-foo :: GHC.Types.Int -> GHC.Types.Int
-foo x_0 | x_0 GHC.Classes.== 5 = 6
-foo x_1 = 7
-bar :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
-bar x_0 | Data.Maybe.Just y_1 <- x_0
-            = y_1
-bar _ = 9
+foo_0 :: GHC.Types.Int -> GHC.Types.Int\r
+foo_0 x_1 | x_1 GHC.Classes.== 5 = 6\r
+foo_0 x_2 = 7\r
+bar_0 :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int\r
+bar_0 x_1 | Data.Maybe.Just y_2 <- x_1\r
+              = y_2\r
+bar_0 _ = 9\r
index f520b23..a995dae 100644 (file)
@@ -1,2 +1,2 @@
-ViewP (VarE GHC.Base.id) (VarP x)
-(GHC.Base.id -> x)
+ViewP (VarE GHC.Base.id) (VarP x_0)\r
+(GHC.Base.id -> x_0)\r