diff options
Diffstat (limited to 'testsuite/tests/arrows/should_compile/T3964.hs')
| -rw-r--r-- | testsuite/tests/arrows/should_compile/T3964.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/arrows/should_compile/T3964.hs b/testsuite/tests/arrows/should_compile/T3964.hs new file mode 100644 index 0000000000..713c7e2303 --- /dev/null +++ b/testsuite/tests/arrows/should_compile/T3964.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE Arrows, ViewPatterns #-} + +module T3964 where + +import Control.Arrow + +testF :: Eq a => a -> (Maybe (Maybe a)) -> Maybe a +testF v = proc x -> case x of + Just (Just ((==v) -> True)) -> returnA -< Just v + _ -> returnA -< Nothing |