| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Re-classify some err / bug cases as unimpl. Ideally rustboot should never ↵ | Graydon Hoare | 2010-07-22 | 6 | -11/+14 |
| | | | | | produce a backtrace. | ||||
| * | Beat up on the preempt test a bit more, as it keeps hanging under valgrind. | Graydon Hoare | 2010-07-22 | 4 | -7/+18 |
| | | |||||
| * | Re-introduce bits of vec-lib test that blocked on now-fixed issue #108. | Roy Frostig | 2010-07-22 | 1 | -6/+2 |
| | | |||||
| * | Source FIXME annotations for issue #81 and a correction to STMT_bind fmt. | Roy Frostig | 2010-07-22 | 3 | -7/+12 |
| | | |||||
| * | XFAIL task-comm-5, it's burning the tinderboxes. | Graydon Hoare | 2010-07-22 | 1 | -0/+1 |
| | | |||||
| * | Add XFAIL'ed test for return-in-iter, call unimpl when we find it. Closes #100. | Graydon Hoare | 2010-07-22 | 3 | -0/+17 |
| | | |||||
| * | Fix mem op= mem bug in trans.ml (via not terribly good fix). Closes #111. | Graydon Hoare | 2010-07-22 | 3 | -1/+27 |
| | | |||||
| * | Fix simple generic type parameters in LLVM. | Jeffrey Yasskin | 2010-07-23 | 3 | -5/+28 |
| | | |||||
| * | Implement tuple access for LLVM. | Jeffrey Yasskin | 2010-07-23 | 2 | -21/+77 |
| | | | | | | | | This involved adding an Ast.ty return to trans_lval. I also included the code for record and box access, but their tests don't completely pass yet. | ||||
| * | Nothing change, to tickle tinderboxes. | Graydon Hoare | 2010-07-21 | 1 | -1/+1 |
| | | |||||
| * | XFAIL comm-2 for now; there's an assertion trappping in rust_task::wakeup. | Graydon Hoare | 2010-07-21 | 1 | -0/+1 |
| | | |||||
| * | Make sure debug locations are propagated to every new block created by making | Jeffrey Yasskin | 2010-07-22 | 1 | -19/+47 |
| | | | | | | them an argument to new_block. gdb should do a good job of single-stepping LLVM-compiled rust programs by rust line number now. | ||||
| * | Teach the makefile to generate .ll files, | Jeffrey Yasskin | 2010-07-22 | 1 | -0/+6 |
| | | | | | | which are helpful in debugging the llvm backend. Also tell git to ignore LLVM's intermediate files. | ||||
| * | Fix -Wnon-virtual-destructor, which apple's gcc-4.0 seems to turn on by default. | Jeffrey Yasskin | 2010-07-22 | 1 | -0/+1 |
| | | |||||
| * | Back out "::ALL" default logbits. | Graydon Hoare | 2010-07-20 | 1 | -1/+1 |
| | | |||||
| * | Add a (coarse, first-pass) deque implementation to stdlib. | Roy Frostig | 2010-07-20 | 4 | -7/+155 |
| | | |||||
| * | Be a little more careful before assuming we have crate debuginfo and abbrevs ↵ | Graydon Hoare | 2010-07-20 | 2 | -5/+13 |
| | | | | | to read. | ||||
| * | Make bound functions have the right types | Patrick Walton | 2010-07-20 | 1 | -1/+21 |
| | | |||||
| * | Fixed Windows build. | Michael Bebenita | 2010-07-20 | 1 | -1/+1 |
| | | |||||
| * | Pick off the last LLVM-crasher from mbx's change. | Graydon Hoare | 2010-07-20 | 1 | -1/+4 |
| | | |||||
| * | Adjust llasm, llabi to be aware of changes to rust_task structure. Still not ↵ | Graydon Hoare | 2010-07-20 | 2 | -4/+18 |
| | | | | | working fully. | ||||
| * | Fix message formatting in runtime library. | Graydon Hoare | 2010-07-20 | 2 | -7/+7 |
| | | |||||
| * | Fix more bad tabs in Makefile. | Graydon Hoare | 2010-07-20 | 1 | -3/+3 |
| | | |||||
| * | Extend compile-check for llvm case. | Graydon Hoare | 2010-07-20 | 1 | -0/+4 |
| | | |||||
| * | Tidy up handling of unimplemented features. These are expected (if ↵ | Graydon Hoare | 2010-07-20 | 8 | -54/+90 |
| | | | | | undesirable) sorts of error, we should handle better than "backtrace and exit 2". | ||||
| * | Re-XFAIL stuff that is definitely still unsupported in LLVM-land (like, ↵ | Graydon Hoare | 2010-07-20 | 1 | -0/+3 |
| | | | | | throws Not_implemented). | ||||
| * | Fix whitespace in Makefile. | Graydon Hoare | 2010-07-20 | 1 | -1/+1 |
| | | |||||
| * | Remove explicit deref workaround in dtor-order test. No longer necessary. | Roy Frostig | 2010-07-20 | 1 | -1/+1 |
| | | |||||
| * | Strip off TY_mutables and TY_constraineds when unboxing values during autoderef | Patrick Walton | 2010-07-19 | 1 | -0/+1 |
| | | |||||
| * | ctxt_auto_deref_lval decides whether to autoderef the entire lval, not its base. | Roy Frostig | 2010-07-19 | 3 | -17/+43 |
| | | |||||
| * | Autoderef objects when passing them as implicit (indirect) arg upon ↵ | Roy Frostig | 2010-07-19 | 3 | -2/+28 |
| | | | | | vtbl-dispatch. Add testcase and XFAIL it on LLVM. Closes #112. | ||||
| * | Include the statements on the LHS of a binop when desugaring. Closes #117. | Patrick Walton | 2010-07-19 | 1 | -56/+57 |
| | | |||||
| * | Fix argv.rs under the LLVM compiler. | Jeffrey Yasskin | 2010-07-19 | 1 | -1/+0 |
| | | | | | | | 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. | ||||
| * | Work around auto-dereference crash in rustboot. | Jeffrey Yasskin | 2010-07-19 | 1 | -0/+2 |
| | | |||||
| * | Fixed circular buffer resizing bug. | Michael Bebenita | 2010-07-19 | 5 | -20/+79 |
| | | |||||
| * | Added a message passing system based on lock free queues for inter-thread ↵ | Michael Bebenita | 2010-07-19 | 35 | -834/+1494 |
| | | | | | communication. Channels now buffer on the sending side, and no longer require blocking when sending. Lots of other refactoring and bug fixes. | ||||
| * | Add a test for an obvious-seeming (but not actually legal) kind of cast ↵ | Graydon Hoare | 2010-07-19 | 2 | -3/+14 |
| | | | | | attempted in issue #115, downgrade bug to an err in type.ml so you get a better message. | ||||
| * | Fix over-optimistic resolution of self-methods within obj scopes. There is ↵ | Graydon Hoare | 2010-07-19 | 2 | -5/+12 |
| | | | | | no such feature in the language at present. Add test to prevent regression. Closes #114. | ||||
| * | Missing semicolon in type.ml, plus test to catch regression. Closes #113. | Graydon Hoare | 2010-07-19 | 2 | -1/+8 |
| | | |||||
| * | Change the body-fetching GEP in mark_ty to be dynamic. Our box may be ↵ | Roy Frostig | 2010-07-19 | 1 | -1/+1 |
| | | | | | parametric. | ||||
| * | Fix opeq.rs for LLVM by implementing simple augmented-assignment operators. | Jeffrey Yasskin | 2010-07-20 | 3 | -18/+32 |
| | | |||||
| * | Make the LLVM compiler crash when it hits a source construct it doesn't know | Jeffrey Yasskin | 2010-07-20 | 4 | -17/+41 |
| | | | | | what to do with, rather than silently omitting it from the output. | ||||
| * | Un-XFAIL a bunch of LLVM tests that already pass. | Jeffrey Yasskin | 2010-07-20 | 1 | -15/+0 |
| | | |||||
| * | Sort the XFAILed tests to make it easier to track changes. | Jeffrey Yasskin | 2010-07-20 | 1 | -13/+13 |
| | | |||||
| * | Make the build system run dsymutil so we can debug llvm-produced binaries on ↵ | Jeffrey Yasskin | 2010-07-20 | 1 | -2/+18 |
| | | | | | OSX. | ||||
| * | Teach the LLVM backend to emit line number information. | Jeffrey Yasskin | 2010-07-20 | 1 | -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. | ||||
| * | Improve the LLVM-using experience. | Jeffrey Yasskin | 2010-07-20 | 1 | -3/+4 |
| | | | | | | | | llvm-config may be installed somewhere that's not on the path or in ocaml's default lib directory, so allow users to override $CFG_LLVM_CONFIG with an environment variable and look up lib and binary paths through calls to llvm-config. | ||||
| * | Stub an interface to the (as-yet-nonexistent) structural comparison glue in ↵ | Patrick Walton | 2010-07-18 | 2 | -24/+99 |
| | | | | | trans | ||||
| * | Fix argv.rs under the LLVM compiler. | Jeffrey Yasskin | 2010-07-18 | 3 | -10/+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 the LLVM ocamlopt build. | Jeffrey Yasskin | 2010-07-18 | 1 | -2/+2 |
| | | |||||