Ticket #5777: Test3.hs

File Test3.hs, 284 bytes (added by benmos, 2 years ago)

Source file

Line 
1{-# LANGUAGE Arrows, GADTs #-}
2import Control.Arrow
3
4data Value a where BoolVal :: Value Bool
5
6class ArrowInit f where
7    arrif :: f b -> ()
8
9instance ArrowInit Value where
10    arrif = proc BoolVal -> returnA -< ()
11    -- arrif = arr (\BoolVal -> ())
12
13main = print "hi"