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

Last change on this file since 19 was 19, checked in by gobi, 12 years ago

Lambda embedding
File size: 167 bytes
Line 
1{-# LANGUAGE NoMonomorphismRestriction #-}
2import Lambda
3import Prelude ( (+), ($), Int )
4
5test1 :: (Lambda l) => l Int
6test1 = app (lam $ \x ->  (const 3)) (const 2)
Note: See TracBrowser for help on using the repository browser.