e3b3a71e6a
Don't fiddle with RUST_LOG in the Makefiles
...
This is no longer necessary since error logging is not affected by RUST_LOG.
2011-05-27 17:01:15 -04:00
867e9fb030
Test case showing that issue 324 is resolved.
2011-05-27 12:45:01 -07:00
0cbcf92749
Use annotations on blocks
...
Previously, block_ty returned the type of the terminating
expression of the block (or nil if said expression was absent).
I changed check_expr to write the type of that expression into
the annotation for the block itself, so now block_ty can use the
block's annotation.
2011-05-27 12:21:37 -07:00
a7a42c24be
Change the syntax for RECV from "var <- port" to "port |> var".
2011-05-27 12:01:20 -07:00
2119e3b5b9
Fix missing bump in RECV lexer case.
2011-05-27 12:01:20 -07:00
9c79200a7f
Pretty print the new RECV token...
2011-05-27 12:01:20 -07:00
ea16e582eb
Remove parser support for recv as an initializer in preparation for changing the recv syntax.
2011-05-27 12:01:20 -07:00
55b40e6894
Lex '|>' as the RECV token.
2011-05-27 12:01:20 -07:00
147b088125
Test for use of break as an expression
...
The test was meant to verify that the typechecker correctly
allows a _|_ value (break, here) to be used in any context.
However, the compiler fails with an LLVM assertion failure.
I xfailed it, but wanted it to be on the record anyway.
2011-05-26 20:52:05 -07:00
1a96e79fe0
Make _|_ unify with anything
...
The typechecker had a number of special cases for unifying types
with _|_ (as with checking if and alt). But, a value of type _|_
should be usable in any context, as such a value always diverges,
and will never be used by its immediate context. Changed unify
accordingly, removed special cases.
2011-05-26 20:50:25 -07:00
af6b4821c1
Handle circularity in glob imports in a more elegant fashion.
2011-05-27 02:42:33 +00:00
7fe3d821ac
Add a map from def_id s to items in resolve::env.
...
Use it to provide better error messages in the event of
glob-importing the same name multiple times.
2011-05-27 02:42:33 +00:00
54ca8565c9
Fix bugs: make sure glob imports show up in the right module,
...
and make sure that circular glob imports don't diverge.
2011-05-27 02:42:33 +00:00
3375b8fba2
Add list function 'has'.
2011-05-27 02:42:33 +00:00
40fe44d23e
"import module::*;" now works.
2011-05-27 02:42:33 +00:00
22953f52fa
Added filter_map.
2011-05-27 02:42:33 +00:00
e2bb98001e
Part one of adding globbing to resolve.rs: build up glob links. (Part two will follow those links if non-glob resolution fails.)
2011-05-27 02:42:32 +00:00
f11f846ead
Parsing and folding changes for globbed imports.
2011-05-27 02:42:32 +00:00
610c81af19
Fix typo
2011-05-26 19:13:56 -07:00
83cdb47a7c
Add a list append function, which I didn't end up using, but why not add it?
2011-05-26 19:13:56 -07:00
fc31aa7f85
Fix testcase to be slightly less fussy about line number of error, as it just drifted.
2011-05-26 18:29:28 -07:00
79c9e13073
More delicious dead code removal from runtime, upcalls.
2011-05-26 18:21:02 -07:00
4f792f2dbb
Track spans for each local variable in typestate
...
This lets us print better messages in situations with name
shadowing.
2011-05-26 18:14:32 -07:00
250643c549
Remove unused imports
2011-05-26 18:01:48 -07:00
97e0575e2e
Add a span_str function in session
2011-05-26 18:00:54 -07:00
79693fab1f
Fix typo in error message
2011-05-26 18:00:54 -07:00
9f95538462
Remove redisue of unused fields from 'ann'.
2011-05-26 17:26:59 -07:00
2561b01211
Remove residual uses of fold, and fold itself.
2011-05-26 17:16:54 -07:00
8e945dcd81
Remove native glues. All calls to C are direct now.
2011-05-26 16:45:01 -07:00
89e5f6c883
New snapshot.
2011-05-26 18:47:21 -04:00
9491dc3e61
Add early returns to rustc main on non-compiling paths.
2011-05-26 15:22:08 +00:00
dc1b34288c
Pretty print view items with :: rather than :.
2011-05-25 22:09:36 -07:00
29a801565a
rustc: Fail better when the first argument to #fmt is not a string literal
2011-05-25 23:50:19 -04:00
c4e9d8fb91
rustc: Fail when #fmt is given too many arguments
2011-05-25 23:43:04 -04:00
1b29892b5b
Produce a useful error message in trans when attempting to log an unsupported type.
...
(Previously, an llvm assert was tripped.)
2011-05-25 18:54:33 -04:00
d72d50473f
Fixing typechecking for spawn.
2011-05-25 18:01:45 -04:00
4c4a4aee91
Fix non linux bots.
2011-05-25 16:03:50 -04:00
94129c4216
dead argument removal part one.
2011-05-25 15:33:57 -04:00
db47cb5c13
Dead code.
2011-05-25 15:22:25 -04:00
0e324cad0a
Dead code.
2011-05-25 15:08:31 -04:00
9a3624466b
Dead code.
2011-05-25 14:12:09 -04:00
2306fb19f2
dead code.
2011-05-25 13:25:00 -04:00
23c1335cb3
Dead code.
2011-05-25 12:00:16 -04:00
579b317ae8
Dead code.
2011-05-25 11:45:07 -04:00
3eafea46a3
Dead code.
2011-05-25 11:36:34 -04:00
70106f35ce
test: Fix run-fail testing and bring tests up to date
...
A typo in the Makefile was causing these to not run. Happily, a lot of these
tests pass, so un-xfailed.
2011-05-24 22:09:12 -04:00
763380a2cc
test: xfail vector-no-ann-2 in stage0
2011-05-24 22:08:08 -04:00
4364be3744
Dead code.
2011-05-24 20:36:27 -04:00
9a88ba2b81
rustc: Downcase typeck::demand and typeck::pushdown
2011-05-24 20:26:46 -04:00
6473b73174
rustc: Use demand functions instead of open-coded typecheck for spawn
...
Un-xfail spawn-non-nil-fn
2011-05-24 20:23:21 -04:00
Brian Anderson
Lindsey Kuper
Tim Chevalier
Michael Sullivan
Paul Stansifer
Graydon Hoare
Rafael Ávila de Espíndola
Eric Holk