[commit: testsuite] master: Fix #7116 failing due to uniques (67d6a19)

Jan Stolarek jstolarek at ghc.haskell.org
Thu Aug 8 11:11:15 CEST 2013


Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/67d6a196d299baa99b11dd6be82472b91129618d

>---------------------------------------------------------------

commit 67d6a196d299baa99b11dd6be82472b91129618d
Author: Jan Stolarek <jan.stolarek at p.lodz.pl>
Date:   Thu Aug 8 10:10:15 2013 +0100

    Fix #7116 failing due to uniques

>---------------------------------------------------------------

 tests/numeric/should_compile/Makefile     |    2 +-
 tests/numeric/should_compile/T7116.stdout |   36 +++++++++++++----------------
 2 files changed, 17 insertions(+), 21 deletions(-)

diff --git a/tests/numeric/should_compile/Makefile b/tests/numeric/should_compile/Makefile
index 12c3cf9..34dbe5a 100644
--- a/tests/numeric/should_compile/Makefile
+++ b/tests/numeric/should_compile/Makefile
@@ -4,4 +4,4 @@ include $(TOP)/mk/test.mk
 
 T7116:
 	$(RM) -f T7116.o T7116.hi
-	'$(TEST_HC)' $(TEST_HC_OPTS) -O2 -c -ddump-simpl T7116.hs
+	'$(TEST_HC)' $(TEST_HC_OPTS) -O2 -c -ddump-simpl -dsuppress-uniques T7116.hs
diff --git a/tests/numeric/should_compile/T7116.stdout b/tests/numeric/should_compile/T7116.stdout
index d696b91..1139a58 100644
--- a/tests/numeric/should_compile/T7116.stdout
+++ b/tests/numeric/should_compile/T7116.stdout
@@ -10,15 +10,11 @@ T7116.dl :: GHC.Types.Double -> GHC.Types.Double
  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (x_ae1 [Occ=Once!] :: GHC.Types.Double) ->
-                 case x_ae1 of _ { GHC.Types.D# y_afn ->
-                 GHC.Types.D# (GHC.Prim.+## y_afn y_afn)
-                 }}]
+         Tmpl= \ (x [Occ=Once!] :: GHC.Types.Double) ->
+                 case x of _ { GHC.Types.D# y -> GHC.Types.D# (GHC.Prim.+## y y) }}]
 T7116.dl =
-  \ (x_ae1 :: GHC.Types.Double) ->
-    case x_ae1 of _ { GHC.Types.D# y_afn ->
-    GHC.Types.D# (GHC.Prim.+## y_afn y_afn)
-    }
+  \ (x :: GHC.Types.Double) ->
+    case x of _ { GHC.Types.D# y -> GHC.Types.D# (GHC.Prim.+## y y) }
 
 T7116.dr :: GHC.Types.Double -> GHC.Types.Double
 [GblId,
@@ -28,9 +24,9 @@ T7116.dr :: GHC.Types.Double -> GHC.Types.Double
  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (x_aem [Occ=Once!] :: GHC.Types.Double) ->
-                 case x_aem of _ { GHC.Types.D# x1_afj ->
-                 GHC.Types.D# (GHC.Prim.+## x1_afj x1_afj)
+         Tmpl= \ (x [Occ=Once!] :: GHC.Types.Double) ->
+                 case x of _ { GHC.Types.D# x1 ->
+                 GHC.Types.D# (GHC.Prim.+## x1 x1)
                  }}]
 T7116.dr = T7116.dl
 
@@ -42,14 +38,14 @@ T7116.fl :: GHC.Types.Float -> GHC.Types.Float
  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (x_aen [Occ=Once!] :: GHC.Types.Float) ->
-                 case x_aen of _ { GHC.Types.F# y_afx ->
-                 GHC.Types.F# (GHC.Prim.plusFloat# y_afx y_afx)
+         Tmpl= \ (x [Occ=Once!] :: GHC.Types.Float) ->
+                 case x of _ { GHC.Types.F# y ->
+                 GHC.Types.F# (GHC.Prim.plusFloat# y y)
                  }}]
 T7116.fl =
-  \ (x_aen :: GHC.Types.Float) ->
-    case x_aen of _ { GHC.Types.F# y_afx ->
-    GHC.Types.F# (GHC.Prim.plusFloat# y_afx y_afx)
+  \ (x :: GHC.Types.Float) ->
+    case x of _ { GHC.Types.F# y ->
+    GHC.Types.F# (GHC.Prim.plusFloat# y y)
     }
 
 T7116.fr :: GHC.Types.Float -> GHC.Types.Float
@@ -60,9 +56,9 @@ T7116.fr :: GHC.Types.Float -> GHC.Types.Float
  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (x_aeo [Occ=Once!] :: GHC.Types.Float) ->
-                 case x_aeo of _ { GHC.Types.F# x1_aft ->
-                 GHC.Types.F# (GHC.Prim.plusFloat# x1_aft x1_aft)
+         Tmpl= \ (x [Occ=Once!] :: GHC.Types.Float) ->
+                 case x of _ { GHC.Types.F# x1 ->
+                 GHC.Types.F# (GHC.Prim.plusFloat# x1 x1)
                  }}]
 T7116.fr = T7116.fl
 






More information about the ghc-commits mailing list