haskell-src-exts-1.15.0.1: tests/examples/ScopedTypeVariables.hs.prettyprinter.golden
{-# LANGUAGE ScopedTypeVariables #-}
module Main (main) where
test :: IO Char
test
= do x :: Char <- getChar
return x
value :: String = "Hello"
forallTest :: forall x . (Eq x) => x -> x
forallTest x = if x == x then (undefined :: x) else x