Merge branch 'master' of http://darcs.haskell.org/testsuite
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 8 Jan 2013 08:33:25 +0000 (08:33 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 8 Jan 2013 08:33:25 +0000 (08:33 +0000)
Conflicts:
tests/simplCore/should_compile/T7360.stderr

1  2 
testsuite/tests/driver/T4437.hs
testsuite/tests/simplCore/should_compile/T7360.stderr

Simple merge
@@@ -1,50 -1,53 +1,50 @@@
\r
- ==================== Tidy Core ====================\r
- Result size of Tidy Core = {terms: 25, types: 22, coercions: 0}\r
\r
- T7360.$WFoo3 [InlPrag=INLINE] :: GHC.Types.Int -> T7360.Foo\r
- [GblId[DataConWrapper],\r
-  Arity=1,\r
-  Caf=NoCafRefs,\r
-  Str=DmdType S,\r
-  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,\r
-          ConLike=True, WorkFree=True, Expandable=True,\r
-          Guidance=ALWAYS_IF(unsat_ok=False,boring_ok=False)\r
-          Tmpl= \ (dt [Occ=Once] :: GHC.Types.Int) ->\r
-                  case dt of dt { __DEFAULT -> T7360.Foo3 dt }}]\r
- T7360.$WFoo3 =\r
-   \ (dt [Occ=Once] :: GHC.Types.Int) ->\r
-     case dt of dt { __DEFAULT -> T7360.Foo3 dt }\r
\r
- T7360.fun1 [InlPrag=NOINLINE] :: T7360.Foo -> ()\r
- [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType S]\r
- T7360.fun1 =\r
-   \ (x :: T7360.Foo) -> case x of _ { __DEFAULT -> GHC.Tuple.() }\r
\r
- T7360.fun3 :: ()\r
- [GblId,\r
-  Str=DmdType,\r
-  Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=False,\r
-          ConLike=False, WorkFree=False, Expandable=False,\r
-          Guidance=IF_ARGS [] 20 0}]\r
- T7360.fun3 = T7360.fun1 T7360.Foo1\r
\r
- T7360.fun2 :: forall a. [a] -> ((), GHC.Types.Int)\r
- [GblId,\r
-  Arity=1,\r
-  Str=DmdType Lm,\r
-  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,\r
-          ConLike=True, WorkFree=True, Expandable=True,\r
-          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)\r
-          Tmpl= \ (@ a) (x [Occ=Once] :: [a]) ->\r
-                  (T7360.fun3,\r
-                   case GHC.List.$wlen @ a x 0 of ww { __DEFAULT ->\r
-                   GHC.Types.I# ww\r
-                   })}]\r
- T7360.fun2 =\r
-   \ (@ a) (x :: [a]) ->\r
-     (T7360.fun3,\r
-      case GHC.List.$wlen @ a x 0 of ww { __DEFAULT -> GHC.Types.I# ww })\r
\r
\r
\r
+ ==================== Tidy Core ====================
 -Result size of Tidy Core = {terms: 22, types: 19, coercions: 0}
++Result size of Tidy Core = {terms: 25, types: 22, coercions: 0}
+ T7360.$WFoo3 [InlPrag=INLINE] :: GHC.Types.Int -> T7360.Foo
+ [GblId[DataConWrapper],
+  Arity=1,
+  Caf=NoCafRefs,
+  Str=DmdType S,
+  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
+          ConLike=True, WorkFree=True, Expandable=True,
+          Guidance=ALWAYS_IF(unsat_ok=False,boring_ok=False)
+          Tmpl= \ (dt [Occ=Once] :: GHC.Types.Int) ->
+                  case dt of dt { __DEFAULT -> T7360.Foo3 dt }}]
+ T7360.$WFoo3 =
+   \ (dt [Occ=Once] :: GHC.Types.Int) ->
+     case dt of dt { __DEFAULT -> T7360.Foo3 dt }
 -T7360.fun1 :: T7360.Foo -> ()
 -[GblId,
 - Arity=1,
 - Caf=NoCafRefs,
 - Str=DmdType S,
 - Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=1, Value=True,
 -         ConLike=True, WorkFree=True, Expandable=True,
 -         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=True)}]
++T7360.fun1 [InlPrag=NOINLINE] :: T7360.Foo -> ()
++[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType S]
+ T7360.fun1 =
+   \ (x :: T7360.Foo) -> case x of _ { __DEFAULT -> GHC.Tuple.() }
 -T7360.fun2 :: forall a. [a] -> GHC.Types.Int
++T7360.fun3 :: ()
++[GblId,
++ Str=DmdType,
++ Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=False,
++         ConLike=False, WorkFree=False, Expandable=False,
++         Guidance=IF_ARGS [] 20 0}]
++T7360.fun3 = T7360.fun1 T7360.Foo1
++
++T7360.fun2 :: forall a. [a] -> ((), GHC.Types.Int)
+ [GblId,
+  Arity=1,
 - Caf=NoCafRefs,
 - Str=DmdType Sm,
++ Str=DmdType Lm,
+  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= \ (@ a) (x [Occ=Once] :: [a]) ->
 -                 case x of wild { __DEFAULT ->
 -                 case GHC.List.$wlen @ a wild 0 of ww { __DEFAULT ->
 -                 GHC.Types.I# ww
 -                 }
 -                 }}]
++                 (T7360.fun3,
++                  case GHC.List.$wlen @ a x 0 of ww { __DEFAULT ->
++                  GHC.Types.I# ww
++                  })}]
+ T7360.fun2 =
+   \ (@ a) (x :: [a]) ->
 -    case x of wild { __DEFAULT ->
 -    case GHC.List.$wlen @ a wild 0 of ww { __DEFAULT ->
 -    GHC.Types.I# ww
 -    }
 -    }
++    (T7360.fun3,
++     case GHC.List.$wlen @ a x 0 of ww { __DEFAULT -> GHC.Types.I# ww })