about summary refs log tree commit diff
path: root/src/rustc/metadata/tyencode.rs
AgeCommit message (Collapse)AuthorLines
2012-11-07Rename src/rustc to src/librustc. Use the driver crateBrian Anderson-400/+0
2012-11-06Cleanup how we handle proto in types, remove unsound subtypingNiko Matsakis-10/+11
Fixes #1896 which was never truly fixed, just masked. The given tests would have failed had they used `~fn()` and not `@fn()`. They now result in compilation errors. Fixes #2978. Necessary first step for #2202, #2263.
2012-11-05rustc: Implement parsing and typechecking for "once fn"Patrick Walton-0/+8
2012-10-24Implement proper subtyping for region fn types (part of #2263)Niko Matsakis-1/+1
2012-10-15rustc: Merge module and type namespaces. r=brsonPatrick Walton-1/+1
2012-10-05Remove by-mutable-ref mode from the compilerTim Chevalier-1/+0
and test cases. Closes #3513
2012-10-05rustc: Implement simple uses of &traitPatrick Walton-0/+1
2012-10-05Revert "wip"Tim Chevalier-0/+1
This reverts commit ca49fd402af8e7bf613c43e996274b5a017958d2.
2012-10-05wipTim Chevalier-1/+0
2012-09-19demode the each() method on vec and other iterables.Niko Matsakis-3/+3
2012-09-19De-mode vec::each() and many of the str iteration routinesNiko Matsakis-1/+1
Note that the method foo.each() is not de-moded, nor the other vec routines.
2012-09-18Revert "replace explicit calls to vec::each with vec::each_ref, partially ↵Niko Matsakis-2/+2
demode str" This reverts commit 1be24f0758d3075d2e7f141f8831bb8a233ce86e. Not quite ready.
2012-09-18replace explicit calls to vec::each with vec::each_ref, partially demode strNiko Matsakis-2/+2
2012-09-18libcore: make a copyless io::BytesWriterErick Tryzelaar-6/+7
2012-09-11Introduce auto adjustment table to subsume autoderef/autoref/borrowings.Niko Matsakis-2/+7
Fixes #3261 Fixes #3443
2012-09-11Promote 'struct' from a restricted keyword to a strict keywordBrian Anderson-2/+2
2012-09-10Convert std::map to camel caseBrian Anderson-2/+2
2012-09-07Refactor fn_ty, working towards #3320Niko Matsakis-7/+7
2012-09-06Refactor ty_var and ty_var_integral into one ty_infer variantNiko Matsakis-2/+2
2012-09-04rustc: "import" -> "use"Patrick Walton-7/+7
2012-08-26Camel case the option typeBrian Anderson-8/+8
2012-08-23`m1!{...}` -> `m1!(...)`Paul Stansifer-4/+4
2012-08-22intern identifiersPaul Stansifer-6/+6
2012-08-21more sound treatment of fn& regions; change all & to be distinctNiko Matsakis-1/+5
2012-08-15rustc: "as Trait" can now be written "as @Trait".Patrick Walton-1/+2
There is also code for ~Trait and &Trait, but these are currently (incorrectly) synonyms for "as @Trait" and "as &Trait".
2012-08-14Convert more core types to camel caseBrian Anderson-14/+14
2012-08-13rustc: Mostly implement region-bounded stack closuresPatrick Walton-6/+9
2012-08-10Revert "rustc: Make function types have vstores in them"Patrick Walton-9/+6
This reverts commit 0101125a962abae18525d6014cd26ad10bbb96e6.
2012-08-10rustc: Make function types have vstores in themPatrick Walton-6/+9
2012-08-06rustc: Parse and stub (broken) typechecking for bounded function typesPatrick Walton-0/+1
2012-08-06Convert alt to match. Stop parsing altBrian Anderson-19/+19
2012-08-05Switch alts to use arrowsBrian Anderson-90/+90
2012-08-03rustc: Merge fn& and fn in favor of fn&.Patrick Walton-1/+0
This is a step on the way to moving the function "proto" sigil out front.
2012-08-01Convert ret to returnBrian Anderson-5/+5
2012-07-30Change syntax extension syntax: `#m[...]` -> `m!{...}`.Paul Stansifer-4/+4
2012-07-25avoid capture of bound regions when infering types for closureNiko Matsakis-0/+6
expressions. cc #2981
2012-07-18prevent regions from escaping in ifaces; remove &r.T syntaxNiko Matsakis-1/+1
2012-07-16introduce an owned kind for data that contains no borrowed ptrsNiko Matsakis-0/+1
2012-07-14remove typestate from code, tests, and docsNiko Matsakis-49/+0
2012-07-14Tear out ty_str and ty_vec.Michael Sullivan-2/+0
2012-07-14Move the world over to using the new style string literals and types. Closes ↵Michael Sullivan-32/+32
#2907.
2012-07-12Accept prefix notation for writing the types of str/~ and friends.Michael Sullivan-1/+1
2012-07-05Change 'iface' to 'trait' internally; parse `trait` as `iface` synonymLindsey Kuper-2/+2
2012-07-01Convert to new closure syntaxBrian Anderson-12/+12
2012-06-30Eliminate usages of old sugared call syntaxBrian Anderson-2/+2
2012-06-29Switch the compiler over to using ~[] notation instead of []/~. Closes #2759.Michael Sullivan-1/+1
2012-06-26Change 'native' and 'crust' to 'extern'.Graydon Hoare-1/+1
This comes with a terminology change. All linkage-symbols are 'extern' now, including rust syms in other crates. Some extern ABIs are merely "foreign". The term "native" is retired, not clear/useful. What was "crust" is now "extern" applied to a _definition_. This is a bit of an overloading, but should be unambiguous: it means that the definition should be made available to some non-rust ABI.
2012-06-25Make vectors uglier ([]/~). Sorry. Should be temporary. Closes #2725.Michael Sullivan-1/+1
2012-06-24Remove resourcesTim Chevalier-8/+0
Also fixed shapes for classes with dtors, as well as handling offsets for classes with dtors correctly in take glue. Closes #2485
2012-06-14Further work on integer literal suffix inference (#1425)Lindsey Kuper-2/+1
In this commit: * Change the lit_int_unsuffixed AST node to not carry a type, since it doesn't need one * Don't print "(unsuffixed)" when pretty-printing unsuffixed integer literals * Just print "I" instead of "(integral)" for integral type variables * Set up trans to use the information that will be gathered during typeck to construct the appropriate constants for unsuffixed int literals * Add logic for handling int_ty_sets in typeck::infer * Clean up unnecessary code in typeck::infer * Add missing mk_ functions to middle::ty * Add ty_var_integral to a few of the type utility functions it was missing from in middle::ty