4 Commits

Author	SHA1	Message	Date
Tim Chevalier	9f1444c701	Implement "claim" ... Implement "claim" (issue #14), which is a version of "check" that doesn't really do the check at runtime. It's an unsafe feature. The new flag --check-claims turns claims into checks automatically -- but it's off by default, so by default, the assertion in a claim doesn't execute at runtime.	2011-06-28 16:41:06 -07:00
Eric Holk	64596e6583	Teach the parser and typechecker to understand port[int](). Closes #588	2011-06-28 16:11:04 -07:00
Brian Anderson	cab73f8897	Write metadata for more meta_item types. Issue #487	2011-06-28 10:12:05 -07:00
Paul Stansifer	b632681780	Add AST fold.	2011-06-28 15:02:12 +00:00