diff options
Diffstat (limited to 'testsuite/tests/rep-poly/RepPolyDoBody2.hs')
-rw-r--r-- | testsuite/tests/rep-poly/RepPolyDoBody2.hs | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/RepPolyDoBody2.hs b/testsuite/tests/rep-poly/RepPolyDoBody2.hs new file mode 100644 index 0000000000..c65f3441b4 --- /dev/null +++ b/testsuite/tests/rep-poly/RepPolyDoBody2.hs @@ -0,0 +1,24 @@ +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE RebindableSyntax #-} +{-# LANGUAGE ScopedTypeVariables #-} + +module RepPolyDoBody2 where + +import GHC.Exts +import Prelude ( undefined ) + +(>>) + :: forall + rep + ( mb :: TYPE rep ) + ( mc :: TYPE rep ) + . () -> mb -> mc +(>>) = undefined + +return :: forall rep (ma :: TYPE rep). () -> ma +return = undefined + +foo :: forall rep (ma :: TYPE rep). () -> ma +foo _ = do + undefined :: () + return () |