aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
Commit message (Expand)AuthorAgeFilesLines
...
* rustc: Switch mutability from being a type constructor to a field annotationPatrick Walton2011-03-171-58/+100
* rustc: Correctly report mutability when stringifying typesPatrick Walton2011-03-171-24/+24
* rustc: Consider native types to be scalarPatrick Walton2011-03-171-0/+1
* rustc: Sort object methods when parsing textual types in the ASTPatrick Walton2011-03-171-0/+8
* Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tw...Graydon Hoare2011-03-161-5/+4
* Merge remote branch 'brson/recursive-elseif'Graydon Hoare2011-03-141-1/+1
|\
| * Merge branch 'master' into recursive-elseifBrian Anderson2011-03-131-83/+12
| |\
| * \ Merge branch 'master' into recursive-elseifBrian Anderson2011-03-071-190/+489
| |\ \
* | | | Add ty_port and ty_chan to expr_ty functionBrian Anderson2011-03-141-11/+13
* | | | Add folding and type checking for ports and chansBrian Anderson2011-03-141-0/+54
| |_|/ |/| |
* | | Implement deep structural comparison through boxes and sequences.Graydon Hoare2011-03-091-0/+8
* | | 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-12 10:06:20 +0000