aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
...
* Terminology mop-up.Graydon Hoare2010-07-021-2/+2
|
* You may get the feeling that all these changes look eerily the same. You ↵Graydon Hoare2010-07-021-2/+3
| | | | would be correct.
* Simplify type before deciding how to free it. Hint: calling free() on a ↵Graydon Hoare2010-07-021-1/+1
| | | | running task is usually a bad idea.
* Merge branch 'master' of [email protected]:graydon/rust into ↵Graydon Hoare2010-07-022-10/+10
|\ | | | | | | exterior_and_mutable_types
| * Fix two bugs in tag patterns: 1. Look up the tag constructor function item ↵Roy Frostig2010-07-012-10/+10
| | | | | | | | using lval_item, not lval_to_referent; 2. Correct the form of the name used to query the tag or iso ty_tag when obtaining the corresponding type tuple.
* | Fix bug in clone logic; was ignoring the mutability-strip step in later rule.Graydon Hoare2010-07-021-21/+22
| |
* | Teach severing logic to handle obj and fn types.Graydon Hoare2010-07-021-15/+28
| |
* | Wrap long line.Graydon Hoare2010-07-021-11/+12
| |
* | Trace mark and sever steps in GC.Graydon Hoare2010-07-021-2/+6
| |
* | Return LLVM to at least being able to run hello world.Graydon Hoare2010-07-021-1/+1
| |
* | Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed ↵Graydon Hoare2010-07-021-5/+6
| | | | | | | | edges; they should not have made it past resolve.
* | Permit mutables as comparable in all contexts.Graydon Hoare2010-07-021-1/+1
| |
* | Don't unify the *input* to init-box with a box constraint, nurr.Graydon Hoare2010-07-021-2/+3
| |
* | Improve logging in type.Graydon Hoare2010-07-021-2/+5
| |
* | Merge branch 'exterior_and_mutable_types' of [email protected]:graydon/rust ↵Graydon Hoare2010-07-021-5/+9
|\ \ | | | | | | | | | into exterior_and_mutable_types
| * | Allow formatting individual decl_paramsPatrick Walton2010-07-021-5/+9
| | |
* | | Parse effect-qualified type definitions.Graydon Hoare2010-07-026-30/+42
|/ /
* | Correct drop-ty path; many tests now run.Graydon Hoare2010-07-021-11/+5
| |
* | Improve drop-path logging and simplify box_rc_cell.Graydon Hoare2010-07-021-5/+14
| |
* | Wrap long lines.Graydon Hoare2010-07-011-2/+6
| |
* | Yeah. Not even a semantic mix-up: just a damn typo.Graydon Hoare2010-07-011-1/+1
| |
* | Teach clone_ty to tolerate cloning a mutable (though not state) type.Graydon Hoare2010-07-011-1/+1
| |
* | Improve mangling.Graydon Hoare2010-07-011-2/+2
| |
* | Teach the associative_binary_op_ty_fold about box, mutable and tys.Graydon Hoare2010-07-011-0/+3
| |
* | Strip outer 'mutable' off slot when deciding if pred can apply.Graydon Hoare2010-07-011-2/+3
| |
* | Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same ↵Graydon Hoare2010-07-011-71/+60
| | | | | | | | logic at the bottom.
* | Reinstate disgusting, filthy workarounds for deriving missing type ↵Graydon Hoare2010-07-011-14/+19
| | | | | | | | information. It existed before, we will survive if it exists now.
* | Remove similar over-application of auto-deref from type.Graydon Hoare2010-07-011-7/+7
| |
* | Remove too-optimistic (and not harmless) over application of auto-deref in ↵Graydon Hoare2010-07-011-8/+4
| | | | | | | | trans.
* | Split out and improve trans_init_box.Graydon Hoare2010-07-011-8/+18
| |
* | Add logging to trans_init_slot_from_atom.Graydon Hoare2010-07-011-3/+15
| |
* | Catch ast pretty-printer up with init-tup syntax.Graydon Hoare2010-07-011-1/+1
| |
* | Fox the clauses that actually satisfy box and mutable constraints; in all ↵Graydon Hoare2010-07-011-14/+10
| | | | | | | | the confusion I had got those wrong.
* | Of course, the LHS constraint on an init-box statement is mutable @.Graydon Hoare2010-07-011-2/+2
| |
* | Clarify in type logging when we have a constraint vs. a resolved type.Graydon Hoare2010-07-011-4/+10
| |
* | Establish the box constraint on the dst in STMT_init_box before propagating ↵Graydon Hoare2010-07-011-1/+1
| | | | | | | | it to the rval.
* | Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ↵Graydon Hoare2010-07-011-53/+5
| | | | | | | | backend can catch unimplemented cases until then).
* | Check the simplified type used in check-expr in trans.Graydon Hoare2010-07-011-1/+1
| |
* | Extract pattern-slot variables in lval typecheck context (mutable ok).Graydon Hoare2010-07-011-1/+1
| |
* | Relax alias-analysis pass to permit literal-aliasing.Graydon Hoare2010-07-011-1/+1
| |
* | Remove the catch-all in type.ml, add cases for every stmt (a couple more ↵Graydon Hoare2010-07-011-8/+55
| | | | | | | | handled; mostly still stubs).
* | Convey auto-deref judgments made in typechecker to trans layer; control the ↵Graydon Hoare2010-07-013-3/+35
| | | | | | | | decision in one place.
* | Correct overzealous bulk-edit to LLVM code.Graydon Hoare2010-07-011-1/+1
| |
* | 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-12 17:14:27 +0000