testsuite/tests/arrows/should_compile/arrowrec1.hs


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

{-# LANGUAGE Arrows #-}

module ShouldCompile where

import Control.Arrow
import Data.Char

f :: ArrowLoop a => a Char Int
f = proc x -> do
        a <- returnA -< ord x
        rec     b <- returnA -< ord c - ord x
                c <- returnA -< chr a
        returnA -< b + ord c