Go to file
Tim Chevalier 4f892dd9d7 Check that the operand in a check is a call
In addition, fix bug in fold that was turning asserts into checks.

More typechecking still needs to be done.
2011-05-05 11:26:07 -07:00
doc Remove half-baked 'opacity' layer qualifier. 2011-04-19 14:00:04 -07:00
mk build: Add missing intrinsics.mk 2011-05-04 18:35:36 -07:00
src Check that the operand in a check is a call 2011-05-05 11:26:07 -07:00
.gitignore Add *.pyc to .gitignore 2011-05-04 19:34:46 -04:00
AUTHORS.txt Add Lindsey to AUTHORS. 2011-03-22 14:25:07 -07:00
configure Make ocamlc and optional dependency. 2011-05-05 11:02:16 -07:00
LICENSE.txt Update copyrights for completeness. 2011-05-03 12:10:03 -07:00
Makefile.in Make ocamlc and optional dependency. 2011-05-05 11:02:16 -07:00
README Update README to point to github, test email notification. 2010-06-23 21:11:10 -07:00

This is a compiler and suite of associated libraries and documentation for the
Rust programming language.

See LICENSE.txt for terms of copyright and redistribution.

See http://github.com/graydon/rust for current development page.