Ignore:
Timestamp:
May 2, 2014, 1:59:29 PM (11 years ago)
Author:
gobi
Message:

lint and cleanup

File:
1 edited

Legend:

Unmodified
Added
Removed
  • sizechecking/branches/macs/tests/LambdaTest.hs

    r19 r20  
    11{-# LANGUAGE NoMonomorphismRestriction #-} 
     2 
    23import Lambda 
    3 import Prelude ( (+), ($), Int ) 
     4import Ops 
     5import Prelude ( ($), Int ) 
    46 
    57test1 :: (Lambda l) => l Int 
    6 test1 = app (lam $ \x ->  (const 3)) (const 2) 
     8test1 = app (lam $ \_ -> const 3) (const 2) 
     9 
     10 
Note: See TracChangeset for help on using the changeset viewer.