aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
Commit message (Expand)AuthorAgeFilesLines
* Have the pretty-printer take a writer stream as argumentMarijn Haverbeke2011-03-091-80/+1
* rustc: Make ann_to_type() fail if the node has no type. Miraculously, no test...Patrick Walton2011-03-081-2/+2
* rustc: Add a slot for explicit type parameter instantations to the typechecke...Patrick Walton2011-03-081-1/+1
* Add a pretty-printerMarijn Haverbeke2011-03-071-0/+2
* Construct the wrappers to native functions. Hello world now works :-)Rafael Ávila de Espíndola2011-03-071-0/+7
* Remove typestate workaroundsBrian Anderson2011-03-061-29/+13
* Make ret and fail stmts have 0 out-edges, Closes #250.Graydon Hoare2011-03-051-1/+1
* Assortment of additional work on vec-append. Not done yet.Graydon Hoare2011-03-031-0/+9
* Revert "rustc: Add support for folding over tag types" as it's unnecessary. O...Patrick Walton2011-03-031-9/+1
* rustc: Add support for folding over tag typesPatrick Walton2011-03-031-1/+9
* Handle native types in calls.Rafael Ávila de Espíndola2011-03-031-0/+10
* Sketch out some more pieces of vec-append.Graydon Hoare2011-03-021-0/+10
* Add fold, typecheck and trans for expr_extBrian Anderson2011-03-021-0/+1
* rustc: Mark tags that have subtypes with dynamic size as dynamicPatrick Walton2011-02-281-0/+7
* rustc: Make the tag info table keyed by both tag ID and type parameter. Also ...Patrick Walton2011-02-251-2/+3
* Pass the abi of native functions all the way to codegen.Rafael Ávila de Espíndola2011-02-251-11/+20
* rustc: Perform type parameter substitutions when emitting glue for generic ta...Patrick Walton2011-02-241-1/+42
* Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs.Patrick Walton2011-02-231-0/+3
* Handle the new ty_native_fn in type check.Rafael Ávila de Espíndola2011-02-231-20/+87
* Make a tag for iterness / fnness, teach many places about it.Graydon Hoare2011-02-181-107/+136
* Implement Robinson's algorithm for type unification. Closes #227.Patrick Walton2011-02-181-75/+70
* Add type parameters to tag typesPatrick Walton2011-02-171-21/+66
* Don't add the rust arguments to native functions. We now produce theRafael Avila de Espindola2011-02-161-0/+5
* Add missing case to ty_to_str.Rafael Avila de Espindola2011-02-161-0/+1
* More typechecking for native types and the needed plumbing in codegen.Rafael Avila de Espindola2011-02-161-0/+16
* Add basic front-end support for 'for each' loops.Graydon Hoare2011-02-141-0/+2
* Add basic front-end support for expr_put.Graydon Hoare2011-02-141-0/+1
* Move all non-decl/non-expr stmts to exprs.Graydon Hoare2011-02-141-0/+6
* Expand expr_rec to take its optional trailing 'with' parameter.Graydon Hoare2011-02-141-1/+1
* Add missing case to unify. This gets hello world to codegen.Rafael Avila de Espindola2011-02-141-0/+1
* Teach ty and typeck about pat_lit.Graydon Hoare2011-02-101-0/+1
* Add type checking for native types.Rafael Avila de Espindola2011-02-101-0/+2
* Add a fixme for last commit.Graydon Hoare2011-02-071-0/+4
* Iterate type unification to drive the types a bit further down into the leave...Graydon Hoare2011-02-071-1/+33
* Implement 'else if'Graydon Hoare2011-02-011-1/+1
* Add ty_type.Graydon Hoare2011-02-011-0/+8
* More work on derived tydescs. Can compile simple tests with generic objects.Graydon Hoare2011-01-311-4/+4
* Teach ty and typeck about linear for loops.Graydon Hoare2011-01-201-0/+1
* Implement dynamic GEP enough to permit expr_field to work on tup(T,T,T).Graydon Hoare2011-01-191-0/+23
* Fix bug (I think) when unifying ty_local and ty_param.Graydon Hoare2011-01-181-1/+13
* Fix missing case in ty.Graydon Hoare2011-01-171-0/+5
* Change single-ident expr_ident to greedy/fat multi-ident expr_path, to handle...Graydon Hoare2011-01-131-11/+14
* Figure out what tydescs we need to pass when translating parametric function ...Patrick Walton2011-01-121-0/+44
* rustc: Allow the type unification handler to handle both expected and actual ...Patrick Walton2011-01-041-4/+8
* rustc: Add an item type accessorPatrick Walton2011-01-041-0/+38
* Add type accessors for fn types.Graydon Hoare2011-01-031-0/+24
* Teach ty.unify about ty_obj.Graydon Hoare2010-12-311-0/+83
* Move unify_fn logic out-of-line.Graydon Hoare2010-12-311-59/+72
* rustc: Add a type_has_dynamic_size predicatePatrick Walton2010-12-221-0/+21
* rustc: Move unification out of typeck.rs; trans will need it too.Patrick Walton2010-12-211-0/+425
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-26 15:28:35 +0000