source:
sizechecking/branches/macs/tests/LambdaTest.hs
@
20
| Last change on this file since 20 was 20, checked in by gobi, 12 years ago | |
|---|---|
| File size: 173 bytes | |
| Line | |
|---|---|
| 1 | {-# LANGUAGE NoMonomorphismRestriction #-} |
| 2 | |
| 3 | import Lambda |
| 4 | import Ops |
| 5 | import Prelude ( ($), Int ) |
| 6 | |
| 7 | test1 :: (Lambda l) => l Int |
| 8 | test1 = app (lam $ \_ -> const 3) (const 2) |
| 9 | |
| 10 |
Note: See TracBrowser
for help on using the repository browser.
![(please configure the [header_logo] section in trac.ini)](/trac/tamop/chrome/site/your_project_logo.png)