about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-12-19impl the proper partial order between fn typesNiko Matsakis-39/+34
2011-12-19Fix a typo.Erick Tryzelaar-1/+1
2011-12-19Fix bug in type parameter handling for impl methodsMarijn Haverbeke-10/+27
The parameters of the impl weren't being combined in the right way with the parameters of the methods. The test worked only by accident. Issue #1227
2011-12-19Associate names with types introduced by itemsMarijn Haverbeke-184/+128
Issue #828 This is not a full solution yet. To really get sane error messages, we'll also have to guess the name to apply to literals, which seems non-trivial.
2011-12-19Add type argument field to expr_pathMarijn Haverbeke-16/+59
This way, you can explicitly provide type parameters when calling a generic method. Issue #1227
2011-12-19Complain when multiple methods in the same scope match a callMarijn Haverbeke-5/+9
Issue #1227
2011-12-19Use quotes around tokens in parser error messages to make them more readableMarijn Haverbeke-12/+12
Closes #1328
2011-12-19Properly calculate base working dir for compile units.Josh Matthews-10/+19
2011-12-19Long lines.Josh Matthews-12/+17
2011-12-19Fix merge error and rebasing changes for debug information.Josh Matthews-4/+8
2011-12-18Remove source line generation craziness. Ensure incorrect subprogram caches ↵Josh Matthews-390/+172
are not conflated. Generate ast_map entries for object members and resource constructors and destructors.
2011-12-18Hide extended, unfinished debug information behind --xg compiler flag.Josh Matthews-10/+18
2011-12-18Clean up some names and factor out some common code.Josh Matthews-214/+164
2011-12-18Add support for vectors.Josh Matthews-63/+72
2011-12-18Add record debug information.Josh Matthews-22/+177
2011-12-18Fix up ast types after literal changes.Josh Matthews-12/+14
2011-12-18Add debug information for boxed and unique values.Josh Matthews-22/+163
2011-12-18Handle inferred basic types when generating debug information for types.Josh Matthews-1/+14
2011-12-18Add argument metadata and aborted return value code.Josh Matthews-9/+130
2011-12-18Use proper size and alignment of types for debuginfo.Josh Matthews-20/+23
2011-12-18Fix build error after rebasing.Josh Matthews-1/+1
2011-12-18Fix up local variable support so it actually works.Josh Matthews-22/+36
2011-12-18Fix up subprogram composite type nodes, and lexical block context nodes.Josh Matthews-9/+34
2011-12-18Fix LLVM assertions when lowering log statements.Josh Matthews-47/+87
2011-12-18Build fix.Josh Matthews-7/+10
2011-12-18Add debug info for local vars, basic fundamental types, and lexical blocks, ↵Josh Matthews-152/+555
along with source line information generation for individual instructions.
2011-12-18Generate basic debug info for files, functions and compile units.Josh Matthews-3/+207
2011-12-18std: getopts now uses result::t (fixes #1289)Stefan Plantikow-4/+5
2011-12-18Only look for a matching method when normal field access failsMarijn Haverbeke-91/+93
We should probalby warn when defining a method foo on {foo: int} etc. This should reduce the amount of useless typevars that are allocated. Issue #1227
2011-12-18Improve efficienty of impl cache in resolveMarijn Haverbeke-10/+15
And fix a bug where importing anything from an external module would import all impls in the module. Issue #1227
2011-12-18rustc: Don't emit compact unwind info on macBrian Anderson-0/+8
It's not compatible with the subtlety of __morestack
2011-12-17rustc: Remove --stack-growth optionBrian Anderson-5/+0
2011-12-16allow #[link_args] with #[nolink]. For now, fail if two modules link same ↵Graham Fawcett-15/+20
lib, and second has link_args. I think it should undefined to have multiple modules that link in the same library, but provide different link arguments. Unfortunately we don't track link_args by module -- they are just appended as discovered into the crate store -- but for now, it should be an error to provide link_args on a module that's already been included (with or without link_args).
2011-12-16implement #[nolink]; deprecate #[link_name = ""]; note in stdlib to remove ↵Graham Fawcett-1/+8
empty link_name. Can't remove them from stdlib until the snapshotted compiler supports #[nolink].
2011-12-16Fix arg order for vec::map callMarijn Haverbeke-4/+5
2011-12-16Finish resolving and calling of crate-external implsMarijn Haverbeke-76/+196
Issue #1227
2011-12-16Reserve node_id 0 for the crate top-level moduleMarijn Haverbeke-9/+12
And define a const to refer to it.
2011-12-16Switch fmt extension to reference extfmt that's in core.Graydon Hoare-7/+2
2011-12-16revoke cleanup of sendable closure once construction completesNiko Matsakis-0/+1
2011-12-16extend with ty_send_type and ty_opaque_closureNiko Matsakis-2/+11
2011-12-16rename iter2 to iteri to match typical conventionNiko Matsakis-3/+3
2011-12-16reorder args to the various vec, option fns so blk comes lastNiko Matsakis-108/+107
2011-12-16Write impl data to crate library filesMarijn Haverbeke-1/+41
(No one is actually reading it yet.) Issue #1227
2011-12-16Make polymorphic impl methods workMarijn Haverbeke-56/+82
Something will still have to be done to the AST to make it possible to say `x.foo::<int>()`, since currently field access never allows type parameters. Issue #1227
2011-12-16Change syntax for implMarijn Haverbeke-20/+16
Move the name of the bundle to the front, allow type parameters (not handled yet), and add a 'for' keyword: impl utils for int { fn str() -> str { int::str(self) } fn times(f: block()) { ... } }
2011-12-16Make 1.f parse as a field access on the integer 1Marijn Haverbeke-1/+1
A dot is only considered part of a number when not followed by a letter Closes #1306
2011-12-16Improve resolution of implsMarijn Haverbeke-18/+33
Issue #1227
2011-12-16Make uses of self in impls compileMarijn Haverbeke-201/+135
Get rid of expr_self_call, introduces def_self. `self` is now, syntactically, simply a variable. A method implicitly brings a `self` binding into scope. Issue #1227
2011-12-16Get very simple impl method calls to compileMarijn Haverbeke-60/+103
Resolution is still dumb, and no self support yet.
2011-12-16Get a very primitive form of typechecking/resolving to work for implsMarijn Haverbeke-62/+93
No conflict resolution or polymorphism yet. Issue #1227