Commit bc2a4d6b authored by sof's avatar sof
Browse files

[project @ 1997-05-26 05:54:39 by sof]

Updated for 2.03
parent 34cb1a04
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 -}