aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
* Strip off TY_mutables and TY_constraineds when unboxing values during autoderefPatrick Walton2010-07-191-0/+1
|
* ctxt_auto_deref_lval decides whether to autoderef the entire lval, not its base.Roy Frostig2010-07-193-17/+43
|
* Autoderef objects when passing them as implicit (indirect) arg upon ↵Roy Frostig2010-07-193-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 Walton2010-07-191-56/+57
|
* Fix argv.rs under the LLVM compiler.Jeffrey Yasskin2010-07-191-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 Yasskin2010-07-191-0/+2
|
* Fixed circular buffer resizing bug.Michael Bebenita2010-07-195-20/+79
|
* Added a message passing system based on lock free queues for inter-thread ↵Michael Bebenita2010-07-1935-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 Hoare2010-07-192-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 Hoare2010-07-192-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 Hoare2010-07-192-1/+8
|
* 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-203-18/+32
|
* Make the LLVM compiler crash when it hits a source construct it doesn't knowJeffrey Yasskin2010-07-204-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 Yasskin2010-07-201-15/+0
|
* Sort the XFAILed tests to make it easier to track changes.Jeffrey Yasskin2010-07-201-13/+13
|
* Make the build system run dsymutil so we can debug llvm-produced binaries on ↵Jeffrey Yasskin2010-07-201-2/+18
| | | | OSX.
* 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.
* Improve the LLVM-using experience.Jeffrey Yasskin2010-07-201-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 Walton2010-07-182-24/+99
| | | | trans
* Fix argv.rs under the LLVM compiler.Jeffrey Yasskin2010-07-183-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 Yasskin2010-07-181-2/+2
|
* Work around auto-dereference crash in rustboot.Jeffrey Yasskin2010-07-182-2/+1
|
* Add incomplete hashmap implementation to stdlib.Roy Frostig2010-07-162-0/+169
|
* 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-166-6/+45
|
* Un-XFAIL a couple tests fixed by pcwalton's new typechecker. Closes #50. ↵Graydon Hoare2010-07-161-2/+0
| | | | Closes #51.
* Un-XFAIL generic-fn-twice.rs, issue 93Patrick Walton2010-07-161-1/+0
|
* Feed the correct return type to the typechecker when typechecking objects, ↵Patrick Walton2010-07-163-14/+41
| | | | and add a testcase.
* XFAIL foreach-nested.rs and foreach-nested-2.rs under LLVMPatrick Walton2010-07-161-0/+2
|
* 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-153-21/+94
|\
| * Support nested for-each loops. Closes #79.Jason Orendorff2010-07-163-21/+94
| |
* | Fix a couple fails with wrong arg count (new arg from last gc change); ↵Graydon Hoare2010-07-151-3/+5
| | | | | | | | expand vec_grow logging a bit.
* | XFAIL the new destructor tests; collided with new typechecker; add test for ↵Graydon Hoare2010-07-152-0/+15
| | | | | | | | issue #109.
* | Implement the "simple typechecker", which avoids HM inferencePatrick Walton2010-07-157-1553/+854
| |
* | Remove log-type-error; everything is loggable.Patrick Walton2010-07-151-6/+0
|/
* XFAIL jyasskin's new tests under LLVM backend.Graydon Hoare2010-07-151-0/+2
|
* More destruction ordering tests.Jeffrey Yasskin2010-07-161-2/+52
|
* Initial test that the compiler runs destructors in the right order.Jeffrey Yasskin2010-07-161-0/+29
|
* Add a _vec.slice function that'll hold us over until .(a,b) syntax isJeffrey Yasskin2010-07-162-1/+27
| | | | | implemented. This could actually replace .(a,b) syntax if the language grows optional function parameters.
* Add a test for std._vec.init_elt, and an XFAILed test for std._vec.init_fn.Jeffrey Yasskin2010-07-161-0/+30
|
* 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.
* | XFAIL use-import-export.rs on the LLVM backend.Graydon Hoare2010-07-151-0/+1
| |
* | Merge branch 'contrib'Graydon Hoare2010-07-152-87/+106
|\ \ | |/ |/|