56b1117e9a3626b0d620b4be2038e9f64c525d45
[ghc.git] / testsuite / tests / arrows / should_compile / arrowpat.hs
1 {-# OPTIONS -XArrows #-}
2
3 -- Test for Trac #1662
4
5 module Arrow where
6
7 import Control.Arrow
8
9 expr' :: Arrow a => a Int Int
10 expr' = error "urk"
11
12 term :: Arrow a => a () Int
13 term = error "urk"
14
15 expr1 :: Arrow a => a () Int
16 expr1 = proc () -> do
17 x <- term -< ()
18 expr' -< x
19
20 expr2 :: Arrow a => a () Int
21 expr2 = proc y -> do
22 x <- term -< y
23 expr' -< x