Paste: Test for an article I write (Haskell)

Author: St├ęphane Bortzmeyer
Mode: haskell
Date: Wed, 17 Mar 2010 21:03:56
Plain Text |
checkDcls :: Program -> Result
checkDcls l =  
     let t = Map.fromList (map extract 
                                  (filter is_declaration l)) in
            foldl combine (True, Nothing) (map (test_declaration t)
                 (filter is_transition l))

New Annotation

Summary:
Author:
Mode:
Body: