[GHC] #13417: piResultTys1

[GHC]

#13417: piResultTys1
-------------------------------------+-------------------------------------
        Reporter:  ralf              |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.2
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 {{{#!hs
 {-# LANGUAGE NPlusKPatterns #-}
 module FactorialSequ where

 import Data.List

 data Sequ1 a
   =  D10 (Sequ2 (a, a))
    |  D11 a (Sequ2 (a, a))
    |  E1
    deriving (Show)

 data Sequ2 a
   =  D20 (Sequ3 (a, a, a))
   |  D21 a (Sequ3 (a, a, a))
   |  D22 a a (Sequ3 (a, a, a))
   |  E2
   deriving (Show)

 data Sequ3 a
   =  D30 (Sequ4 (a, a, a, a))
   |  D31 a (Sequ4 (a, a, a, a))
   |  D32 a a (Sequ4 (a, a, a, a))
   |  D33 a a a (Sequ4 (a, a, a, a))
   |  E3
   deriving (Show)

 data Sequ4 a
   =  D40 (Sequ5 (a, a, a, a, a))
   |  D41 a (Sequ5 (a, a, a, a, a))
   |  D42 a a (Sequ5 (a, a, a, a, a))
   |  D43 a a a (Sequ5 (a, a, a, a, a))
   |  D44 a a a a (Sequ5 (a, a, a, a, a))
   |  E4
   deriving (Show)

 data Sequ5 a
   =  D50 (Sequ6 (a, a, a, a, a, a))
   |  D51 a (Sequ6 (a, a, a, a, a, a))
   |  D52 a a (Sequ6 (a, a, a, a, a, a))
   |  D53 a a a (Sequ6 (a, a, a, a, a, a))
   |  D54 a a a a (Sequ6 (a, a, a, a, a, a))
   |  D55 a a a a a (Sequ6 (a, a, a, a, a, a))
   |  E5
   deriving (Show)

 data Sequ6 a
   =  D60 (Sequ7 (a, a, a, a, a, a, a))
   |  D61 a (Sequ7 (a, a, a, a, a, a, a))
   |  D62 a a (Sequ7 (a, a, a, a, a, a, a))
   |  D63 a a a (Sequ7 (a, a, a, a, a, a, a))
   |  D64 a a a a (Sequ7 (a, a, a, a, a, a, a))
   |  D65 a a a a a (Sequ7 (a, a, a, a, a, a, a))
   |  D66 a a a a a a (Sequ7 (a, a, a, a, a, a, a))
   |  E6
   deriving (Show)

 data Sequ7 a = E7
   deriving (Show)

 ix2 (a0, a1) 0 = a0
 ix2 (a0, a1) 1 = a1

 ix3 (a0, a1, a2) 0 = a0
 ix3 (a0, a1, a2) 1 = a1
 ix3 (a0, a1, a2) 2 = a2

 ix4 (a0, a1, a2, a3) 0 = a0
 ix4 (a0, a1, a2, a3) 1 = a1
 ix4 (a0, a1, a2, a3) 2 = a2
 ix4 (a0, a1, a2, a3) 3 = a3

 ix5 (a0, a1, a2, a3, a4) 0 = a0
 ix5 (a0, a1, a2, a3, a4) 1 = a1
 ix5 (a0, a1, a2, a3, a4) 2 = a2
 ix5 (a0, a1, a2, a3, a4) 3 = a3
 ix5 (a0, a1, a2, a3, a4) 4 = a4

 ix6 (a0, a1, a2, a3, a4, a5) 0 = a0
 ix6 (a0, a1, a2, a3, a4, a5) 1 = a1
 ix6 (a0, a1, a2, a3, a4, a5) 2 = a2
 ix6 (a0, a1, a2, a3, a4, a5) 3 = a3
 ix6 (a0, a1, a2, a3, a4, a5) 4 = a4
 ix6 (a0, a1, a2, a3, a4, a5) 5 = a5

 ix7 (a0, a1, a2, a3, a4, a5, a6) 0 = a0
 ix7 (a0, a1, a2, a3, a4, a5, a6) 1 = a1
 ix7 (a0, a1, a2, a3, a4, a5, a6) 2 = a2
 ix7 (a0, a1, a2, a3, a4, a5, a6) 3 = a3
 ix7 (a0, a1, a2, a3, a4, a5, a6) 4 = a4
 ix7 (a0, a1, a2, a3, a4, a5, a6) 5 = a5
 ix7 (a0, a1, a2, a3, a4, a5, a6) 6 = a6

 cons1 a0 (D10 s) = D11 a0 s
 cons1 a0 (D11 a1 s) = D10 (cons2 (a0, a1) s)
 cons1 a0 (E1) = D11 a0 E2

 cons2 a0 (D20 s) = D21 a0 s
 cons2 a0 (D21 a1 s) = D22 a0 a1 s
 cons2 a0 (D22 a1 a2 s) = D20 (cons3 (a0, a1, a2) s)
 cons2 a0 (E2) = D21 a0 E3

 cons3 a0 (D30 s) = D31 a0 s
 cons3 a0 (D31 a1 s) = D32 a0 a1 s
 cons3 a0 (D32 a1 a2 s) = D33 a0 a1 a2 s
 cons3 a0 (D33 a1 a2 a3 s) = D30 (cons4 (a0, a1, a2, a3) s)
 cons3 a0 (E3) = D31 a0 E4

 cons4 a0 (D40 s) = D41 a0 s
 cons4 a0 (D41 a1 s) = D42 a0 a1 s
 cons4 a0 (D42 a1 a2 s) = D43 a0 a1 a2 s
 cons4 a0 (D43 a1 a2 a3 s) = D44 a0 a1 a2 a3 s
 cons4 a0 (D44 a1 a2 a3 a4 s) = D40 (cons5 (a0, a1, a2, a3, a4) s)
 cons4 a0 (E4) = D41 a0 E5

 cons5 a0 (D50 s) = D51 a0 s
 cons5 a0 (D51 a1 s) = D52 a0 a1 s
 cons5 a0 (D52 a1 a2 s) = D53 a0 a1 a2 s
 cons5 a0 (D53 a1 a2 a3 s) = D54 a0 a1 a2 a3 s
 cons5 a0 (D54 a1 a2 a3 a4 s) = D55 a0 a1 a2 a3 a4 s
 cons5 a0 (D55 a1 a2 a3 a4 a5 s) = D50 (cons6 (a0, a1, a2, a3, a4, a5) s)
 cons5 a0 (E5) = D51 a0 E6

 cons6 a0 (D60 s) = D61 a0 s
 cons6 a0 (D61 a1 s) = D62 a0 a1 s
 cons6 a0 (D62 a1 a2 s) = D63 a0 a1 a2 s
 cons6 a0 (D63 a1 a2 a3 s) = D64 a0 a1 a2 a3 s
 cons6 a0 (D64 a1 a2 a3 a4 s) = D65 a0 a1 a2 a3 a4 s
 cons6 a0 (D65 a1 a2 a3 a4 a5 s) = D66 a0 a1 a2 a3 a4 a5 s
 cons6 a0 (D66 a1 a2 a3 a4 a5 a6 s) = D60 (cons7 (a0, a1, a2, a3, a4, a5,
 a6) s)
 cons6 a0 (E6) = D61 a0 E7

 cons7 a0 E7 = E7

 lookup1 n (D10 s) = lookup2 (n `div` 2) s `ix2` (n `mod` 2)
 lookup1 0 (D11 a0 s) = a0
 lookup1 (n + 1) (D11 a0 s) = lookup2 (n `div` 2) s `ix2` (n `mod` 2)
 lookup1 n (E1) = error "out of bounds"

 lookup2 n (D20 s) = lookup3 (n `div` 3) s `ix3` (n `mod` 3)
 lookup2 0 (D21 a0 s) = a0
 lookup2 (n + 1) (D21 a0 s) = lookup3 (n `div` 3) s `ix3` (n `mod` 3)
 lookup2 0 (D22 a0 a1 s) = a0
 lookup2 1 (D22 a0 a1 s) = a1
 lookup2 (n + 2) (D22 a0 a1 s) = lookup3 (n `div` 3) s `ix3` (n `mod` 3)
 lookup2 n (E2) = error "out of bounds"

 lookup3 n (D30 s) = lookup4 (n `div` 4) s `ix4` (n `mod` 4)
 lookup3 0 (D31 a0 s) = a0
 lookup3 (n + 1) (D31 a0 s) = lookup4 (n `div` 4) s `ix4` (n `mod` 4)
 lookup3 0 (D32 a0 a1 s) = a0
 lookup3 1 (D32 a0 a1 s) = a1
 lookup3 (n + 2) (D32 a0 a1 s) = lookup4 (n `div` 4) s `ix4` (n `mod` 4)
 lookup3 0 (D33 a0 a1 a2 s) = a0
 lookup3 1 (D33 a0 a1 a2 s) = a1
 lookup3 2 (D33 a0 a1 a2 s) = a2
 lookup3 (n + 3) (D33 a0 a1 a2 s) = lookup4 (n `div` 4) s `ix4` (n `mod` 4)
 lookup3 n (E3) = error "out of bounds"

 lookup4 n (D40 s) = lookup5 (n `div` 5) s `ix5` (n `mod` 5)
 lookup4 0 (D41 a0 s) = a0
 lookup4 (n + 1) (D41 a0 s) = lookup5 (n `div` 5) s `ix5` (n `mod` 5)
 lookup4 0 (D42 a0 a1 s) = a0
 lookup4 1 (D42 a0 a1 s) = a1
 lookup4 (n + 2) (D42 a0 a1 s) = lookup5 (n `div` 5) s `ix5` (n `mod` 5)
 lookup4 0 (D43 a0 a1 a2 s) = a0
 lookup4 1 (D43 a0 a1 a2 s) = a1
 lookup4 2 (D43 a0 a1 a2 s) = a2
 lookup4 (n + 3) (D43 a0 a1 a2 s) = lookup5 (n `div` 5) s `ix5` (n `mod` 5)
 lookup4 0 (D44 a0 a1 a2 a3 s) = a0
 lookup4 1 (D44 a0 a1 a2 a3 s) = a1
 lookup4 2 (D44 a0 a1 a2 a3 s) = a2
 lookup4 3 (D44 a0 a1 a2 a3 s) = a3
 lookup4 (n + 4) (D44 a0 a1 a2 a3 s) = lookup5 (n `div` 5) s `ix5` (n `mod`
 5)

 lookup5 n (D50 s) = lookup6 (n `div` 6) s `ix6` (n `mod` 6)
 lookup5 0 (D51 a0 s) = a0
 lookup5 (n + 1) (D51 a0 s) = lookup6 (n `div` 6) s `ix6` (n `mod` 6)
 lookup5 0 (D52 a0 a1 s) = a0
 lookup5 1 (D52 a0 a1 s) = a1
 lookup5 (n + 2) (D52 a0 a1 s) = lookup6 (n `div` 6) s `ix6` (n `mod` 6)
 lookup5 0 (D53 a0 a1 a2 s) = a0
 lookup5 1 (D53 a0 a1 a2 s) = a1
 lookup5 2 (D53 a0 a1 a2 s) = a2
 lookup5 (n + 3) (D53 a0 a1 a2 s) = lookup6 (n `div` 6) s `ix6` (n `mod` 6)
 lookup5 0 (D54 a0 a1 a2 a3 s) = a0
 lookup5 1 (D54 a0 a1 a2 a3 s) = a1
 lookup5 2 (D54 a0 a1 a2 a3 s) = a2
 lookup5 3 (D54 a0 a1 a2 a3 s) = a3
 lookup5 (n + 4) (D54 a0 a1 a2 a3 s) = lookup6 (n `div` 6) s `ix6` (n `mod`
 6)
 lookup5 0 (D55 a0 a1 a2 a3 a4 s) = a0
 lookup5 1 (D55 a0 a1 a2 a3 a4 s) = a1
 lookup5 2 (D55 a0 a1 a2 a3 a4 s) = a2
 lookup5 3 (D55 a0 a1 a2 a3 a4 s) = a3
 lookup5 4 (D55 a0 a1 a2 a3 a4 s) = a4
 lookup5 (n + 5) (D55 a0 a1 a2 a3 a4 s) = lookup6 (n `div` 6) s `ix6` (n
 `mod` 6)

 lookup6 n (D60 s) = lookup7 (n `div` 7) s `ix7` (n `mod` 7)
 lookup6 0 (D61 a0 s) = a0
 lookup6 (n + 1) (D61 a0 s) = lookup7 (n `div` 7) s `ix7` (n `mod` 7)
 lookup6 0 (D62 a0 a1 s) = a0
 lookup6 1 (D62 a0 a1 s) = a1
 lookup6 (n + 2) (D62 a0 a1 s) = lookup7 (n `div` 7) s `ix7` (n `mod` 7)
 lookup6 0 (D63 a0 a1 a2 s) = a0
 lookup6 1 (D63 a0 a1 a2 s) = a1
 lookup6 2 (D63 a0 a1 a2 s) = a2
 lookup6 (n + 3) (D63 a0 a1 a2 s) = lookup7 (n `div` 7) s `ix7` (n `mod` 7)
 lookup6 0 (D64 a0 a1 a2 a3 s) = a0
 lookup6 1 (D64 a0 a1 a2 a3 s) = a1
 lookup6 2 (D64 a0 a1 a2 a3 s) = a2
 lookup6 3 (D64 a0 a1 a2 a3 s) = a3
 lookup6 (n + 4) (D64 a0 a1 a2 a3 s) = lookup7 (n `div` 7) s `ix7` (n `mod`
 7)
 lookup6 0 (D65 a0 a1 a2 a3 a4 s) = a0
 lookup6 1 (D65 a0 a1 a2 a3 a4 s) = a1
 lookup6 2 (D65 a0 a1 a2 a3 a4 s) = a2
 lookup6 3 (D65 a0 a1 a2 a3 a4 s) = a3
 lookup6 4 (D65 a0 a1 a2 a3 a4 s) = a4
 lookup6 (n + 5) (D65 a0 a1 a2 a3 a4 s) = lookup7 (n `div` 7) s `ix7` (n
 `mod` 7)
 lookup6 0 (D66 a0 a1 a2 a3 a4 a5 s) = a0
 lookup6 1 (D66 a0 a1 a2 a3 a4 a5 s) = a1
 lookup6 2 (D66 a0 a1 a2 a3 a4 a5 s) = a2
 lookup6 3 (D66 a0 a1 a2 a3 a4 a5 s) = a3
 lookup6 4 (D66 a0 a1 a2 a3 a4 a5 s) = a4
 lookup6 5 (D66 a0 a1 a2 a3 a4 a5 s) = a5
 lookup6 (n + 6) (D66 a0 a1 a2 a3 a4 a5 s) = lookup7 (n `div` 7) s `ix7` (n
 `mod` 7)

 lookup7 n s = error "out of bounds"
 }}}

 It panics at -O2 with 8.0.2 but doesn't panic with HEAD.

 Does anyone know which ticket fixed this?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13417#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler