Tim Chevalier e0985c1060 Handle alt on a _|_ - typed value ...

Return the result of the discriminant from trans_alt,
rather than nil, in the _|_ case. This was breaking the
enclosed test case (alt-bot-2) when optimization was disabled.

Closes #769

2011-08-04 16:07:26 -07:00

..

tstate

Make ast::pat_bindings an iterator

2011-08-03 10:26:41 +02:00

alias.rs

Make ast::pat_bindings an iterator

2011-08-03 10:26:41 +02: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

Add check for irrefutable patterns in destructuring locals

2011-08-01 17:52:43 +02:00

freevars.rs

Make ast::pat_bindings an iterator

2011-08-03 10:26:41 +02: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

Make ast::pat_bindings an iterator

2011-08-03 10:26:41 +02:00

shape.rs

rustc: Generate shapes

2011-08-04 10:46:10 -07:00

trans_alt.rs

Handle alt on a _|_ - typed value

2011-08-04 16:07:26 -07:00

trans_comm.rs

Remove unreachable statements

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

trans_common.rs

rustc: Actually emit shapes

2011-08-04 11:25:46 -07:00

trans_dps.rs

Partially implement destructuring locals

2011-08-01 17:51:37 +02:00

trans_vec.rs

Reformat for new syntax

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

trans.rs

trans_args no longer needs llobj argument.

2011-08-04 11:34:06 -07:00

ty.rs

Add a fast path in ty::occurs_check_fails

2011-08-04 15:56:40 -07:00

typeck.rs

Implement the occurs check

2011-08-04 15:30:09 -07:00