testsuite/tests/parser/should_compile/read040.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE ScopedTypeVariables #-}
-- A type signature on the LHS of a do-stmt was a parse
-- error in 6.4.2, but ok thereafter

module ShouldCompile where

f () = do { x :: Bool <- return True
          ; return x }