Commit Graph

1213 Commits

Author SHA1 Message Date
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
Graydon Hoare
77670e84de Fix bug in llvm type signature of function items; enable three more tests. 2010-11-20 22:05:17 -08:00
Graydon Hoare
eaf9df2dc3 Remove dead code. 2010-11-20 22:04:48 -08:00
Graydon Hoare
e731520be5 Add helper function to double-check non-null types. 2010-11-20 22:04:34 -08:00
Graydon Hoare
244c59ac20 Clean up typechecker file, disable all tests that fail under typechecker. 2010-11-19 20:46:04 -08:00
Graydon Hoare
6d92ca64a7 Translate typeck.ty_fn to a TypeRef. Can compile int.rs test now. 2010-11-19 20:08:57 -08:00
Patrick Walton
c00bda539d rustc: First stab at a typechecker 2010-11-19 17:50:45 -08:00
Patrick Walton
c410d68529 rustboot: Say when a binary operator is unimplemented rather than asserting in trans 2010-11-19 17:41:44 -08:00
Graydon Hoare
3352fab59b Parse type items, nil types, named types. Fix some parser bugs. Enable arith-0 and arith-2 tests. 2010-11-19 16:34:47 -08:00
Graydon Hoare
44a0c7225d Isolate while-header bug to minimal testcase, fix in rustboot, remove workaround in rustc. 2010-11-19 14:59:58 -08:00
Graydon Hoare
d311719a75 Enable more now-passing tests for rustc (including function calls). 2010-11-19 11:04:10 -08:00
Graydon Hoare
6cecc93e8d Disable LLVM backend in rustboot; more trouble than it's worth at this point. 2010-11-19 10:45:24 -08:00
Graydon Hoare
e94af48bc9 Work around Yet Another Typestate Lifecycle Bug in rustboot. 2010-11-19 10:41:32 -08:00
Patrick Walton
77ff12c435 rustboot: Don't use walk to traverse statements in type.ml; fixes redundant checking, improves diagnostics. Also report untyped slots. 2010-11-18 14:19:06 -08:00
Graydon Hoare
26ecec4e12 Update frame logic to be compatible with SysV x86 ABI. Improves diagnostics. 2010-11-16 13:51:32 -08:00
Graydon Hoare
44b051f34a Fix typo in x86 backend glue that was, by luck, only crashing on OSX. 2010-11-15 12:45:26 -08:00