Rafael Ávila de Espíndola b4422cca21 Add a -O option and change the Makefile to use it.		2011-04-07 15:42:06 -04:00
..
fold.rs	Continued sketching out code for checking states against preconditions.	2011-04-06 17:58:18 -07:00
metadata.rs	Write typarams for variants. Typecheck gets as far as ty.rs now.	2011-04-01 18:53:08 -07:00
resolve.rs	Continued sketching out code for checking states against preconditions.	2011-04-06 17:58:18 -07:00
trans.rs	Add a -O option and change the Makefile to use it.	2011-04-07 15:42:06 -04:00
ty.rs	Continued sketching out code for checking states against preconditions.	2011-04-06 17:58:18 -07:00
typeck.rs	Continued sketching out code for checking states against preconditions.	2011-04-06 17:58:18 -07:00
typestate_check.rs	Continued sketching out code for checking states against preconditions.	2011-04-06 17:58:18 -07:00