Changeset 20 for sizechecking/branches/macs/tests/LambdaTest.hs
- Timestamp:
- May 2, 2014, 1:59:29 PM (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
sizechecking/branches/macs/tests/LambdaTest.hs
r19 r20 1 1 {-# LANGUAGE NoMonomorphismRestriction #-} 2 2 3 import Lambda 3 import Prelude ( (+), ($), Int ) 4 import Ops 5 import Prelude ( ($), Int ) 4 6 5 7 test1 :: (Lambda l) => l Int 6 test1 = app (lam $ \x -> (const 3)) (const 2) 8 test1 = app (lam $ \_ -> const 3) (const 2) 9 10
Note: See TracChangeset
for help on using the changeset viewer.