Commit Graph

7594 Commits

Author SHA1 Message Date
Tim Chevalier
ba5cc236f7 WIP on issue 1426 (exporting all tags)
Support Lenny222's proposed syntax for exporting a tag without
its variants, or selected tags from a variant, in the AST and parser.
No support further down the line yet. Tests are xfailed.
2012-01-20 19:48:33 -08:00
Lindsey Kuper
ae4c139144 Update Lindsey's email address. 2012-01-20 22:41:16 -05:00
Lindsey Kuper
78c327559c Typo fixes. 2012-01-20 22:36:33 -05:00
Brian Anderson
63a1dcda29 doc: Translate extract-tests.js to python 2012-01-20 17:32:49 -08:00
Tim Chevalier
e36df0f6c8 Handle fail after return correctly in typestate
Previously, typestate would conclude that this function was
correctly diverging:

fn f() -> ! { ret; fail; }

even though it always returns to the caller. It wasn't handling the
i_diverge and i_return bits correctly in the fail case. Fixed it.

Closes #897
2012-01-20 17:26:31 -08:00
Tim Chevalier
00a4aee2ed Update .gitignore 2012-01-20 17:26:20 -08:00
Graydon Hoare
f49d781dc0 Fix formatting. 2012-01-20 16:12:25 -08:00
Graydon Hoare
32c9f7e8cf Merge pull request #1585 from mbrubeck/master
Update the keyword lists in rust.md and syntax.vim
2012-01-20 16:13:45 -08:00
Graydon Hoare
4ac25426b6 Merge pull request #1583 from killerswan/ubuntu_ppa
Additions re: Ubuntu PPA for Rust
2012-01-20 16:12:50 -08:00
Matt Brubeck
155601eefe Update the keyword lists in rust.md and syntax.vim
Add new keywords "enum" and "of", and remove old keywords "auth", "chan",
"log_err", "tag", and "task".

Also add reserved words to the syntax file, to help Vim users avoid using them
as identifiers.
2012-01-20 16:08:51 -08:00
Brian Anderson
4efdab0059 doc: Add MinGW instructions to tutorial 2012-01-20 15:27:14 -08:00
Brian Anderson
3401c50070 doc: Use commas to separate enums in tutorial 2012-01-20 15:14:18 -08:00
Graydon Hoare
992d743bef Bump release number to 0.2pre to avoid clobbering 0.1 artifacts in future. 2012-01-20 14:36:38 -08:00
Brian Anderson
98d0bc7ac1 Update Elly's name in AUTHORS.txt 2012-01-20 14:37:53 -08:00
Graydon Hoare
16e4369fe3 Include man page in dist. 2012-01-20 12:06:14 -08:00
Niko Matsakis
cac46eac4b revert accidental commits 2012-01-20 09:34:15 -08:00
Niko Matsakis
1304e4e40f update tutorial to avoid block() syntax and to use term stack closure 2012-01-20 09:14:30 -08:00
Niko Matsakis
b7811e613d small fixes for building dist on windows 2012-01-20 08:59:07 -08:00
Kevin Cantu
62bef762a3 Add a Python script which downloads only the latest Linux snapshots (derived from other scripts here) 2012-01-20 04:23:07 -08:00
Kevin Cantu
c9d53ca8ba Add support for DESTDIR to "make install"
per the Debian New Maintainers' Guide:
http://www.debian.org/doc/manuals/maint-guide/modify.en.html#id459110
2012-01-20 04:17:32 -08:00
Brian Anderson
f6c7cfdc3e Revert "build: Surround makensis command in quotes"
This reverts commit cd39fdcae3.
2012-01-20 02:31:00 -08:00
Brian Anderson
20a9e317c9 doc: Fix mutant comma in tutorial 2012-01-20 02:16:11 -08:00
Brian Anderson
cd39fdcae3 build: Surround makensis command in quotes
Quick hack - on the bots this is installed in a dir containing spaces.
2012-01-20 02:09:26 -08:00
Brian Anderson
341540b694 doc: Mention 'debug' log level in tutorial. Closes #1579 2012-01-20 01:06:26 -08:00
Brian Anderson
2d9910383e rust-mode: tag -> enum. Closes #1577 2012-01-20 01:04:50 -08:00
Brian Anderson
411cb28a3e Add .elc files to .gitignore. Closes #1578 2012-01-20 01:04:50 -08:00
Graydon Hoare
a4954eb6ce Couple typo fixes in tutorial. 2012-01-19 23:58:33 -08:00
Brian Anderson
4fc6e1802a Add Sean Stangl to AUTHORS.txt 2012-01-19 23:17:37 -08:00
Graydon Hoare
b70470bcf5 Set release string to 0.1. 2012-01-19 22:55:58 -08:00
Graydon Hoare
d8e750f1c6 Typo fix in tutorial. 2012-01-19 22:55:40 -08:00
Brian Anderson
59527a7d20 doc: Fix typo in RELEASES.txt 2012-01-19 22:54:08 -08:00
Tim Chevalier
d242edb57b Handle predicates that recurse in a check() expression
typestate was using the enclosing function ID for the "this function
returns" constraint, which meant confusion and panic in the case
where a predicate p includes "check p()". Fixed it to use a fresh
ID.

Closes #933
2012-01-19 22:53:22 -08:00
Brian Anderson
b9d517296a doc: Update description of logging spec and ::rt module 2012-01-19 22:30:15 -08:00
Graydon Hoare
8f34c15c29 Merge pull request #1576 from mbrubeck/master
More documentation fixes
2012-01-19 21:57:24 -08:00
Brian Anderson
ae83e56d57 Add Tycho Sci to AUTHORS.txt 2012-01-19 21:55:17 -08:00
Matt Brubeck
2eda013ea2 Add documentation about paretheses for grouping expressions 2012-01-19 21:54:17 -08:00
Matt Brubeck
3d9f50a186 Mention associativity of binary operators 2012-01-19 21:54:17 -08:00
Matt Brubeck
3276af7f24 "Rust task" should be "Rust program" in the intro to the Memory Model docs 2012-01-19 21:54:17 -08:00
Brian Anderson
183acc2466 Merge pull request #1575 from tychosci/fix-cargo-install
Fix `cargo install *` fails at assertion.
2012-01-19 21:53:57 -08:00
Tycho Sci
35cbcbe0c2 Fix cargo install * fails at assertion. 2012-01-20 14:50:33 +09:00
Graydon Hoare
abecc36463 Add Kevin Atkinson to AUTHORS.txt. 2012-01-19 21:41:27 -08:00
Graydon Hoare
e3cb1a9e50 Revert accidental change to LLVM submodule. 2012-01-19 21:39:49 -08:00
Brian Anderson
62d22a06d8 Add Ben Striegel to AUTHORS.txt 2012-01-19 21:46:45 -08:00
Graydon Hoare
fcd52f5714 Conditionalize PKG_EXE on makensis. 2012-01-19 21:29:27 -08:00
Graydon Hoare
c470018240 Merge pull request #1573 from mbrubeck/master
Remove some stray texinfo syntax from a footnote
2012-01-19 21:36:13 -08:00
Graydon Hoare
a9cad52011 Merge pull request #1574 from Wensleydale/tut-spelling
tutorial.md: spelling corrections for sections 1-5
2012-01-19 21:35:56 -08:00
Ben Striegel
1a295096b1 tutorial.md: spelling corrections for sections 1-5 2012-01-20 00:22:05 -05:00
Brian Anderson
f435805e9c Update 0.1 release notes 2012-01-19 21:17:28 -08:00
Matt Brubeck
cea9fbfab0 Remove some stray texinfo syntax from a footnote 2012-01-19 21:12:46 -08:00
Graydon Hoare
4376189050 Update deps on the dist rule to something more modern. 2012-01-19 21:02:49 -08:00