From bc2a4d6b2f9badfa98aa01d6ae550110e0eea0ed Mon Sep 17 00:00:00 2001 From: sof Date: Mon, 26 May 1997 05:55:05 +0000 Subject: [PATCH] [project @ 1997-05-26 05:54:39 by sof] Updated for 2.03 --- ghc/compiler/tests/rename/Int10.hi | 35 +- ghc/compiler/tests/rename/Makefile | 38 +- ghc/compiler/tests/rename/Rn016.hi | 23 +- ghc/compiler/tests/rename/Rn017.hi | 17 +- ghc/compiler/tests/rename/rn001.stderr | 85 +- ghc/compiler/tests/rename/rn002.stderr | 80 +- ghc/compiler/tests/rename/rn003.stderr | 277 +++-- ghc/compiler/tests/rename/rn004.hs | 3 +- ghc/compiler/tests/rename/rn004.stderr | 83 +- ghc/compiler/tests/rename/rn005.stderr | 81 +- ghc/compiler/tests/rename/rn006.stderr | 98 +- ghc/compiler/tests/rename/rn007.hs | 2 + ghc/compiler/tests/rename/rn007.stderr | 363 +++++-- ghc/compiler/tests/rename/rn008.hs | 7 +- ghc/compiler/tests/rename/rn008.stderr | 360 +++++-- ghc/compiler/tests/rename/rn009.stderr | 104 +- ghc/compiler/tests/rename/rn010.stderr | 104 +- ghc/compiler/tests/rename/rn011.stderr | 104 +- ghc/compiler/tests/rename/rn012.stderr | 104 +- ghc/compiler/tests/rename/rn013.stderr | 151 ++- ghc/compiler/tests/rename/rn014.hs | 1 + ghc/compiler/tests/rename/rn014.stderr | 68 +- ghc/compiler/tests/rename/rn015.stderr | 295 ++++-- ghc/compiler/tests/rename/rn016.hs | 1 + ghc/compiler/tests/rename/rn016.stderr | 76 +- ghc/compiler/tests/rename/rn017.hs | 3 +- ghc/compiler/tests/rename/rn017.stderr | 260 ++++- ghc/compiler/tests/rename/timing001.hs | 3 +- ghc/compiler/tests/rename/timing001.stderr | 1518 +++++++++++++++++++++++++++ ghc/compiler/tests/rename/timing002.hs | 2 + ghc/compiler/tests/rename/timing002.stderr | 1520 ++++++++++++++++++++++++++++ ghc/compiler/tests/rename/timing003.hs | 2 + ghc/compiler/tests/rename/timing003.stderr | 1518 +++++++++++++++++++++++++++ 33 files changed, 6112 insertions(+), 1274 deletions(-) diff --git a/ghc/compiler/tests/rename/Int10.hi b/ghc/compiler/tests/rename/Int10.hi index 1d1439b..0a8d000 100644 --- a/ghc/compiler/tests/rename/Int10.hi +++ b/ghc/compiler/tests/rename/Int10.hi @@ -1,21 +1,14 @@ -interface Int10 where - -data T1 a = C1 a - -data T2 a b = T2C1 a | T2C2 b - -data T3 a b c = T3C1 a | T3C2 b | T3C3 c - -data T4 a b c d = T4C1 a | T4C2 b | T4C3 c | T4C4 d - -data T5 a b c d e = T5C1 a | T5C2 b | T5C3 c | T5C4 d | T5C5 e - -data T6 a = T6C6 a - -data T7 a b = T7C6 a | T7C7 b - -data T8 a b c = T8C1 a | T8C2 b | T8C3 c - -data T9 a b c d = T9C1 a | T9C2 b | T9C3 c | T9C4 d - -data T10 a b c d e = T10C1 a | T10C2 b | T10C3 c | T10C4 d | T10C5 e +_interface_ Int10 1 +_exports_ +Int10 T1(C1) T2(T2C1 T2C2) T3(T3C1 T3C2 T3C3) T4(T4C1 T4C2 T4C3 T4C4) T5(T5C1 T5C2 T5C3 T5C4 T5C5) T6(T6C6) T7(T7C6 T7C7) ; +_declarations_ +1 data T1 a = C1 a; +1 data T2 a b = T2C1 a | T2C2 b ; +1 data T3 a b c = T3C1 a | T3C2 b | T3C3 c ; +1 data T4 a b c d = T4C1 a | T4C2 b | T4C3 c | T4C4 d ; +1 data T5 a b c d e = T5C1 a | T5C2 b | T5C3 c | T5C4 d | T5C5 e ; +1 data T6 a = T6C6 a ; +1 data T7 a b = T7C6 a | T7C7 b ; +1 data T8 a b c = T8C1 a | T8C2 b | T8C3 c ; +1 data T9 a b c d = T9C1 a | T9C2 b | T9C3 c | T9C4 d ; +1 data T10 a b c d e = T10C1 a | T10C2 b | T10C3 c | T10C4 d | T10C5 e ; diff --git a/ghc/compiler/tests/rename/Makefile b/ghc/compiler/tests/rename/Makefile index 25be41a..75bb76d 100644 --- a/ghc/compiler/tests/rename/Makefile +++ b/ghc/compiler/tests/rename/Makefile @@ -1,17 +1,29 @@ -TOP = ../../../.. -GhcRunTestRules = YES -# These options apply to all tests -RUNSTDTEST_OPTS = -ddump-rn -noC -include $(TOP)/ghc/mk/ghc.mk +TOP = ../../.. +include $(TOP)/mk/boilerplate.mk -runtests :: $(patsubst %.hs, %.runtest, $(wildcard *.hs)) +HS_SRCS = $(wildcard *.hs) + +SRC_RUNTEST_OPTS += -o1 $*.stdout -o2 $*.stderr -x 0 +HC_OPTS += -noC -ddump-rn -dcore-lint #SUBDIRS = bevan-bug-1 -rn001_flags = -x1 -rn002_flags = -x1 -rn004_flags = -x1 -rn007_flags = -x1 -rn008_flags = -x1 -rn015_flags = -x1 -rn017_flags = -hi +rn001_HC_OPTS = -x 1 +rn002_HC_OPTS = -x 1 +rn004_HC_OPTS = -x 1 +rn007_HC_OPTS = -x 1 +rn008_HC_OPTS = -x 1 +rn014_HC_OPTS = -x 1 +rn015_HC_OPTS = -x 1 +rn017_HC_OPTS = -hi + +%.o : %.hs + +%.o : %.hs + $(RUNTEST) $(HC) $(RUNTEST_OPTS) -- $(HC_OPTS) -c $< -o $@ -osuf $(subst .,,$(suffix $@)) + +all :: $(HS_OBJS) + +include $(TOP)/mk/target.mk + + diff --git a/ghc/compiler/tests/rename/Rn016.hi b/ghc/compiler/tests/rename/Rn016.hi index b098b36..ab4815d 100644 --- a/ghc/compiler/tests/rename/Rn016.hi +++ b/ghc/compiler/tests/rename/Rn016.hi @@ -1,11 +1,12 @@ -interface Rn016 where -import X(K) - -class K a where - op1 :: a -> a -> a - op2 :: Int -> a - -instance K Int -instance K Bool -instance K [a] - +_interface_ Rn016 1 +_exports_ +Rn016 K(op1 op2); +_instances_ +instance {K PrelBase.Int} = $d1; +instance {K PrelBase.Bool} = $d2; +instance _forall_ [a] => {K [a]} = $d3; +_declarations_ +1 $d1 _:_ {K PrelBase.Int} ;; +1 $d2 _:_ {K PrelBase.Bool} ;; +1 $d3 _:_ _forall_ [a] {K PrelList.[a]} ;; +1 class K a :: (* -> *) where { op1 :: a -> a ; op2 :: a -> a } ; diff --git a/ghc/compiler/tests/rename/Rn017.hi b/ghc/compiler/tests/rename/Rn017.hi index f5a4264..2676720 100644 --- a/ghc/compiler/tests/rename/Rn017.hi +++ b/ghc/compiler/tests/rename/Rn017.hi @@ -1,8 +1,9 @@ -interface Rn017 where -import Bar (a, b, Wibble(..)) -import Burf(Wobble) -a :: Int -> Int -b :: Int -> Int -c :: Int -> Int -data Wibble = MkWibble Wobble -data Wobble +_interface_ Rn017 1 +_exports_ +Rn017 a b c Wibble(MkWibble) Wobble ; +_declarations_ +1 data Wibble = MkWibble Wobble ; +1 data Wobble ; +1 a _:_ Int -> Int ;; +1 b _:_ Int -> Int ;; +1 c _:_ Int -> Int ;; diff --git a/ghc/compiler/tests/rename/rn001.stderr b/ghc/compiler/tests/rename/rn001.stderr index aed3e0a..ea89867 100644 --- a/ghc/compiler/tests/rename/rn001.stderr +++ b/ghc/compiler/tests/rename/rn001.stderr @@ -1,74 +1,15 @@ -Renamed-pass4: -module Main 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) -{- nonrec -} -Main.x = [] -{- nonrec -} -Main.y = [] -{- nonrec -} -Main.y = [] -{- nonrec -} -_ = [] -{- nonrec -} -_ = 1 -{- nonrec -} -Main.z = [] -{- nonrec -} -_ = [] -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 - +Renamer stats: 6 interfaces read + 4 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 14 read + 1 newtype decls imported (of which 1 abstractly), out of 1 read + 1 type synonym decls imported, out of 6 read + 39 value signatures imported, out of 1200 read + 27 instance decls imported, out of 130 read -"rn001.hs", line 5: multiple declarations of variable: - y ( "rn001.hs", line 5, "rn001.hs", line 6) -Fail: Compilation errors found +rn001.hs:4: + Conflicting exports for local name: y + module Main + module Main + -ghc: execution of the Haskell compiler had trouble +Compilation had errors diff --git a/ghc/compiler/tests/rename/rn002.stderr b/ghc/compiler/tests/rename/rn002.stderr index 08f0579..dc77e80 100644 --- a/ghc/compiler/tests/rename/rn002.stderr +++ b/ghc/compiler/tests/rename/rn002.stderr @@ -1,69 +1,15 @@ -Renamed-pass4: -module Main 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) -{- nonrec -} -Main.f - [] = [] -{- nonrec -} -Main.g - x = x -{- nonrec -} -Main.f - (x : xs) = [] -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 - +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 14 read + 1 newtype decls imported (of which 1 abstractly), out of 1 read + 0 type synonym decls imported, out of 6 read + 0 value signatures imported, out of 1200 read + 0 instance decls imported, out of 130 read -"rn002.hs", line 2: multiple declarations of variable: - f ( "rn002.hs", line 2, "rn002.hs", line 4) -Fail: Compilation errors found +rn002.hs:2: + Conflicting exports for local name: f + module Main + module Main + -ghc: execution of the Haskell compiler had trouble +Compilation had errors diff --git a/ghc/compiler/tests/rename/rn003.stderr b/ghc/compiler/tests/rename/rn003.stderr index c18f4e2..90e2c31 100644 --- a/ghc/compiler/tests/rename/rn003.stderr +++ b/ghc/compiler/tests/rename/rn003.stderr @@ -1,67 +1,220 @@ -Renamed-pass4: -module Foo ( - f - ) 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) +Renamer stats: 5 interfaces read + 4 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 + 1 type synonym decls imported, out of 5 read + 37 value signatures imported, out of 1098 read + 25 instance decls imported, out of 114 read + + +================================================================================ +Renamer: +module Foo where +PrelNum.$d35{-rzT,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d33{-rzR,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d29{-rzM,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d18{-rzA,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d16{-rzy,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d10{-rzs,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d8{-rey,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +PrelBase.$d7{-rex,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d54{-res,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d46{-rej,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +PrelBase.$d44{-reh,p-} :: + _forall_ [a_rHM] => {PrelBase.Eval{-24,p-} [a_rHM]} +PrelBase.$d42{-ref,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +PrelBase.$d41{-ree,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d39{-reb,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d38{-rea,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +PrelBase.$d37{-re9,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d33{-re5,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +PrelBase.$d32{-re4,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d3{-re1,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d27{-rdY,p-} :: + _forall_ + [a_rHK] + {PrelBase.Eq{-23,p-} a_rHK} + => + {PrelBase.Eq{-23,p-} [a_rHK]} +PrelBase.$d21{-rdS,p-} :: + _forall_ + [a_rHI] + {PrelBase.Show{-2i,p-} a_rHI} + => + {PrelBase.Show{-2i,p-} [a_rHI]} +PrelBase.$d2{-rdQ,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d15{-rdL,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +PrelBase.$d11{-rdH,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +PrelBase.$d1{-rdF,p-} :: + _forall_ [a_rHF b_rHG] => {PrelBase.Show{-2i,p-} (a_rHF -> b_rHG)} +instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +instance _forall_ [a_rx1] => {PrelBase.Eval{-24,p-} [a_rx1]} +instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +instance _forall_ + [a_rx3] + {PrelBase.Eq{-23,p-} a_rx3} + => + {PrelBase.Eq{-23,p-} [a_rx3]} +instance _forall_ + [a_rx5] + {PrelBase.Show{-2i,p-} a_rx5} + => + {PrelBase.Show{-2i,p-} [a_rx5]} +instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +instance _forall_ + [a_rx7 b_rx8] + => + {PrelBase.Show{-2i,p-} (a_rx7 -> b_rx8)} +PrelBase.$m=={-reH,p-} :: + _forall_ + [a_rkT] + {PrelBase.Eq{-23,p-} a_rkT} + => + a_rkT -> a_rkT -> PrelBase.Bool{-34,p-} +PrelBase.$m/={-reE,p-} :: + _forall_ + [a_rkR] + {PrelBase.Eq{-23,p-} a_rkR} + => + a_rkR -> a_rkR -> PrelBase.Bool{-34,p-} +class PrelBase.Eq{-23,p-} rlg_rkP where { + == :: + rlg_rkP -> rlg_rkP -> PrelBase.Bool{-34,p-}; + /= :: + rlg_rkP -> rlg_rkP -> PrelBase.Bool{-34,p-}; + } +PrelBase.$mshowsPrec{-rf3,p-} :: + _forall_ + [a_rkN] + {PrelBase.Show{-2i,p-} a_rkN} + => + PrelBase.Int{-3g,p-} + -> a_rkN -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-} +type PrelBase.String{-r5k,p-} = + [PrelBase.Char{-38,p-}] +PrelBase.$mshowList{-rf2,p-} :: + _forall_ + [a_rkK] + {PrelBase.Show{-2i,p-} a_rkK} + => + [a_rkK] -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-} +class PrelBase.Show{-2i,p-} riq_rkI where { + showsPrec :: + PrelBase.Int{-3g,p-} + -> riq_rkI -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-}; + showList :: + [riq_rkI] -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-}; + } +class PrelBase.Eval{-24,p-} rk6_rkG +PrelBase.$m+{-reB,p-} :: + _forall_ + [a_rkE] + {PrelBase.Num{-2c,p-} a_rkE} + => + a_rkE -> a_rkE -> a_rkE +PrelBase.$m-{-reD,p-} :: + _forall_ + [a_rkC] + {PrelBase.Num{-2c,p-} a_rkC} + => + a_rkC -> a_rkC -> a_rkC +PrelBase.$m*{-reA,p-} :: + _forall_ + [a_rkA] + {PrelBase.Num{-2c,p-} a_rkA} + => + a_rkA -> a_rkA -> a_rkA +PrelBase.$mnegate{-rf0,p-} :: + _forall_ [a_rky] {PrelBase.Num{-2c,p-} a_rky} => a_rky -> a_rky +PrelBase.$mabs{-reM,p-} :: + _forall_ [a_rkw] {PrelBase.Num{-2c,p-} a_rkw} => a_rkw -> a_rkw +PrelBase.$msignum{-rf4,p-} :: + _forall_ [a_rku] {PrelBase.Num{-2c,p-} a_rku} => a_rku -> a_rku +PrelBase.$mfromInteger{-reU,p-} :: + _forall_ + [a_rks] + {PrelBase.Num{-2c,p-} a_rks} + => + PrelBase.Integer{-3h,p-} -> a_rks +PrelBase.$mfromInt{-reT,p-} :: + _forall_ + [a_rkq] + {PrelBase.Num{-2c,p-} a_rkq} + => + PrelBase.Int{-3g,p-} -> a_rkq +class {PrelBase.Eq{-23,p-} riC_rko, PrelBase.Show{-2i,p-} riC_rko, PrelBase.Eval{-24,p-} riC_rko} => PrelBase.Num{-2c,p-} riC_rko where { + + :: + riC_rko -> riC_rko -> riC_rko; + - :: + riC_rko -> riC_rko -> riC_rko; + * :: + riC_rko -> riC_rko -> riC_rko; + negate :: + riC_rko -> riC_rko; + abs :: + riC_rko -> riC_rko; + signum :: + riC_rko -> riC_rko; + fromInteger :: + PrelBase.Integer{-3h,p-} -> riC_rko; + fromInt :: + PrelBase.Int{-3g,p-} -> riC_rko; + } {- nonrec -} -Foo.f - x = x +f{-r1,x-} + x_r6p = x_r6p {- nonrec -} -1 = Foo.f 1 +1 = f{-r1,x-} + 1 {- nonrec -} -[] = Foo.f ([]) +PrelBase.[]{-5i,i-} + = f{-r1,x-} + PrelBase.[]{-5i,i-} {- nonrec -} -1 = Foo.f (Foo.f 1) +1 = f{-r1,x-} + (f{-r1,x-} + 1) {- nonrec -} -[] = Foo.f (Foo.f ([])) -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 - +PrelBase.[]{-5i,i-} + = f{-r1,x-} + (f{-r1,x-} + PrelBase.[]{-5i,i-}) diff --git a/ghc/compiler/tests/rename/rn004.hs b/ghc/compiler/tests/rename/rn004.hs index 247d04b..3a14f48 100644 --- a/ghc/compiler/tests/rename/rn004.hs +++ b/ghc/compiler/tests/rename/rn004.hs @@ -1,6 +1,5 @@ -module Foo where - --!!! multiple definitions, but hidden in patterns +module Foo where f x = x where diff --git a/ghc/compiler/tests/rename/rn004.stderr b/ghc/compiler/tests/rename/rn004.stderr index a9e55c7..9850be2 100644 --- a/ghc/compiler/tests/rename/rn004.stderr +++ b/ghc/compiler/tests/rename/rn004.stderr @@ -1,71 +1,16 @@ -Renamed-pass4: -module Foo 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) -{- nonrec -} -Foo.f - x = x - where - {- nonrec -} - a = [] - {- rec -} - (b, c, a) = ([], [], d) - [d, b, _] = ([], a, []) -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 - +Renamer stats: 6 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 1157 read + 0 instance decls imported, out of 166 read + +rn004.hs:6: + Conflicting definitions for `a' in binding group -"rn004.hs", line 7: multiple declarations of variable in binding group: - a ( "rn004.hs", line 7, "rn004.hs", line 8) -"rn004.hs", line 8: multiple declarations of variable in binding group: - b ( "rn004.hs", line 8, "rn004.hs", line 9) -Fail: Compilation errors found +rn004.hs:7: + Conflicting definitions for `b' in binding group + -ghc: execution of the Haskell compiler had trouble +Compilation had errors diff --git a/ghc/compiler/tests/rename/rn005.stderr b/ghc/compiler/tests/rename/rn005.stderr index dfcd629..22e4d34 100644 --- a/ghc/compiler/tests/rename/rn005.stderr +++ b/ghc/compiler/tests/rename/rn005.stderr @@ -1,65 +1,26 @@ -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) {- nonrec -} -Test.f = [] +i{-r3r,x-} + x_r3m y_r3o z_r3q + = x_r3m {- nonrec -} -Test.g - x = x +h{-r3s,x-} + x_r3i y_r3k + = x_r3i {- nonrec -} -Test.h - x y = x +g{-r3t,x-} + x_r3g = x_r3g {- nonrec -} -Test.i - x y z = x -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{-r3u,x-} + = PrelBase.[]{-5i,i-} 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. diff --git a/ghc/compiler/tests/rename/rn007.hs b/ghc/compiler/tests/rename/rn007.hs index d743044..bbb5186 100644 --- a/ghc/compiler/tests/rename/rn007.hs +++ b/ghc/compiler/tests/rename/rn007.hs @@ -3,6 +3,8 @@ -- module Test where +data Foo a = Foo a Int Int + -- a recursive blob of one node a = a diff --git a/ghc/compiler/tests/rename/rn007.stderr b/ghc/compiler/tests/rename/rn007.stderr index 21d14df..c6d2985 100644 --- a/ghc/compiler/tests/rename/rn007.stderr +++ b/ghc/compiler/tests/rename/rn007.stderr @@ -1,70 +1,305 @@ -Renamed-pass4: +Renamer stats: 6 interfaces read + 4 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 + 1 type synonym decls imported, out of 5 read + 43 value signatures imported, out of 1157 read + 31 instance decls imported, out of 166 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) +PrelNum.$d35{-rNn,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d33{-rNl,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d29{-rNg,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d18{-rN4,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d16{-rN2,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d10{-rMW,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +PrelTup.$d9{-rKy,p-} :: + _forall_ + [a_rWB b_rWC] + {PrelBase.Eq{-23,p-} a_rWB, PrelBase.Eq{-23,p-} b_rWC} + => + {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rWB b_rWC)} +PrelTup.$d4{-rKg,p-} :: + _forall_ + [a_rWy b_rWz] + {PrelBase.Show{-2i,p-} a_rWy, PrelBase.Show{-2i,p-} b_rWz} + => + {PrelBase.Show{-2i,p-} (a_rWy, b_rWz)} +PrelTup.$d2{-rJU,p-} :: + _forall_ + [a_rWt b_rWu c_rWv d_rWw] + {PrelBase.Show{-2i,p-} a_rWt, PrelBase.Show{-2i,p-} b_rWu, PrelBase.Show{-2i,p-} c_rWv, PrelBase.Show{-2i,p-} d_rWw} + => + {PrelBase.Show{-2i,p-} (a_rWt, b_rWu, c_rWv, d_rWw)} +PrelTup.$d15{-rJP,p-} :: + _forall_ + [a_rWo b_rWp c_rWq d_rWr] + => + {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rWo b_rWp c_rWq d_rWr)} +PrelTup.$d13{-rJN,p-} :: + _forall_ + [a_rWl b_rWm] + => + {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rWl b_rWm)} +PrelTup.$d11{-rJL,p-} :: + _forall_ + [a_rWg b_rWh c_rWi d_rWj] + {PrelBase.Eq{-23,p-} a_rWg, PrelBase.Eq{-23,p-} b_rWh, PrelBase.Eq{-23,p-} c_rWi, PrelBase.Eq{-23,p-} d_rWj} + => + {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rWg b_rWh c_rWi d_rWj)} +PrelBase.$d8{-rc1,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +PrelBase.$d7{-rc0,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d54{-rbV,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d46{-rbM,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +PrelBase.$d44{-rbK,p-} :: + _forall_ [a_rWe] => {PrelBase.Eval{-24,p-} [a_rWe]} +PrelBase.$d42{-rbI,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +PrelBase.$d41{-rbH,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d39{-rbE,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d38{-rbD,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +PrelBase.$d37{-rbC,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d33{-rby,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +PrelBase.$d32{-rbx,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d3{-rbu,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d27{-rbr,p-} :: + _forall_ + [a_rWc] + {PrelBase.Eq{-23,p-} a_rWc} + => + {PrelBase.Eq{-23,p-} [a_rWc]} +PrelBase.$d21{-rbl,p-} :: + _forall_ + [a_rWa] + {PrelBase.Show{-2i,p-} a_rWa} + => + {PrelBase.Show{-2i,p-} [a_rWa]} +PrelBase.$d2{-rbj,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d15{-rbe,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +PrelBase.$d11{-rba,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +PrelBase.$d1{-rb8,p-} :: + _forall_ [a_rW7 b_rW8] => {PrelBase.Show{-2i,p-} (a_rW7 -> b_rW8)} +instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +instance _forall_ + [a_rJa b_rJb] + {PrelBase.Eq{-23,p-} a_rJa, PrelBase.Eq{-23,p-} b_rJb} + => + {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rJa b_rJb)} +instance _forall_ + [a_rJd b_rJe] + {PrelBase.Show{-2i,p-} a_rJd, PrelBase.Show{-2i,p-} b_rJe} + => + {PrelBase.Show{-2i,p-} (a_rJd, b_rJe)} +instance _forall_ + [a_rJg b_rJh c_rJi d_rJj] + {PrelBase.Show{-2i,p-} a_rJg, PrelBase.Show{-2i,p-} b_rJh, PrelBase.Show{-2i,p-} c_rJi, PrelBase.Show{-2i,p-} d_rJj} + => + {PrelBase.Show{-2i,p-} (a_rJg, b_rJh, c_rJi, d_rJj)} +instance _forall_ + [a_rJl b_rJm c_rJn d_rJo] + => + {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rJl b_rJm c_rJn d_rJo)} +instance _forall_ + [a_rJq b_rJr] + => + {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rJq b_rJr)} +instance _forall_ + [a_rJt b_rJu c_rJv d_rJw] + {PrelBase.Eq{-23,p-} a_rJt, PrelBase.Eq{-23,p-} b_rJu, PrelBase.Eq{-23,p-} c_rJv, PrelBase.Eq{-23,p-} d_rJw} + => + {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rJt b_rJu c_rJv d_rJw)} +instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +instance _forall_ [a_rJy] => {PrelBase.Eval{-24,p-} [a_rJy]} +instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +instance _forall_ + [a_rJA] + {PrelBase.Eq{-23,p-} a_rJA} + => + {PrelBase.Eq{-23,p-} [a_rJA]} +instance _forall_ + [a_rJC] + {PrelBase.Show{-2i,p-} a_rJC} + => + {PrelBase.Show{-2i,p-} [a_rJC]} +instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +instance _forall_ + [a_rJE b_rJF] + => + {PrelBase.Show{-2i,p-} (a_rJE -> b_rJF)} +PrelBase.$m=={-rca,p-} :: + _forall_ + [a_rj4] + {PrelBase.Eq{-23,p-} a_rj4} + => + a_rj4 -> a_rj4 -> PrelBase.Bool{-34,p-} +PrelBase.$m/={-rc7,p-} :: + _forall_ + [a_rj2] + {PrelBase.Eq{-23,p-} a_rj2} + => + a_rj2 -> a_rj2 -> PrelBase.Bool{-34,p-} +class PrelBase.Eq{-23,p-} rlg_rj0 where { + == :: + rlg_rj0 -> rlg_rj0 -> PrelBase.Bool{-34,p-}; + /= :: + rlg_rj0 -> rlg_rj0 -> PrelBase.Bool{-34,p-}; + } +PrelBase.$mshowsPrec{-rcw,p-} :: + _forall_ + [a_riY] + {PrelBase.Show{-2i,p-} a_riY} + => + PrelBase.Int{-3g,p-} + -> a_riY -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-} +type PrelBase.String{-rdg,p-} = + [PrelBase.Char{-38,p-}] +PrelBase.$mshowList{-rcv,p-} :: + _forall_ + [a_riV] + {PrelBase.Show{-2i,p-} a_riV} + => + [a_riV] -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-} +class PrelBase.Show{-2i,p-} riq_riT where { + showsPrec :: + PrelBase.Int{-3g,p-} + -> riq_riT -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-}; + showList :: + [riq_riT] -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-}; + } +PrelBase.$m+{-rc4,p-} :: + _forall_ + [a_riR] + {PrelBase.Num{-2c,p-} a_riR} + => + a_riR -> a_riR -> a_riR +PrelBase.$m-{-rc6,p-} :: + _forall_ + [a_riP] + {PrelBase.Num{-2c,p-} a_riP} + => + a_riP -> a_riP -> a_riP +PrelBase.$m*{-rc3,p-} :: + _forall_ + [a_riN] + {PrelBase.Num{-2c,p-} a_riN} + => + a_riN -> a_riN -> a_riN +PrelBase.$mnegate{-rct,p-} :: + _forall_ [a_riL] {PrelBase.Num{-2c,p-} a_riL} => a_riL -> a_riL +PrelBase.$mabs{-rcf,p-} :: + _forall_ [a_riJ] {PrelBase.Num{-2c,p-} a_riJ} => a_riJ -> a_riJ +PrelBase.$msignum{-rcx,p-} :: + _forall_ [a_riH] {PrelBase.Num{-2c,p-} a_riH} => a_riH -> a_riH +PrelBase.$mfromInteger{-rcn,p-} :: + _forall_ + [a_riF] + {PrelBase.Num{-2c,p-} a_riF} + => + PrelBase.Integer{-3h,p-} -> a_riF +PrelBase.$mfromInt{-rcm,p-} :: + _forall_ + [a_riD] + {PrelBase.Num{-2c,p-} a_riD} + => + PrelBase.Int{-3g,p-} -> a_riD +class {PrelBase.Eq{-23,p-} riC_riB, PrelBase.Show{-2i,p-} riC_riB, PrelBase.Eval{-24,p-} riC_riB} => PrelBase.Num{-2c,p-} riC_riB where { + + :: + riC_riB -> riC_riB -> riC_riB; + - :: + riC_riB -> riC_riB -> riC_riB; + * :: + riC_riB -> riC_riB -> riC_riB; + negate :: + riC_riB -> riC_riB; + abs :: + riC_riB -> riC_riB; + signum :: + riC_riB -> riC_riB; + fromInteger :: + PrelBase.Integer{-3h,p-} -> riC_riB; + fromInt :: + PrelBase.Int{-3g,p-} -> riC_riB; + } +class PrelBase.Eval{-24,p-} rk6_riz {- rec -} -Test.a = Test.a +((i1{-r3z,x-}@((i2{-r3y,x-}@((i3{-r3x,x-}@i{-r3w,x-}))))), 1) + = j{-r3u,x-} + 1 1 +(Foo{-r3F,x-} j{-r3u,x-} 1 2) + = (k{-r3s,x-}, 1, 1, 2) +(~~~~k{-r3s,x-}, 1, 2, 3) + = i{-r3w,x-} + 3 {- rec -} -((Test.f1@(Test.f2@(Test.f3@Test.f))), 1) = Test.g 1 1 -(*UNBOUND*Foo Test.g 1 2) = (Test.h, 1, 1, 2) -(~~~~Test.h, 1, 2, 3) = Test.f 3 +((f1{-r3D,x-}@((f2{-r3C,x-}@((f3{-r3B,x-}@f{-r3A,x-}))))), 1) + = g{-r3v,x-} + 1 1 +(Foo{-r3F,x-} g{-r3v,x-} 1 2) + = (h{-r3t,x-}, 1, 1, 2) +(~~~~h{-r3t,x-}, 1, 2, 3) + = f{-r3A,x-} + 3 {- rec -} -((Test.i1@(Test.i2@(Test.i3@Test.i))), 1) = Test.j 1 1 -(*UNBOUND*Foo Test.j 1 2) = (Test.k, 1, 1, 2) -(~~~~Test.k, 1, 2, 3) = Test.i 3 -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 - +a{-r3E,x-} + = a{-r3E,x-} +data Foo{-r3G,x-} a_r3r = + Foo{-r3F,x-} a_r3r PrelBase.Int{-3g,i-} PrelBase.Int{-3g,i-} -"rn007.hs", line 16: undefined value: Foo -"rn007.hs", line 17: undefined value: Foo -Fail: Compilation errors found +rn007.hs:19: Couldn't match the type + `Foo' against `PrelTup.(,,,) t{-a104-} t{-a105-} t{-a106-}' + Expected: `Foo (t{-aYy-} -> t{-aYE-} -> (t{-aYh-}, t{-aYt-}))' + Inferred: `(t{-a104-}, t{-a105-}, t{-a106-}, t{-a107-})' + In a pattern binding: + (`Foo' `j' 1 2) + = `(k, 1, 1, 2)' + +rn007.hs:18: Couldn't match the type + `Foo' against `PrelTup.(,,,) t{-a108-} t{-a109-} t{-a10a-}' + Expected: `Foo (t{-aZr-} -> t{-aZx-} -> (t{-aZa-}, t{-aZm-}))' + Inferred: `(t{-a108-}, t{-a109-}, t{-a10a-}, t{-a10b-})' + In a pattern binding: + (`Foo' `g' 1 2) + = `(h, 1, 1, 2)' + -ghc: execution of the Haskell compiler had trouble +Compilation had errors diff --git a/ghc/compiler/tests/rename/rn008.hs b/ghc/compiler/tests/rename/rn008.hs index 45fc0de..b41379c 100644 --- a/ghc/compiler/tests/rename/rn008.hs +++ b/ghc/compiler/tests/rename/rn008.hs @@ -1,8 +1,9 @@ +--!!! two sets of mutually-recursive blobs: +--!!! f, g, h are mut rec +--!!! i, j, k are mut rec module Test where --- two sets of mutually-recursive blobs: --- f, g, h are mut rec --- i, j, k are mut rec +data Foo a = Foo a Int Int (f1@(f2@(f3@f)), 1) = g 1 1 (i1@(i2@(i3@i)), 1) = j 1 1 diff --git a/ghc/compiler/tests/rename/rn008.stderr b/ghc/compiler/tests/rename/rn008.stderr index a6884df..e8bdb47 100644 --- a/ghc/compiler/tests/rename/rn008.stderr +++ b/ghc/compiler/tests/rename/rn008.stderr @@ -1,68 +1,302 @@ -Renamed-pass4: +Renamer stats: 6 interfaces read + 4 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 + 1 type synonym decls imported, out of 5 read + 43 value signatures imported, out of 1157 read + 31 instance decls imported, out of 166 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) +PrelNum.$d35{-rNl,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d33{-rNj,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d29{-rNe,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d18{-rN2,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d16{-rN0,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d10{-rMU,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +PrelTup.$d9{-rKw,p-} :: + _forall_ + [a_rWz b_rWA] + {PrelBase.Eq{-23,p-} a_rWz, PrelBase.Eq{-23,p-} b_rWA} + => + {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rWz b_rWA)} +PrelTup.$d4{-rKe,p-} :: + _forall_ + [a_rWw b_rWx] + {PrelBase.Show{-2i,p-} a_rWw, PrelBase.Show{-2i,p-} b_rWx} + => + {PrelBase.Show{-2i,p-} (a_rWw, b_rWx)} +PrelTup.$d2{-rJS,p-} :: + _forall_ + [a_rWr b_rWs c_rWt d_rWu] + {PrelBase.Show{-2i,p-} a_rWr, PrelBase.Show{-2i,p-} b_rWs, PrelBase.Show{-2i,p-} c_rWt, PrelBase.Show{-2i,p-} d_rWu} + => + {PrelBase.Show{-2i,p-} (a_rWr, b_rWs, c_rWt, d_rWu)} +PrelTup.$d15{-rJN,p-} :: + _forall_ + [a_rWm b_rWn c_rWo d_rWp] + => + {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rWm b_rWn c_rWo d_rWp)} +PrelTup.$d13{-rJL,p-} :: + _forall_ + [a_rWj b_rWk] + => + {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rWj b_rWk)} +PrelTup.$d11{-rJJ,p-} :: + _forall_ + [a_rWe b_rWf c_rWg d_rWh] + {PrelBase.Eq{-23,p-} a_rWe, PrelBase.Eq{-23,p-} b_rWf, PrelBase.Eq{-23,p-} c_rWg, PrelBase.Eq{-23,p-} d_rWh} + => + {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rWe b_rWf c_rWg d_rWh)} +PrelBase.$d8{-rbZ,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +PrelBase.$d7{-rbY,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d54{-rbT,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d46{-rbK,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +PrelBase.$d44{-rbI,p-} :: + _forall_ [a_rWc] => {PrelBase.Eval{-24,p-} [a_rWc]} +PrelBase.$d42{-rbG,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +PrelBase.$d41{-rbF,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d39{-rbC,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d38{-rbB,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +PrelBase.$d37{-rbA,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d33{-rbw,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +PrelBase.$d32{-rbv,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d3{-rbs,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d27{-rbp,p-} :: + _forall_ + [a_rWa] + {PrelBase.Eq{-23,p-} a_rWa} + => + {PrelBase.Eq{-23,p-} [a_rWa]} +PrelBase.$d21{-rbj,p-} :: + _forall_ + [a_rW8] + {PrelBase.Show{-2i,p-} a_rW8} + => + {PrelBase.Show{-2i,p-} [a_rW8]} +PrelBase.$d2{-rbh,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d15{-rbc,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +PrelBase.$d11{-rb8,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +PrelBase.$d1{-rb6,p-} :: + _forall_ [a_rW5 b_rW6] => {PrelBase.Show{-2i,p-} (a_rW5 -> b_rW6)} +instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +instance _forall_ + [a_rJ8 b_rJ9] + {PrelBase.Eq{-23,p-} a_rJ8, PrelBase.Eq{-23,p-} b_rJ9} + => + {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rJ8 b_rJ9)} +instance _forall_ + [a_rJb b_rJc] + {PrelBase.Show{-2i,p-} a_rJb, PrelBase.Show{-2i,p-} b_rJc} + => + {PrelBase.Show{-2i,p-} (a_rJb, b_rJc)} +instance _forall_ + [a_rJe b_rJf c_rJg d_rJh] + {PrelBase.Show{-2i,p-} a_rJe, PrelBase.Show{-2i,p-} b_rJf, PrelBase.Show{-2i,p-} c_rJg, PrelBase.Show{-2i,p-} d_rJh} + => + {PrelBase.Show{-2i,p-} (a_rJe, b_rJf, c_rJg, d_rJh)} +instance _forall_ + [a_rJj b_rJk c_rJl d_rJm] + => + {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rJj b_rJk c_rJl d_rJm)} +instance _forall_ + [a_rJo b_rJp] + => + {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rJo b_rJp)} +instance _forall_ + [a_rJr b_rJs c_rJt d_rJu] + {PrelBase.Eq{-23,p-} a_rJr, PrelBase.Eq{-23,p-} b_rJs, PrelBase.Eq{-23,p-} c_rJt, PrelBase.Eq{-23,p-} d_rJu} + => + {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rJr b_rJs c_rJt d_rJu)} +instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +instance _forall_ [a_rJw] => {PrelBase.Eval{-24,p-} [a_rJw]} +instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +instance _forall_ + [a_rJy] + {PrelBase.Eq{-23,p-} a_rJy} + => + {PrelBase.Eq{-23,p-} [a_rJy]} +instance _forall_ + [a_rJA] + {PrelBase.Show{-2i,p-} a_rJA} + => + {PrelBase.Show{-2i,p-} [a_rJA]} +instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +instance _forall_ + [a_rJC b_rJD] + => + {PrelBase.Show{-2i,p-} (a_rJC -> b_rJD)} +PrelBase.$m=={-rc8,p-} :: + _forall_ + [a_rj2] + {PrelBase.Eq{-23,p-} a_rj2} + => + a_rj2 -> a_rj2 -> PrelBase.Bool{-34,p-} +PrelBase.$m/={-rc5,p-} :: + _forall_ + [a_rj0] + {PrelBase.Eq{-23,p-} a_rj0} + => + a_rj0 -> a_rj0 -> PrelBase.Bool{-34,p-} +class PrelBase.Eq{-23,p-} rlg_riY where { + == :: + rlg_riY -> rlg_riY -> PrelBase.Bool{-34,p-}; + /= :: + rlg_riY -> rlg_riY -> PrelBase.Bool{-34,p-}; + } +PrelBase.$mshowsPrec{-rcu,p-} :: + _forall_ + [a_riW] + {PrelBase.Show{-2i,p-} a_riW} + => + PrelBase.Int{-3g,p-} + -> a_riW -> PrelBase.String{-rde,p-} -> PrelBase.String{-rde,p-} +type PrelBase.String{-rde,p-} = + [PrelBase.Char{-38,p-}] +PrelBase.$mshowList{-rct,p-} :: + _forall_ + [a_riT] + {PrelBase.Show{-2i,p-} a_riT} + => + [a_riT] -> PrelBase.String{-rde,p-} -> PrelBase.String{-rde,p-} +class PrelBase.Show{-2i,p-} riq_riR where { + showsPrec :: + PrelBase.Int{-3g,p-} + -> riq_riR -> PrelBase.String{-rde,p-} -> PrelBase.String{-rde,p-}; + showList :: + [riq_riR] -> PrelBase.String{-rde,p-} -> PrelBase.String{-rde,p-}; + } +PrelBase.$m+{-rc2,p-} :: + _forall_ + [a_riP] + {PrelBase.Num{-2c,p-} a_riP} + => + a_riP -> a_riP -> a_riP +PrelBase.$m-{-rc4,p-} :: + _forall_ + [a_riN] + {PrelBase.Num{-2c,p-} a_riN} + => + a_riN -> a_riN -> a_riN +PrelBase.$m*{-rc1,p-} :: + _forall_ + [a_riL] + {PrelBase.Num{-2c,p-} a_riL} + => + a_riL -> a_riL -> a_riL +PrelBase.$mnegate{-rcr,p-} :: + _forall_ [a_riJ] {PrelBase.Num{-2c,p-} a_riJ} => a_riJ -> a_riJ +PrelBase.$mabs{-rcd,p-} :: + _forall_ [a_riH] {PrelBase.Num{-2c,p-} a_riH} => a_riH -> a_riH +PrelBase.$msignum{-rcv,p-} :: + _forall_ [a_riF] {PrelBase.Num{-2c,p-} a_riF} => a_riF -> a_riF +PrelBase.$mfromInteger{-rcl,p-} :: + _forall_ + [a_riD] + {PrelBase.Num{-2c,p-} a_riD} + => + PrelBase.Integer{-3h,p-} -> a_riD +PrelBase.$mfromInt{-rck,p-} :: + _forall_ + [a_riB] + {PrelBase.Num{-2c,p-} a_riB} + => + PrelBase.Int{-3g,p-} -> a_riB +class {PrelBase.Eq{-23,p-} riC_riz, PrelBase.Show{-2i,p-} riC_riz, PrelBase.Eval{-24,p-} riC_riz} => PrelBase.Num{-2c,p-} riC_riz where { + + :: + riC_riz -> riC_riz -> riC_riz; + - :: + riC_riz -> riC_riz -> riC_riz; + * :: + riC_riz -> riC_riz -> riC_riz; + negate :: + riC_riz -> riC_riz; + abs :: + riC_riz -> riC_riz; + signum :: + riC_riz -> riC_riz; + fromInteger :: + PrelBase.Integer{-3h,p-} -> riC_riz; + fromInt :: + PrelBase.Int{-3g,p-} -> riC_riz; + } +class PrelBase.Eval{-24,p-} rk6_rix {- rec -} -((Test.f1@(Test.f2@(Test.f3@Test.f))), 1) = Test.g 1 1 -(*UNBOUND*Foo Test.g 1 2) = (Test.h, 1, 1, 2) -(~~~~Test.h, 1, 2, 3) = Test.f 3 +((i1{-r3y,x-}@((i2{-r3x,x-}@((i3{-r3w,x-}@i{-r3v,x-}))))), 1) + = j{-r3t,x-} + 1 1 +(Foo{-r3D,x-} j{-r3t,x-} 1 2) + = (k{-r3r,x-}, 1, 1, 2) +(~~~~k{-r3r,x-}, 1, 2, 3) + = i{-r3v,x-} + 3 {- rec -} -((Test.i1@(Test.i2@(Test.i3@Test.i))), 1) = Test.j 1 1 -(*UNBOUND*Foo Test.j 1 2) = (Test.k, 1, 1, 2) -(~~~~Test.k, 1, 2, 3) = Test.i 3 -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 - +((f1{-r3C,x-}@((f2{-r3B,x-}@((f3{-r3A,x-}@f{-r3z,x-}))))), 1) + = g{-r3u,x-} + 1 1 +(Foo{-r3D,x-} g{-r3u,x-} 1 2) + = (h{-r3s,x-}, 1, 1, 2) +(~~~~h{-r3s,x-}, 1, 2, 3) + = f{-r3z,x-} + 3 +data Foo{-r3E,x-} a_r3q = + Foo{-r3D,x-} a_r3q PrelBase.Int{-3g,i-} PrelBase.Int{-3g,i-} -"rn008.hs", line 10: undefined value: Foo -"rn008.hs", line 11: undefined value: Foo -Fail: Compilation errors found +rn008.hs:12: Couldn't match the type + `Foo' against `PrelTup.(,,,) t{-aZY-} t{-aZZ-} t{-a100-}' + Expected: `Foo (t{-aYw-} -> t{-aYC-} -> (t{-aYf-}, t{-aYr-}))' + Inferred: `(t{-aZY-}, t{-aZZ-}, t{-a100-}, t{-a101-})' + In a pattern binding: + (`Foo' `j' 1 2) + = `(k, 1, 1, 2)' + +rn008.hs:11: Couldn't match the type + `Foo' against `PrelTup.(,,,) t{-a102-} t{-a103-} t{-a104-}' + Expected: `Foo (t{-aZp-} -> t{-aZv-} -> (t{-aZ8-}, t{-aZk-}))' + Inferred: `(t{-a102-}, t{-a103-}, t{-a104-}, t{-a105-})' + In a pattern binding: + (`Foo' `g' 1 2) + = `(h, 1, 1, 2)' + -ghc: execution of the Haskell compiler had trouble +Compilation had errors diff --git a/ghc/compiler/tests/rename/rn009.stderr b/ghc/compiler/tests/rename/rn009.stderr index cdbf46c..3b6fdaf 100644 --- a/ghc/compiler/tests/rename/rn009.stderr +++ b/ghc/compiler/tests/rename/rn009.stderr @@ -1,94 +1,12 @@ -Renamed-pass4: -module Imp10 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.\\ -data Int10.T1 a - = Int10.C1 a -data Int10.T10 a b c d e - = Int10.T10C1 a - | Int10.T10C2 b - | Int10.T10C3 c - | Int10.T10C4 d - | Int10.T10C5 e -data Int10.T2 a b - = Int10.T2C1 a - | Int10.T2C2 b -data Int10.T3 a b c - = Int10.T3C1 a - | Int10.T3C2 b - | Int10.T3C3 c -data Int10.T4 a b c d - = Int10.T4C1 a - | Int10.T4C2 b - | Int10.T4C3 c - | Int10.T4C4 d -data Int10.T5 a b c d e - = Int10.T5C1 a - | Int10.T5C2 b - | Int10.T5C3 c - | Int10.T5C4 d - | Int10.T5C5 e -data Int10.T6 a - = Int10.T6C6 a -data Int10.T7 a b - = Int10.T7C6 a - | Int10.T7C7 b -data Int10.T8 a b c - = Int10.T8C1 a - | Int10.T8C2 b - | Int10.T8C3 c -data Int10.T9 a b c d - = Int10.T9C1 a - | Int10.T9C2 b - | Int10.T9C3 c - | Int10.T9C4 d -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) -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 +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 19 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 Imp10 where diff --git a/ghc/compiler/tests/rename/rn010.stderr b/ghc/compiler/tests/rename/rn010.stderr index 9e79363..f143bb0 100644 --- a/ghc/compiler/tests/rename/rn010.stderr +++ b/ghc/compiler/tests/rename/rn010.stderr @@ -1,94 +1,12 @@ -Renamed-pass4: -module Imp100 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.\\ -data Int10.T1 a - = Int10.C1 a -data Int10.T10 a b c d e - = Int10.T10C1 a - | Int10.T10C2 b - | Int10.T10C3 c - | Int10.T10C4 d - | Int10.T10C5 e -data Int10.T2 a b - = Int10.T2C1 a - | Int10.T2C2 b -data Int10.T3 a b c - = Int10.T3C1 a - | Int10.T3C2 b - | Int10.T3C3 c -data Int10.T4 a b c d - = Int10.T4C1 a - | Int10.T4C2 b - | Int10.T4C3 c - | Int10.T4C4 d -data Int10.T5 a b c d e - = Int10.T5C1 a - | Int10.T5C2 b - | Int10.T5C3 c - | Int10.T5C4 d - | Int10.T5C5 e -data Int10.T6 a - = Int10.T6C6 a -data Int10.T7 a b - = Int10.T7C6 a - | Int10.T7C7 b -data Int10.T8 a b c - = Int10.T8C1 a - | Int10.T8C2 b - | Int10.T8C3 c -data Int10.T9 a b c d - = Int10.T9C1 a - | Int10.T9C2 b - | Int10.T9C3 c - | Int10.T9C4 d -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) -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 +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 19 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 Imp100 where diff --git a/ghc/compiler/tests/rename/rn011.stderr b/ghc/compiler/tests/rename/rn011.stderr index a3f4176..ca4c28e 100644 --- a/ghc/compiler/tests/rename/rn011.stderr +++ b/ghc/compiler/tests/rename/rn011.stderr @@ -1,94 +1,12 @@ -Renamed-pass4: -module Imp1000 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.\\ -data Int10.T1 a - = Int10.C1 a -data Int10.T10 a b c d e - = Int10.T10C1 a - | Int10.T10C2 b - | Int10.T10C3 c - | Int10.T10C4 d - | Int10.T10C5 e -data Int10.T2 a b - = Int10.T2C1 a - | Int10.T2C2 b -data Int10.T3 a b c - = Int10.T3C1 a - | Int10.T3C2 b - | Int10.T3C3 c -data Int10.T4 a b c d - = Int10.T4C1 a - | Int10.T4C2 b - | Int10.T4C3 c - | Int10.T4C4 d -data Int10.T5 a b c d e - = Int10.T5C1 a - | Int10.T5C2 b - | Int10.T5C3 c - | Int10.T5C4 d - | Int10.T5C5 e -data Int10.T6 a - = Int10.T6C6 a -data Int10.T7 a b - = Int10.T7C6 a - | Int10.T7C7 b -data Int10.T8 a b c - = Int10.T8C1 a - | Int10.T8C2 b - | Int10.T8C3 c -data Int10.T9 a b c d - = Int10.T9C1 a - | Int10.T9C2 b - | Int10.T9C3 c - | Int10.T9C4 d -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) -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 +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 19 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 Imp1000 where diff --git a/ghc/compiler/tests/rename/rn012.stderr b/ghc/compiler/tests/rename/rn012.stderr index 31b7a51..aab3298 100644 --- a/ghc/compiler/tests/rename/rn012.stderr +++ b/ghc/compiler/tests/rename/rn012.stderr @@ -1,94 +1,12 @@ -Renamed-pass4: -module Imp500 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.\\ -data Int10.T1 a - = Int10.C1 a -data Int10.T10 a b c d e - = Int10.T10C1 a - | Int10.T10C2 b - | Int10.T10C3 c - | Int10.T10C4 d - | Int10.T10C5 e -data Int10.T2 a b - = Int10.T2C1 a - | Int10.T2C2 b -data Int10.T3 a b c - = Int10.T3C1 a - | Int10.T3C2 b - | Int10.T3C3 c -data Int10.T4 a b c d - = Int10.T4C1 a - | Int10.T4C2 b - | Int10.T4C3 c - | Int10.T4C4 d -data Int10.T5 a b c d e - = Int10.T5C1 a - | Int10.T5C2 b - | Int10.T5C3 c - | Int10.T5C4 d - | Int10.T5C5 e -data Int10.T6 a - = Int10.T6C6 a -data Int10.T7 a b - = Int10.T7C6 a - | Int10.T7C7 b -data Int10.T8 a b c - = Int10.T8C1 a - | Int10.T8C2 b - | Int10.T8C3 c -data Int10.T9 a b c d - = Int10.T9C1 a - | Int10.T9C2 b - | Int10.T9C3 c - | Int10.T9C4 d -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) -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 +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 19 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 Imp500 where diff --git a/ghc/compiler/tests/rename/rn013.stderr b/ghc/compiler/tests/rename/rn013.stderr index 7f6d594..acdfbc6 100644 --- a/ghc/compiler/tests/rename/rn013.stderr +++ b/ghc/compiler/tests/rename/rn013.stderr @@ -1,94 +1,59 @@ -Renamed-pass4: -module Mod10 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.\\ -data Mod10.T1 a - = Mod10.C1 a -data Mod10.T10 a b c d e - = Mod10.T10C1 a - | Mod10.T10C2 b - | Mod10.T10C3 c - | Mod10.T10C4 d - | Mod10.T10C5 e -data Mod10.T2 a b - = Mod10.T2C1 a - | Mod10.T2C2 b -data Mod10.T3 a b c - = Mod10.T3C1 a - | Mod10.T3C2 b - | Mod10.T3C3 c -data Mod10.T4 a b c d - = Mod10.T4C1 a - | Mod10.T4C2 b - | Mod10.T4C3 c - | Mod10.T4C4 d -data Mod10.T5 a b c d e - = Mod10.T5C1 a - | Mod10.T5C2 b - | Mod10.T5C3 c - | Mod10.T5C4 d - | Mod10.T5C5 e -data Mod10.T6 a - = Mod10.T6C6 a -data Mod10.T7 a b - = Mod10.T7C6 a - | Mod10.T7C7 b -data Mod10.T8 a b c - = Mod10.T8C1 a - | Mod10.T8C2 b - | Mod10.T8C3 c -data Mod10.T9 a b c d - = Mod10.T9C1 a - | Mod10.T9C2 b - | Mod10.T9C3 c - | Mod10.T9C4 d -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) -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 +Renamer stats: 5 interfaces read + 1 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 + 4 value signatures imported, out of 1098 read + 4 instance decls imported, out of 114 read + +================================================================================ +Renamer: +module Mod10 where +PrelBase.$d46{-rdc,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +PrelBase.$d41{-rd7,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d39{-rd4,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d37{-rd2,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +class PrelBase.Eval{-24,p-} rk6_rjZ +data T10{-r4V,x-} a_r4i b_r4j c_r4k d_r4l e_r4m = + T10C1{-r4,x-} a_r4i + | T10C2{-r3,x-} b_r4j + | T10C3{-r6,x-} c_r4k + | T10C4{-r8,x-} d_r4l + | T10C5{-ra,x-} e_r4m +data T9{-r4W,x-} a_r4o b_r4p c_r4q d_r4r = + T9C1{-rf,x-} a_r4o + | T9C2{-re,x-} b_r4p + | T9C3{-rh,x-} c_r4q + | T9C4{-rj,x-} d_r4r +data T8{-r4X,x-} a_r4t b_r4u c_r4v = + T8C1{-ro,x-} a_r4t | T8C2{-rn,x-} b_r4u | T8C3{-rq,x-} c_r4v +data T7{-r4Y,x-} a_r4x b_r4y = + T7C6{-rv,x-} a_r4x | T7C7{-ru,x-} b_r4y +data T6{-r50,x-} a_r4A = + T6C6{-r4Z,x-} a_r4A +data T5{-r51,x-} a_r4C b_r4D c_r4E d_r4F e_r4G = + T5C1{-rC,x-} a_r4C + | T5C2{-rB,x-} b_r4D + | T5C3{-rE,x-} c_r4E + | T5C4{-rG,x-} d_r4F + | T5C5{-rI,x-} e_r4G +data T4{-r52,x-} a_r4I b_r4J c_r4K d_r4L = + T4C1{-rN,x-} a_r4I + | T4C2{-rM,x-} b_r4J + | T4C3{-rP,x-} c_r4K + | T4C4{-rR,x-} d_r4L +data T3{-r53,x-} a_r4N b_r4O c_r4P = + T3C1{-rW,x-} a_r4N | T3C2{-rV,x-} b_r4O | T3C3{-rY,x-} c_r4P +data T2{-r54,x-} a_r4R b_r4S = + T2C1{-r13,x-} a_r4R | T2C2{-r12,x-} b_r4S +data T1{-r56,x-} a_r4U = + C1{-r55,x-} a_r4U diff --git a/ghc/compiler/tests/rename/rn014.hs b/ghc/compiler/tests/rename/rn014.hs index 6802fc7..b750bf7 100644 --- a/ghc/compiler/tests/rename/rn014.hs +++ b/ghc/compiler/tests/rename/rn014.hs @@ -1 +1,2 @@ +--!!! Test for definition of main import Prelude diff --git a/ghc/compiler/tests/rename/rn014.stderr b/ghc/compiler/tests/rename/rn014.stderr index 8d5c455..43b4544 100644 --- a/ghc/compiler/tests/rename/rn014.stderr +++ b/ghc/compiler/tests/rename/rn014.stderr @@ -1,54 +1,18 @@ -Renamed-pass4: +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 14 read + 1 newtype decls imported (of which 1 abstractly), out of 1 read + 0 type synonym decls imported, out of 6 read + 0 value signatures imported, out of 1200 read + 0 instance decls imported, out of 130 read + + +================================================================================ +Renamer: module Main 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) -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 +newtype IOBase.IO{-3e,p-} rAg_rJW = + +rn014.hs:2: Module Main must include a definition for `Main.main' + +Compilation had errors diff --git a/ghc/compiler/tests/rename/rn015.stderr b/ghc/compiler/tests/rename/rn015.stderr index fc3df5e..2c6396a 100644 --- a/ghc/compiler/tests/rename/rn015.stderr +++ b/ghc/compiler/tests/rename/rn015.stderr @@ -1,73 +1,228 @@ -Renamed-pass4: -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.\\ -class Test.K a where - op1{op 1 cls Test.K} :: a -> a -> a - op2{op 2 cls Test.K} :: Int -> a -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 (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 (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) -instance Test.K Bool where - op1{op 1 cls Test.K} - a b = a -instance Test.K Int where - op1{op 1 cls Test.K} - a b = a (+) b - op2{op 2 cls Test.K} - x = x -instance Test.K [a] where - *UNBOUND*op3 - a = a -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 (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) -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 +Renamer stats: 5 interfaces read + 4 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 + 1 type synonym decls imported, out of 5 read + 37 value signatures imported, out of 1098 read + 25 instance decls imported, out of 114 read + +================================================================================ +Renamer: +module Test where +PrelNum.$d35{-ryc,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d33{-rya,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d29{-ry5,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d18{-rxT,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d16{-rxR,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d10{-rxL,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d8{-rc9,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +PrelBase.$d7{-rc8,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d54{-rc3,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d46{-rbU,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +PrelBase.$d44{-rbS,p-} :: + _forall_ [a_rH3] => {PrelBase.Eval{-24,p-} [a_rH3]} +PrelBase.$d42{-rbQ,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +PrelBase.$d41{-rbP,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d39{-rbM,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d38{-rbL,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +PrelBase.$d37{-rbK,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d33{-rbG,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +PrelBase.$d32{-rbF,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d3{-rbC,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d27{-rbz,p-} :: + _forall_ + [a_rH1] + {PrelBase.Eq{-23,p-} a_rH1} + => + {PrelBase.Eq{-23,p-} [a_rH1]} +PrelBase.$d21{-rbt,p-} :: + _forall_ + [a_rGZ] + {PrelBase.Show{-2i,p-} a_rGZ} + => + {PrelBase.Show{-2i,p-} [a_rGZ]} +PrelBase.$d2{-rbr,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d15{-rbm,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +PrelBase.$d11{-rbi,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +PrelBase.$d1{-rbg,p-} :: + _forall_ [a_rGW b_rGX] => {PrelBase.Show{-2i,p-} (a_rGW -> b_rGX)} +instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +instance _forall_ [a_rvk] => {PrelBase.Eval{-24,p-} [a_rvk]} +instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +instance _forall_ + [a_rvm] + {PrelBase.Eq{-23,p-} a_rvm} + => + {PrelBase.Eq{-23,p-} [a_rvm]} +instance _forall_ + [a_rvo] + {PrelBase.Show{-2i,p-} a_rvo} + => + {PrelBase.Show{-2i,p-} [a_rvo]} +instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +instance _forall_ + [a_rvq b_rvr] + => + {PrelBase.Show{-2i,p-} (a_rvq -> b_rvr)} +PrelBase.$m=={-rci,p-} :: + _forall_ + [a_rjb] + {PrelBase.Eq{-23,p-} a_rjb} + => + a_rjb -> a_rjb -> PrelBase.Bool{-34,p-} +PrelBase.$m/={-rcf,p-} :: + _forall_ + [a_rj9] + {PrelBase.Eq{-23,p-} a_rj9} + => + a_rj9 -> a_rj9 -> PrelBase.Bool{-34,p-} +class PrelBase.Eq{-23,p-} rlg_rj7 where { + == :: + rlg_rj7 -> rlg_rj7 -> PrelBase.Bool{-34,p-}; + /= :: + rlg_rj7 -> rlg_rj7 -> PrelBase.Bool{-34,p-}; + } +PrelBase.$mshowsPrec{-rcE,p-} :: + _forall_ + [a_rj5] + {PrelBase.Show{-2i,p-} a_rj5} + => + PrelBase.Int{-3g,p-} + -> a_rj5 -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-} +type PrelBase.String{-rdn,p-} = + [PrelBase.Char{-38,p-}] +PrelBase.$mshowList{-rcD,p-} :: + _forall_ + [a_rj2] + {PrelBase.Show{-2i,p-} a_rj2} + => + [a_rj2] -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-} +class PrelBase.Show{-2i,p-} riq_rj0 where { + showsPrec :: + PrelBase.Int{-3g,p-} + -> riq_rj0 -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-}; + showList :: + [riq_rj0] -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-}; + } +class PrelBase.Eval{-24,p-} rk6_riY +PrelBase.$m+{-rcc,p-} :: + _forall_ + [a_riW] + {PrelBase.Num{-2c,p-} a_riW} + => + a_riW -> a_riW -> a_riW +PrelBase.$m-{-rce,p-} :: + _forall_ + [a_riU] + {PrelBase.Num{-2c,p-} a_riU} + => + a_riU -> a_riU -> a_riU +PrelBase.$m*{-rcb,p-} :: + _forall_ + [a_riS] + {PrelBase.Num{-2c,p-} a_riS} + => + a_riS -> a_riS -> a_riS +PrelBase.$mnegate{-rcB,p-} :: + _forall_ [a_riQ] {PrelBase.Num{-2c,p-} a_riQ} => a_riQ -> a_riQ +PrelBase.$mabs{-rcn,p-} :: + _forall_ [a_riO] {PrelBase.Num{-2c,p-} a_riO} => a_riO -> a_riO +PrelBase.$msignum{-rcF,p-} :: + _forall_ [a_riM] {PrelBase.Num{-2c,p-} a_riM} => a_riM -> a_riM +PrelBase.$mfromInteger{-rcv,p-} :: + _forall_ + [a_riK] + {PrelBase.Num{-2c,p-} a_riK} + => + PrelBase.Integer{-3h,p-} -> a_riK +PrelBase.$mfromInt{-rcu,p-} :: + _forall_ + [a_riI] + {PrelBase.Num{-2c,p-} a_riI} + => + PrelBase.Int{-3g,p-} -> a_riI +class {PrelBase.Eq{-23,p-} riC_riG, PrelBase.Show{-2i,p-} riC_riG, PrelBase.Eval{-24,p-} riC_riG} => PrelBase.Num{-2c,p-} riC_riG where { + + :: + riC_riG -> riC_riG -> riC_riG; + - :: + riC_riG -> riC_riG -> riC_riG; + * :: + riC_riG -> riC_riG -> riC_riG; + negate :: + riC_riG -> riC_riG; + abs :: + riC_riG -> riC_riG; + signum :: + riC_riG -> riC_riG; + fromInteger :: + PrelBase.Integer{-3h,p-} -> riC_riG; + fromInt :: + PrelBase.Int{-3g,p-} -> riC_riG; + } +instance _forall_ [a_r3f] => {K{-r3J,x-} [a_r3f]} where + [] + op3_r3h + a_r3j = a_r3j +instance {K{-r3J,x-} PrelBase.Bool{-34,i-}} where + [] + op1_r3n + a_r3p b_r3r + = a_r3p +instance {K{-r3J,x-} PrelBase.Int{-3g,i-}} where + [] + op1_r3v + a_r3x b_r3z + = a_r3x PrelBase.+{-rb3,i-} b_r3z + op2_r3B + x_r3D = x_r3D +class K{-r3J,x-} a_r3G where { + op1 :: + a_r3G -> a_r3G -> a_r3G; + op2 :: + PrelBase.Int{-3g,i-} -> a_r3G; + } -"rn015.hs", line 18: "op3" is not an operation of class "K" -Fail: Compilation errors found +rn015.hs:18: Class `K' does not have a method `op3' + -ghc: execution of the Haskell compiler had trouble +Compilation had errors diff --git a/ghc/compiler/tests/rename/rn016.hs b/ghc/compiler/tests/rename/rn016.hs index b561ce1..a1c1290 100644 --- a/ghc/compiler/tests/rename/rn016.hs +++ b/ghc/compiler/tests/rename/rn016.hs @@ -4,3 +4,4 @@ module Main where import Rn016 +main = undefined diff --git a/ghc/compiler/tests/rename/rn016.stderr b/ghc/compiler/tests/rename/rn016.stderr index ff45b2e..07bb471 100644 --- a/ghc/compiler/tests/rename/rn016.stderr +++ b/ghc/compiler/tests/rename/rn016.stderr @@ -1,60 +1,18 @@ -Renamed-pass4: -module Main 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.\\ -class X.K a where - op1{op 1 cls X.K} :: a -> a -> a - op2{op 2 cls X.K} :: Int -> a -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 (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 (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) -instance X.K Bool -instance X.K Int -instance X.K [a] -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 (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) -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 +Renamer stats: 7 interfaces read + 0 class decls imported, out of 18 read + 0 data decls imported (of which 0 abstractly), out of 14 read + 1 newtype decls imported (of which 1 abstractly), out of 1 read + 0 type synonym decls imported, out of 6 read + 1 value signatures imported, out of 1203 read + 0 instance decls imported, out of 133 read + +================================================================================ +Renamer: +module Main where +newtype IOBase.IO{-3e,p-} rAg_rKd = +Prelude.undefined{-r3k,p-} :: + _forall_ [a_r3u] => a_r3u +{- nonrec -} +main{-814,x-} + = Prelude.undefined{-r3k,i-} diff --git a/ghc/compiler/tests/rename/rn017.hs b/ghc/compiler/tests/rename/rn017.hs index 3adc45f..1a3c2d0 100644 --- a/ghc/compiler/tests/rename/rn017.hs +++ b/ghc/compiler/tests/rename/rn017.hs @@ -1,4 +1,5 @@ -module Test ( Test.. , Rn017.. ) where +--!! Rexporting +module Test ( module Test , module Rn017 ) where import Rn017 diff --git a/ghc/compiler/tests/rename/rn017.stderr b/ghc/compiler/tests/rename/rn017.stderr index d1f5d45..459e1b8 100644 --- a/ghc/compiler/tests/rename/rn017.stderr +++ b/ghc/compiler/tests/rename/rn017.stderr @@ -1,48 +1,214 @@ -Renamer-pass4: -module Test ( - Test.., Rn017.. - ) where -infixl 7 PreludeRatio.% -infixl 9 PreludeArray.// -infixr 8 PreludeBasic.^ -infixr 8 PreludeBasic.^^ -infix 5 PreludeList.\\ -data Test.Foo - = Test.MkFoo -data Bar.Wibble - = Bar.MkWibble Burf.Wobble -data Burf.Wobble -class Test.FOO a where - op{op 1 cls Test.FOO} :: a -> Int -instance Test.FOO Test.Foo where - op{op 1 cls Test.FOO} - x = 42 -{- nonrec -} -Test.f - x = x -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] -PreludeBasic.^ :: (Num b, Integral a) => b -> a -> b -PreludeBasic.^^ :: (Fractional b, Integral a) => b -> a -> b -Bar.a :: Int -> Int -Bar.b :: Int -> Int -Rn017.c :: Int -> Int -interface Test where -import Bar(Wibble(..), a, b) -import Burf(Wobble(..)) -import Rn017(c) -a :: Int -> Int -b :: Int -> Int -c :: Int -> Int -f :: a -> a - {-# ARITY f = 1 #-} -class FOO a where - op :: a -> Int - {-# ARITY op = 1 #-} -data Foo = MkFoo -data Wibble = MkWibble Wobble -data Wobble -instance FOO Foo - {-# ARITY op = 1 #-} +Renamer stats: 6 interfaces read + 4 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 11 read + 0 newtype decls imported (of which 0 abstractly), out of 0 read + 1 type synonym decls imported, out of 5 read + 37 value signatures imported, out of 1101 read + 25 instance decls imported, out of 114 read + +================================================================================ +Renamer: +module Test where +PrelNum.$d35{-ry8,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d33{-ry6,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d29{-ry1,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +PrelNum.$d18{-rxP,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d16{-rxN,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +PrelNum.$d10{-rxH,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d8{-rc4,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +PrelBase.$d7{-rc3,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d54{-rbY,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d46{-rbP,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +PrelBase.$d44{-rbN,p-} :: + _forall_ [a_rGZ] => {PrelBase.Eval{-24,p-} [a_rGZ]} +PrelBase.$d42{-rbL,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +PrelBase.$d41{-rbK,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d39{-rbH,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +PrelBase.$d38{-rbG,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +PrelBase.$d37{-rbF,p-} :: + {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d33{-rbB,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +PrelBase.$d32{-rbA,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +PrelBase.$d3{-rbx,p-} :: + {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d27{-rbu,p-} :: + _forall_ + [a_rGX] + {PrelBase.Eq{-23,p-} a_rGX} + => + {PrelBase.Eq{-23,p-} [a_rGX]} +PrelBase.$d21{-rbo,p-} :: + _forall_ + [a_rGV] + {PrelBase.Show{-2i,p-} a_rGV} + => + {PrelBase.Show{-2i,p-} [a_rGV]} +PrelBase.$d2{-rbm,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +PrelBase.$d15{-rbh,p-} :: + {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +PrelBase.$d11{-rbd,p-} :: + {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +PrelBase.$d1{-rbb,p-} :: + _forall_ [a_rGS b_rGT] => {PrelBase.Show{-2i,p-} (a_rGS -> b_rGT)} +instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}} +instance _forall_ [a_rvg] => {PrelBase.Eval{-24,p-} [a_rvg]} +instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}} +instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}} +instance _forall_ + [a_rvi] + {PrelBase.Eq{-23,p-} a_rvi} + => + {PrelBase.Eq{-23,p-} [a_rvi]} +instance _forall_ + [a_rvk] + {PrelBase.Show{-2i,p-} a_rvk} + => + {PrelBase.Show{-2i,p-} [a_rvk]} +instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}} +instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}} +instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}} +instance _forall_ + [a_rvm b_rvn] + => + {PrelBase.Show{-2i,p-} (a_rvm -> b_rvn)} +PrelBase.$m=={-rcd,p-} :: + _forall_ + [a_rj7] + {PrelBase.Eq{-23,p-} a_rj7} + => + a_rj7 -> a_rj7 -> PrelBase.Bool{-34,p-} +PrelBase.$m/={-rca,p-} :: + _forall_ + [a_rj5] + {PrelBase.Eq{-23,p-} a_rj5} + => + a_rj5 -> a_rj5 -> PrelBase.Bool{-34,p-} +class PrelBase.Eq{-23,p-} rlg_rj3 where { + == :: + rlg_rj3 -> rlg_rj3 -> PrelBase.Bool{-34,p-}; + /= :: + rlg_rj3 -> rlg_rj3 -> PrelBase.Bool{-34,p-}; + } +PrelBase.$mshowsPrec{-rcz,p-} :: + _forall_ + [a_rj1] + {PrelBase.Show{-2i,p-} a_rj1} + => + PrelBase.Int{-3g,p-} + -> a_rj1 -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-} +type PrelBase.String{-rdj,p-} = + [PrelBase.Char{-38,p-}] +PrelBase.$mshowList{-rcy,p-} :: + _forall_ + [a_riY] + {PrelBase.Show{-2i,p-} a_riY} + => + [a_riY] -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-} +class PrelBase.Show{-2i,p-} riq_riW where { + showsPrec :: + PrelBase.Int{-3g,p-} + -> riq_riW -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-}; + showList :: + [riq_riW] -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-}; + } +PrelBase.$m+{-rc7,p-} :: + _forall_ + [a_riU] + {PrelBase.Num{-2c,p-} a_riU} + => + a_riU -> a_riU -> a_riU +PrelBase.$m-{-rc9,p-} :: + _forall_ + [a_riS] + {PrelBase.Num{-2c,p-} a_riS} + => + a_riS -> a_riS -> a_riS +PrelBase.$m*{-rc6,p-} :: + _forall_ + [a_riQ] + {PrelBase.Num{-2c,p-} a_riQ} + => + a_riQ -> a_riQ -> a_riQ +PrelBase.$mnegate{-rcw,p-} :: + _forall_ [a_riO] {PrelBase.Num{-2c,p-} a_riO} => a_riO -> a_riO +PrelBase.$mabs{-rci,p-} :: + _forall_ [a_riM] {PrelBase.Num{-2c,p-} a_riM} => a_riM -> a_riM +PrelBase.$msignum{-rcA,p-} :: + _forall_ [a_riK] {PrelBase.Num{-2c,p-} a_riK} => a_riK -> a_riK +PrelBase.$mfromInteger{-rcq,p-} :: + _forall_ + [a_riI] + {PrelBase.Num{-2c,p-} a_riI} + => + PrelBase.Integer{-3h,p-} -> a_riI +PrelBase.$mfromInt{-rcp,p-} :: + _forall_ + [a_riG] + {PrelBase.Num{-2c,p-} a_riG} + => + PrelBase.Int{-3g,p-} -> a_riG +class {PrelBase.Eq{-23,p-} riC_riE, PrelBase.Show{-2i,p-} riC_riE, PrelBase.Eval{-24,p-} riC_riE} => PrelBase.Num{-2c,p-} riC_riE where { + + :: + riC_riE -> riC_riE -> riC_riE; + - :: + riC_riE -> riC_riE -> riC_riE; + * :: + riC_riE -> riC_riE -> riC_riE; + negate :: + riC_riE -> riC_riE; + abs :: + riC_riE -> riC_riE; + signum :: + riC_riE -> riC_riE; + fromInteger :: + PrelBase.Integer{-3h,p-} -> riC_riE; + fromInt :: + PrelBase.Int{-3g,p-} -> riC_riE; + } +class PrelBase.Eval{-24,p-} rk6_riC +{- nonrec -} +f{-r3w,x-} + x_r3n = x_r3n +instance {FOO{-r3y,x-} Foo{-r3A,x-}} where + [] + op_r3q + x_r3s = 42 +class FOO{-r3y,x-} a_r3v where { + op :: + a_r3v -> PrelBase.Int{-3g,i-}; + } +data Foo{-r3A,x-} = + MkFoo{-r3z,x-} diff --git a/ghc/compiler/tests/rename/timing001.hs b/ghc/compiler/tests/rename/timing001.hs index 06fc56a..ab20102 100644 --- a/ghc/compiler/tests/rename/timing001.hs +++ b/ghc/compiler/tests/rename/timing001.hs @@ -1,5 +1,6 @@ --!!! 500 defns chained together at the top-level - +module Main(main) where +main = undefined a000 = a001 a001 = a002 a002 = a003 diff --git a/ghc/compiler/tests/rename/timing001.stderr b/ghc/compiler/tests/rename/timing001.stderr index e69de29..0818c55 100644 --- a/ghc/compiler/tests/rename/timing001.stderr +++ b/ghc/compiler/tests/rename/timing001.stderr @@ -0,0 +1,1518 @@ +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 14 read + 1 newtype decls imported (of which 1 abstractly), out of 1 read + 0 type synonym decls imported, out of 6 read + 1 value signatures imported, out of 1200 read + 0 instance decls imported, out of 130 read + + +================================================================================ +Renamer: +module Main where +newtype IOBase.IO{-3e,p-} rAg_r11m = +Prelude.undefined{-rbg,p-} :: + _forall_ [a_rAt] => a_rAt +{- nonrec -} +a499{-rer,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a498{-res,l-} + = a499{-rer,l-} +{- nonrec -} +a497{-ret,l-} + = a498{-res,l-} +{- nonrec -} +a496{-reu,l-} + = a497{-ret,l-} +{- nonrec -} +a495{-rev,l-} + = a496{-reu,l-} +{- nonrec -} +a494{-rew,l-} + = a495{-rev,l-} +{- nonrec -} +a493{-rex,l-} + = a494{-rew,l-} +{- nonrec -} +a492{-rey,l-} + = a493{-rex,l-} +{- nonrec -} +a491{-rez,l-} + = a492{-rey,l-} +{- nonrec -} +a490{-reA,l-} + = a491{-rez,l-} +{- nonrec -} +a489{-reB,l-} + = a490{-reA,l-} +{- nonrec -} +a488{-reC,l-} + = a489{-reB,l-} +{- nonrec -} +a487{-reD,l-} + = a488{-reC,l-} +{- nonrec -} +a486{-reE,l-} + = a487{-reD,l-} +{- nonrec -} +a485{-reF,l-} + = a486{-reE,l-} +{- nonrec -} +a484{-reG,l-} + = a485{-reF,l-} +{- nonrec -} +a483{-reH,l-} + = a484{-reG,l-} +{- nonrec -} +a482{-reI,l-} + = a483{-reH,l-} +{- nonrec -} +a481{-reJ,l-} + = a482{-reI,l-} +{- nonrec -} +a480{-reK,l-} + = a481{-reJ,l-} +{- nonrec -} +a479{-reL,l-} + = a480{-reK,l-} +{- nonrec -} +a478{-reM,l-} + = a479{-reL,l-} +{- nonrec -} +a477{-reN,l-} + = a478{-reM,l-} +{- nonrec -} +a476{-reO,l-} + = a477{-reN,l-} +{- nonrec -} +a475{-reP,l-} + = a476{-reO,l-} +{- nonrec -} +a474{-reQ,l-} + = a475{-reP,l-} +{- nonrec -} +a473{-reR,l-} + = a474{-reQ,l-} +{- nonrec -} +a472{-reS,l-} + = a473{-reR,l-} +{- nonrec -} +a471{-reT,l-} + = a472{-reS,l-} +{- nonrec -} +a470{-reU,l-} + = a471{-reT,l-} +{- nonrec -} +a469{-reV,l-} + = a470{-reU,l-} +{- nonrec -} +a468{-reW,l-} + = a469{-reV,l-} +{- nonrec -} +a467{-reX,l-} + = a468{-reW,l-} +{- nonrec -} +a466{-reY,l-} + = a467{-reX,l-} +{- nonrec -} +a465{-reZ,l-} + = a466{-reY,l-} +{- nonrec -} +a464{-rf0,l-} + = a465{-reZ,l-} +{- nonrec -} +a463{-rf1,l-} + = a464{-rf0,l-} +{- nonrec -} +a462{-rf2,l-} + = a463{-rf1,l-} +{- nonrec -} +a461{-rf3,l-} + = a462{-rf2,l-} +{- nonrec -} +a460{-rf4,l-} + = a461{-rf3,l-} +{- nonrec -} +a459{-rf5,l-} + = a460{-rf4,l-} +{- nonrec -} +a458{-rf6,l-} + = a459{-rf5,l-} +{- nonrec -} +a457{-rf7,l-} + = a458{-rf6,l-} +{- nonrec -} +a456{-rf8,l-} + = a457{-rf7,l-} +{- nonrec -} +a455{-rf9,l-} + = a456{-rf8,l-} +{- nonrec -} +a454{-rfa,l-} + = a455{-rf9,l-} +{- nonrec -} +a453{-rfb,l-} + = a454{-rfa,l-} +{- nonrec -} +a452{-rfc,l-} + = a453{-rfb,l-} +{- nonrec -} +a451{-rfd,l-} + = a452{-rfc,l-} +{- nonrec -} +a450{-rfe,l-} + = a451{-rfd,l-} +{- nonrec -} +a449{-rff,l-} + = a450{-rfe,l-} +{- nonrec -} +a448{-rfg,l-} + = a449{-rff,l-} +{- nonrec -} +a447{-rfh,l-} + = a448{-rfg,l-} +{- nonrec -} +a446{-rfi,l-} + = a447{-rfh,l-} +{- nonrec -} +a445{-rfj,l-} + = a446{-rfi,l-} +{- nonrec -} +a444{-rfk,l-} + = a445{-rfj,l-} +{- nonrec -} +a443{-rfl,l-} + = a444{-rfk,l-} +{- nonrec -} +a442{-rfm,l-} + = a443{-rfl,l-} +{- nonrec -} +a441{-rfn,l-} + = a442{-rfm,l-} +{- nonrec -} +a440{-rfo,l-} + = a441{-rfn,l-} +{- nonrec -} +a439{-rfp,l-} + = a440{-rfo,l-} +{- nonrec -} +a438{-rfq,l-} + = a439{-rfp,l-} +{- nonrec -} +a437{-rfr,l-} + = a438{-rfq,l-} +{- nonrec -} +a436{-rfs,l-} + = a437{-rfr,l-} +{- nonrec -} +a435{-rft,l-} + = a436{-rfs,l-} +{- nonrec -} +a434{-rfu,l-} + = a435{-rft,l-} +{- nonrec -} +a433{-rfv,l-} + = a434{-rfu,l-} +{- nonrec -} +a432{-rfw,l-} + = a433{-rfv,l-} +{- nonrec -} +a431{-rfx,l-} + = a432{-rfw,l-} +{- nonrec -} +a430{-rfy,l-} + = a431{-rfx,l-} +{- nonrec -} +a429{-rfz,l-} + = a430{-rfy,l-} +{- nonrec -} +a428{-rfA,l-} + = a429{-rfz,l-} +{- nonrec -} +a427{-rfB,l-} + = a428{-rfA,l-} +{- nonrec -} +a426{-rfC,l-} + = a427{-rfB,l-} +{- nonrec -} +a425{-rfD,l-} + = a426{-rfC,l-} +{- nonrec -} +a424{-rfE,l-} + = a425{-rfD,l-} +{- nonrec -} +a423{-rfF,l-} + = a424{-rfE,l-} +{- nonrec -} +a422{-rfG,l-} + = a423{-rfF,l-} +{- nonrec -} +a421{-rfH,l-} + = a422{-rfG,l-} +{- nonrec -} +a420{-rfI,l-} + = a421{-rfH,l-} +{- nonrec -} +a419{-rfJ,l-} + = a420{-rfI,l-} +{- nonrec -} +a418{-rfK,l-} + = a419{-rfJ,l-} +{- nonrec -} +a417{-rfL,l-} + = a418{-rfK,l-} +{- nonrec -} +a416{-rfM,l-} + = a417{-rfL,l-} +{- nonrec -} +a415{-rfN,l-} + = a416{-rfM,l-} +{- nonrec -} +a414{-rfO,l-} + = a415{-rfN,l-} +{- nonrec -} +a413{-rfP,l-} + = a414{-rfO,l-} +{- nonrec -} +a412{-rfQ,l-} + = a413{-rfP,l-} +{- nonrec -} +a411{-rfR,l-} + = a412{-rfQ,l-} +{- nonrec -} +a410{-rfS,l-} + = a411{-rfR,l-} +{- nonrec -} +a409{-rfT,l-} + = a410{-rfS,l-} +{- nonrec -} +a408{-rfU,l-} + = a409{-rfT,l-} +{- nonrec -} +a407{-rfV,l-} + = a408{-rfU,l-} +{- nonrec -} +a406{-rfW,l-} + = a407{-rfV,l-} +{- nonrec -} +a405{-rfX,l-} + = a406{-rfW,l-} +{- nonrec -} +a404{-rfY,l-} + = a405{-rfX,l-} +{- nonrec -} +a403{-rfZ,l-} + = a404{-rfY,l-} +{- nonrec -} +a402{-rg0,l-} + = a403{-rfZ,l-} +{- nonrec -} +a401{-rg1,l-} + = a402{-rg0,l-} +{- nonrec -} +a400{-rg2,l-} + = a401{-rg1,l-} +{- nonrec -} +a399{-rg3,l-} + = a400{-rg2,l-} +{- nonrec -} +a398{-rg4,l-} + = a399{-rg3,l-} +{- nonrec -} +a397{-rg5,l-} + = a398{-rg4,l-} +{- nonrec -} +a396{-rg6,l-} + = a397{-rg5,l-} +{- nonrec -} +a395{-rg7,l-} + = a396{-rg6,l-} +{- nonrec -} +a394{-rg8,l-} + = a395{-rg7,l-} +{- nonrec -} +a393{-rg9,l-} + = a394{-rg8,l-} +{- nonrec -} +a392{-rga,l-} + = a393{-rg9,l-} +{- nonrec -} +a391{-rgb,l-} + = a392{-rga,l-} +{- nonrec -} +a390{-rgc,l-} + = a391{-rgb,l-} +{- nonrec -} +a389{-rgd,l-} + = a390{-rgc,l-} +{- nonrec -} +a388{-rge,l-} + = a389{-rgd,l-} +{- nonrec -} +a387{-rgf,l-} + = a388{-rge,l-} +{- nonrec -} +a386{-rgg,l-} + = a387{-rgf,l-} +{- nonrec -} +a385{-rgh,l-} + = a386{-rgg,l-} +{- nonrec -} +a384{-rgi,l-} + = a385{-rgh,l-} +{- nonrec -} +a383{-rgj,l-} + = a384{-rgi,l-} +{- nonrec -} +a382{-rgk,l-} + = a383{-rgj,l-} +{- nonrec -} +a381{-rgl,l-} + = a382{-rgk,l-} +{- nonrec -} +a380{-rgm,l-} + = a381{-rgl,l-} +{- nonrec -} +a379{-rgn,l-} + = a380{-rgm,l-} +{- nonrec -} +a378{-rgo,l-} + = a379{-rgn,l-} +{- nonrec -} +a377{-rgp,l-} + = a378{-rgo,l-} +{- nonrec -} +a376{-rgq,l-} + = a377{-rgp,l-} +{- nonrec -} +a375{-rgr,l-} + = a376{-rgq,l-} +{- nonrec -} +a374{-rgs,l-} + = a375{-rgr,l-} +{- nonrec -} +a373{-rgt,l-} + = a374{-rgs,l-} +{- nonrec -} +a372{-rgu,l-} + = a373{-rgt,l-} +{- nonrec -} +a371{-rgv,l-} + = a372{-rgu,l-} +{- nonrec -} +a370{-rgw,l-} + = a371{-rgv,l-} +{- nonrec -} +a369{-rgx,l-} + = a370{-rgw,l-} +{- nonrec -} +a368{-rgy,l-} + = a369{-rgx,l-} +{- nonrec -} +a367{-rgz,l-} + = a368{-rgy,l-} +{- nonrec -} +a366{-rgA,l-} + = a367{-rgz,l-} +{- nonrec -} +a365{-rgB,l-} + = a366{-rgA,l-} +{- nonrec -} +a364{-rgC,l-} + = a365{-rgB,l-} +{- nonrec -} +a363{-rgD,l-} + = a364{-rgC,l-} +{- nonrec -} +a362{-rgE,l-} + = a363{-rgD,l-} +{- nonrec -} +a361{-rgF,l-} + = a362{-rgE,l-} +{- nonrec -} +a360{-rgG,l-} + = a361{-rgF,l-} +{- nonrec -} +a359{-rgH,l-} + = a360{-rgG,l-} +{- nonrec -} +a358{-rgI,l-} + = a359{-rgH,l-} +{- nonrec -} +a357{-rgJ,l-} + = a358{-rgI,l-} +{- nonrec -} +a356{-rgK,l-} + = a357{-rgJ,l-} +{- nonrec -} +a355{-rgL,l-} + = a356{-rgK,l-} +{- nonrec -} +a354{-rgM,l-} + = a355{-rgL,l-} +{- nonrec -} +a353{-rgN,l-} + = a354{-rgM,l-} +{- nonrec -} +a352{-rgO,l-} + = a353{-rgN,l-} +{- nonrec -} +a351{-rgP,l-} + = a352{-rgO,l-} +{- nonrec -} +a350{-rgQ,l-} + = a351{-rgP,l-} +{- nonrec -} +a349{-rgR,l-} + = a350{-rgQ,l-} +{- nonrec -} +a348{-rgS,l-} + = a349{-rgR,l-} +{- nonrec -} +a347{-rgT,l-} + = a348{-rgS,l-} +{- nonrec -} +a346{-rgU,l-} + = a347{-rgT,l-} +{- nonrec -} +a345{-rgV,l-} + = a346{-rgU,l-} +{- nonrec -} +a344{-rgW,l-} + = a345{-rgV,l-} +{- nonrec -} +a343{-rgX,l-} + = a344{-rgW,l-} +{- nonrec -} +a342{-rgY,l-} + = a343{-rgX,l-} +{- nonrec -} +a341{-rgZ,l-} + = a342{-rgY,l-} +{- nonrec -} +a340{-rh0,l-} + = a341{-rgZ,l-} +{- nonrec -} +a339{-rh1,l-} + = a340{-rh0,l-} +{- nonrec -} +a338{-rh2,l-} + = a339{-rh1,l-} +{- nonrec -} +a337{-rh3,l-} + = a338{-rh2,l-} +{- nonrec -} +a336{-rh4,l-} + = a337{-rh3,l-} +{- nonrec -} +a335{-rh5,l-} + = a336{-rh4,l-} +{- nonrec -} +a334{-rh6,l-} + = a335{-rh5,l-} +{- nonrec -} +a333{-rh7,l-} + = a334{-rh6,l-} +{- nonrec -} +a332{-rh8,l-} + = a333{-rh7,l-} +{- nonrec -} +a331{-rh9,l-} + = a332{-rh8,l-} +{- nonrec -} +a330{-rha,l-} + = a331{-rh9,l-} +{- nonrec -} +a329{-rhb,l-} + = a330{-rha,l-} +{- nonrec -} +a328{-rhc,l-} + = a329{-rhb,l-} +{- nonrec -} +a327{-rhd,l-} + = a328{-rhc,l-} +{- nonrec -} +a326{-rhe,l-} + = a327{-rhd,l-} +{- nonrec -} +a325{-rhf,l-} + = a326{-rhe,l-} +{- nonrec -} +a324{-rhg,l-} + = a325{-rhf,l-} +{- nonrec -} +a323{-rhh,l-} + = a324{-rhg,l-} +{- nonrec -} +a322{-rhi,l-} + = a323{-rhh,l-} +{- nonrec -} +a321{-rhj,l-} + = a322{-rhi,l-} +{- nonrec -} +a320{-rhk,l-} + = a321{-rhj,l-} +{- nonrec -} +a319{-rhl,l-} + = a320{-rhk,l-} +{- nonrec -} +a318{-rhm,l-} + = a319{-rhl,l-} +{- nonrec -} +a317{-rhn,l-} + = a318{-rhm,l-} +{- nonrec -} +a316{-rho,l-} + = a317{-rhn,l-} +{- nonrec -} +a315{-rhp,l-} + = a316{-rho,l-} +{- nonrec -} +a314{-rhq,l-} + = a315{-rhp,l-} +{- nonrec -} +a313{-rhr,l-} + = a314{-rhq,l-} +{- nonrec -} +a312{-rhs,l-} + = a313{-rhr,l-} +{- nonrec -} +a311{-rht,l-} + = a312{-rhs,l-} +{- nonrec -} +a310{-rhu,l-} + = a311{-rht,l-} +{- nonrec -} +a309{-rhv,l-} + = a310{-rhu,l-} +{- nonrec -} +a308{-rhw,l-} + = a309{-rhv,l-} +{- nonrec -} +a307{-rhx,l-} + = a308{-rhw,l-} +{- nonrec -} +a306{-rhy,l-} + = a307{-rhx,l-} +{- nonrec -} +a305{-rhz,l-} + = a306{-rhy,l-} +{- nonrec -} +a304{-rhA,l-} + = a305{-rhz,l-} +{- nonrec -} +a303{-rhB,l-} + = a304{-rhA,l-} +{- nonrec -} +a302{-rhC,l-} + = a303{-rhB,l-} +{- nonrec -} +a301{-rhD,l-} + = a302{-rhC,l-} +{- nonrec -} +a300{-rhE,l-} + = a301{-rhD,l-} +{- nonrec -} +a299{-rhF,l-} + = a300{-rhE,l-} +{- nonrec -} +a298{-rhG,l-} + = a299{-rhF,l-} +{- nonrec -} +a297{-rhH,l-} + = a298{-rhG,l-} +{- nonrec -} +a296{-rhI,l-} + = a297{-rhH,l-} +{- nonrec -} +a295{-rhJ,l-} + = a296{-rhI,l-} +{- nonrec -} +a294{-rhK,l-} + = a295{-rhJ,l-} +{- nonrec -} +a293{-rhL,l-} + = a294{-rhK,l-} +{- nonrec -} +a292{-rhM,l-} + = a293{-rhL,l-} +{- nonrec -} +a291{-rhN,l-} + = a292{-rhM,l-} +{- nonrec -} +a290{-rhO,l-} + = a291{-rhN,l-} +{- nonrec -} +a289{-rhP,l-} + = a290{-rhO,l-} +{- nonrec -} +a288{-rhQ,l-} + = a289{-rhP,l-} +{- nonrec -} +a287{-rhR,l-} + = a288{-rhQ,l-} +{- nonrec -} +a286{-rhS,l-} + = a287{-rhR,l-} +{- nonrec -} +a285{-rhT,l-} + = a286{-rhS,l-} +{- nonrec -} +a284{-rhU,l-} + = a285{-rhT,l-} +{- nonrec -} +a283{-rhV,l-} + = a284{-rhU,l-} +{- nonrec -} +a282{-rhW,l-} + = a283{-rhV,l-} +{- nonrec -} +a281{-rhX,l-} + = a282{-rhW,l-} +{- nonrec -} +a280{-rhY,l-} + = a281{-rhX,l-} +{- nonrec -} +a279{-rhZ,l-} + = a280{-rhY,l-} +{- nonrec -} +a278{-ri0,l-} + = a279{-rhZ,l-} +{- nonrec -} +a277{-ri1,l-} + = a278{-ri0,l-} +{- nonrec -} +a276{-ri2,l-} + = a277{-ri1,l-} +{- nonrec -} +a275{-ri3,l-} + = a276{-ri2,l-} +{- nonrec -} +a274{-ri4,l-} + = a275{-ri3,l-} +{- nonrec -} +a273{-ri5,l-} + = a274{-ri4,l-} +{- nonrec -} +a272{-ri6,l-} + = a273{-ri5,l-} +{- nonrec -} +a271{-ri7,l-} + = a272{-ri6,l-} +{- nonrec -} +a270{-ri8,l-} + = a271{-ri7,l-} +{- nonrec -} +a269{-ri9,l-} + = a270{-ri8,l-} +{- nonrec -} +a268{-ria,l-} + = a269{-ri9,l-} +{- nonrec -} +a267{-rib,l-} + = a268{-ria,l-} +{- nonrec -} +a266{-ric,l-} + = a267{-rib,l-} +{- nonrec -} +a265{-rid,l-} + = a266{-ric,l-} +{- nonrec -} +a264{-rie,l-} + = a265{-rid,l-} +{- nonrec -} +a263{-rif,l-} + = a264{-rie,l-} +{- nonrec -} +a262{-rig,l-} + = a263{-rif,l-} +{- nonrec -} +a261{-rih,l-} + = a262{-rig,l-} +{- nonrec -} +a260{-rii,l-} + = a261{-rih,l-} +{- nonrec -} +a259{-rij,l-} + = a260{-rii,l-} +{- nonrec -} +a258{-rik,l-} + = a259{-rij,l-} +{- nonrec -} +a257{-ril,l-} + = a258{-rik,l-} +{- nonrec -} +a256{-rim,l-} + = a257{-ril,l-} +{- nonrec -} +a255{-rin,l-} + = a256{-rim,l-} +{- nonrec -} +a254{-rio,l-} + = a255{-rin,l-} +{- nonrec -} +a253{-rip,l-} + = a254{-rio,l-} +{- nonrec -} +a252{-riq,l-} + = a253{-rip,l-} +{- nonrec -} +a251{-rir,l-} + = a252{-riq,l-} +{- nonrec -} +a250{-ris,l-} + = a251{-rir,l-} +{- nonrec -} +a249{-rit,l-} + = a250{-ris,l-} +{- nonrec -} +a248{-riu,l-} + = a249{-rit,l-} +{- nonrec -} +a247{-riv,l-} + = a248{-riu,l-} +{- nonrec -} +a246{-riw,l-} + = a247{-riv,l-} +{- nonrec -} +a245{-rix,l-} + = a246{-riw,l-} +{- nonrec -} +a244{-riy,l-} + = a245{-rix,l-} +{- nonrec -} +a243{-riz,l-} + = a244{-riy,l-} +{- nonrec -} +a242{-riA,l-} + = a243{-riz,l-} +{- nonrec -} +a241{-riB,l-} + = a242{-riA,l-} +{- nonrec -} +a240{-riC,l-} + = a241{-riB,l-} +{- nonrec -} +a239{-riD,l-} + = a240{-riC,l-} +{- nonrec -} +a238{-riE,l-} + = a239{-riD,l-} +{- nonrec -} +a237{-riF,l-} + = a238{-riE,l-} +{- nonrec -} +a236{-riG,l-} + = a237{-riF,l-} +{- nonrec -} +a235{-riH,l-} + = a236{-riG,l-} +{- nonrec -} +a234{-riI,l-} + = a235{-riH,l-} +{- nonrec -} +a233{-riJ,l-} + = a234{-riI,l-} +{- nonrec -} +a232{-riK,l-} + = a233{-riJ,l-} +{- nonrec -} +a231{-riL,l-} + = a232{-riK,l-} +{- nonrec -} +a230{-riM,l-} + = a231{-riL,l-} +{- nonrec -} +a229{-riN,l-} + = a230{-riM,l-} +{- nonrec -} +a228{-riO,l-} + = a229{-riN,l-} +{- nonrec -} +a227{-riP,l-} + = a228{-riO,l-} +{- nonrec -} +a226{-riQ,l-} + = a227{-riP,l-} +{- nonrec -} +a225{-riR,l-} + = a226{-riQ,l-} +{- nonrec -} +a224{-riS,l-} + = a225{-riR,l-} +{- nonrec -} +a223{-riT,l-} + = a224{-riS,l-} +{- nonrec -} +a222{-riU,l-} + = a223{-riT,l-} +{- nonrec -} +a221{-riV,l-} + = a222{-riU,l-} +{- nonrec -} +a220{-riW,l-} + = a221{-riV,l-} +{- nonrec -} +a219{-riX,l-} + = a220{-riW,l-} +{- nonrec -} +a218{-riY,l-} + = a219{-riX,l-} +{- nonrec -} +a217{-riZ,l-} + = a218{-riY,l-} +{- nonrec -} +a216{-rj0,l-} + = a217{-riZ,l-} +{- nonrec -} +a215{-rj1,l-} + = a216{-rj0,l-} +{- nonrec -} +a214{-rj2,l-} + = a215{-rj1,l-} +{- nonrec -} +a213{-rj3,l-} + = a214{-rj2,l-} +{- nonrec -} +a212{-rj4,l-} + = a213{-rj3,l-} +{- nonrec -} +a211{-rj5,l-} + = a212{-rj4,l-} +{- nonrec -} +a210{-rj6,l-} + = a211{-rj5,l-} +{- nonrec -} +a209{-rj7,l-} + = a210{-rj6,l-} +{- nonrec -} +a208{-rj8,l-} + = a209{-rj7,l-} +{- nonrec -} +a207{-rj9,l-} + = a208{-rj8,l-} +{- nonrec -} +a206{-rja,l-} + = a207{-rj9,l-} +{- nonrec -} +a205{-rjb,l-} + = a206{-rja,l-} +{- nonrec -} +a204{-rjc,l-} + = a205{-rjb,l-} +{- nonrec -} +a203{-rjd,l-} + = a204{-rjc,l-} +{- nonrec -} +a202{-rje,l-} + = a203{-rjd,l-} +{- nonrec -} +a201{-rjf,l-} + = a202{-rje,l-} +{- nonrec -} +a200{-rjg,l-} + = a201{-rjf,l-} +{- nonrec -} +a199{-rjh,l-} + = a200{-rjg,l-} +{- nonrec -} +a198{-rji,l-} + = a199{-rjh,l-} +{- nonrec -} +a197{-rjj,l-} + = a198{-rji,l-} +{- nonrec -} +a196{-rjk,l-} + = a197{-rjj,l-} +{- nonrec -} +a195{-rjl,l-} + = a196{-rjk,l-} +{- nonrec -} +a194{-rjm,l-} + = a195{-rjl,l-} +{- nonrec -} +a193{-rjn,l-} + = a194{-rjm,l-} +{- nonrec -} +a192{-rjo,l-} + = a193{-rjn,l-} +{- nonrec -} +a191{-rjp,l-} + = a192{-rjo,l-} +{- nonrec -} +a190{-rjq,l-} + = a191{-rjp,l-} +{- nonrec -} +a189{-rjr,l-} + = a190{-rjq,l-} +{- nonrec -} +a188{-rjs,l-} + = a189{-rjr,l-} +{- nonrec -} +a187{-rjt,l-} + = a188{-rjs,l-} +{- nonrec -} +a186{-rju,l-} + = a187{-rjt,l-} +{- nonrec -} +a185{-rjv,l-} + = a186{-rju,l-} +{- nonrec -} +a184{-rjw,l-} + = a185{-rjv,l-} +{- nonrec -} +a183{-rjx,l-} + = a184{-rjw,l-} +{- nonrec -} +a182{-rjy,l-} + = a183{-rjx,l-} +{- nonrec -} +a181{-rjz,l-} + = a182{-rjy,l-} +{- nonrec -} +a180{-rjA,l-} + = a181{-rjz,l-} +{- nonrec -} +a179{-rjB,l-} + = a180{-rjA,l-} +{- nonrec -} +a178{-rjC,l-} + = a179{-rjB,l-} +{- nonrec -} +a177{-rjD,l-} + = a178{-rjC,l-} +{- nonrec -} +a176{-rjE,l-} + = a177{-rjD,l-} +{- nonrec -} +a175{-rjF,l-} + = a176{-rjE,l-} +{- nonrec -} +a174{-rjG,l-} + = a175{-rjF,l-} +{- nonrec -} +a173{-rjH,l-} + = a174{-rjG,l-} +{- nonrec -} +a172{-rjI,l-} + = a173{-rjH,l-} +{- nonrec -} +a171{-rjJ,l-} + = a172{-rjI,l-} +{- nonrec -} +a170{-rjK,l-} + = a171{-rjJ,l-} +{- nonrec -} +a169{-rjL,l-} + = a170{-rjK,l-} +{- nonrec -} +a168{-rjM,l-} + = a169{-rjL,l-} +{- nonrec -} +a167{-rjN,l-} + = a168{-rjM,l-} +{- nonrec -} +a166{-rjO,l-} + = a167{-rjN,l-} +{- nonrec -} +a165{-rjP,l-} + = a166{-rjO,l-} +{- nonrec -} +a164{-rjQ,l-} + = a165{-rjP,l-} +{- nonrec -} +a163{-rjR,l-} + = a164{-rjQ,l-} +{- nonrec -} +a162{-rjS,l-} + = a163{-rjR,l-} +{- nonrec -} +a161{-rjT,l-} + = a162{-rjS,l-} +{- nonrec -} +a160{-rjU,l-} + = a161{-rjT,l-} +{- nonrec -} +a159{-rjV,l-} + = a160{-rjU,l-} +{- nonrec -} +a158{-rjW,l-} + = a159{-rjV,l-} +{- nonrec -} +a157{-rjX,l-} + = a158{-rjW,l-} +{- nonrec -} +a156{-rjY,l-} + = a157{-rjX,l-} +{- nonrec -} +a155{-rjZ,l-} + = a156{-rjY,l-} +{- nonrec -} +a154{-rk0,l-} + = a155{-rjZ,l-} +{- nonrec -} +a153{-rk1,l-} + = a154{-rk0,l-} +{- nonrec -} +a152{-rk2,l-} + = a153{-rk1,l-} +{- nonrec -} +a151{-rk3,l-} + = a152{-rk2,l-} +{- nonrec -} +a150{-rk4,l-} + = a151{-rk3,l-} +{- nonrec -} +a149{-rk5,l-} + = a150{-rk4,l-} +{- nonrec -} +a148{-rk6,l-} + = a149{-rk5,l-} +{- nonrec -} +a147{-rk7,l-} + = a148{-rk6,l-} +{- nonrec -} +a146{-rk8,l-} + = a147{-rk7,l-} +{- nonrec -} +a145{-rk9,l-} + = a146{-rk8,l-} +{- nonrec -} +a144{-rka,l-} + = a145{-rk9,l-} +{- nonrec -} +a143{-rkb,l-} + = a144{-rka,l-} +{- nonrec -} +a142{-rkc,l-} + = a143{-rkb,l-} +{- nonrec -} +a141{-rkd,l-} + = a142{-rkc,l-} +{- nonrec -} +a140{-rke,l-} + = a141{-rkd,l-} +{- nonrec -} +a139{-rkf,l-} + = a140{-rke,l-} +{- nonrec -} +a138{-rkg,l-} + = a139{-rkf,l-} +{- nonrec -} +a137{-rkh,l-} + = a138{-rkg,l-} +{- nonrec -} +a136{-rki,l-} + = a137{-rkh,l-} +{- nonrec -} +a135{-rkj,l-} + = a136{-rki,l-} +{- nonrec -} +a134{-rkk,l-} + = a135{-rkj,l-} +{- nonrec -} +a133{-rkl,l-} + = a134{-rkk,l-} +{- nonrec -} +a132{-rkm,l-} + = a133{-rkl,l-} +{- nonrec -} +a131{-rkn,l-} + = a132{-rkm,l-} +{- nonrec -} +a130{-rko,l-} + = a131{-rkn,l-} +{- nonrec -} +a129{-rkp,l-} + = a130{-rko,l-} +{- nonrec -} +a128{-rkq,l-} + = a129{-rkp,l-} +{- nonrec -} +a127{-rkr,l-} + = a128{-rkq,l-} +{- nonrec -} +a126{-rks,l-} + = a127{-rkr,l-} +{- nonrec -} +a125{-rkt,l-} + = a126{-rks,l-} +{- nonrec -} +a124{-rku,l-} + = a125{-rkt,l-} +{- nonrec -} +a123{-rkv,l-} + = a124{-rku,l-} +{- nonrec -} +a122{-rkw,l-} + = a123{-rkv,l-} +{- nonrec -} +a121{-rkx,l-} + = a122{-rkw,l-} +{- nonrec -} +a120{-rky,l-} + = a121{-rkx,l-} +{- nonrec -} +a119{-rkz,l-} + = a120{-rky,l-} +{- nonrec -} +a118{-rkA,l-} + = a119{-rkz,l-} +{- nonrec -} +a117{-rkB,l-} + = a118{-rkA,l-} +{- nonrec -} +a116{-rkC,l-} + = a117{-rkB,l-} +{- nonrec -} +a115{-rkD,l-} + = a116{-rkC,l-} +{- nonrec -} +a114{-rkE,l-} + = a115{-rkD,l-} +{- nonrec -} +a113{-rkF,l-} + = a114{-rkE,l-} +{- nonrec -} +a112{-rkG,l-} + = a113{-rkF,l-} +{- nonrec -} +a111{-rkH,l-} + = a112{-rkG,l-} +{- nonrec -} +a110{-rkI,l-} + = a111{-rkH,l-} +{- nonrec -} +a109{-rkJ,l-} + = a110{-rkI,l-} +{- nonrec -} +a108{-rkK,l-} + = a109{-rkJ,l-} +{- nonrec -} +a107{-rkL,l-} + = a108{-rkK,l-} +{- nonrec -} +a106{-rkM,l-} + = a107{-rkL,l-} +{- nonrec -} +a105{-rkN,l-} + = a106{-rkM,l-} +{- nonrec -} +a104{-rkO,l-} + = a105{-rkN,l-} +{- nonrec -} +a103{-rkP,l-} + = a104{-rkO,l-} +{- nonrec -} +a102{-rkQ,l-} + = a103{-rkP,l-} +{- nonrec -} +a101{-rkR,l-} + = a102{-rkQ,l-} +{- nonrec -} +a100{-rkS,l-} + = a101{-rkR,l-} +{- nonrec -} +a099{-rkT,l-} + = a100{-rkS,l-} +{- nonrec -} +a098{-rkU,l-} + = a099{-rkT,l-} +{- nonrec -} +a097{-rkV,l-} + = a098{-rkU,l-} +{- nonrec -} +a096{-rkW,l-} + = a097{-rkV,l-} +{- nonrec -} +a095{-rkX,l-} + = a096{-rkW,l-} +{- nonrec -} +a094{-rkY,l-} + = a095{-rkX,l-} +{- nonrec -} +a093{-rkZ,l-} + = a094{-rkY,l-} +{- nonrec -} +a092{-rl0,l-} + = a093{-rkZ,l-} +{- nonrec -} +a091{-rl1,l-} + = a092{-rl0,l-} +{- nonrec -} +a090{-rl2,l-} + = a091{-rl1,l-} +{- nonrec -} +a089{-rl3,l-} + = a090{-rl2,l-} +{- nonrec -} +a088{-rl4,l-} + = a089{-rl3,l-} +{- nonrec -} +a087{-rl5,l-} + = a088{-rl4,l-} +{- nonrec -} +a086{-rl6,l-} + = a087{-rl5,l-} +{- nonrec -} +a085{-rl7,l-} + = a086{-rl6,l-} +{- nonrec -} +a084{-rl8,l-} + = a085{-rl7,l-} +{- nonrec -} +a083{-rl9,l-} + = a084{-rl8,l-} +{- nonrec -} +a082{-rla,l-} + = a083{-rl9,l-} +{- nonrec -} +a081{-rlb,l-} + = a082{-rla,l-} +{- nonrec -} +a080{-rlc,l-} + = a081{-rlb,l-} +{- nonrec -} +a079{-rld,l-} + = a080{-rlc,l-} +{- nonrec -} +a078{-rle,l-} + = a079{-rld,l-} +{- nonrec -} +a077{-rlf,l-} + = a078{-rle,l-} +{- nonrec -} +a076{-rlg,l-} + = a077{-rlf,l-} +{- nonrec -} +a075{-rlh,l-} + = a076{-rlg,l-} +{- nonrec -} +a074{-rli,l-} + = a075{-rlh,l-} +{- nonrec -} +a073{-rlj,l-} + = a074{-rli,l-} +{- nonrec -} +a072{-rlk,l-} + = a073{-rlj,l-} +{- nonrec -} +a071{-rll,l-} + = a072{-rlk,l-} +{- nonrec -} +a070{-rlm,l-} + = a071{-rll,l-} +{- nonrec -} +a069{-rln,l-} + = a070{-rlm,l-} +{- nonrec -} +a068{-rlo,l-} + = a069{-rln,l-} +{- nonrec -} +a067{-rlp,l-} + = a068{-rlo,l-} +{- nonrec -} +a066{-rlq,l-} + = a067{-rlp,l-} +{- nonrec -} +a065{-rlr,l-} + = a066{-rlq,l-} +{- nonrec -} +a064{-rls,l-} + = a065{-rlr,l-} +{- nonrec -} +a063{-rlt,l-} + = a064{-rls,l-} +{- nonrec -} +a062{-rlu,l-} + = a063{-rlt,l-} +{- nonrec -} +a061{-rlv,l-} + = a062{-rlu,l-} +{- nonrec -} +a060{-rlw,l-} + = a061{-rlv,l-} +{- nonrec -} +a059{-rlx,l-} + = a060{-rlw,l-} +{- nonrec -} +a058{-rly,l-} + = a059{-rlx,l-} +{- nonrec -} +a057{-rlz,l-} + = a058{-rly,l-} +{- nonrec -} +a056{-rlA,l-} + = a057{-rlz,l-} +{- nonrec -} +a055{-rlB,l-} + = a056{-rlA,l-} +{- nonrec -} +a054{-rlC,l-} + = a055{-rlB,l-} +{- nonrec -} +a053{-rlD,l-} + = a054{-rlC,l-} +{- nonrec -} +a052{-rlE,l-} + = a053{-rlD,l-} +{- nonrec -} +a051{-rlF,l-} + = a052{-rlE,l-} +{- nonrec -} +a050{-rlG,l-} + = a051{-rlF,l-} +{- nonrec -} +a049{-rlH,l-} + = a050{-rlG,l-} +{- nonrec -} +a048{-rlI,l-} + = a049{-rlH,l-} +{- nonrec -} +a047{-rlJ,l-} + = a048{-rlI,l-} +{- nonrec -} +a046{-rlK,l-} + = a047{-rlJ,l-} +{- nonrec -} +a045{-rlL,l-} + = a046{-rlK,l-} +{- nonrec -} +a044{-rlM,l-} + = a045{-rlL,l-} +{- nonrec -} +a043{-rlN,l-} + = a044{-rlM,l-} +{- nonrec -} +a042{-rlO,l-} + = a043{-rlN,l-} +{- nonrec -} +a041{-rlP,l-} + = a042{-rlO,l-} +{- nonrec -} +a040{-rlQ,l-} + = a041{-rlP,l-} +{- nonrec -} +a039{-rlR,l-} + = a040{-rlQ,l-} +{- nonrec -} +a038{-rlS,l-} + = a039{-rlR,l-} +{- nonrec -} +a037{-rlT,l-} + = a038{-rlS,l-} +{- nonrec -} +a036{-rlU,l-} + = a037{-rlT,l-} +{- nonrec -} +a035{-rlV,l-} + = a036{-rlU,l-} +{- nonrec -} +a034{-rlW,l-} + = a035{-rlV,l-} +{- nonrec -} +a033{-rlX,l-} + = a034{-rlW,l-} +{- nonrec -} +a032{-rlY,l-} + = a033{-rlX,l-} +{- nonrec -} +a031{-rlZ,l-} + = a032{-rlY,l-} +{- nonrec -} +a030{-rm0,l-} + = a031{-rlZ,l-} +{- nonrec -} +a029{-rm1,l-} + = a030{-rm0,l-} +{- nonrec -} +a028{-rm2,l-} + = a029{-rm1,l-} +{- nonrec -} +a027{-rm3,l-} + = a028{-rm2,l-} +{- nonrec -} +a026{-rm4,l-} + = a027{-rm3,l-} +{- nonrec -} +a025{-rm5,l-} + = a026{-rm4,l-} +{- nonrec -} +a024{-rm6,l-} + = a025{-rm5,l-} +{- nonrec -} +a023{-rm7,l-} + = a024{-rm6,l-} +{- nonrec -} +a022{-rm8,l-} + = a023{-rm7,l-} +{- nonrec -} +a021{-rm9,l-} + = a022{-rm8,l-} +{- nonrec -} +a020{-rma,l-} + = a021{-rm9,l-} +{- nonrec -} +a019{-rmb,l-} + = a020{-rma,l-} +{- nonrec -} +a018{-rmc,l-} + = a019{-rmb,l-} +{- nonrec -} +a017{-rmd,l-} + = a018{-rmc,l-} +{- nonrec -} +a016{-rme,l-} + = a017{-rmd,l-} +{- nonrec -} +a015{-rmf,l-} + = a016{-rme,l-} +{- nonrec -} +a014{-rmg,l-} + = a015{-rmf,l-} +{- nonrec -} +a013{-rmh,l-} + = a014{-rmg,l-} +{- nonrec -} +a012{-rmi,l-} + = a013{-rmh,l-} +{- nonrec -} +a011{-rmj,l-} + = a012{-rmi,l-} +{- nonrec -} +a010{-rmk,l-} + = a011{-rmj,l-} +{- nonrec -} +a009{-rml,l-} + = a010{-rmk,l-} +{- nonrec -} +a008{-rmm,l-} + = a009{-rml,l-} +{- nonrec -} +a007{-rmn,l-} + = a008{-rmm,l-} +{- nonrec -} +a006{-rmo,l-} + = a007{-rmn,l-} +{- nonrec -} +a005{-rmp,l-} + = a006{-rmo,l-} +{- nonrec -} +a004{-rmq,l-} + = a005{-rmp,l-} +{- nonrec -} +a003{-rmr,l-} + = a004{-rmq,l-} +{- nonrec -} +a002{-rms,l-} + = a003{-rmr,l-} +{- nonrec -} +a001{-rmt,l-} + = a002{-rms,l-} +{- nonrec -} +a000{-rmu,l-} + = a001{-rmt,l-} +{- nonrec -} +main{-814,x-} + = Prelude.undefined{-rbg,i-} diff --git a/ghc/compiler/tests/rename/timing002.hs b/ghc/compiler/tests/rename/timing002.hs index 9c7146e..db98718 100644 --- a/ghc/compiler/tests/rename/timing002.hs +++ b/ghc/compiler/tests/rename/timing002.hs @@ -1,5 +1,7 @@ --!!! 500 defns chained together with "where"s +module Main(main) where +main = undefined a500 = let a000 = [] a001 = a000 a002 = a001 diff --git a/ghc/compiler/tests/rename/timing002.stderr b/ghc/compiler/tests/rename/timing002.stderr index e69de29..185a2b6 100644 --- a/ghc/compiler/tests/rename/timing002.stderr +++ b/ghc/compiler/tests/rename/timing002.stderr @@ -0,0 +1,1520 @@ +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 14 read + 1 newtype decls imported (of which 1 abstractly), out of 1 read + 0 type synonym decls imported, out of 6 read + 1 value signatures imported, out of 1200 read + 0 instance decls imported, out of 130 read + + +================================================================================ +Renamer: +module Main where +newtype IOBase.IO{-3e,p-} rAg_rTk = +Prelude.undefined{-r3d,p-} :: + _forall_ [a_rsr] => a_rsr +{- nonrec -} +a500{-r6o,l-} + = let + {- nonrec -} + a000_r6q + = PrelBase.[]{-5i,i-} + {- nonrec -} + a001_r6r + = a000_r6q + {- nonrec -} + a002_r6s + = a001_r6r + {- nonrec -} + a003_r6t + = a002_r6s + {- nonrec -} + a004_r6u + = a003_r6t + {- nonrec -} + a005_r6v + = a004_r6u + {- nonrec -} + a006_r6w + = a005_r6v + {- nonrec -} + a007_r6x + = a006_r6w + {- nonrec -} + a008_r6y + = a007_r6x + {- nonrec -} + a009_r6z + = a008_r6y + {- nonrec -} + a010_r6A + = a009_r6z + {- nonrec -} + a011_r6B + = a010_r6A + {- nonrec -} + a012_r6C + = a011_r6B + {- nonrec -} + a013_r6D + = a012_r6C + {- nonrec -} + a014_r6E + = a013_r6D + {- nonrec -} + a015_r6F + = a014_r6E + {- nonrec -} + a016_r6G + = a015_r6F + {- nonrec -} + a017_r6H + = a016_r6G + {- nonrec -} + a018_r6I + = a017_r6H + {- nonrec -} + a019_r6J + = a018_r6I + {- nonrec -} + a020_r6K + = a019_r6J + {- nonrec -} + a021_r6L + = a020_r6K + {- nonrec -} + a022_r6M + = a021_r6L + {- nonrec -} + a023_r6N + = a022_r6M + {- nonrec -} + a024_r6O + = a023_r6N + {- nonrec -} + a025_r6P + = a024_r6O + {- nonrec -} + a026_r6Q + = a025_r6P + {- nonrec -} + a027_r6R + = a026_r6Q + {- nonrec -} + a028_r6S + = a027_r6R + {- nonrec -} + a029_r6T + = a028_r6S + {- nonrec -} + a030_r6U + = a029_r6T + {- nonrec -} + a031_r6V + = a030_r6U + {- nonrec -} + a032_r6W + = a031_r6V + {- nonrec -} + a033_r6X + = a032_r6W + {- nonrec -} + a034_r6Y + = a033_r6X + {- nonrec -} + a035_r6Z + = a034_r6Y + {- nonrec -} + a036_r70 + = a035_r6Z + {- nonrec -} + a037_r71 + = a036_r70 + {- nonrec -} + a038_r72 + = a037_r71 + {- nonrec -} + a039_r73 + = a038_r72 + {- nonrec -} + a040_r74 + = a039_r73 + {- nonrec -} + a041_r75 + = a040_r74 + {- nonrec -} + a042_r76 + = a041_r75 + {- nonrec -} + a043_r77 + = a042_r76 + {- nonrec -} + a044_r78 + = a043_r77 + {- nonrec -} + a045_r79 + = a044_r78 + {- nonrec -} + a046_r7a + = a045_r79 + {- nonrec -} + a047_r7b + = a046_r7a + {- nonrec -} + a048_r7c + = a047_r7b + {- nonrec -} + a049_r7d + = a048_r7c + {- nonrec -} + a050_r7e + = a049_r7d + {- nonrec -} + a051_r7f + = a050_r7e + {- nonrec -} + a052_r7g + = a051_r7f + {- nonrec -} + a053_r7h + = a052_r7g + {- nonrec -} + a054_r7i + = a053_r7h + {- nonrec -} + a055_r7j + = a054_r7i + {- nonrec -} + a056_r7k + = a055_r7j + {- nonrec -} + a057_r7l + = a056_r7k + {- nonrec -} + a058_r7m + = a057_r7l + {- nonrec -} + a059_r7n + = a058_r7m + {- nonrec -} + a060_r7o + = a059_r7n + {- nonrec -} + a061_r7p + = a060_r7o + {- nonrec -} + a062_r7q + = a061_r7p + {- nonrec -} + a063_r7r + = a062_r7q + {- nonrec -} + a064_r7s + = a063_r7r + {- nonrec -} + a065_r7t + = a064_r7s + {- nonrec -} + a066_r7u + = a065_r7t + {- nonrec -} + a067_r7v + = a066_r7u + {- nonrec -} + a068_r7w + = a067_r7v + {- nonrec -} + a069_r7x + = a068_r7w + {- nonrec -} + a070_r7y + = a069_r7x + {- nonrec -} + a071_r7z + = a070_r7y + {- nonrec -} + a072_r7A + = a071_r7z + {- nonrec -} + a073_r7B + = a072_r7A + {- nonrec -} + a074_r7C + = a073_r7B + {- nonrec -} + a075_r7D + = a074_r7C + {- nonrec -} + a076_r7E + = a075_r7D + {- nonrec -} + a077_r7F + = a076_r7E + {- nonrec -} + a078_r7G + = a077_r7F + {- nonrec -} + a079_r7H + = a078_r7G + {- nonrec -} + a080_r7I + = a079_r7H + {- nonrec -} + a081_r7J + = a080_r7I + {- nonrec -} + a082_r7K + = a081_r7J + {- nonrec -} + a083_r7L + = a082_r7K + {- nonrec -} + a084_r7M + = a083_r7L + {- nonrec -} + a085_r7N + = a084_r7M + {- nonrec -} + a086_r7O + = a085_r7N + {- nonrec -} + a087_r7P + = a086_r7O + {- nonrec -} + a088_r7Q + = a087_r7P + {- nonrec -} + a089_r7R + = a088_r7Q + {- nonrec -} + a090_r7S + = a089_r7R + {- nonrec -} + a091_r7T + = a090_r7S + {- nonrec -} + a092_r7U + = a091_r7T + {- nonrec -} + a093_r7V + = a092_r7U + {- nonrec -} + a094_r7W + = a093_r7V + {- nonrec -} + a095_r7X + = a094_r7W + {- nonrec -} + a096_r7Y + = a095_r7X + {- nonrec -} + a097_r7Z + = a096_r7Y + {- nonrec -} + a098_r80 + = a097_r7Z + {- nonrec -} + a099_r81 + = a098_r80 + {- nonrec -} + a100_r82 + = a099_r81 + {- nonrec -} + a101_r83 + = a100_r82 + {- nonrec -} + a102_r84 + = a101_r83 + {- nonrec -} + a103_r85 + = a102_r84 + {- nonrec -} + a104_r86 + = a103_r85 + {- nonrec -} + a105_r87 + = a104_r86 + {- nonrec -} + a106_r88 + = a105_r87 + {- nonrec -} + a107_r89 + = a106_r88 + {- nonrec -} + a108_r8a + = a107_r89 + {- nonrec -} + a109_r8b + = a108_r8a + {- nonrec -} + a110_r8c + = a109_r8b + {- nonrec -} + a111_r8d + = a110_r8c + {- nonrec -} + a112_r8e + = a111_r8d + {- nonrec -} + a113_r8f + = a112_r8e + {- nonrec -} + a114_r8g + = a113_r8f + {- nonrec -} + a115_r8h + = a114_r8g + {- nonrec -} + a116_r8i + = a115_r8h + {- nonrec -} + a117_r8j + = a116_r8i + {- nonrec -} + a118_r8k + = a117_r8j + {- nonrec -} + a119_r8l + = a118_r8k + {- nonrec -} + a120_r8m + = a119_r8l + {- nonrec -} + a121_r8n + = a120_r8m + {- nonrec -} + a122_r8o + = a121_r8n + {- nonrec -} + a123_r8p + = a122_r8o + {- nonrec -} + a124_r8q + = a123_r8p + {- nonrec -} + a125_r8r + = a124_r8q + {- nonrec -} + a126_r8s + = a125_r8r + {- nonrec -} + a127_r8t + = a126_r8s + {- nonrec -} + a128_r8u + = a127_r8t + {- nonrec -} + a129_r8v + = a128_r8u + {- nonrec -} + a130_r8w + = a129_r8v + {- nonrec -} + a131_r8x + = a130_r8w + {- nonrec -} + a132_r8y + = a131_r8x + {- nonrec -} + a133_r8z + = a132_r8y + {- nonrec -} + a134_r8A + = a133_r8z + {- nonrec -} + a135_r8B + = a134_r8A + {- nonrec -} + a136_r8C + = a135_r8B + {- nonrec -} + a137_r8D + = a136_r8C + {- nonrec -} + a138_r8E + = a137_r8D + {- nonrec -} + a139_r8F + = a138_r8E + {- nonrec -} + a140_r8G + = a139_r8F + {- nonrec -} + a141_r8H + = a140_r8G + {- nonrec -} + a142_r8I + = a141_r8H + {- nonrec -} + a143_r8J + = a142_r8I + {- nonrec -} + a144_r8K + = a143_r8J + {- nonrec -} + a145_r8L + = a144_r8K + {- nonrec -} + a146_r8M + = a145_r8L + {- nonrec -} + a147_r8N + = a146_r8M + {- nonrec -} + a148_r8O + = a147_r8N + {- nonrec -} + a149_r8P + = a148_r8O + {- nonrec -} + a150_r8Q + = a149_r8P + {- nonrec -} + a151_r8R + = a150_r8Q + {- nonrec -} + a152_r8S + = a151_r8R + {- nonrec -} + a153_r8T + = a152_r8S + {- nonrec -} + a154_r8U + = a153_r8T + {- nonrec -} + a155_r8V + = a154_r8U + {- nonrec -} + a156_r8W + = a155_r8V + {- nonrec -} + a157_r8X + = a156_r8W + {- nonrec -} + a158_r8Y + = a157_r8X + {- nonrec -} + a159_r8Z + = a158_r8Y + {- nonrec -} + a160_r90 + = a159_r8Z + {- nonrec -} + a161_r91 + = a160_r90 + {- nonrec -} + a162_r92 + = a161_r91 + {- nonrec -} + a163_r93 + = a162_r92 + {- nonrec -} + a164_r94 + = a163_r93 + {- nonrec -} + a165_r95 + = a164_r94 + {- nonrec -} + a166_r96 + = a165_r95 + {- nonrec -} + a167_r97 + = a166_r96 + {- nonrec -} + a168_r98 + = a167_r97 + {- nonrec -} + a169_r99 + = a168_r98 + {- nonrec -} + a170_r9a + = a169_r99 + {- nonrec -} + a171_r9b + = a170_r9a + {- nonrec -} + a172_r9c + = a171_r9b + {- nonrec -} + a173_r9d + = a172_r9c + {- nonrec -} + a174_r9e + = a173_r9d + {- nonrec -} + a175_r9f + = a174_r9e + {- nonrec -} + a176_r9g + = a175_r9f + {- nonrec -} + a177_r9h + = a176_r9g + {- nonrec -} + a178_r9i + = a177_r9h + {- nonrec -} + a179_r9j + = a178_r9i + {- nonrec -} + a180_r9k + = a179_r9j + {- nonrec -} + a181_r9l + = a180_r9k + {- nonrec -} + a182_r9m + = a181_r9l + {- nonrec -} + a183_r9n + = a182_r9m + {- nonrec -} + a184_r9o + = a183_r9n + {- nonrec -} + a185_r9p + = a184_r9o + {- nonrec -} + a186_r9q + = a185_r9p + {- nonrec -} + a187_r9r + = a186_r9q + {- nonrec -} + a188_r9s + = a187_r9r + {- nonrec -} + a189_r9t + = a188_r9s + {- nonrec -} + a190_r9u + = a189_r9t + {- nonrec -} + a191_r9v + = a190_r9u + {- nonrec -} + a192_r9w + = a191_r9v + {- nonrec -} + a193_r9x + = a192_r9w + {- nonrec -} + a194_r9y + = a193_r9x + {- nonrec -} + a195_r9z + = a194_r9y + {- nonrec -} + a196_r9A + = a195_r9z + {- nonrec -} + a197_r9B + = a196_r9A + {- nonrec -} + a198_r9C + = a197_r9B + {- nonrec -} + a199_r9D + = a198_r9C + {- nonrec -} + a200_r9E + = a199_r9D + {- nonrec -} + a201_r9F + = a200_r9E + {- nonrec -} + a202_r9G + = a201_r9F + {- nonrec -} + a203_r9H + = a202_r9G + {- nonrec -} + a204_r9I + = a203_r9H + {- nonrec -} + a205_r9J + = a204_r9I + {- nonrec -} + a206_r9K + = a205_r9J + {- nonrec -} + a207_r9L + = a206_r9K + {- nonrec -} + a208_r9M + = a207_r9L + {- nonrec -} + a209_r9N + = a208_r9M + {- nonrec -} + a210_r9O + = a209_r9N + {- nonrec -} + a211_r9P + = a210_r9O + {- nonrec -} + a212_r9Q + = a211_r9P + {- nonrec -} + a213_r9R + = a212_r9Q + {- nonrec -} + a214_r9S + = a213_r9R + {- nonrec -} + a215_r9T + = a214_r9S + {- nonrec -} + a216_r9U + = a215_r9T + {- nonrec -} + a217_r9V + = a216_r9U + {- nonrec -} + a218_r9W + = a217_r9V + {- nonrec -} + a219_r9X + = a218_r9W + {- nonrec -} + a220_r9Y + = a219_r9X + {- nonrec -} + a221_r9Z + = a220_r9Y + {- nonrec -} + a222_ra0 + = a221_r9Z + {- nonrec -} + a223_ra1 + = a222_ra0 + {- nonrec -} + a224_ra2 + = a223_ra1 + {- nonrec -} + a225_ra3 + = a224_ra2 + {- nonrec -} + a226_ra4 + = a225_ra3 + {- nonrec -} + a227_ra5 + = a226_ra4 + {- nonrec -} + a228_ra6 + = a227_ra5 + {- nonrec -} + a229_ra7 + = a228_ra6 + {- nonrec -} + a230_ra8 + = a229_ra7 + {- nonrec -} + a231_ra9 + = a230_ra8 + {- nonrec -} + a232_raa + = a231_ra9 + {- nonrec -} + a233_rab + = a232_raa + {- nonrec -} + a234_rac + = a233_rab + {- nonrec -} + a235_rad + = a234_rac + {- nonrec -} + a236_rae + = a235_rad + {- nonrec -} + a237_raf + = a236_rae + {- nonrec -} + a238_rag + = a237_raf + {- nonrec -} + a239_rah + = a238_rag + {- nonrec -} + a240_rai + = a239_rah + {- nonrec -} + a241_raj + = a240_rai + {- nonrec -} + a242_rak + = a241_raj + {- nonrec -} + a243_ral + = a242_rak + {- nonrec -} + a244_ram + = a243_ral + {- nonrec -} + a245_ran + = a244_ram + {- nonrec -} + a246_rao + = a245_ran + {- nonrec -} + a247_rap + = a246_rao + {- nonrec -} + a248_raq + = a247_rap + {- nonrec -} + a249_rar + = a248_raq + {- nonrec -} + a250_ras + = a249_rar + {- nonrec -} + a251_rat + = a250_ras + {- nonrec -} + a252_rau + = a251_rat + {- nonrec -} + a253_rav + = a252_rau + {- nonrec -} + a254_raw + = a253_rav + {- nonrec -} + a255_rax + = a254_raw + {- nonrec -} + a256_ray + = a255_rax + {- nonrec -} + a257_raz + = a256_ray + {- nonrec -} + a258_raA + = a257_raz + {- nonrec -} + a259_raB + = a258_raA + {- nonrec -} + a260_raC + = a259_raB + {- nonrec -} + a261_raD + = a260_raC + {- nonrec -} + a262_raE + = a261_raD + {- nonrec -} + a263_raF + = a262_raE + {- nonrec -} + a264_raG + = a263_raF + {- nonrec -} + a265_raH + = a264_raG + {- nonrec -} + a266_raI + = a265_raH + {- nonrec -} + a267_raJ + = a266_raI + {- nonrec -} + a268_raK + = a267_raJ + {- nonrec -} + a269_raL + = a268_raK + {- nonrec -} + a270_raM + = a269_raL + {- nonrec -} + a271_raN + = a270_raM + {- nonrec -} + a272_raO + = a271_raN + {- nonrec -} + a273_raP + = a272_raO + {- nonrec -} + a274_raQ + = a273_raP + {- nonrec -} + a275_raR + = a274_raQ + {- nonrec -} + a276_raS + = a275_raR + {- nonrec -} + a277_raT + = a276_raS + {- nonrec -} + a278_raU + = a277_raT + {- nonrec -} + a279_raV + = a278_raU + {- nonrec -} + a280_raW + = a279_raV + {- nonrec -} + a281_raX + = a280_raW + {- nonrec -} + a282_raY + = a281_raX + {- nonrec -} + a283_raZ + = a282_raY + {- nonrec -} + a284_rb0 + = a283_raZ + {- nonrec -} + a285_rb1 + = a284_rb0 + {- nonrec -} + a286_rb2 + = a285_rb1 + {- nonrec -} + a287_rb3 + = a286_rb2 + {- nonrec -} + a288_rb4 + = a287_rb3 + {- nonrec -} + a289_rb5 + = a288_rb4 + {- nonrec -} + a290_rb6 + = a289_rb5 + {- nonrec -} + a291_rb7 + = a290_rb6 + {- nonrec -} + a292_rb8 + = a291_rb7 + {- nonrec -} + a293_rb9 + = a292_rb8 + {- nonrec -} + a294_rba + = a293_rb9 + {- nonrec -} + a295_rbb + = a294_rba + {- nonrec -} + a296_rbc + = a295_rbb + {- nonrec -} + a297_rbd + = a296_rbc + {- nonrec -} + a298_rbe + = a297_rbd + {- nonrec -} + a299_rbf + = a298_rbe + {- nonrec -} + a300_rbg + = a299_rbf + {- nonrec -} + a301_rbh + = a300_rbg + {- nonrec -} + a302_rbi + = a301_rbh + {- nonrec -} + a303_rbj + = a302_rbi + {- nonrec -} + a304_rbk + = a303_rbj + {- nonrec -} + a305_rbl + = a304_rbk + {- nonrec -} + a306_rbm + = a305_rbl + {- nonrec -} + a307_rbn + = a306_rbm + {- nonrec -} + a308_rbo + = a307_rbn + {- nonrec -} + a309_rbp + = a308_rbo + {- nonrec -} + a310_rbq + = a309_rbp + {- nonrec -} + a311_rbr + = a310_rbq + {- nonrec -} + a312_rbs + = a311_rbr + {- nonrec -} + a313_rbt + = a312_rbs + {- nonrec -} + a314_rbu + = a313_rbt + {- nonrec -} + a315_rbv + = a314_rbu + {- nonrec -} + a316_rbw + = a315_rbv + {- nonrec -} + a317_rbx + = a316_rbw + {- nonrec -} + a318_rby + = a317_rbx + {- nonrec -} + a319_rbz + = a318_rby + {- nonrec -} + a320_rbA + = a319_rbz + {- nonrec -} + a321_rbB + = a320_rbA + {- nonrec -} + a322_rbC + = a321_rbB + {- nonrec -} + a323_rbD + = a322_rbC + {- nonrec -} + a324_rbE + = a323_rbD + {- nonrec -} + a325_rbF + = a324_rbE + {- nonrec -} + a326_rbG + = a325_rbF + {- nonrec -} + a327_rbH + = a326_rbG + {- nonrec -} + a328_rbI + = a327_rbH + {- nonrec -} + a329_rbJ + = a328_rbI + {- nonrec -} + a330_rbK + = a329_rbJ + {- nonrec -} + a331_rbL + = a330_rbK + {- nonrec -} + a332_rbM + = a331_rbL + {- nonrec -} + a333_rbN + = a332_rbM + {- nonrec -} + a334_rbO + = a333_rbN + {- nonrec -} + a335_rbP + = a334_rbO + {- nonrec -} + a336_rbQ + = a335_rbP + {- nonrec -} + a337_rbR + = a336_rbQ + {- nonrec -} + a338_rbS + = a337_rbR + {- nonrec -} + a339_rbT + = a338_rbS + {- nonrec -} + a340_rbU + = a339_rbT + {- nonrec -} + a341_rbV + = a340_rbU + {- nonrec -} + a342_rbW + = a341_rbV + {- nonrec -} + a343_rbX + = a342_rbW + {- nonrec -} + a344_rbY + = a343_rbX + {- nonrec -} + a345_rbZ + = a344_rbY + {- nonrec -} + a346_rc0 + = a345_rbZ + {- nonrec -} + a347_rc1 + = a346_rc0 + {- nonrec -} + a348_rc2 + = a347_rc1 + {- nonrec -} + a349_rc3 + = a348_rc2 + {- nonrec -} + a350_rc4 + = a349_rc3 + {- nonrec -} + a351_rc5 + = a350_rc4 + {- nonrec -} + a352_rc6 + = a351_rc5 + {- nonrec -} + a353_rc7 + = a352_rc6 + {- nonrec -} + a354_rc8 + = a353_rc7 + {- nonrec -} + a355_rc9 + = a354_rc8 + {- nonrec -} + a356_rca + = a355_rc9 + {- nonrec -} + a357_rcb + = a356_rca + {- nonrec -} + a358_rcc + = a357_rcb + {- nonrec -} + a359_rcd + = a358_rcc + {- nonrec -} + a360_rce + = a359_rcd + {- nonrec -} + a361_rcf + = a360_rce + {- nonrec -} + a362_rcg + = a361_rcf + {- nonrec -} + a363_rch + = a362_rcg + {- nonrec -} + a364_rci + = a363_rch + {- nonrec -} + a365_rcj + = a364_rci + {- nonrec -} + a366_rck + = a365_rcj + {- nonrec -} + a367_rcl + = a366_rck + {- nonrec -} + a368_rcm + = a367_rcl + {- nonrec -} + a369_rcn + = a368_rcm + {- nonrec -} + a370_rco + = a369_rcn + {- nonrec -} + a371_rcp + = a370_rco + {- nonrec -} + a372_rcq + = a371_rcp + {- nonrec -} + a373_rcr + = a372_rcq + {- nonrec -} + a374_rcs + = a373_rcr + {- nonrec -} + a375_rct + = a374_rcs + {- nonrec -} + a376_rcu + = a375_rct + {- nonrec -} + a377_rcv + = a376_rcu + {- nonrec -} + a378_rcw + = a377_rcv + {- nonrec -} + a379_rcx + = a378_rcw + {- nonrec -} + a380_rcy + = a379_rcx + {- nonrec -} + a381_rcz + = a380_rcy + {- nonrec -} + a382_rcA + = a381_rcz + {- nonrec -} + a383_rcB + = a382_rcA + {- nonrec -} + a384_rcC + = a383_rcB + {- nonrec -} + a385_rcD + = a384_rcC + {- nonrec -} + a386_rcE + = a385_rcD + {- nonrec -} + a387_rcF + = a386_rcE + {- nonrec -} + a388_rcG + = a387_rcF + {- nonrec -} + a389_rcH + = a388_rcG + {- nonrec -} + a390_rcI + = a389_rcH + {- nonrec -} + a391_rcJ + = a390_rcI + {- nonrec -} + a392_rcK + = a391_rcJ + {- nonrec -} + a393_rcL + = a392_rcK + {- nonrec -} + a394_rcM + = a393_rcL + {- nonrec -} + a395_rcN + = a394_rcM + {- nonrec -} + a396_rcO + = a395_rcN + {- nonrec -} + a397_rcP + = a396_rcO + {- nonrec -} + a398_rcQ + = a397_rcP + {- nonrec -} + a399_rcR + = a398_rcQ + {- nonrec -} + a400_rcS + = a399_rcR + {- nonrec -} + a401_rcT + = a400_rcS + {- nonrec -} + a402_rcU + = a401_rcT + {- nonrec -} + a403_rcV + = a402_rcU + {- nonrec -} + a404_rcW + = a403_rcV + {- nonrec -} + a405_rcX + = a404_rcW + {- nonrec -} + a406_rcY + = a405_rcX + {- nonrec -} + a407_rcZ + = a406_rcY + {- nonrec -} + a408_rd0 + = a407_rcZ + {- nonrec -} + a409_rd1 + = a408_rd0 + {- nonrec -} + a410_rd2 + = a409_rd1 + {- nonrec -} + a411_rd3 + = a410_rd2 + {- nonrec -} + a412_rd4 + = a411_rd3 + {- nonrec -} + a413_rd5 + = a412_rd4 + {- nonrec -} + a414_rd6 + = a413_rd5 + {- nonrec -} + a415_rd7 + = a414_rd6 + {- nonrec -} + a416_rd8 + = a415_rd7 + {- nonrec -} + a417_rd9 + = a416_rd8 + {- nonrec -} + a418_rda + = a417_rd9 + {- nonrec -} + a419_rdb + = a418_rda + {- nonrec -} + a420_rdc + = a419_rdb + {- nonrec -} + a421_rdd + = a420_rdc + {- nonrec -} + a422_rde + = a421_rdd + {- nonrec -} + a423_rdf + = a422_rde + {- nonrec -} + a424_rdg + = a423_rdf + {- nonrec -} + a425_rdh + = a424_rdg + {- nonrec -} + a426_rdi + = a425_rdh + {- nonrec -} + a427_rdj + = a426_rdi + {- nonrec -} + a428_rdk + = a427_rdj + {- nonrec -} + a429_rdl + = a428_rdk + {- nonrec -} + a430_rdm + = a429_rdl + {- nonrec -} + a431_rdn + = a430_rdm + {- nonrec -} + a432_rdo + = a431_rdn + {- nonrec -} + a433_rdp + = a432_rdo + {- nonrec -} + a434_rdq + = a433_rdp + {- nonrec -} + a435_rdr + = a434_rdq + {- nonrec -} + a436_rds + = a435_rdr + {- nonrec -} + a437_rdt + = a436_rds + {- nonrec -} + a438_rdu + = a437_rdt + {- nonrec -} + a439_rdv + = a438_rdu + {- nonrec -} + a440_rdw + = a439_rdv + {- nonrec -} + a441_rdx + = a440_rdw + {- nonrec -} + a442_rdy + = a441_rdx + {- nonrec -} + a443_rdz + = a442_rdy + {- nonrec -} + a444_rdA + = a443_rdz + {- nonrec -} + a445_rdB + = a444_rdA + {- nonrec -} + a446_rdC + = a445_rdB + {- nonrec -} + a447_rdD + = a446_rdC + {- nonrec -} + a448_rdE + = a447_rdD + {- nonrec -} + a449_rdF + = a448_rdE + {- nonrec -} + a450_rdG + = a449_rdF + {- nonrec -} + a451_rdH + = a450_rdG + {- nonrec -} + a452_rdI + = a451_rdH + {- nonrec -} + a453_rdJ + = a452_rdI + {- nonrec -} + a454_rdK + = a453_rdJ + {- nonrec -} + a455_rdL + = a454_rdK + {- nonrec -} + a456_rdM + = a455_rdL + {- nonrec -} + a457_rdN + = a456_rdM + {- nonrec -} + a458_rdO + = a457_rdN + {- nonrec -} + a459_rdP + = a458_rdO + {- nonrec -} + a460_rdQ + = a459_rdP + {- nonrec -} + a461_rdR + = a460_rdQ + {- nonrec -} + a462_rdS + = a461_rdR + {- nonrec -} + a463_rdT + = a462_rdS + {- nonrec -} + a464_rdU + = a463_rdT + {- nonrec -} + a465_rdV + = a464_rdU + {- nonrec -} + a466_rdW + = a465_rdV + {- nonrec -} + a467_rdX + = a466_rdW + {- nonrec -} + a468_rdY + = a467_rdX + {- nonrec -} + a469_rdZ + = a468_rdY + {- nonrec -} + a470_re0 + = a469_rdZ + {- nonrec -} + a471_re1 + = a470_re0 + {- nonrec -} + a472_re2 + = a471_re1 + {- nonrec -} + a473_re3 + = a472_re2 + {- nonrec -} + a474_re4 + = a473_re3 + {- nonrec -} + a475_re5 + = a474_re4 + {- nonrec -} + a476_re6 + = a475_re5 + {- nonrec -} + a477_re7 + = a476_re6 + {- nonrec -} + a478_re8 + = a477_re7 + {- nonrec -} + a479_re9 + = a478_re8 + {- nonrec -} + a480_rea + = a479_re9 + {- nonrec -} + a481_reb + = a480_rea + {- nonrec -} + a482_rec + = a481_reb + {- nonrec -} + a483_red + = a482_rec + {- nonrec -} + a484_ree + = a483_red + {- nonrec -} + a485_ref + = a484_ree + {- nonrec -} + a486_reg + = a485_ref + {- nonrec -} + a487_reh + = a486_reg + {- nonrec -} + a488_rei + = a487_reh + {- nonrec -} + a489_rej + = a488_rei + {- nonrec -} + a490_rek + = a489_rej + {- nonrec -} + a491_rel + = a490_rek + {- nonrec -} + a492_rem + = a491_rel + {- nonrec -} + a493_ren + = a492_rem + {- nonrec -} + a494_reo + = a493_ren + {- nonrec -} + a495_rep + = a494_reo + {- nonrec -} + a496_req + = a495_rep + {- nonrec -} + a497_rer + = a496_req + {- nonrec -} + a498_res + = a497_rer + in + a498_res +{- nonrec -} +main{-814,x-} + = Prelude.undefined{-r3d,i-} diff --git a/ghc/compiler/tests/rename/timing003.hs b/ghc/compiler/tests/rename/timing003.hs index 201f4ef..e897868 100644 --- a/ghc/compiler/tests/rename/timing003.hs +++ b/ghc/compiler/tests/rename/timing003.hs @@ -1,5 +1,7 @@ --!!! 500 defns, not chained together +module Main(main) where +main = undefined a000 = [] a001 = [] a002 = [] diff --git a/ghc/compiler/tests/rename/timing003.stderr b/ghc/compiler/tests/rename/timing003.stderr index e69de29..b1d87ef 100644 --- a/ghc/compiler/tests/rename/timing003.stderr +++ b/ghc/compiler/tests/rename/timing003.stderr @@ -0,0 +1,1518 @@ +Renamer stats: 6 interfaces read + 0 class decls imported, out of 17 read + 0 data decls imported (of which 0 abstractly), out of 14 read + 1 newtype decls imported (of which 1 abstractly), out of 1 read + 0 type synonym decls imported, out of 6 read + 1 value signatures imported, out of 1200 read + 0 instance decls imported, out of 130 read + + +================================================================================ +Renamer: +module Main where +newtype IOBase.IO{-3e,p-} rAg_r11m = +Prelude.undefined{-rbg,p-} :: + _forall_ [a_rAt] => a_rAt +{- nonrec -} +a499{-rer,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a498{-res,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a497{-ret,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a496{-reu,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a495{-rev,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a494{-rew,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a493{-rex,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a492{-rey,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a491{-rez,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a490{-reA,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a489{-reB,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a488{-reC,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a487{-reD,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a486{-reE,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a485{-reF,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a484{-reG,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a483{-reH,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a482{-reI,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a481{-reJ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a480{-reK,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a479{-reL,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a478{-reM,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a477{-reN,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a476{-reO,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a475{-reP,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a474{-reQ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a473{-reR,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a472{-reS,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a471{-reT,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a470{-reU,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a469{-reV,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a468{-reW,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a467{-reX,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a466{-reY,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a465{-reZ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a464{-rf0,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a463{-rf1,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a462{-rf2,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a461{-rf3,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a460{-rf4,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a459{-rf5,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a458{-rf6,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a457{-rf7,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a456{-rf8,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a455{-rf9,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a454{-rfa,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a453{-rfb,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a452{-rfc,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a451{-rfd,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a450{-rfe,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a449{-rff,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a448{-rfg,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a447{-rfh,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a446{-rfi,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a445{-rfj,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a444{-rfk,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a443{-rfl,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a442{-rfm,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a441{-rfn,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a440{-rfo,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a439{-rfp,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a438{-rfq,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a437{-rfr,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a436{-rfs,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a435{-rft,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a434{-rfu,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a433{-rfv,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a432{-rfw,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a431{-rfx,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a430{-rfy,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a429{-rfz,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a428{-rfA,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a427{-rfB,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a426{-rfC,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a425{-rfD,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a424{-rfE,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a423{-rfF,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a422{-rfG,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a421{-rfH,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a420{-rfI,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a419{-rfJ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a418{-rfK,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a417{-rfL,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a416{-rfM,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a415{-rfN,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a414{-rfO,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a413{-rfP,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a412{-rfQ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a411{-rfR,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a410{-rfS,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a409{-rfT,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a408{-rfU,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a407{-rfV,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a406{-rfW,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a405{-rfX,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a404{-rfY,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a403{-rfZ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a402{-rg0,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a401{-rg1,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a400{-rg2,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a399{-rg3,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a398{-rg4,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a397{-rg5,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a396{-rg6,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a395{-rg7,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a394{-rg8,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a393{-rg9,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a392{-rga,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a391{-rgb,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a390{-rgc,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a389{-rgd,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a388{-rge,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a387{-rgf,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a386{-rgg,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a385{-rgh,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a384{-rgi,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a383{-rgj,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a382{-rgk,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a381{-rgl,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a380{-rgm,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a379{-rgn,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a378{-rgo,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a377{-rgp,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a376{-rgq,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a375{-rgr,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a374{-rgs,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a373{-rgt,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a372{-rgu,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a371{-rgv,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a370{-rgw,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a369{-rgx,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a368{-rgy,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a367{-rgz,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a366{-rgA,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a365{-rgB,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a364{-rgC,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a363{-rgD,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a362{-rgE,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a361{-rgF,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a360{-rgG,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a359{-rgH,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a358{-rgI,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a357{-rgJ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a356{-rgK,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a355{-rgL,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a354{-rgM,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a353{-rgN,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a352{-rgO,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a351{-rgP,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a350{-rgQ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a349{-rgR,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a348{-rgS,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a347{-rgT,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a346{-rgU,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a345{-rgV,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a344{-rgW,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a343{-rgX,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a342{-rgY,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a341{-rgZ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a340{-rh0,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a339{-rh1,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a338{-rh2,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a337{-rh3,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a336{-rh4,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a335{-rh5,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a334{-rh6,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a333{-rh7,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a332{-rh8,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a331{-rh9,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a330{-rha,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a329{-rhb,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a328{-rhc,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a327{-rhd,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a326{-rhe,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a325{-rhf,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a324{-rhg,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a323{-rhh,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a322{-rhi,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a321{-rhj,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a320{-rhk,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a319{-rhl,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a318{-rhm,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a317{-rhn,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a316{-rho,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a315{-rhp,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a314{-rhq,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a313{-rhr,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a312{-rhs,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a311{-rht,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a310{-rhu,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a309{-rhv,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a308{-rhw,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a307{-rhx,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a306{-rhy,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a305{-rhz,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a304{-rhA,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a303{-rhB,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a302{-rhC,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a301{-rhD,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a300{-rhE,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a299{-rhF,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a298{-rhG,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a297{-rhH,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a296{-rhI,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a295{-rhJ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a294{-rhK,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a293{-rhL,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a292{-rhM,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a291{-rhN,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a290{-rhO,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a289{-rhP,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a288{-rhQ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a287{-rhR,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a286{-rhS,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a285{-rhT,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a284{-rhU,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a283{-rhV,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a282{-rhW,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a281{-rhX,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a280{-rhY,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a279{-rhZ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a278{-ri0,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a277{-ri1,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a276{-ri2,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a275{-ri3,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a274{-ri4,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a273{-ri5,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a272{-ri6,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a271{-ri7,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a270{-ri8,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a269{-ri9,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a268{-ria,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a267{-rib,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a266{-ric,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a265{-rid,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a264{-rie,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a263{-rif,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a262{-rig,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a261{-rih,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a260{-rii,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a259{-rij,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a258{-rik,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a257{-ril,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a256{-rim,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a255{-rin,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a254{-rio,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a253{-rip,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a252{-riq,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a251{-rir,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a250{-ris,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a249{-rit,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a248{-riu,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a247{-riv,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a246{-riw,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a245{-rix,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a244{-riy,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a243{-riz,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a242{-riA,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a241{-riB,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a240{-riC,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a239{-riD,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a238{-riE,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a237{-riF,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a236{-riG,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a235{-riH,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a234{-riI,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a233{-riJ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a232{-riK,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a231{-riL,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a230{-riM,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a229{-riN,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a228{-riO,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a227{-riP,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a226{-riQ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a225{-riR,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a224{-riS,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a223{-riT,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a222{-riU,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a221{-riV,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a220{-riW,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a219{-riX,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a218{-riY,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a217{-riZ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a216{-rj0,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a215{-rj1,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a214{-rj2,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a213{-rj3,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a212{-rj4,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a211{-rj5,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a210{-rj6,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a209{-rj7,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a208{-rj8,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a207{-rj9,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a206{-rja,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a205{-rjb,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a204{-rjc,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a203{-rjd,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a202{-rje,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a201{-rjf,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a200{-rjg,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a199{-rjh,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a198{-rji,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a197{-rjj,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a196{-rjk,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a195{-rjl,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a194{-rjm,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a193{-rjn,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a192{-rjo,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a191{-rjp,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a190{-rjq,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a189{-rjr,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a188{-rjs,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a187{-rjt,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a186{-rju,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a185{-rjv,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a184{-rjw,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a183{-rjx,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a182{-rjy,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a181{-rjz,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a180{-rjA,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a179{-rjB,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a178{-rjC,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a177{-rjD,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a176{-rjE,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a175{-rjF,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a174{-rjG,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a173{-rjH,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a172{-rjI,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a171{-rjJ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a170{-rjK,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a169{-rjL,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a168{-rjM,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a167{-rjN,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a166{-rjO,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a165{-rjP,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a164{-rjQ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a163{-rjR,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a162{-rjS,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a161{-rjT,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a160{-rjU,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a159{-rjV,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a158{-rjW,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a157{-rjX,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a156{-rjY,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a155{-rjZ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a154{-rk0,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a153{-rk1,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a152{-rk2,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a151{-rk3,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a150{-rk4,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a149{-rk5,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a148{-rk6,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a147{-rk7,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a146{-rk8,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a145{-rk9,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a144{-rka,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a143{-rkb,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a142{-rkc,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a141{-rkd,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a140{-rke,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a139{-rkf,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a138{-rkg,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a137{-rkh,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a136{-rki,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a135{-rkj,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a134{-rkk,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a133{-rkl,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a132{-rkm,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a131{-rkn,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a130{-rko,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a129{-rkp,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a128{-rkq,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a127{-rkr,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a126{-rks,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a125{-rkt,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a124{-rku,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a123{-rkv,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a122{-rkw,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a121{-rkx,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a120{-rky,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a119{-rkz,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a118{-rkA,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a117{-rkB,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a116{-rkC,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a115{-rkD,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a114{-rkE,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a113{-rkF,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a112{-rkG,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a111{-rkH,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a110{-rkI,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a109{-rkJ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a108{-rkK,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a107{-rkL,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a106{-rkM,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a105{-rkN,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a104{-rkO,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a103{-rkP,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a102{-rkQ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a101{-rkR,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a100{-rkS,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a099{-rkT,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a098{-rkU,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a097{-rkV,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a096{-rkW,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a095{-rkX,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a094{-rkY,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a093{-rkZ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a092{-rl0,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a091{-rl1,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a090{-rl2,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a089{-rl3,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a088{-rl4,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a087{-rl5,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a086{-rl6,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a085{-rl7,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a084{-rl8,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a083{-rl9,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a082{-rla,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a081{-rlb,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a080{-rlc,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a079{-rld,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a078{-rle,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a077{-rlf,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a076{-rlg,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a075{-rlh,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a074{-rli,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a073{-rlj,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a072{-rlk,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a071{-rll,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a070{-rlm,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a069{-rln,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a068{-rlo,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a067{-rlp,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a066{-rlq,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a065{-rlr,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a064{-rls,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a063{-rlt,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a062{-rlu,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a061{-rlv,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a060{-rlw,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a059{-rlx,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a058{-rly,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a057{-rlz,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a056{-rlA,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a055{-rlB,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a054{-rlC,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a053{-rlD,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a052{-rlE,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a051{-rlF,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a050{-rlG,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a049{-rlH,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a048{-rlI,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a047{-rlJ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a046{-rlK,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a045{-rlL,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a044{-rlM,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a043{-rlN,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a042{-rlO,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a041{-rlP,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a040{-rlQ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a039{-rlR,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a038{-rlS,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a037{-rlT,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a036{-rlU,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a035{-rlV,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a034{-rlW,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a033{-rlX,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a032{-rlY,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a031{-rlZ,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a030{-rm0,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a029{-rm1,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a028{-rm2,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a027{-rm3,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a026{-rm4,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a025{-rm5,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a024{-rm6,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a023{-rm7,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a022{-rm8,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a021{-rm9,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a020{-rma,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a019{-rmb,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a018{-rmc,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a017{-rmd,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a016{-rme,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a015{-rmf,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a014{-rmg,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a013{-rmh,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a012{-rmi,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a011{-rmj,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a010{-rmk,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a009{-rml,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a008{-rmm,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a007{-rmn,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a006{-rmo,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a005{-rmp,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a004{-rmq,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a003{-rmr,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a002{-rms,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a001{-rmt,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +a000{-rmu,l-} + = PrelBase.[]{-5i,i-} +{- nonrec -} +main{-814,x-} + = Prelude.undefined{-rbg,i-} -- 1.7.10.4