-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 ;
-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
+
+
-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 } ;
-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 ;;
-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
-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
-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-})
-module Foo where
-
--!!! multiple definitions, but hidden in patterns
+module Foo where
f x = x
where
-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
-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-}
-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.
--
module Test where
+data Foo a = Foo a Int Int
+
-- a recursive blob of one node
a = a
-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
+--!!! 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
-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
-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
-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
-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
-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
-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
+--!!! Test for definition of main
import Prelude
-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
-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
import Rn016
+main = undefined
-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-}
-module Test ( Test.. , Rn017.. ) where
+--!! Rexporting
+module Test ( module Test , module Rn017 ) where
import Rn017
-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-}
--!!! 500 defns chained together at the top-level
-
+module Main(main) where
+main = undefined
a000 = a001
a001 = a002
a002 = a003
+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-}
--!!! 500 defns chained together with "where"s
+module Main(main) where
+main = undefined
a500 = let a000 = []
a001 = a000
a002 = a001
+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-}
--!!! 500 defns, not chained together
+module Main(main) where
+main = undefined
a000 = []
a001 = []
a002 = []
+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-}