X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Frename%2Frn006.stderr;fp=ghc%2Fcompiler%2Ftests%2Frename%2Frn006.stderr;h=88e35d782eec316b22dc80ef1455b405a532c09c;hb=bc2a4d6b2f9badfa98aa01d6ae550110e0eea0ed;hp=c81bd623ba836a85ada989190a04d39b8ce0bea8;hpb=34cb1a0464a3d370b3c2e9de2fb399b8fbfab8c7;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/rename/rn006.stderr b/ghc/compiler/tests/rename/rn006.stderr index c81bd62..88e35d7 100644 --- a/ghc/compiler/tests/rename/rn006.stderr +++ b/ghc/compiler/tests/rename/rn006.stderr @@ -1,68 +1,38 @@ -Renamed-pass4: +Renamer stats: 5 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 9 read + 0 newtype decls imported (of which 0 abstractly), out of 0 read + 0 type synonym decls imported, out of 5 read + 0 value signatures imported, out of 1098 read + 0 instance decls imported, out of 114 read + + +================================================================================ +Renamer: module Test where -infixl 9 PreludeArray.! -infixl 9 PreludeList.!! -infixl 7 PreludeRatio.% -infixl 7 (*) -infixl 6 (+) -infixl 6 (-) -infixl 7 (/) -infixl 9 PreludeArray.// -infixl 7 `div` -infixl 7 `mod` -infixl 7 `quot` -infixl 7 `rem` -infixr 0 $ -infixr 3 && -infixr 8 (**) -infixr 9 . -infixr 8 Prelude.^ -infixr 8 Prelude.^^ -infixr 2 || -infix 4 (/=) -infix 6 :+ -infix 1 := -infix 4 (<) -infix 4 (<=) -infix 4 (==) -infix 4 (>) -infix 4 (>=) -infix 5 PreludeList.\\ -instance (Eq a, Eq b) => Eq (a, b) -instance (Eq a, Eq b, Eq c) => Eq (a, b, c) -instance (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) -instance (Ord a, Ord b) => Ord (a, b) -instance (Ord a, Ord b, Ord c) => Ord (a, b, c) -instance (Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d) -instance (Ix a, Ix b) => Ix (a, b) -instance (Ix a, Ix b, Ix c) => Ix (a, b, c) -instance (Ix a, Ix b, Ix c, Ix d) => Ix (a, b, c, d) -instance (Text a, Text b) => Text (a, b) -instance (Text a, Text b, Text c) => Text (a, b, c) -instance (Text a, Text b, Text c, Text d) => Text (a, b, c, d) -instance (Binary a, Binary b) => Binary (a, b) -instance (Binary a, Binary b, Binary c) => Binary (a, b, c) -instance (Binary a, Binary b, Binary c, Binary d) => Binary (a, b, c, d) {- rec -} -Test.f - x = Test.g x x -Test.g - x y = Test.h x x y -Test.h - x y z = Test.f z +i{-r3J,x-} + x_r3k = j{-r3H,x-} + x_r3k x_r3k +j{-r3H,x-} + x_r3q y_r3s + = k{-r3F,x-} + x_r3q x_r3q y_r3s +k{-r3F,x-} + x_r3A y_r3C z_r3E + = i{-r3J,x-} + z_r3E {- rec -} -Test.i - x = Test.j x x -Test.j - x y = Test.k x x y -Test.k - x y z = Test.i z -PreludeArray.! :: Ix a => Array a b -> a -> b -PreludeList.!! :: Integral a => [b] -> a -> b -PreludeRatio.% :: Integral a => a -> a -> Ratio a -PreludeArray.// :: Ix a => Array a b -> [Assoc a b] -> Array a b -PreludeList.\\ :: Eq a => [a] -> [a] -> [a] -Prelude.^ :: (Num b, Integral a) => b -> a -> b -Prelude.^^ :: (Fractional b, Integral a) => b -> a -> b -PreludeList.or :: [Bool] -> Bool +f{-r3K,x-} + x_r3i = g{-r3I,x-} + x_r3i x_r3i +g{-r3I,x-} + x_r3m y_r3o + = h{-r3G,x-} + x_r3m x_r3m y_r3o +h{-r3G,x-} + x_r3u y_r3w z_r3y + = f{-r3K,x-} + z_r3y +NOTE: Simplifier still going after 4 iterations; bailing out.