diff options
| author | simonpj <simonpj@microsoft.com> | 2010-05-07 13:29:44 +0000 |
|---|---|---|
| committer | simonpj <simonpj@microsoft.com> | 2010-05-07 13:29:44 +0000 |
| commit | b9779d2519de9ac4351cc488ef5d59df1a253f7f (patch) | |
| tree | 6c49ca0c54482c81e2df1c8a703163381e7484aa /testsuite/tests/ghc-regress/arrows | |
| parent | 37a94b7c76aecdf985ec15c74076763fbf45f276 (diff) | |
| download | haskell-b9779d2519de9ac4351cc488ef5d59df1a253f7f.tar.gz | |
Test Trac #3964
Diffstat (limited to 'testsuite/tests/ghc-regress/arrows')
| -rw-r--r-- | testsuite/tests/ghc-regress/arrows/should_compile/T3964.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/ghc-regress/arrows/should_compile/all.T | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/ghc-regress/arrows/should_compile/T3964.hs b/testsuite/tests/ghc-regress/arrows/should_compile/T3964.hs new file mode 100644 index 0000000000..713c7e2303 --- /dev/null +++ b/testsuite/tests/ghc-regress/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 diff --git a/testsuite/tests/ghc-regress/arrows/should_compile/all.T b/testsuite/tests/ghc-regress/arrows/should_compile/all.T index 3d06bf8918..a3eadb0541 100644 --- a/testsuite/tests/ghc-regress/arrows/should_compile/all.T +++ b/testsuite/tests/ghc-regress/arrows/should_compile/all.T @@ -14,3 +14,4 @@ test('arrowif1', normal, compile, ['']) test('arrowlet1', normal, compile, ['']) test('arrowrec1', normal, compile, ['']) test('arrowpat', normal, compile, ['']) +test('T3964', normal, compile, ['']) |