diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T16373.hs')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/T16373.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T16373.hs b/testsuite/tests/simplCore/should_compile/T16373.hs new file mode 100644 index 0000000000..e8346ca30a --- /dev/null +++ b/testsuite/tests/simplCore/should_compile/T16373.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE DataKinds #-} +{-# OPTIONS_GHC -ddump-simpl -dsuppress-all -dno-typeable-binds -O2 #-} + +module Test2 where + +import GHC.TypeLits +import Data.Proxy + +testAA :: Bool +testAA = symbolVal (Proxy :: Proxy "A") == symbolVal (Proxy :: Proxy "A") + +testAB :: Bool +testAB = symbolVal (Proxy :: Proxy "A") == symbolVal (Proxy :: Proxy "B") |