Accept error message wobbles
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 16 Nov 2011 10:38:29 +0000 (10:38 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 16 Nov 2011 10:38:29 +0000 (10:38 +0000)
testsuite/tests/simplCore/should_compile/T3234.stderr
testsuite/tests/simplCore/should_compile/T4201.stdout

index c4e601d..27db8d2 100644 (file)
 Total ticks:     45
 
 14 PreInlineUnconditionally
-    1 n
-    1 a
-    1 g
-    1 xs
-    1 ys
-    1 k
-    1 z
-    1 x
-    1 g
-    1 h
-    1 n
-    1 a
-    1 lvl
-    1 lvl
+  1 n
+  1 a1
+  1 g
+  1 xs
+  1 ys
+  1 k
+  1 z
+  1 x
+  1 g
+  1 h
+  1 n
+  1 a1
+  1 lvl
+  1 lvl
 2 PostInlineUnconditionally
-    1 c
-    1 c
-1 UnfoldingDone
-    1 GHC.Base.build
+  1 c
+  1 c
+1 UnfoldingDone 1 GHC.Base.build
 5 RuleFired
-    1 ++
-    1 augment/build
-    1 foldr/single
-    1 unpack
-    1 unpack-list
-1 LetFloatFromLet
-    1
+  1 ++
+  1 augment/build
+  1 foldr/single
+  1 unpack
+  1 unpack-list
+1 LetFloatFromLet 1
 22 BetaReduction
-    1 a
-    1 b
-    1 a
-    1 g
-    1 a
-    1 xs
-    1 ys
-    1 b
-    1 c
-    1 n
-    1 a
-    1 b
-    1 k
-    1 z
-    1 x
-    1 a
-    1 g
-    1 h
-    1 b
-    1 c
-    1 n
-    1 a
-10 SimplifierDone
-    10
+  1 a1
+  1 b
+  1 a
+  1 g
+  1 a
+  1 xs
+  1 ys
+  1 b
+  1 c
+  1 n
+  1 a
+  1 b
+  1 k
+  1 z
+  1 x
+  1 a
+  1 g
+  1 h
+  1 b
+  1 c
+  1 n
+  1 a1
+10 SimplifierDone 10
 
 
index 46073c4..0009de1 100644 (file)
@@ -1 +1 @@
-                  Eta.bof `cast` ((->) (Sym (Eta.NTCo:Foo)) (Refl Eta.T)) -}
+                   ((->) (Sym (Eta.NTCo:Foo)) (Refl Eta.T))) -}