{-# LANGUAGE Arrows #-}

-- test for out-size tuples: takes a _long_ time to compile

module ShouldCompile where

import Control.Arrow

data T1 = C1
data T2 = C2
data T3 = C3
data T4 = C4
data T5 = C5
data T6 = C6
data T7 = C7
data T8 = C8
data T9 = C9
data T10 = C10
data T11 = C11
data T12 = C12
data T13 = C13
data T14 = C14
data T15 = C15
data T16 = C16
data T17 = C17
data T18 = C18
data T19 = C19
data T20 = C20
data T21 = C21
data T22 = C22
data T23 = C23
data T24 = C24
data T25 = C25
data T26 = C26
data T27 = C27
data T28 = C28
data T29 = C29
data T30 = C30
data T31 = C31
data T32 = C32
data T33 = C33
data T34 = C34
data T35 = C35
data T36 = C36
data T37 = C37
data T38 = C38
data T39 = C39
data T40 = C40
data T41 = C41
data T42 = C42
data T43 = C43
data T44 = C44
data T45 = C45
data T46 = C46
data T47 = C47
data T48 = C48
data T49 = C49
data T50 = C50
data T51 = C51
data T52 = C52
data T53 = C53
data T54 = C54
data T55 = C55
data T56 = C56
data T57 = C57
data T58 = C58
data T59 = C59
data T60 = C60
data T61 = C61
data T62 = C62
data T63 = C63
data T64 = C64
data T65 = C65
data T66 = C66
data T67 = C67
data T68 = C68
data T69 = C69
data T70 = C70

f :: Arrow a => a Int Int
f = proc x0 -> do
	x1 <- returnA -< C1
	x2 <- returnA -< C2
	x3 <- returnA -< C3
	x4 <- returnA -< C4
	x5 <- returnA -< C5
	x6 <- returnA -< C6
	x7 <- returnA -< C7
	x8 <- returnA -< C8
	x9 <- returnA -< C9
	x10 <- returnA -< C10
	x11 <- returnA -< C11
	x12 <- returnA -< C12
	x13 <- returnA -< C13
	x14 <- returnA -< C14
	x15 <- returnA -< C15
	x16 <- returnA -< C16
	x17 <- returnA -< C17
	x18 <- returnA -< C18
	x19 <- returnA -< C19
	x20 <- returnA -< C20
	x21 <- returnA -< C21
	x22 <- returnA -< C22
	x23 <- returnA -< C23
	x24 <- returnA -< C24
	x25 <- returnA -< C25
	x26 <- returnA -< C26
	x27 <- returnA -< C27
	x28 <- returnA -< C28
	x29 <- returnA -< C29
	x30 <- returnA -< C30
	x31 <- returnA -< C31
	x32 <- returnA -< C32
	x33 <- returnA -< C33
	x34 <- returnA -< C34
	x35 <- returnA -< C35
	x36 <- returnA -< C36
	x37 <- returnA -< C37
	x38 <- returnA -< C38
	x39 <- returnA -< C39
	x40 <- returnA -< C40
	x41 <- returnA -< C41
	x42 <- returnA -< C42
	x43 <- returnA -< C43
	x44 <- returnA -< C44
	x45 <- returnA -< C45
	x46 <- returnA -< C46
	x47 <- returnA -< C47
	x48 <- returnA -< C48
	x49 <- returnA -< C49
	x50 <- returnA -< C50
	x51 <- returnA -< C51
	x52 <- returnA -< C52
	x53 <- returnA -< C53
	x54 <- returnA -< C54
	x55 <- returnA -< C55
	x56 <- returnA -< C56
	x57 <- returnA -< C57
	x58 <- returnA -< C58
	x59 <- returnA -< C59
	x60 <- returnA -< C60
	x61 <- returnA -< C61
	x62 <- returnA -< C62
	x63 <- returnA -< C63
	x64 <- returnA -< C64
	x65 <- returnA -< C65
	x66 <- returnA -< C66
	x67 <- returnA -< C67
	x68 <- returnA -< C68
	x69 <- returnA -< C69
	x70 <- returnA -< C70
	returnA -< x70
	returnA -< x69
	returnA -< x68
	returnA -< x67
	returnA -< x66
	returnA -< x65
	returnA -< x64
	returnA -< x63
	returnA -< x62
	returnA -< x61
	returnA -< x60
	returnA -< x59
	returnA -< x58
	returnA -< x57
	returnA -< x56
	returnA -< x55
	returnA -< x54
	returnA -< x53
	returnA -< x52
	returnA -< x51
	returnA -< x50
	returnA -< x49
	returnA -< x48
	returnA -< x47
	returnA -< x46
	returnA -< x45
	returnA -< x44
	returnA -< x43
	returnA -< x42
	returnA -< x41
	returnA -< x40
	returnA -< x39
	returnA -< x38
	returnA -< x37
	returnA -< x36
	returnA -< x35
	returnA -< x34
	returnA -< x33
	returnA -< x32
	returnA -< x31
	returnA -< x30
	returnA -< x29
	returnA -< x28
	returnA -< x27
	returnA -< x26
	returnA -< x25
	returnA -< x24
	returnA -< x23
	returnA -< x22
	returnA -< x21
	returnA -< x20
	returnA -< x19
	returnA -< x18
	returnA -< x17
	returnA -< x16
	returnA -< x15
	returnA -< x14
	returnA -< x13
	returnA -< x12
	returnA -< x11
	returnA -< x10
	returnA -< x9
	returnA -< x8
	returnA -< x7
	returnA -< x6
	returnA -< x5
	returnA -< x4
	returnA -< x3
	returnA -< x2
	returnA -< x1
	returnA -< x0