aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Some work on teaching trans to differentiate between auto-deref and ↵Graydon Hoare2010-07-013-37/+88
| | | | explicit-deref contexts.
* Add more logging to copy/init paths.Graydon Hoare2010-07-011-12/+27
|
* Remove redundant indirection-function.Graydon Hoare2010-07-011-4/+2
|
* Implement STMT_init_box in trans, clean up some of the semant table-accessors.Graydon Hoare2010-07-016-51/+39
|
* Add STMT_init_box to typestate pass.Graydon Hoare2010-07-011-1/+8
|
* Simplify types before analyzing call structure; 2 more tests compile.Graydon Hoare2010-07-012-4/+6
|
* Add machine-dependent 'float' type.Graydon Hoare2010-07-012-0/+3
|
* Fix lexer's definition of numeric literals.Graydon Hoare2010-07-011-4/+5
|
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare2010-06-3017-200/+198
| | | | keep MEM_interior for describing interior-parts-of-allocations)
* No more "transplant" behavior in "let @x = y", gotta box explicitly.Graydon Hoare2010-06-301-1/+1
|
* Auto-deref on lval-ext terms (x.y == x->y, if you like)Graydon Hoare2010-06-301-1/+1
|
* De-duplicate code in get_resolved_ty, make recursive, add a case for tup.Graydon Hoare2010-06-301-28/+9
|
* Add two move variants of "acceptable mismatches to recover from" when the ↵Graydon Hoare2010-06-301-0/+16
| | | | mut_ok or ext_ok flags are set.
* Add relaxed init-context in which we're willing to auto-deref.Graydon Hoare2010-06-301-5/+10
|
* Add TYSPEC_mutable, merge control-flag for it and auto_deref into unify_ctx ↵Graydon Hoare2010-06-301-172/+263
| | | | structure.
* Make type-cast decisions based on simplified types.Graydon Hoare2010-06-301-0/+1
|
* Fix another type bug I introduced yesterday; found through wondrous logging ↵Graydon Hoare2010-06-301-1/+1
| | | | technology.
* Improve logging in type.Graydon Hoare2010-06-301-1/+1
|
* Pick out error in type due to delightfully clear logging.Graydon Hoare2010-06-301-1/+1
|
* Improve logging in type.ml, give it indentation and per-statement context.Graydon Hoare2010-06-302-10/+25
|
* Fix recently-broken lval formatter.Graydon Hoare2010-06-301-0/+2
|
* Add support for parsing COMP_deref lval components (*foo).Graydon Hoare2010-06-301-0/+13
|
* Fix formatting string.Graydon Hoare2010-06-301-1/+1
|
* Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵Graydon Hoare2010-06-304-155/+224
| | | | implicitly deref in only *some* contexts.
* rewrite 'mutable &' as '& mutable', corresponding to grammar shift.Graydon Hoare2010-06-302-2/+2
|
* Tidy up (I think) a couple typos from patrick's last commit.Graydon Hoare2010-06-301-5/+5
|
* Improve error message.Graydon Hoare2010-06-301-2/+1
|
* Remove redundant (and misnamed) function "without_exterior" in trans.Graydon Hoare2010-06-301-11/+3
|
* Reimplement backup scheme for handling lvals not yet resolved by typechecker.Graydon Hoare2010-06-301-15/+38
|
* Init the exterior ty, not the inner ty.Graydon Hoare2010-06-301-2/+2
|
* Fix error-message typo.Graydon Hoare2010-06-301-1/+1
|
* Use simplified_ty in effect.Graydon Hoare2010-06-301-1/+1
|
* Move simplified_ty from trans to semant and use it a few places.Graydon Hoare2010-06-302-12/+12
|
* Add logging to type and effect.Graydon Hoare2010-06-302-0/+12
|
* Fix exterior formatter.Graydon Hoare2010-06-301-1/+1
|
* Get compiler to the point of building std.rc and rustc.rc.Graydon Hoare2010-06-301-3/+11
|
* Handle constrained types in type.ml while we're at it.Graydon Hoare2010-06-301-0/+3
|
* Wrap long lines.Graydon Hoare2010-06-303-4/+9
|
* Teach the typechecker about the auto-dereference and auto-promote-to-mutable ↵Patrick Walton2010-06-292-224/+213
| | | | semantics we're going with
* Different, not quite correct yet, but I think slightly closer to correct, ↵Graydon Hoare2010-06-291-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 Hoare2010-06-291-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 Hoare2010-06-291-16/+23
|
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-2915-904/+937
|
* Fix underlying failure to signal errors when dep'ing.Graydon Hoare2010-06-291-6/+8
|
* Revert "Improve makefile to try to avoid wedging on failure-to-dep lib/std.rc"Graydon Hoare2010-06-291-9/+6
| | | | This reverts commit 3bc263f10215e5768e9ff57ee1f1aa2bd81da5d1.
* Improve makefile to try to avoid wedging on failure-to-dep lib/std.rcGraydon Hoare2010-06-291-6/+9
|
* The few and proud isolated bits from stdlib-work so far that don't break ↵Roy Frostig2010-06-283-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 Hoare2010-06-281-0/+4
| | | | builds to cycle faster on linux.
* Add to generic-obj.rs testcase a method that takes an argument of the object ↵Roy Frostig2010-06-282-0/+3
| | | | type-param type. XFAIL the test since it no longer passes.
* Testcase (XFAILed) for fn item given as lval.Roy Frostig2010-06-282-0/+10
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-13 21:36:33 +0000