TInsideNestedWhere.expected.hs

{-# LANGUAGE EmptyCase #-}
{-# OPTIONS_GHC -Wall -fmax-uncovered-patterns=99 #-}
module T where

data X = A
       | B
       | C Int
       | D Int Int
       | E
       | F

foo :: X -> a
foo x = bar x
  where
    bar :: X -> a
    bar = baz
      where
        baz :: X -> a
        baz x' = case x' of
          A -> _
          B -> _
          C _ -> _
          D _ _ -> _
          E -> _
          F -> _