Ignore:
Timestamp:
May 5, 2014, 3:10:33 PM (11 years ago)
Author:
gobi
Message:

new files

File:
1 edited

Legend:

Unmodified
Added
Removed

  • sizechecking/branches/macs/Tests/ExpTest.hs

    r24 r27  
    3030testD2Cons = cons (cons (lit 1) nil) nil 
    3131 
    32 checkAST :: S a -> String -> IO Bool 
     32checkAST :: S SData a -> String -> IO Bool 
    3333checkAST exp repr = ast exp >>= (\t -> return $ t "" == repr ) 
    3434 
Note: See TracChangeset for help on using the changeset viewer.