testsuite/tests/rebindable/T4851.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE Arrows, RebindableSyntax #-}
module T4851 where

import Prelude hiding ( id, (.) )

import Control.Category ( Category(..) )
import Control.Arrow

garbage x =
  proc b ->
    do rec (c, d) <- undefined -< (b, d)
       returnA -< c