source: sizechecking/branches/macs/tests/LambdaTest.hs @ 20

Last change on this file since 20 was 20, checked in by gobi, 11 years ago

lint and cleanup
File size: 173 bytes
RevLine 
[19]1{-# LANGUAGE NoMonomorphismRestriction #-}
[20]2
[19]3import Lambda
[20]4import Ops
5import Prelude ( ($), Int )
[19]6
7test1 :: (Lambda l) => l Int
[20]8test1 = app (lam $ \_ -> const 3) (const 2)
9
10
Note: See TracBrowser for help on using the repository browser.