testsuite/tests/pmcheck/should_compile/T18708.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

{-# LANGUAGE OverloadedStrings        #-}
{-# LANGUAGE RebindableSyntax         #-}

module A (main) where

import           Prelude
import           Data.Text


fromString :: String -> Text
fromString = pack

y :: Text
y = "y"

main :: IO ()
main =  do
  case y of
    "y" -> return ()
  return ()