| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | No more "transplant" behavior in "let @x = y", gotta box explicitly. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Auto-deref on lval-ext terms (x.y == x->y, if you like) | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | De-duplicate code in get_resolved_ty, make recursive, add a case for tup. | Graydon Hoare | 2010-06-30 | 1 | -28/+9 | |
| | | | | ||||||
| * | | | Add two move variants of "acceptable mismatches to recover from" when the ↵ | Graydon Hoare | 2010-06-30 | 1 | -0/+16 | |
| | | | | | | | | | | | | | mut_ok or ext_ok flags are set. | |||||
| * | | | Add relaxed init-context in which we're willing to auto-deref. | Graydon Hoare | 2010-06-30 | 1 | -5/+10 | |
| | | | | ||||||
| * | | | Add TYSPEC_mutable, merge control-flag for it and auto_deref into unify_ctx ↵ | Graydon Hoare | 2010-06-30 | 1 | -172/+263 | |
| | | | | | | | | | | | | | structure. | |||||
| * | | | Make type-cast decisions based on simplified types. | Graydon Hoare | 2010-06-30 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Fix another type bug I introduced yesterday; found through wondrous logging ↵ | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | | | | | | | | | | technology. | |||||
| * | | | Improve logging in type. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Pick out error in type due to delightfully clear logging. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Improve logging in type.ml, give it indentation and per-statement context. | Graydon Hoare | 2010-06-30 | 2 | -10/+25 | |
| | | | | ||||||
| * | | | Fix recently-broken lval formatter. | Graydon Hoare | 2010-06-30 | 1 | -0/+2 | |
| | | | | ||||||
| * | | | Add support for parsing COMP_deref lval components (*foo). | Graydon Hoare | 2010-06-30 | 1 | -0/+13 | |
| | | | | ||||||
| * | | | Fix formatting string. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵ | Graydon Hoare | 2010-06-30 | 4 | -155/+224 | |
| | | | | | | | | | | | | | implicitly deref in only *some* contexts. | |||||
| * | | | rewrite 'mutable &' as '& mutable', corresponding to grammar shift. | Graydon Hoare | 2010-06-30 | 2 | -2/+2 | |
| | | | | ||||||
| * | | | Tidy up (I think) a couple typos from patrick's last commit. | Graydon Hoare | 2010-06-30 | 1 | -5/+5 | |
| | | | | ||||||
| * | | | Improve error message. | Graydon Hoare | 2010-06-30 | 1 | -2/+1 | |
| | | | | ||||||
| * | | | Remove redundant (and misnamed) function "without_exterior" in trans. | Graydon Hoare | 2010-06-30 | 1 | -11/+3 | |
| | | | | ||||||
| * | | | Reimplement backup scheme for handling lvals not yet resolved by typechecker. | Graydon Hoare | 2010-06-30 | 1 | -15/+38 | |
| | | | | ||||||
| * | | | Init the exterior ty, not the inner ty. | Graydon Hoare | 2010-06-30 | 1 | -2/+2 | |
| | | | | ||||||
| * | | | Fix error-message typo. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Use simplified_ty in effect. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Move simplified_ty from trans to semant and use it a few places. | Graydon Hoare | 2010-06-30 | 2 | -12/+12 | |
| | | | | ||||||
| * | | | Add logging to type and effect. | Graydon Hoare | 2010-06-30 | 2 | -0/+12 | |
| | | | | ||||||
| * | | | Fix exterior formatter. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Get compiler to the point of building std.rc and rustc.rc. | Graydon Hoare | 2010-06-30 | 1 | -3/+11 | |
| | | | | ||||||
| * | | | Handle constrained types in type.ml while we're at it. | Graydon Hoare | 2010-06-30 | 1 | -0/+3 | |
| | | | | ||||||
| * | | | Wrap long lines. | Graydon Hoare | 2010-06-30 | 3 | -4/+9 | |
| | | | | ||||||
| * | | | Teach the typechecker about the auto-dereference and auto-promote-to-mutable ↵ | Patrick Walton | 2010-06-29 | 2 | -224/+213 | |
| | | | | | | | | | | | | | semantics we're going with | |||||
| * | | | Different, not quite correct yet, but I think slightly closer to correct, ↵ | Graydon Hoare | 2010-06-29 | 1 | -33/+45 | |
| | | | | | | | | | | | | | approach to convincing the typechecker to get along with this new type grammar. | |||||
| * | | | Thread a 'simplification' flag through unifier, attempt to strip off layers ↵ | Graydon Hoare | 2010-06-29 | 1 | -134/+149 | |
| | | | | | | | | | | | | | | | | | | | of ignorable types when simplification is permitted. Gets std.rc through typechecking, but assigns some wrong types to lvals (the simplified types, not the correct ones). | |||||
| * | | | Update LLVM translation to match changes to slot and ty. | Graydon Hoare | 2010-06-29 | 1 | -16/+23 | |
| | | | | ||||||
| * | | | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | 2010-06-29 | 15 | -904/+937 | |
| |/ / | ||||||
| * | | Fix underlying failure to signal errors when dep'ing. | Graydon Hoare | 2010-06-29 | 1 | -6/+8 | |
| | | | ||||||
| * | | Revert "Improve makefile to try to avoid wedging on failure-to-dep lib/std.rc" | Graydon Hoare | 2010-06-29 | 1 | -9/+6 | |
| | | | | | | | | | This reverts commit 3bc263f10215e5768e9ff57ee1f1aa2bd81da5d1. | |||||
| * | | Improve makefile to try to avoid wedging on failure-to-dep lib/std.rc | Graydon Hoare | 2010-06-29 | 1 | -6/+9 | |
| |/ | ||||||
| * | The few and proud isolated bits from stdlib-work so far that don't break ↵ | Roy Frostig | 2010-06-28 | 3 | -0/+63 | |
| | | | | | everything. Note util.rs hasn't yet been declared mod in the std crate. Don't do that yet, as it breaks make check. | |||||
| * | Add a NO_VALGRIND override mechanism to makefile, if you want day-to-day ↵ | Graydon Hoare | 2010-06-28 | 1 | -0/+4 | |
| | | | | | builds to cycle faster on linux. | |||||
| * | Add to generic-obj.rs testcase a method that takes an argument of the object ↵ | Roy Frostig | 2010-06-28 | 2 | -0/+3 | |
| | | | | | type-param type. XFAIL the test since it no longer passes. | |||||
| * | Testcase (XFAILed) for fn item given as lval. | Roy Frostig | 2010-06-28 | 2 | -0/+10 | |
| | | ||||||
| * | Canonicalize hashtables after running them through htab_map. Closes #77. | Graydon Hoare | 2010-06-28 | 2 | -13/+19 | |
| | | ||||||
| * | Whitespace. | Graydon Hoare | 2010-06-28 | 1 | -1/+1 | |
| | | ||||||
| * | Move more of the GC logic into the runtime. | Graydon Hoare | 2010-06-28 | 7 | -195/+213 | |
| | | ||||||
| * | Testcase (XFAILed) for mutable alias vec weirdness. | Roy Frostig | 2010-06-28 | 2 | -0/+9 | |
| | | ||||||
| * | Teach the typechecker that uints are integral types. Closes #88. | Roy Frostig | 2010-06-28 | 1 | -1/+1 | |
| | | ||||||
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 14 | -113/+117 | |
| | | ||||||
| * | Once more with feeling. Closes #13. | Graydon Hoare | 2010-06-27 | 1 | -1/+0 | |
| | | ||||||
| * | Previous commit closes #13. Trying to convince github of that fact ↵ | Graydon Hoare | 2010-06-27 | 1 | -0/+1 | |
| | | | | | automagically. | |||||
| * | Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵ | Graydon Hoare | 2010-06-27 | 7 | -36/+269 | |
| | | | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13. | |||||