Tim Chevalier
fde4c1efbb
Document what the type of the main() function should be
2012-03-11 20:55:12 -07:00
Tim Chevalier
d7ae9f1370
Docs for infinite loops
2012-03-11 20:17:37 -07:00
Tim Chevalier
813c41362b
A few tests for infinite loops
2012-03-11 20:17:27 -07:00
Brian Anderson
a0a230de83
doc: Add 'crust' to keywords
2012-03-11 18:05:51 -07:00
Patrick Walton
46aec2c960
rustc: Record the parent function of each function
2012-03-11 17:02:16 -07:00
Brian Anderson
8f071bb841
rustdoc: Add indexes to native mods. Closes #1963
2012-03-11 16:36:20 -07:00
Patrick Walton
cb1efb0092
rustc: Fix long lines
2012-03-11 16:18:52 -07:00
Patrick Walton
8f9afec5a3
rustc: Turn on errors for region checking
2012-03-11 13:29:23 -07:00
Patrick Walton
3e8bb22af1
rustc: Unify regions in most cases. (Nested functions aren't properly handled yet.)
2012-03-11 13:28:43 -07:00
Patrick Walton
f7efc29b38
rustc: Determine regions for locals
2012-03-11 12:36:56 -07:00
Patrick Walton
e968672ac7
rustc: Map local variables to their containing blocks so we know their regions
2012-03-11 12:05:17 -07:00
Tim Chevalier
d3035a1b20
Fix test so it terminates, and un-xfail it
...
Still need more tests for loop{}
2012-03-10 21:19:02 -08:00
Tim Chevalier
40a5c56345
Fix Windows build breakage
2012-03-10 20:44:10 -08:00
Tim Chevalier
9838a7ec54
Tweak some test cases and add a few new ones
2012-03-10 20:38:03 -08:00
Tim Chevalier
eb9d0e89d1
wibble
2012-03-10 20:36:48 -08:00
Tim Chevalier
8ab075ee45
Clean up occurs check code and give non-breaking loop {..}s _|_ type
...
The latter change is so that code dominated by a loop{ } without a
break gets considered unreachable.
The former change is just cosmetic (occurs_check_fails was a predicate
when it should be a unit-typed function that can fail).
2012-03-10 20:35:41 -08:00
Tim Chevalier
205cefdc6e
In typestate, consider infinite loops w/ conts to be infinite
...
If a loop { } contains a cont, that doesn't affect whether the entire
loop diverges. Only breaks affect that. Fix that in typestate.
2012-03-10 20:34:57 -08:00
Tim Chevalier
35400e13ad
Use loop instead of while(true) in libraries and compiler itself
...
And remove spurious fails/unreachable() calls.
2012-03-10 20:34:17 -08:00
Tim Chevalier
98260a2a22
Handle infinite-loop poststate correctly in typestate
...
If control passes an infinite loop (that doesn't have non-local
exits), then everything is true.
2012-03-10 20:15:27 -08:00
Tim Chevalier
e34fad7503
Register snapshots
2012-03-10 20:13:03 -08:00
Brian Anderson
e5eea72677
cargo: Don't bail when signature verification fails
2012-03-10 19:33:09 -08:00
Brian Anderson
87d72303ad
core: Remove empty bessel mod
2012-03-10 18:04:51 -08:00
Brian Anderson
e8f7bb0db1
core: Cleanup bool module
...
Instead of defining a type for bool, just use the bool type directly in order
to be more consistent with other modules. Cleanup the comments a bit.
2012-03-10 18:01:01 -08:00
Brian Anderson
91e5a1c8b3
core: Remove the nearly empty math module
...
This mod only had two functions, all of whose users have been changed
to use the uint module.
2012-03-10 17:43:19 -08:00
Brian Anderson
035197609a
core: Formatting
2012-03-10 17:29:58 -08:00
Brian Anderson
6d4fb35912
core Remove vec::enum_chars/uint. Closes #1955
2012-03-10 17:07:23 -08:00
Brian Anderson
a5368fb6d8
rustdoc: Put native mods on their own pages. Closes #1959
2012-03-10 16:44:48 -08:00
Brian Anderson
474ad2e4de
rustdoc: Fix native mod breakage
2012-03-10 16:43:38 -08:00
Brian Anderson
4bbe33c8eb
rustdoc: Write page titles
2012-03-10 16:21:23 -08:00
Brian Anderson
78d539927a
rustdoc: Remove unused fn
2012-03-10 15:42:08 -08:00
Brian Anderson
d54d9b1cab
rustdoc: Fix generation of impl links. Closes #1953
2012-03-10 15:38:52 -08:00
Brian Anderson
57af1e9f67
doc: Update tutorial for task API changes
2012-03-10 15:30:51 -08:00
Brian Anderson
91b988ea45
doc: Indent preformatted text a little more
2012-03-10 15:26:41 -08:00
Brian Anderson
6bab5c07e4
build: Make tutorial and lang ref depend on rust.css
2012-03-10 15:26:09 -08:00
Brian Anderson
e4bb2d707f
core: Rename vec::tail_n to vec::tailn to match other fns
2012-03-10 00:44:13 -08:00
Brian Anderson
a0f0a704b0
core: Clean up comments and exports
2012-03-10 00:35:02 -08:00
Brian Anderson
93a082149a
build: Switch from naturaldocs to rustdoc
2012-03-09 22:56:53 -08:00
Brian Anderson
4d4995fc60
build: Fix some deps in tools.mk
2012-03-09 22:56:53 -08:00
Brian Anderson
95521c4084
std: Convert to rustdoc
2012-03-09 22:56:53 -08:00
Brian Anderson
b22556a6f8
core: Convert to rustdoc
2012-03-09 22:56:53 -08:00
Tim Chevalier
a0521971b1
Merge branch 'master' into floop-for-snapshot
2012-03-09 22:16:52 -08:00
Tim Chevalier
c758ef3f38
Register snapshots
2012-03-09 22:16:15 -08:00
Brian Anderson
e2dad03f44
rustdoc: Change the formatting for enum variants
2012-03-09 21:20:51 -08:00
Brian Anderson
863840e319
Add Damien Grassart to AUTHORS.txt
2012-03-09 18:18:33 -08:00
Brian Anderson
31ce3637da
Merge pull request #1950 from damag/master
...
Update README.txt with the new path to the compiler
2012-03-09 18:17:38 -08:00
Brian Anderson
f9755c666d
rustdoc: Simplify attribute parsing
2012-03-09 18:13:14 -08:00
Brian Anderson
effe4559d2
rustdoc: Accept the first sentence as the brief description
2012-03-09 18:13:14 -08:00
Brian Anderson
4fc5b822e2
rustdoc: Simplify the relation between the brief and long description
...
Brief is just used for indexes now
2012-03-09 18:13:14 -08:00
Damien Grassart
c19ea057fa
The compiler is now in src/rustc
2012-03-10 02:51:38 +01:00
Patrick Walton
e8c7b5347d
rustc: Add a region checking pass
...
Errors aren't reported yet, because the regions aren't properly inferred from the & operator at the moment and that would break the tests.
2012-03-09 17:39:32 -08:00
