aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/Arrows/unicode-rec.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE Arrows, UnicodeSyntax #-}
module ArrowUnicodeRec where

import Control.Arrow

counter a = proc reset → do
  rec output ← returnA ⤙ if reset then 0 else next
      next ← returnA ⤙ output + 1
  returnA ⤙ output