mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 063f388534 Err kindly instead of asserting on duplicate mod declarations in crates. Roy Frostig 2010-07-08 15:13:25 -07:00
  • d344f151f9 Fix typo in token.ml. Matt Brubeck 2010-07-09 04:47:04 +08:00
  • 3f354b24dc Clean out rustc so it doesn't give the false impression of doing anything yet. Graydon Hoare 2010-07-08 10:45:34 -07:00
  • 48488b0dcf Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, not all do) Graydon Hoare 2010-07-08 08:25:12 -07:00
  • 004240e0bc Add mbrubeck. Graydon Hoare 2010-07-08 07:48:57 -07:00
  • 244ea68082 Issue 66: Multi-line comments Matt Brubeck 2010-07-08 17:01:25 +08:00
  • 115e14a32c Some more typestate tests. Graydon Hoare 2010-07-08 07:33:25 -07:00
  • d39753685b Doc tweak. Graydon Hoare 2010-07-08 07:28:21 -07:00
  • e813388df8 Numerous bug fixes to typestate algorithm. Graydon Hoare 2010-07-06 23:18:29 -07:00
  • d3cfbdaddd Correct flow-graph wiring for STMT_if. Graydon Hoare 2010-07-06 18:07:52 -07:00
  • 6302e18056 Wrap long line. Graydon Hoare 2010-07-06 17:06:46 -07:00
  • d4975a198b Add init(arg) to STMT_call precondition for each arg. Graydon Hoare 2010-07-06 13:52:41 -07:00
  • a3f2609630 Add native-clean target. Graydon Hoare 2010-07-06 13:51:39 -07:00
  • b1eeb9b825 Change from 'spawner' to 'supervisor' in rust_task, and add an unsupervise call. Graydon Hoare 2010-07-05 14:43:40 -07:00
  • 3175c83ff0 Un-XFAIL mutable-alias-vec.rs. Was only failing due to a typo, but a more thorough test revealed more bugs. Graydon Hoare 2010-07-05 14:43:02 -07:00
  • f360d222c8 Uint-ify various bits of _str and _vec, enrich _vec a bit. Graydon Hoare 2010-07-05 14:42:12 -07:00
  • fdf2eaac91 Divide vec fill by element size when reporting vec len. Graydon Hoare 2010-07-05 14:40:01 -07:00
  • 0fe1508a8a Use typed slot rather than AST slot in trans_for_loop. Graydon Hoare 2010-07-05 14:39:08 -07:00
  • b0aba6510a Teach the dwarf readers to handle udata, so we can link with util.option; add util.rs to std.rc. Graydon Hoare 2010-07-05 14:38:02 -07:00
  • ad61f02d36 Rename some stuff in lib/util.rs. Graydon Hoare 2010-07-05 14:36:39 -07:00
  • 6014384a5d Log completion on the many.rs test. Graydon Hoare 2010-07-04 22:41:57 -07:00
  • 75f0c36931 Perform valgrind-specific timing tweaks in a platform-sensitive manner. Graydon Hoare 2010-07-04 22:41:42 -07:00
  • 24afa7532f XFAIL native-mod when running MINGW_CROSS. Graydon Hoare 2010-07-04 22:41:04 -07:00
  • c21e12bc8b Move NO_VALGRIND check below MINGW_CROSS. Graydon Hoare 2010-07-04 22:40:19 -07:00
  • 2a413070c6 Preempt works on non-windows, just needed a little valgrind love to complete in a reasonable time. Graydon Hoare 2010-07-04 21:18:47 -07:00
  • f2861448ab Fix bug in win32 command-line arg processing. Graydon Hoare 2010-07-04 20:06:18 -07:00
  • 7f01af9555 XFAIL the remainder as until pwalton has a go at the typechecker. Branch is otherwise done, enough to merge anyway. Graydon Hoare 2010-07-04 17:01:22 -07:00
  • 1833fa1df2 Fix generic-derived-type.rs and generic-obj-with-derived-type.rs. Graydon Hoare 2010-07-04 16:42:58 -07:00
  • 8217ce6228 Improve type.ml logging. Graydon Hoare 2010-07-04 16:42:11 -07:00
  • ff6278f51a Fix rec-extend.rs test. Graydon Hoare 2010-07-04 16:11:56 -07:00
  • cae60cbaba Fix compile-fail/log-type-error.rs. Graydon Hoare 2010-07-04 16:02:12 -07:00
  • 658d9238b7 Clean in doc dir a little harder. Graydon Hoare 2010-07-04 15:39:53 -07:00
  • 1fa468460d Fix typo in upcall_recv log message. Graydon Hoare 2010-07-04 02:15:11 -07:00
  • 1ac6a5038d Comment-out glue interrupt-flag test; unclear why it breaks, but glue call-tree is always finite anyways so not a big deal for now. Graydon Hoare 2010-07-04 02:14:46 -07:00
  • 5db3f6ef6a Spill immediates with proper IL type (was making valgrind dislike obj-with-vec.rs). Graydon Hoare 2010-07-04 01:06:29 -07:00
  • bd514114cf Fix bug crashing valgrind in obj-recursion.rs. Graydon Hoare 2010-07-04 00:45:56 -07:00
  • 51c38d5903 Improve logging in drop paths. Graydon Hoare 2010-07-04 00:45:35 -07:00
  • 818fbfb325 Add more scratch files to .gitignore. Graydon Hoare 2010-07-03 23:56:50 -07:00
  • 5b2cc21e4f More corrections to drop/free path to accommodate TY_box. Graydon Hoare 2010-07-03 23:55:21 -07:00
  • f2ffa57ddf Add stamp target to doc/Makefile. Graydon Hoare 2010-07-03 21:48:31 -07:00
  • 965e5287ba Add concept-index entries to docs, plus fix a few minor nits. Graydon Hoare 2010-07-03 17:29:06 -07:00
  • df0fa603d0 Add version-stamp machinery (and put "Draft + datestamp" into doc footer). Graydon Hoare 2010-07-03 00:27:33 -07:00
  • cf19c5132a Hey, what's a coding sprint without an uncovered register allocation bug? No fun, I say. Graydon Hoare 2010-07-02 22:44:21 -07:00
  • c5a3c9736a Clarify manual's explanation of unwinding during failure. Add bit about soft vs. hard failure. Roy Frostig 2010-07-02 18:33:09 -07:00
  • 667d46bef9 Add an arr_iter2 function to common.ml Patrick Walton 2010-07-02 18:01:58 -07:00
  • 50e75e049b Deja vu all over again. Something makes me think this is a usability hazard. Graydon Hoare 2010-07-02 17:14:46 -07:00
  • 233be40e25 Terminology mop-up. Graydon Hoare 2010-07-02 17:13:02 -07:00
  • 46ebf12f40 You may get the feeling that all these changes look eerily the same. You would be correct. Graydon Hoare 2010-07-02 17:04:16 -07:00
  • 3070725cce Simplify type before deciding how to free it. Hint: calling free() on a running task is usually a bad idea. Graydon Hoare 2010-07-02 16:42:42 -07:00
  • 8660ce50a1 Merge branch 'master' of git@github.com:graydon/rust into exterior_and_mutable_types Graydon Hoare 2010-07-02 16:27:39 -07:00
  • 026cdf9747 Fix bug in clone logic; was ignoring the mutability-strip step in later rule. Graydon Hoare 2010-07-02 16:16:57 -07:00
  • 0be19e8a95 Teach severing logic to handle obj and fn types. Graydon Hoare 2010-07-02 16:12:58 -07:00
  • ec0de963e0 Wrap long line. Graydon Hoare 2010-07-02 16:12:34 -07:00
  • 63f9bd7b63 Trace mark and sever steps in GC. Graydon Hoare 2010-07-02 16:12:10 -07:00
  • b1d3e9697a Return LLVM to at least being able to run hello world. Graydon Hoare 2010-07-02 15:11:44 -07:00
  • 6d58987538 Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed edges; they should not have made it past resolve. Graydon Hoare 2010-07-02 14:58:55 -07:00
  • 8b88fbf3aa Minor clarification/typo-correcting edits to manual sections up to and including Ref.Mem chapter. Roy Frostig 2010-07-02 13:39:42 -07:00
  • 1578715d12 Compensate for .tmp in run-fail tests. Graydon Hoare 2010-07-02 13:35:29 -07:00
  • 4d00333b1e New test of explicit deref operator. Graydon Hoare 2010-07-02 12:55:12 -07:00
  • 4ea41512fc Change make rules around running tests to not produce an .out file if test-run fails. Graydon Hoare 2010-07-02 12:54:01 -07:00
  • f522605f6b Permit mutables as comparable in all contexts. Graydon Hoare 2010-07-02 12:52:58 -07:00
  • f955d06ca9 Don't unify the *input* to init-box with a box constraint, nurr. Graydon Hoare 2010-07-02 12:33:51 -07:00
  • 0efce5ebe2 Improve logging in type. Graydon Hoare 2010-07-02 12:32:49 -07:00
  • 74775eff7e Box the args entering the vec-drop test. Graydon Hoare 2010-07-02 12:32:28 -07:00
  • 41fa7a404e Merge branch 'exterior_and_mutable_types' of git@github.com:graydon/rust into exterior_and_mutable_types Graydon Hoare 2010-07-02 12:03:46 -07:00
  • 285a4735b9 Parse effect-qualified type definitions. Graydon Hoare 2010-07-02 12:02:56 -07:00
  • a343133511 Allow formatting individual decl_params Patrick Walton 2010-07-02 11:54:07 -07:00
  • 49656f68b8 Gut the box[m][o] family from util. Roy Frostig 2010-07-02 11:03:33 -07:00
  • 2683ae64bf Remove nameless node causing errors on doc make. Roy Frostig 2010-07-02 10:09:58 -07:00
  • a7665b2ae1 Correct drop-ty path; many tests now run. Graydon Hoare 2010-07-02 09:46:27 -07:00
  • d9037af22d Improve drop-path logging and simplify box_rc_cell. Graydon Hoare 2010-07-02 09:45:24 -07:00
  • b2692ef2ec Actually link GC allocations onto the gc_alloc_chain, der. Graydon Hoare 2010-07-02 08:17:41 -07:00
  • c7ef0ded81 Improve logging on upcall_malloc. Graydon Hoare 2010-07-02 08:17:09 -07:00
  • c33a522097 Handle DW_FORM_blcok4 in runtime dwarf reader, which we started emitting a while ago. Graydon Hoare 2010-07-02 08:16:34 -07:00
  • 113c31a26d Trap missing attr forms during dwarf-scan and shut down dwarf reader, don't crash. Graydon Hoare 2010-07-02 08:16:04 -07:00
  • 99be02a28d Indent/outdent when logging dwarf at runtime. Graydon Hoare 2010-07-02 08:15:27 -07:00
  • 8370b947a4 Wrap long lines. Graydon Hoare 2010-07-01 23:53:32 -07:00
  • 60c6ae3ad5 Box arguments that are supposed to be boxed. Graydon Hoare 2010-07-01 23:50:58 -07:00
  • f0faeaed25 Yeah. Not even a semantic mix-up: just a damn typo. Graydon Hoare 2010-07-01 23:45:16 -07:00
  • 27d69a88b1 Teach clone_ty to tolerate cloning a mutable (though not state) type. Graydon Hoare 2010-07-01 23:20:28 -07:00
  • a2e4d45600 Improve mangling. Graydon Hoare 2010-07-01 23:15:42 -07:00
  • f3de4ee2a7 Teach the associative_binary_op_ty_fold about box, mutable and tys. Graydon Hoare 2010-07-01 23:12:34 -07:00
  • 01cfcfab13 Strip outer 'mutable' off slot when deciding if pred can apply. Graydon Hoare 2010-07-01 21:20:30 -07:00
  • 2d40bc669c Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same logic at the bottom. Graydon Hoare 2010-07-01 21:02:49 -07:00
  • d0a1b6e914 Reinstate disgusting, filthy workarounds for deriving missing type information. It existed before, we will survive if it exists now. Graydon Hoare 2010-07-01 20:24:23 -07:00
  • 4273986623 Remove similar over-application of auto-deref from type. Graydon Hoare 2010-07-01 19:30:35 -07:00
  • 65a87a55a1 Remove too-optimistic (and not harmless) over application of auto-deref in trans. Graydon Hoare 2010-07-01 19:29:51 -07:00
  • 314af0a44b Split out and improve trans_init_box. Graydon Hoare 2010-07-01 19:29:03 -07:00
  • 7df949af40 Add logging to trans_init_slot_from_atom. Graydon Hoare 2010-07-01 19:28:11 -07:00
  • 6c9832d3ec Catch ast pretty-printer up with init-tup syntax. Graydon Hoare 2010-07-01 19:27:20 -07:00
  • bb018b24f5 Fox the clauses that actually satisfy box and mutable constraints; in all the confusion I had got those wrong. Graydon Hoare 2010-07-01 18:39:58 -07:00
  • c27879a1aa Of course, the LHS constraint on an init-box statement is mutable @. Graydon Hoare 2010-07-01 18:39:08 -07:00
  • fdafec39de Clarify in type logging when we have a constraint vs. a resolved type. Graydon Hoare 2010-07-01 18:38:28 -07:00
  • fb7e37842b Add compile-check target for just attempting to compile, not run, the tests. Graydon Hoare 2010-07-01 18:37:53 -07:00
  • f72774db7a Correct existing reliance on auto-box / unbox behavior in tests. Graydon Hoare 2010-07-01 18:37:30 -07:00
  • 792d96474e Box the integer passed to the handle in obj-drop.rs. No more implicit arg-boxing. Graydon Hoare 2010-07-01 18:04:21 -07:00
  • 2120599387 Establish the box constraint on the dst in STMT_init_box before propagating it to the rval. Graydon Hoare 2010-07-01 18:03:37 -07:00
  • c30353d4f9 Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the backend can catch unimplemented cases until then). Graydon Hoare 2010-07-01 17:56:20 -07:00
  • 4bec9538cc Check the simplified type used in check-expr in trans. Graydon Hoare 2010-07-01 17:55:28 -07:00
  • ae25e66a7f Extract pattern-slot variables in lval typecheck context (mutable ok). Graydon Hoare 2010-07-01 17:11:01 -07:00