diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/T14236.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_run/T14236.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_run/T14236.hs b/testsuite/tests/typecheck/should_run/T14236.hs new file mode 100644 index 0000000000..c08682bc14 --- /dev/null +++ b/testsuite/tests/typecheck/should_run/T14236.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE TypeApplications #-} +{-# LANGUAGE MagicHash #-} +import GHC.Exts +import Type.Reflection + +main = do + case typeRep @(Int -> Char) of + App a b -> print (a, b) + + case typeRep @(Int# -> Char) of + App a b -> print (a, b) + + case typeRep @(Int# -> Char) of + App a b -> print $ App a (typeRep @String) |