diff options
Diffstat (limited to 'testsuite/tests/tcplugins/TcPlugin_CtId.hs')
| -rw-r--r-- | testsuite/tests/tcplugins/TcPlugin_CtId.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/tcplugins/TcPlugin_CtId.hs b/testsuite/tests/tcplugins/TcPlugin_CtId.hs new file mode 100644 index 0000000000..14698a9f3f --- /dev/null +++ b/testsuite/tests/tcplugins/TcPlugin_CtId.hs @@ -0,0 +1,13 @@ +{-# OPTIONS_GHC -dcore-lint #-} +{-# OPTIONS_GHC -fplugin CtIdPlugin #-} + +module TcPlugin_CtId where + +import Definitions + ( CtId ) + +foo :: CtId (Num a) => a +foo = 5 + +bar :: Int +bar = foo |