Commit Graph

34801 Commits

Author SHA1 Message Date
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
Graydon Hoare
a352efadad Switch upcall glues to fastcall as well. 2010-11-14 13:41:10 -08:00
Graydon Hoare
4cbef9d8a1 Remove outptr from module-internal calls; use standard ABI returns. 2010-11-14 13:04:01 -08:00
Graydon Hoare
640d167037 Switch module-internal calls (i.e. all user code) to fastcall. Still returning via explicit outptr. Activate glue works by accident. 2010-11-14 12:28:07 -08:00
Graydon Hoare
a7af86155d Support emitting trap instructions for debugging. 2010-11-14 11:21:49 -08:00
Graydon Hoare
2de59aa6b9 Correct infinite-loop, block-context mismatches in early cleanups. 2010-11-14 10:48:44 -08:00
Graydon Hoare
fce535c04a Change PVAL_num to PVAL_int and remove non-int literal forms. 2010-11-13 22:39:41 -08:00
Graydon Hoare
ae570016a4 Remove dead code in cexp. 2010-11-13 22:34:48 -08:00
Patrick Walton
e02ffb2c2d rustc: Add a type annotation for locals 2010-11-12 16:11:33 -08:00
Graydon Hoare
0578978495 Move phi-node generation into a helper that measures the liveness of each incoming edge. Factorial test now succeeds. 2010-11-12 14:51:11 -08:00
Graydon Hoare
2ff0662eae Load outptr alloca as retval; function call/return now works in rustc. 2010-11-12 11:48:18 -08:00
Graydon Hoare
1ff88982fe Stop translating a block when a sub-statement terminates the llvm bb. 2010-11-12 10:15:40 -08:00
Patrick Walton
c3bc88a325 rustc: Add an annotation to function and type items so that the typechecker can store types with them 2010-11-10 18:20:02 -08:00