ghc-exactprint-0.5.0.0: tests/examples/ghc8/ado003.hs

{-# LANGUAGE ApplicativeDo #-}
module ShouldFail where

g :: IO ()
g = do
  x <- getChar
  'a' <- return (3::Int) -- type error
  return ()