Skip to content

Instantly share code, notes, and snippets.

@bortzmeyer

bortzmeyer/gist:335757

Created March 17, 2010 21:47
Show Gist options
  • Save bortzmeyer/335757 to your computer and use it in GitHub Desktop.
Save bortzmeyer/335757 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.hs
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))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment