mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
8,737 Commits 2 Branches 0 Tags 1.4 GiB
d3035a1b20
Commit Graph

8737 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Brian Anderson
0905ad2bbe rustdoc: Vastly simplify the document model 
Don't attempt to impose any structure for documenting arguments, return
values, etc.
 2012-03-09 17:24:56 -08:00
Brian Anderson
9f4c0d71e5 rustdoc: Update the demo module 2012-03-09 17:24:56 -08:00
Brian Anderson
e399263b5e rustdoc: Write sections in markdown 2012-03-09 17:24:56 -08:00
Brian Anderson
0ad8265fee rustdoc: Add the concept of 'sections' 2012-03-09 17:24:55 -08:00
Tim Chevalier
321fd80219 Add an infinite loop construct 
Add a loop {} construct for infinite loops, and use it in test
cases. See #1906 for details.
 2012-03-09 16:40:58 -08:00
Patrick Walton
4ffcb95974 rustc: Perform region inference 2012-03-09 16:40:37 -08:00
Graydon Hoare
7f55e7d087 Add a couple more missing pieces to libc and os. 2012-03-09 16:38:23 -08:00
Patrick Walton
b7d3874349 rustc: Wrap regions in a node ID 2012-03-09 16:10:11 -08:00
Patrick Walton
7b938d8903 rustc: Add region def ids to the AST 2012-03-09 15:55:13 -08:00
Patrick Walton
e2f6052c6d Revert "rustc: Create def IDs for region parameters" 
This reverts commit 0d4cb75949.
 2012-03-09 14:40:36 -08:00
Patrick Walton
0d4cb75949 rustc: Create def IDs for region parameters 2012-03-09 14:06:43 -08:00