ghc/tests/codeGen/should_run/cg043.hs

   1 --!!! Tickled a bug in core2stg
   2 --!!! (CoreSyn.Coerce constructors were not peeled off
   3 --!!! when converting CoreSyn.App)
   4
   5 module Main where
   6
   7 getData :: String -> IO ()
   8 getData filename = case leng filename of {0 -> return ()}
   9 leng :: String -> Int
  10 leng [] = 0 --case ls of {[] -> 0 ; (_:xs) -> 1 + leng xs }
  11 leng ls = leng ls
  12
  13 f [] [] = []
  14 f xs ys = f xs ys
  15
  16 main =
  17      return ()  >>= \ _ ->
  18      case f [] [] of { [] -> getData [] }