diff options
Diffstat (limited to 'testsuite/tests/rep-poly/RepPolyArrowCmd.hs')
-rw-r--r-- | testsuite/tests/rep-poly/RepPolyArrowCmd.hs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/RepPolyArrowCmd.hs b/testsuite/tests/rep-poly/RepPolyArrowCmd.hs new file mode 100644 index 0000000000..f010c58e7a --- /dev/null +++ b/testsuite/tests/rep-poly/RepPolyArrowCmd.hs @@ -0,0 +1,26 @@ +{-# LANGUAGE Arrows #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE RebindableSyntax #-} +{-# LANGUAGE ScopedTypeVariables #-} + +module RepPolyArrowCmd where + +import Data.Kind +import GHC.Exts +import Prelude ( undefined ) + +first :: forall r (a :: TYPE r) (b :: TYPE r). a -> b +first = undefined + +(>>>) :: forall r (a :: TYPE r) (b :: TYPE r) (c :: TYPE r). a -> b -> c +(>>>) = undefined + +arr :: forall r (a :: TYPE r) (b :: TYPE r). (a -> b) -> (a -> b) +arr = undefined + +returnA :: forall r (a :: TYPE r). a -> a +returnA = undefined + +foo :: forall r (a :: TYPE r). a -> a +foo = proc x -> returnA -< x |