Ticket #5662: Ticket 5662.hs
| File Ticket 5662.hs, 423 bytes (added by Duschvorhang, 18 months ago) |
|---|
| Line | |
|---|---|
| 1 | {-# LANGUAGE Arrows, FlexibleContexts #-} |
| 2 | |
| 3 | module Main where |
| 4 | |
| 5 | import Control.Arrow |
| 6 | import Control.Arrow.Operations |
| 7 | import Control.Arrow.Transformer.State |
| 8 | |
| 9 | goodArrow :: ArrowState Int arr => arr Bool Int |
| 10 | goodArrow = arr (const 1) |
| 11 | |
| 12 | badArrow :: Arrow arr => arr Bool Int |
| 13 | badArrow = proc b -> do |
| 14 | (result, final_state) <- (|runState (goodArrow -< b)|) 2 |
| 15 | returnA -< final_state |
| 16 | |
| 17 | main = print $ badArrow True |
