aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
* rustc: As an experiment, swap the expected/actual types when checking ↵Patrick Walton2010-11-231-2/+2
| | | | function arguments. Produces better diagnostics for arg-type-mismatch.rs.
* Remove warning about non-void expr stmts.Graydon Hoare2010-11-221-6/+0
|
* rustc: Un-XFAIL compile-fail/arg-type-mismatch.rs.Patrick Walton2010-11-221-0/+1
|
* Support mach types in rustc, enable 5 more tests.Graydon Hoare2010-11-226-34/+130
|
* rustc: "Expected" and "actual" were swapped. Also un-XFAIL ↵Patrick Walton2010-11-222-16/+26
| | | | compile-fail/arg-count-mismatch.rs for good measure.
* Remove the global bindings table in the typecheckerPatrick Walton2010-11-221-99/+304
|
* Check and translate 'as' cast-operator, lower target-specific types, ↵Graydon Hoare2010-11-225-81/+229
| | | | reindent rustc.rs, enable uint test.
* Fix type disagreements in lowering typeck.ty to llvm TypeRefs, enable ↵Graydon Hoare2010-11-222-10/+11
| | | | complex.rs test.
* Check for structural equality rather than structural-and-cname equality.Graydon Hoare2010-11-221-1/+1
|
* Resolve the easy case of type paths.Graydon Hoare2010-11-221-0/+35
|
* Accumulate type paths as we parse, rather than throwing them away.Graydon Hoare2010-11-221-0/+1
|
* rustc: "expectied" -> "expected" in parser.rs; also say what was foundPatrick Walton2010-11-221-1/+3
|
* Fix lexer bug, enable 5 more tests on rustc.Graydon Hoare2010-11-222-1/+6
|
* More typeck hacking, check if and call exprs, enable fact and deep tests.Graydon Hoare2010-11-213-146/+240
|
* Typecheck assignment exprs, redo decl checking, propagate ty_vars. Enable ↵Graydon Hoare2010-11-212-53/+97
| | | | another test.
* Typecheck binary, unary and name expressions. Re-enable 3 more tests.Graydon Hoare2010-11-202-5/+55
|
* Fix bug in llvm type signature of function items; enable three more tests.Graydon Hoare2010-11-202-1/+4
|
* Remove dead code.Graydon Hoare2010-11-201-13/+0
|
* Add helper function to double-check non-null types.Graydon Hoare2010-11-201-0/+6
|
* Clean up typechecker file, disable all tests that fail under typechecker.Graydon Hoare2010-11-192-16/+14
|
* Translate typeck.ty_fn to a TypeRef. Can compile int.rs test now.Graydon Hoare2010-11-191-0/+13
|
* rustc: First stab at a typecheckerPatrick Walton2010-11-195-49/+912
|
* rustboot: Say when a binary operator is unimplemented rather than asserting ↵Patrick Walton2010-11-191-2/+7
| | | | in trans
* Parse type items, nil types, named types. Fix some parser bugs. Enable ↵Graydon Hoare2010-11-192-6/+79
| | | | arith-0 and arith-2 tests.
* Isolate while-header bug to minimal testcase, fix in rustboot, remove ↵Graydon Hoare2010-11-195-46/+94
| | | | workaround in rustc.
* Enable more now-passing tests for rustc (including function calls).Graydon Hoare2010-11-191-0/+4
|
* Disable LLVM backend in rustboot; more trouble than it's worth at this point.Graydon Hoare2010-11-191-0/+4
|
* Work around Yet Another Typestate Lifecycle Bug in rustboot.Graydon Hoare2010-11-191-2/+13
|
* rustboot: Don't use walk to traverse statements in type.ml; fixes redundant ↵Patrick Walton2010-11-186-54/+69
| | | | checking, improves diagnostics. Also report untyped slots.
* Update frame logic to be compatible with SysV x86 ABI. Improves diagnostics.Graydon Hoare2010-11-166-77/+127
|
* Fix typo in x86 backend glue that was, by luck, only crashing on OSX.Graydon Hoare2010-11-151-1/+1
|
* Switch upcall glues to fastcall as well.Graydon Hoare2010-11-143-17/+24
|
* Remove outptr from module-internal calls; use standard ABI returns.Graydon Hoare2010-11-142-46/+33
|
* Switch module-internal calls (i.e. all user code) to fastcall. Still ↵Graydon Hoare2010-11-141-4/+16
| | | | returning via explicit outptr. Activate glue works by accident.
* Support emitting trap instructions for debugging.Graydon Hoare2010-11-142-0/+20
|
* Correct infinite-loop, block-context mismatches in early cleanups.Graydon Hoare2010-11-141-7/+8
|
* Change PVAL_num to PVAL_int and remove non-int literal forms.Graydon Hoare2010-11-131-16/+14
|
* Remove dead code in cexp.Graydon Hoare2010-11-131-1/+0
|
* rustc: Add a type annotation for localsPatrick Walton2010-11-122-3/+6
|
* Move phi-node generation into a helper that measures the liveness of each ↵Graydon Hoare2010-11-121-43/+64
| | | | incoming edge. Factorial test now succeeds.
* Load outptr alloca as retval; function call/return now works in rustc.Graydon Hoare2010-11-121-1/+5
|
* Stop translating a block when a sub-statement terminates the llvm bb.Graydon Hoare2010-11-121-0/+5
|
* rustc: Add an annotation to function and type items so that the typechecker ↵Patrick Walton2010-11-105-23/+23
| | | | can store types with them
* Redo the scheme for block context chaining and termination, to simplify and ↵Graydon Hoare2010-11-103-70/+91
| | | | support ret better.
* Teach rustc about const tag value, begin work on trans_copy_ty, make uint's ↵Graydon Hoare2010-11-093-25/+84
| | | | to_str routine less clever and thereby resist overflow.
* Implement a map2() function in std._vecPatrick Walton2010-11-092-1/+36
|
* Support a special const-value refcount, use it for const strings.Graydon Hoare2010-11-0910-30/+97
|
* Add a check for binding an alias. Good thing, as we had two instances in our ↵Graydon Hoare2010-11-084-2/+35
| | | | library.
* Fix linux burn caused by last commit on friday.Graydon Hoare2010-11-081-1/+1
|
* Update lltrans to also emit WinMain@16 on windows.Graydon Hoare2010-11-053-3/+10
|