testsuite/tests/arrows/should_fail/arrowfail004.hs


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

{-# LANGUAGE Arrows, ExistentialQuantification #-}

-- #1662

module ShouldFail where

import Control.Arrow

data T = forall a. T a

panic :: (Arrow arrow) => arrow T T
panic = proc (T x) -> do returnA -< T x