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
Line 
1{-# LANGUAGE NoMonomorphismRestriction #-}
2
3import Lambda
4import Ops
5import Prelude ( ($), Int )
6
7test1 :: (Lambda l) => l Int
8test1 = app (lam $ \_ -> const 3) (const 2)
9
10
Note: See TracBrowser for help on using the repository browser.