Tim Chevalier 2971cfb145 Remove unused imports

2011-07-31 00:06:25 -07:00

..

tstate

Change bitvectors::relax_precond_block to use visit instead of walk

2011-07-31 00:06:25 -07:00

alias.rs

Thread kinds into the type system. Don't quite activate yet, since it breaks stdlib and snapshot isn't ready to compile modified stdlib.

2011-07-28 13:29:39 -07:00

ast_map.rs

Enable kind checking on typarams, fix kind constraints in library and comp.

2011-07-29 18:48:15 -07:00

check_alt.rs

Reformat for new syntax

2011-07-27 15:54:33 +02:00

freevars.rs

Change the way freevars stores its information again.

2011-07-28 18:40:17 -07:00

kind.rs

Enable kind checking on typarams, fix kind constraints in library and comp.

2011-07-29 18:48:15 -07:00

resolve.rs

Thread kinds into the type system. Don't quite activate yet, since it breaks stdlib and snapshot isn't ready to compile modified stdlib.

2011-07-28 13:29:39 -07:00

trans_alt.rs

Fix damage done by the pretty-printer

2011-07-27 15:54:33 +02:00

trans_comm.rs

Remove unreachable statements

2011-07-29 20:54:44 +02:00

trans_common.rs

Remove unused imports

2011-07-31 00:06:25 -07:00

trans_dps.rs

Reformat for new syntax

2011-07-27 15:54:33 +02:00

trans_vec.rs

Reformat for new syntax

2011-07-27 15:54:33 +02:00

trans.rs

Remove unused imports

2011-07-31 00:06:25 -07:00

ty.rs

Encode, decode, and thread through typechecking all the param kinds, not just the counts.

2011-07-29 16:40:30 -07:00

typeck.rs

Fix bug in typechecker counting occurrences of typarams in instantiation rather than checking formals list.

2011-07-29 18:48:15 -07:00