Commit b91c2ce2 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test for #1662

parent 4d238db1
......@@ -13,3 +13,4 @@ test('arrowform1', normal, compile, [''])
test('arrowif1', normal, compile, [''])
test('arrowlet1', normal, compile, [''])
test('arrowrec1', normal, compile, [''])
test('arrowpat', normal, compile, [''])
{-# OPTIONS -XArrows #-}
-- Test for Trac #1662
module Arrow where
import Control.Arrow
expr' :: Arrow a => a Int Int
expr' = error "urk"
term :: Arrow a => a () Int
term = error "urk"
expr1 :: Arrow a => a () Int
expr1 = proc () -> do
x <- term -< ()
expr' -< x
expr2 :: Arrow a => a () Int
expr2 = proc y -> do
x <- term -< y
expr' -< x
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment