aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
Commit message (Expand)AuthorAgeFilesLines
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-061-1/+1
* Last pieces of self-call support.Lindsey Kuper2011-04-051-0/+6
* Make box prefix operator and box type carry mutability flag.Graydon Hoare2011-04-041-2/+2
* Started adding support for typestate checking.Tim Chevalier2011-04-011-7/+7
* rustc: Add a type annotation to tag itemsPatrick Walton2011-03-311-7/+2
* rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead o...Patrick Walton2011-03-311-3/+3
* rustc: Thread an item-to-type mapping throughout the typechecking and transla...Patrick Walton2011-03-301-0/+55
* Beginnings of support for magical self prefix; nothing profound happening yet.Lindsey Kuper2011-03-291-0/+1
* Add expr_spawn, spawn parsing, folding, typechecking, ty_taskBrian Anderson2011-03-281-0/+3
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-251-1/+1
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare2011-03-251-1/+1
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare2011-03-251-1/+1
* rustc: Create a crate metadata cachePatrick Walton2011-03-251-5/+1
* Support for shorter error messages that are aware of objects' cnames.Lindsey Kuper2011-03-221-6/+20
* Add codegen for ports and chansBrian Anderson2011-03-221-0/+6
* Make floating-point operations work (neg, add, sub, mul, div, rem,Tim Chevalier2011-03-211-0/+5
* Started adding support for floating-point type, floating-point literals, and ...Tim Chevalier2011-03-211-0/+3
* Modify native_item_fn to handle trailing linkage names that differ from the i...Graydon Hoare2011-03-201-1/+1
* rustc: Implement "mutable?". Add a test case and XFAIL it in rustboot for now.Patrick Walton2011-03-181-23/+60
* 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