packages feed

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