Graydon Hoare
|
a94046f5d2
|
Teach typechecker about record types.
|
2010-11-29 17:42:53 -08:00 |
|
Patrick Walton
|
6c5a05b819
|
rustc: Implement the block syntax discussed on the mailing list
|
2010-11-29 17:11:41 -08:00 |
|
Graydon Hoare
|
6c4e975099
|
Teach fold about ty_rec.
|
2010-11-29 16:09:46 -08:00 |
|
Graydon Hoare
|
e6b7f76385
|
Add ty_rec and parse it.
|
2010-11-29 15:42:09 -08:00 |
|
Graydon Hoare
|
3e08171fc2
|
Change mutability into a type constructor.
|
2010-11-29 15:29:55 -08:00 |
|
Graydon Hoare
|
386f363cfe
|
Change from bool to tag ast.mutability.
|
2010-11-29 14:18:26 -08:00 |
|
Graydon Hoare
|
38846e39c4
|
Add ast.ty_mutable.
|
2010-11-29 12:29:57 -08:00 |
|
Graydon Hoare
|
20b11c832c
|
Add mut field to typeck.ty.
|
2010-11-29 12:13:38 -08:00 |
|
Graydon Hoare
|
7be7c23b6b
|
Copy args to allocas, change llargs lookups to 'in mem'. Un-XFAIL tup.rs.
|
2010-11-26 17:47:27 -08:00 |
|
Graydon Hoare
|
d7ce2425c9
|
Load structural values through pointer before passing structs as args.
|
2010-11-26 16:08:10 -08:00 |
|
Graydon Hoare
|
9f56b0061c
|
Pass exprs by @, always treat structural types by pointer, move path and name into trans_lval.
|
2010-11-26 15:54:04 -08:00 |
|
Graydon Hoare
|
1600974a3a
|
Avoid segfault due to fallthrough in base case of incr_all_refcounts. We could use a typestate checker in rustc, any time now.
|
2010-11-26 13:03:56 -08:00 |
|
Graydon Hoare
|
7e01aba12d
|
Declare the memcpy intrinsics properly.
|
2010-11-26 13:02:48 -08:00 |
|
Graydon Hoare
|
3fd3270845
|
Return memcpy src rather than falling through and failing.
|
2010-11-25 18:28:15 -08:00 |
|
Graydon Hoare
|
a95dbdef70
|
Cast memcpy args to correct types.
|
2010-11-25 18:13:20 -08:00 |
|
Graydon Hoare
|
9b3182a99d
|
Add lookup checks and intrinsics table to trans.
|
2010-11-25 17:45:26 -08:00 |
|
Graydon Hoare
|
7e2f205866
|
Add missed case to typeck.ast_ty_to_ty, plus faux exhaustiveness check.
|
2010-11-25 17:06:36 -08:00 |
|
Graydon Hoare
|
416d9bc0fd
|
Fix typo in numeric-label-parsing loop.
|
2010-11-25 16:53:17 -08:00 |
|
Graydon Hoare
|
f0abe8f568
|
Translate field expressions.
|
2010-11-25 16:40:24 -08:00 |
|
Graydon Hoare
|
5678f5aa56
|
Typecheck field expressions.
|
2010-11-25 16:40:03 -08:00 |
|
Graydon Hoare
|
092af6fb76
|
Typecheck tup expressions.
|
2010-11-25 14:44:04 -08:00 |
|
Graydon Hoare
|
cffdb66aa4
|
Translate tuple-expressions.
|
2010-11-24 18:11:11 -08:00 |
|
Patrick Walton
|
78ec07790a
|
rustc: Assign definition IDs to type params
|
2010-11-24 18:01:20 -08:00 |
|
Patrick Walton
|
9769b61226
|
rustc: Parse type-parametric typedefs
|
2010-11-24 17:36:22 -08:00 |
|
Patrick Walton
|
98e8c2ef21
|
rustc: Parse type-parametric tags
|
2010-11-24 17:17:42 -08:00 |
|
Graydon Hoare
|
f809375b16
|
Sketch out type-directed structural drop and copy, including vector types.
|
2010-11-24 16:56:01 -08:00 |
|
Graydon Hoare
|
96540ef0bb
|
move expr_call translation into helper function.
|
2010-11-24 16:56:01 -08:00 |
|
Graydon Hoare
|
e2f9f746ea
|
Move expr_cast translation into helper function.
|
2010-11-24 16:56:01 -08:00 |
|
Patrick Walton
|
c1916adc7e
|
rustc: Parse type-parametric functions
|
2010-11-24 16:52:49 -08:00 |
|
Patrick Walton
|
80d099c59a
|
rustc: Don't require a semicolon after an "alt" statement
|
2010-11-24 16:29:44 -08:00 |
|
Patrick Walton
|
f075b10af2
|
rustc: Add patterns to fold
|
2010-11-24 15:45:59 -08:00 |
|
Patrick Walton
|
756880a5f5
|
rustc: Parse simple patterns
|
2010-11-24 14:42:01 -08:00 |
|
Patrick Walton
|
5d72dae1d1
|
rustc: Parse tag items. Currently segfaults in copy glue.
|
2010-11-24 11:36:35 -08:00 |
|
Patrick Walton
|
f55f46af64
|
rustc: Typecheck whiles and do-whiles. Add a workaround to complex.rs pending a solution to the one-armed-if problem.
|
2010-11-23 17:02:08 -08:00 |
|
Patrick Walton
|
4208352527
|
rustc: As an experiment, swap the expected/actual types when checking function arguments. Produces better diagnostics for arg-type-mismatch.rs.
|
2010-11-23 10:25:20 -08:00 |
|
Graydon Hoare
|
f2a7e712d3
|
Remove warning about non-void expr stmts.
|
2010-11-22 18:03:27 -08:00 |
|
Patrick Walton
|
c20ea9e60a
|
rustc: Un-XFAIL compile-fail/arg-type-mismatch.rs.
|
2010-11-22 17:56:45 -08:00 |
|
Graydon Hoare
|
e05d7c3ac1
|
Support mach types in rustc, enable 5 more tests.
|
2010-11-22 17:41:32 -08:00 |
|
Patrick Walton
|
3e01b2d529
|
rustc: "Expected" and "actual" were swapped. Also un-XFAIL compile-fail/arg-count-mismatch.rs for good measure.
|
2010-11-22 17:38:23 -08:00 |
|
Patrick Walton
|
c0741c13ab
|
Remove the global bindings table in the typechecker
|
2010-11-22 17:14:18 -08:00 |
|
Graydon Hoare
|
d3cb25d5d1
|
Check and translate 'as' cast-operator, lower target-specific types, reindent rustc.rs, enable uint test.
|
2010-11-22 16:27:00 -08:00 |
|
Graydon Hoare
|
c262543d3b
|
Fix type disagreements in lowering typeck.ty to llvm TypeRefs, enable complex.rs test.
|
2010-11-22 14:28:05 -08:00 |
|
Graydon Hoare
|
1090c5e69c
|
Check for structural equality rather than structural-and-cname equality.
|
2010-11-22 13:24:53 -08:00 |
|
Graydon Hoare
|
6fcf55347e
|
Resolve the easy case of type paths.
|
2010-11-22 13:24:53 -08:00 |
|
Graydon Hoare
|
fdac6ffa7c
|
Accumulate type paths as we parse, rather than throwing them away.
|
2010-11-22 13:24:53 -08:00 |
|
Patrick Walton
|
0847ff7d42
|
rustc: "expectied" -> "expected" in parser.rs; also say what was found
|
2010-11-22 11:43:25 -08:00 |
|
Graydon Hoare
|
ccc21fd4da
|
Fix lexer bug, enable 5 more tests on rustc.
|
2010-11-22 11:35:00 -08:00 |
|
Graydon Hoare
|
3ba6736383
|
More typeck hacking, check if and call exprs, enable fact and deep tests.
|
2010-11-21 12:06:09 -08:00 |
|
Graydon Hoare
|
5955e23343
|
Typecheck assignment exprs, redo decl checking, propagate ty_vars. Enable another test.
|
2010-11-21 01:16:16 -08:00 |
|
Graydon Hoare
|
79a3811ab8
|
Typecheck binary, unary and name expressions. Re-enable 3 more tests.
|
2010-11-20 23:00:52 -08:00 |
|