aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
...
* | 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-3015-197/+195
| | | | | | | | keep MEM_interior for describing interior-parts-of-allocations)
* | 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.
* | 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
|
* Canonicalize hashtables after running them through htab_map. Closes #77.Graydon Hoare2010-06-282-13/+19
|
* Whitespace.Graydon Hoare2010-06-281-1/+1
|
* Move more of the GC logic into the runtime.Graydon Hoare2010-06-282-184/+82
|
* Teach the typechecker that uints are integral types. Closes #88.Roy Frostig2010-06-281-1/+1
|
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-2814-113/+117
|
* Once more with feeling. Closes #13.Graydon Hoare2010-06-271-1/+0
|
* Previous commit closes #13. Trying to convince github of that fact ↵Graydon Hoare2010-06-271-0/+1
| | | | automagically.
* Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare2010-06-275-35/+255
| | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
* Change slot_mem_ctrl to classify vec[state] as GC mem. Breaking / XFAILing ↵Graydon Hoare2010-06-271-1/+4
| | | | mutable-vec-drop.rs test.
* Encode tag and iso types at dwarf level. Can't decode them yet.Graydon Hoare2010-06-271-17/+142
|
* Further attempts to convince mem_ctrl to be sane.Graydon Hoare2010-06-251-1/+3
|
* Fix register-use bugs in sweep pass, factor sweep pass out and call twice ↵Graydon Hoare2010-06-251-57/+73
| | | | for separate sever/free phases.
* Improve sever_slot logging.Graydon Hoare2010-06-251-4/+2
|
* Fix copy-paste error in logging function.Graydon Hoare2010-06-251-2/+2
|
* Add sever-glue, for missing first stage of sweep.Graydon Hoare2010-06-253-15/+85
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-06 22:17:10 +0000