aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Collapse)AuthorAgeFilesLines
...
* Use gvars for vtbls rather than returning const immediates.Graydon Hoare2010-12-201-1/+7
|
* Trailing whitespace police.Graydon Hoare2010-12-201-2/+2
|
* rustc: Build tydescs for types, and make all take and drop operations go ↵Patrick Walton2010-12-201-27/+43
| | | | through the tydescs for simplicity (LLVM inlines them).
* rustc: Remove the unused "name" parameter from trans.new_builderPatrick Walton2010-12-171-4/+4
|
* rustc: Make some no-op take and drop glue for scalar typesPatrick Walton2010-12-171-24/+34
|
* Split part of typeck.check_fn out into typeck.check_item_fn, then check all ↵Graydon Hoare2010-12-171-17/+33
| | | | fns, including obj fns.
* rustc: Make all drop and take glue have the same signature, so we can put ↵Patrick Walton2010-12-172-14/+28
| | | | them in tydescs
* Record type annotations for methods.Graydon Hoare2010-12-171-2/+40
|
* rustc: Zero out slots after dropping themPatrick Walton2010-12-171-2/+8
|
* Trans methods more correctly, and store vtbl pointer in pair returned from ↵Graydon Hoare2010-12-171-4/+14
| | | | obj ctor.
* Sketch trans_vtbl.Graydon Hoare2010-12-161-0/+9
|
* rustc: Translate parametric function signatures into task + type parameters ↵Patrick Walton2010-12-162-0/+52
| | | | + formal arguments
* Stub out translation of obj ctors (no vtbl or body built).Graydon Hoare2010-12-161-0/+40
|
* rustc: Add a type fold mechanism to the typecheckerPatrick Walton2010-12-161-63/+83
|
* rustc: Only generalize on definition types that can actually be parametricPatrick Walton2010-12-161-4/+2
|
* rustc: Write types back when typechecking "ret" statementsPatrick Walton2010-12-161-3/+3
|
* rustc: Make trans.type_of handle parameter typesPatrick Walton2010-12-161-2/+4
|
* rustc: Infer the types of type-parametric functionsPatrick Walton2010-12-161-0/+76
|
* Annotate obj items while folding ast in typeck.Graydon Hoare2010-12-161-0/+11
|
* Collect obj items, translate obj-name references and obj-ctor types.Graydon Hoare2010-12-161-19/+51
|
* Typecheck object method calls.Graydon Hoare2010-12-151-0/+30
|
* Convert obj item type to ctor type rather than obj type.Graydon Hoare2010-12-151-8/+29
|
* rustc: Move next_var_id back to the crate context in typechecking; we'll ↵Patrick Walton2010-12-151-22/+39
| | | | need it when collecting item types
* rustc: Resolve type paramsPatrick Walton2010-12-151-1/+6
|
* Teach typeck to stringify obj types.Graydon Hoare2010-12-151-6/+33
|
* rustc: Fix bug involving extracting any variant element beyond the first. ↵Patrick Walton2010-12-151-0/+1
| | | | Un-XFAIL alt-tag.rs.
* rustc: Resolve tag names in the typecheckerPatrick Walton2010-12-151-1/+6
|
* rustc: Translate pattern matchingPatrick Walton2010-12-151-1/+155
|
* Teach typeck.ty, typeck.collect_item_types and typeck.check_expr about obj ↵Graydon Hoare2010-12-141-1/+31
| | | | items.
* Teach resolve about obj items.Graydon Hoare2010-12-141-0/+3
|
* Teach fold about objs.Graydon Hoare2010-12-141-0/+57
|
* Fix a couple bugs in iter_sequence, un-XFAIL vec-drop.rs.Graydon Hoare2010-12-131-3/+17
|
* rustc: Typecheck pattern bindingsPatrick Walton2010-12-131-0/+1
|
* rustc: Check patterns before arm blocks in alt expressions; this will be ↵Patrick Walton2010-12-131-9/+31
| | | | needed for binding type resolution
* rustc: Hack to get rid of passing i1 types for unit around in most cases, ↵Patrick Walton2010-12-131-6/+27
| | | | suggested by Rafael
* Set the new vec fill-size on the compiler side, as in rustboot. Un-XFAIL ↵Graydon Hoare2010-12-131-0/+5
| | | | first 3 vec tests.
* rustc: Typecheck "alt" expressions and patternsPatrick Walton2010-12-121-0/+175
|
* rustc: Propagate types for vector, tuple, record, assignment, and if ↵Patrick Walton2010-12-121-12/+71
| | | | expressions downward again
* Revert "rustc: Propagate types for vector, tuple, record, assignment, and if ↵Patrick Walton2010-12-121-71/+12
| | | | | | expressions downward" due to test bustage This reverts commit 1cdf42dd63a5ba790d91edabf131ca9347aa52ee.
* rustc: Fix nonexhaustive match failure on unresolved identifiersPatrick Walton2010-12-121-0/+1
|
* rustc: Resolve variant names in patternsPatrick Walton2010-12-121-1/+26
|
* rustc: "resoling" -> "resolving" typoPatrick Walton2010-12-121-3/+3
|
* rustc: Add a definition ID to tag patternsPatrick Walton2010-12-121-5/+6
|
* rustc: Propagate types for vector, tuple, record, assignment, and if ↵Patrick Walton2010-12-111-12/+71
| | | | expressions downward
* rustc: Make return value inference use next_ty_var, now that we have itPatrick Walton2010-12-111-1/+1
|
* rustc: Move next_var_id from typeck.crate_ctxt to typeck.fn_ctxtPatrick Walton2010-12-111-6/+7
|
* rustc: Remove "update_env_for_arm" debugging messagePatrick Walton2010-12-111-1/+0
|
* rustc: Resolve pattern bindingsPatrick Walton2010-12-102-2/+18
|
* rustc: Add update_env_for_arm to fold; we'll need it to resolve pattern bindingsPatrick Walton2010-12-101-4/+15
|
* Fix bad GEP and missing branch in iter_sequence; vec.rs compiles now.Graydon Hoare2010-12-101-1/+3
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-14 17:38:52 +0000