aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
* Missing semicolon in type.ml, plus test to catch regression. Closes #113.Graydon Hoare2010-07-191-1/+1
|
* Change the body-fetching GEP in mark_ty to be dynamic. Our box may be ↵Roy Frostig2010-07-191-1/+1
| | | | parametric.
* Fix opeq.rs for LLVM by implementing simple augmented-assignment operators.Jeffrey Yasskin2010-07-202-17/+32
|
* Make the LLVM compiler crash when it hits a source construct it doesn't knowJeffrey Yasskin2010-07-203-17/+40
| | | | what to do with, rather than silently omitting it from the output.
* Teach the LLVM backend to emit line number information.Jeffrey Yasskin2010-07-201-27/+87
| | | | | | This isn't complete: it misses line numbers in certain kinds of block. It's also still tricky to use it on Darwin, where we need to call dsymutil while the .o file is still around in order for gdb to find the debugging symbols.
* Stub an interface to the (as-yet-nonexistent) structural comparison glue in ↵Patrick Walton2010-07-182-24/+99
| | | | trans
* Fix argv.rs under the LLVM compiler.Jeffrey Yasskin2010-07-182-9/+9
| | | | | | The call to rust_start was assuming that all rust main() functions have the same signature, but the compiler doesn't actually canonicalize them. So instead just match the C signature of rust_start, and cast.
* Fix IL translation of pattern-alt to allow a value of mutable/constrained ↵Roy Frostig2010-07-162-6/+7
| | | | type to be the subject of a pattern-alt.
* Ensure that functions that should return a value do; issue 41Patrick Walton2010-07-161-6/+32
|
* Feed the correct return type to the typechecker when typechecking objects, ↵Patrick Walton2010-07-161-14/+24
| | | | and add a testcase.
* More renaming of GEP offsets in abi/trans. This should settle it. Also, ↵Roy Frostig2010-07-162-26/+37
| | | | fix some overenthusiastic renaming in previous commit.
* Clean up nomenclature in the Abi constants brigade. Purge magic GEP numbers ↵Roy Frostig2010-07-167-75/+118
| | | | in trans. Adjust obj_closure_rty (and its consumers) to be more explicit about the fact that it is a box.
* Merge branch 'contrib'Graydon Hoare2010-07-151-21/+33
|\
| * Support nested for-each loops. Closes #79.Jason Orendorff2010-07-161-21/+33
| |
* | Implement the "simple typechecker", which avoids HM inferencePatrick Walton2010-07-152-1547/+846
|/
* Let the compiler find libraries that aren't in the current directory.Jeffrey Yasskin2010-07-161-1/+2
|
* Remove the __PAGEZERO segment from shared MachO libraries. This avoids aJeffrey Yasskin2010-07-161-10/+14
| | | | segfault in dlclose() and fixes the tests on OSX 10.5.8.
* In Mach-O shared libraries, avoid counting an extra load command. Closes #99.Jeffrey Yasskin2010-07-161-1/+7
|
* Merge branch 'master' of [email protected]:graydon/rustGraydon Hoare2010-07-152-3/+7
|\
| * Define (in Abi) and use named constants for indices of elements of an obj IL ↵Roy Frostig2010-07-152-3/+7
| | | | | | | | referent type.
* | Merge branch 'contrib'Graydon Hoare2010-07-151-87/+88
|\ \ | |/ |/|
| * use,import,export parse fixesAdam Bozanich2010-07-161-73/+87
| | | | | | | | | | * use,import,export must come before all other items. * disallow use,import in "native" declarations.
| * permit use before import. closes #48Adam Bozanich2010-07-161-36/+23
| |
* | Make mutability no longer a type constructorPatrick Walton2010-07-159-73/+103
| |
* | Correct the way we get typarams when dropping an obj type in drop_ty by ↵Roy Frostig2010-07-151-5/+3
| | | | | | | | using get_tydesc_params.
* | Modify copy_fn_args not to bother with dynamic GEP to get the indirect args ↵Roy Frostig2010-07-151-4/+3
| | | | | | | | cell in a calltup. It's now possible to obtain it with just regular GEP.
* | Explicitly provide an optional closure/obj pointer to trans_call_glue so ↵Roy Frostig2010-07-151-38/+81
| | | | | | | | that it can push one in the right position when calling glue, instead of always pushing a null. As far as I can tell this only affects calls to obj drop glue, since only that makes use of an object binding passed as closure/obj, so pass the binding there as needed.
* | Make the x86 backend push an extra word as closure/obj arg when emitting any ↵Roy Frostig2010-07-152-3/+5
| | | | | | | | code that amounts to a glue or native call.
* | Adjust trans_call_glue to push/pop an extra null word implicit arg, in ↵Roy Frostig2010-07-151-0/+2
| | | | | | | | position of closure/obj pointer.
* | Begin moving closure-or-obj pointer out to front of call args by changing ↵Roy Frostig2010-07-153-8/+9
| | | | | | | | the order within the call-arg tup referent type. This breaks the world quite a bit, since it remains to fix custom call paths: glue, upcalls, natives.
* | Make the call args referent type always have a closure word (non-optional, ↵Roy Frostig2010-07-151-5/+4
| | | | | | | | null in case of no closure) in preparation for shifting it inward from its current position at end-of-call-tup.
* | Minimize pointless logging during walk.Graydon Hoare2010-07-1412-98/+129
| |
* | Fix ret/put mis-identification in typechecker. Closes #87.Graydon Hoare2010-07-141-6/+40
| |
* | Typo fixes to docs, from Ralph Giles.Graydon Hoare2010-07-131-1/+1
| |
* | Desugar the head stmts all the way out of STMT_for, rather than stashing ↵Graydon Hoare2010-07-136-15/+13
| | | | | | | | them in the node. That's only necessary for STMT_while.
* | Accept effect-qualified local item declarations.Graydon Hoare2010-07-131-1/+1
| |
* | Delete some dead code in x86.Graydon Hoare2010-07-121-8/+0
| |
* | Merge branch 'contrib'Graydon Hoare2010-07-121-3/+3
|\|
| * Fix formatting trivia in Ast.fmt_stmt_body.Jason Orendorff2010-07-131-3/+3
| |
* | Wrap long line.Graydon Hoare2010-07-121-1/+2
| |
* | Revert previous wrong-change on issue #106; was papering over wrongness in ↵Graydon Hoare2010-07-121-4/+12
| | | | | | | | the runtime. Sad times. Closes #106 more correctly (and adds comment to explain).
* | Add more tracing code to trans for refcount events.Graydon Hoare2010-07-121-7/+26
| |
* | Add a ty_children function to enumerate the children of any typePatrick Walton2010-07-122-1/+26
| |
* | Fix post-stmt drop calculations. Closes #106.Graydon Hoare2010-07-111-10/+30
| |
* | Add a boot/README file explaining rustboot's organization a bit.Graydon Hoare2010-07-111-0/+405
|/
* Catch cyclic imports harder. Add 2 tests to confirm.Graydon Hoare2010-07-091-11/+14
|
* Encode and decode DW_AT_rust_iterator on DW_TAG_subprogram DIEs.Graydon Hoare2010-07-081-2/+8
|
* Add detection for cyclic imports.Graydon Hoare2010-07-084-14/+27
|
* Err kindly instead of asserting on duplicate mod declarations in crates.Roy Frostig2010-07-081-1/+5
|
* Fix typo in token.ml.Matt Brubeck2010-07-091-1/+1
|