Marijn Haverbeke 67cc89f38d Rewrite exhaustiveness checker ...

Issue #352
Closes #1720

The old checker would happily accept things like 'alt x { @some(a) { a } }'.
It now properly descends into patterns, checks exhaustiveness of booleans,
and complains when number/string patterns aren't exhaustive.

2012-02-15 15:47:42 +01:00

..

common.rs

Make process-spawning take environments and working directories, remove procsrv task from compiletest.

2012-02-07 19:57:03 -08:00

compiletest.rc

Update crates with correct crate_type attribute

2012-01-17 15:13:43 -08:00

compiletest.rs

Make process-spawning take environments and working directories, remove procsrv task from compiletest.

2012-02-07 19:57:03 -08:00

errors.rs

(core::str) add find_bytes and export it...

2012-02-13 01:56:58 -08:00

header.rs

(core::str) add find_bytes and export it...

2012-02-13 01:56:58 -08:00

procsrv.rs

Rewrite exhaustiveness checker

2012-02-15 15:47:42 +01:00

runtest.rs

(core::str) add find_bytes and export it...

2012-02-13 01:56:58 -08:00

util.rs

Remove '.' after nullary tags in patterns

2012-01-18 23:17:34 -08:00