]> git.lizzy.rs Git - rust.git/blob - RELEASES.txt
auto merge of #13117 : alexcrichton/rust/no-crate-map, r=brson
[rust.git] / RELEASES.txt
1 Version 0.9 (January 2014)
2 --------------------------
3
4    * ~1800 changes, numerous bugfixes
5
6    * Language
7       * The `float` type has been removed. Use `f32` or `f64` instead.
8       * A new facility for enabling experimental features (feature gating) has
9         been added, using the crate-level `#[feature(foo)]` attribute.
10       * Managed boxes (@) are now behind a feature gate
11         (`#[feature(managed_boxes)]`) in preperation for future removal. Use the
12         standard library's `Gc` or `Rc` types instead.
13       * `@mut` has been removed. Use `std::cell::{Cell, RefCell}` instead.
14       * Jumping back to the top of a loop is now done with `continue` instead of
15         `loop`.
16       * Strings can no longer be mutated through index assignment.
17       * Raw strings can be created via the basic `r"foo"` syntax or with matched
18         hash delimiters, as in `r###"foo"###`.
19       * `~fn` is now written `proc (args) -> retval { ... }` and may only be
20         called once.
21       * The `&fn` type is now written `|args| -> ret` to match the literal form.
22       * `@fn`s have been removed.
23       * `do` only works with procs in order to make it obvious what the cost
24         of `do` is.
25       * Single-element tuple-like structs can no longer be dereferenced to
26         obtain the inner value. A more comprehensive solution for overloading
27         the dereference operator will be provided in the future.
28       * The `#[link(...)]` attribute has been replaced with
29         `#[crate_id = "name#vers"]`.
30       * Empty `impl`s must be terminated with empty braces and may not be
31         terminated with a semicolon.
32       * Keywords are no longer allowed as lifetime names; the `self` lifetime
33         no longer has any special meaning.
34       * The old `fmt!` string formatting macro has been removed.
35       * `printf!` and `printfln!` (old-style formatting) removed in favor of
36         `print!` and `println!`.
37       * `mut` works in patterns now, as in `let (mut x, y) = (1, 2);`.
38       * The `extern mod foo (name = "bar")` syntax has been removed. Use
39         `extern mod foo = "bar"` instead.
40       * New reserved keywords: `alignof`, `offsetof`, `sizeof`.
41       * Macros can have attributes.
42       * Macros can expand to items with attributes.
43       * Macros can expand to multiple items.
44       * The `asm!` macro is feature-gated (`#[feature(asm)]`).
45       * Comments may be nested.
46       * Values automatically coerce to trait objects they implement, without
47         an explicit `as`.
48       * Enum discriminants are no longer an entire word but as small as needed to
49         contain all the variants. The `repr` attribute can be used to override
50         the discriminant size, as in `#[repr(int)]` for integer-sized, and
51         `#[repr(C)]` to match C enums.
52       * Non-string literals are not allowed in attributes (they never worked).
53       * The FFI now supports variadic functions.
54       * Octal numeric literals, as in `0o7777`.
55       * The `concat!` syntax extension performs compile-time string concatenation.
56       * The `#[fixed_stack_segment]` and `#[rust_stack]` attributes have been
57         removed as Rust no longer uses segmented stacks.
58       * Non-ascii identifiers are feature-gated (`#[feature(non_ascii_idents)]`).
59       * Ignoring all fields of an enum variant or tuple-struct is done with `..`,
60         not `*`; ignoring remaining fields of a struct is also done with `..`,
61         not `_`; ignoring a slice of a vector is done with `..`, not `.._`.
62       * `rustc` supports the "win64" calling convention via `extern "win64"`.
63       * `rustc` supports the "system" calling convention, which defaults to the
64         preferred convention for the target platform, "stdcall" on 32-bit Windows,
65         "C" elsewhere.
66       * The `type_overflow` lint (default: warn) checks literals for overflow.
67       * The `unsafe_block` lint (default: allow) checks for usage of `unsafe`.
68       * The `attribute_usage` lint (default: warn) warns about unknown
69         attributes.
70       * The `unknown_features` lint (default: warn) warns about unknown
71         feature gates.
72       * The `dead_code` lint (default: warn) checks for dead code.
73       * Rust libraries can be linked statically to one another
74       * `#[link_args]` is behind the `link_args` feature gate.
75       * Native libraries are now linked with `#[link(name = "foo")]`
76       * Native libraries can be statically linked to a rust crate
77         (`#[link(name = "foo", kind = "static")]`).
78       * Native OS X frameworks are now officially supported
79         (`#[link(name = "foo", kind = "framework")]`).
80       * The `#[thread_local]` attribute creates thread-local (not task-local)
81         variables. Currently behind the `thread_local` feature gate.
82       * The `return` keyword may be used in closures.
83       * Types that can be copied via a memcpy implement the `Pod` kind.
84       * The `cfg` attribute can now be used on struct fields and enum variants.
85
86    * Libraries
87       * std: The `option` and `result` API's have been overhauled to make them
88         simpler, more consistent, and more composable.
89       * std: The entire `std::io` module has been replaced with one that is
90         more comprehensive and that properly interfaces with the underlying
91         scheduler. File, TCP, UDP, Unix sockets, pipes, and timers are all
92         implemented.
93       * std: `io::util` contains a number of useful implementations of
94         `Reader` and `Writer`, including `NullReader`, `NullWriter`,
95         `ZeroReader`, `TeeReader`.
96       * std: The reference counted pointer type `extra::rc` moved into std.
97       * std: The `Gc` type in the `gc` module will replace `@` (it is currently
98         just a wrapper around it).
99       * std: The `Either` type has been removed.
100       * std: `fmt::Default` can be implemented for any type to provide default
101         formatting to the `format!` macro, as in `format!("{}", myfoo)`.
102       * std: The `rand` API continues to be tweaked.
103       * std: The `rust_begin_unwind` function, useful for insterting breakpoints
104         on failure in gdb, is now named `rust_fail`.
105       * std: The `each_key` and `each_value` methods on `HashMap` have been
106         replaced by the `keys` and `values` iterators.
107       * std: Functions dealing with type size and alignment have moved from the
108         `sys` module to the `mem` module.
109       * std: The `path` module was written and API changed.
110       * std: `str::from_utf8` has been changed to cast instead of allocate.
111       * std: `starts_with` and `ends_with` methods added to vectors via the
112         `ImmutableEqVector` trait, which is in the prelude.
113       * std: Vectors can be indexed with the `get_opt` method, which returns `None`
114         if the index is out of bounds.
115       * std: Task failure no longer propagates between tasks, as the model was
116         complex, expensive, and incompatible with thread-based tasks.
117       * std: The `Any` type can be used for dynamic typing.
118       * std: `~Any` can be passed to the `fail!` macro and retrieved via
119         `task::try`.
120       * std: Methods that produce iterators generally do not have an `_iter`
121         suffix now.
122       * std: `cell::Cell` and `cell::RefCell` can be used to introduce mutability
123         roots (mutable fields, etc.). Use instead of e.g. `@mut`.
124       * std: `util::ignore` renamed to `prelude::drop`.
125       * std: Slices have `sort` and `sort_by` methods via the `MutableVector`
126         trait.
127       * std: `vec::raw` has seen a lot of cleanup and API changes.
128       * std: The standard library no longer includes any C++ code, and very
129         minimal C, eliminating the dependency on libstdc++.
130       * std: Runtime scheduling and I/O functionality has been factored out into
131         extensible interfaces and is now implemented by two different crates:
132         libnative, for native threading and I/O; and libgreen, for green threading
133         and I/O. This paves the way for using the standard library in more limited
134         embeded environments.
135       * std: The `comm` module has been rewritten to be much faster, have a
136         simpler, more consistent API, and to work for both native and green
137         threading.
138       * std: All libuv dependencies have been moved into the rustuv crate.
139       * native: New implementations of runtime scheduling on top of OS threads.
140       * native: New native implementations of TCP, UDP, file I/O, process spawning,
141         and other I/O.
142       * green: The green thread scheduler and message passing types are almost
143         entirely lock-free.
144       * extra: The `flatpipes` module had bitrotted and was removed.
145       * extra: All crypto functions have been removed and Rust now has a policy of
146         not reimplementing crypto in the standard library. In the future crypto
147         will be provided by external crates with bindings to established libraries.
148       * extra: `c_vec` has been modernized.
149       * extra: The `sort` module has been removed. Use the `sort` method on
150         mutable slices.
151
152    * Tooling
153       * The `rust` and `rusti` commands have been removed, due to lack of
154         maintenance.
155       * `rustdoc` was completely rewritten.
156       * `rustdoc` can test code examples in documentation.
157       * `rustpkg` can test packages with the argument, 'test'.
158       * `rustpkg` supports arbitrary dependencies, including C libraries.
159       * `rustc`'s support for generating debug info is improved again.
160       * `rustc` has better error reporting for unbalanced delimiters.
161       * `rustc`'s JIT support was removed due to bitrot.
162       * Executables and static libraries can be built with LTO (-Z lto)
163       * `rustc` adds a `--dep-info` flag for communicating dependencies to
164         build tools.
165
166 Version 0.8 (September 2013)
167 --------------------------
168
169    * ~2200 changes, numerous bugfixes
170
171    * Language
172       * The `for` loop syntax has changed to work with the `Iterator` trait.
173       * At long last, unwinding works on Windows.
174       * Default methods are ready for use.
175       * Many trait inheritance bugs fixed.
176       * Owned and borrowed trait objects work more reliably.
177       * `copy` is no longer a keyword. It has been replaced by the `Clone` trait.
178       * rustc can omit emission of code for the `debug!` macro if it is passed
179         `--cfg ndebug`
180       * mod.rs is now "blessed". When loading `mod foo;`, rustc will now look
181         for foo.rs, then foo/mod.rs, and will generate an error when both are
182         present.
183       * Strings no longer contain trailing nulls. The new `std::c_str` module
184         provides new mechanisms for converting to C strings.
185       * The type of foreign functions is now `extern "C" fn` instead of `*u8'.
186       * The FFI has been overhauled such that foreign functions are called directly,
187         instead of through a stack-switching wrapper.
188       * Calling a foreign function must be done through a Rust function with the
189         `#[fixed_stack_segment]` attribute.
190       * The `externfn!` macro can be used to declare both a foreign function and
191         a `#[fixed_stack_segment]` wrapper at once.
192       * `pub` and `priv` modifiers on `extern` blocks are no longer parsed.
193       * `unsafe` is no longer allowed on extern fns - they are all unsafe.
194       * `priv` is disallowed everywhere except for struct fields and enum variants.
195       * `&T` (besides `&'static T`) is no longer allowed in `@T`.
196       * `ref` bindings in irrefutable patterns work correctly now.
197       * `char` is now prevented from containing invalid code points.
198       * Casting to `bool` is no longer allowed.
199       * `\0` is now accepted as an escape in chars and strings.
200       * `yield` is a reserved keyword.
201       * `typeof` is a reserved keyword.
202       * Crates may be imported by URL with `extern mod foo = "url";`.
203       * Explicit enum discriminants may be given as uints as in `enum E { V = 0u }`
204       * Static vectors can be initialized with repeating elements,
205         e.g. `static foo: [u8, .. 100]: [0, .. 100];`.
206       * Static structs can be initialized with functional record update,
207         e.g. `static foo: Foo = Foo { a: 5, .. bar };`.
208       * `cfg!` can be used to conditionally execute code based on the crate
209         configuration, similarly to `#[cfg(...)]`.
210       * The `unnecessary_qualification` lint detects unneeded module
211         prefixes (default: allow).
212       * Arithmetic operations have been implemented on the SIMD types in
213         `std::unstable::simd`.
214       * Exchange allocation headers were removed, reducing memory usage.
215       * `format!` implements a completely new, extensible, and higher-performance
216         string formatting system. It will replace `fmt!`.
217       * `print!` and `println!` write formatted strings (using the `format!`
218         extension) to stdout.
219       * `write!` and `writeln!` write formatted strings (using the `format!`
220         extension) to the new Writers in `std::rt::io`.
221       * The library section in which a function or static is placed may
222         be specified with `#[link_section = "..."]`.
223       * The `proto!` syntax extension for defining bounded message protocols
224         was removed.
225       * `macro_rules!` is hygienic for `let` declarations.
226       * The `#[export_name]` attribute specifies the name of a symbol.
227       * `unreachable!` can be used to indicate unreachable code, and fails
228         if executed.
229
230    * Libraries
231       * std: Transitioned to the new runtime, written in Rust.
232       * std: Added an experimental I/O library, `rt::io`, based on the new
233         runtime.
234       * std: A new generic `range` function was added to the prelude, replacing
235         `uint::range` and friends.
236       * std: `range_rev` no longer exists. Since range is an iterator it can be
237         reversed with `range(lo, hi).invert()`.
238       * std: The `chain` method on option renamed to `and_then`; `unwrap_or_default`
239         renamed to `unwrap_or`.
240       * std: The `iterator` module was renamed to `iter`.
241       * std: Integral types now support the `checked_add`, `checked_sub`, and
242         `checked_mul` operations for detecting overflow.
243       * std: Many methods in `str`, `vec`, `option, `result` were renamed for
244         consistency.
245       * std: Methods are standardizing on conventions for casting methods:
246         `to_foo` for copying, `into_foo` for moving, `as_foo` for temporary
247         and cheap casts.
248       * std: The `CString` type in `c_str` provides new ways to convert to and
249         from C strings.
250       * std: `DoubleEndedIterator` can yield elements in two directions.
251       * std: The `mut_split` method on vectors partitions an `&mut [T]` into
252         two splices.
253       * std: `str::from_bytes` renamed to `str::from_utf8`.
254       * std: `pop_opt` and `shift_opt` methods added to vectors.
255       * std: The task-local data interface no longer uses @, and keys are
256         no longer function pointers.
257       * std: The `swap_unwrap` method of `Option` renamed to `take_unwrap`.
258       * std: Added `SharedPort` to `comm`.
259       * std: `Eq` has a default method for `ne`; only `eq` is required
260         in implementations.
261       * std: `Ord` has default methods for `le`, `gt` and `ge`; only `lt`
262         is required in implementations.
263       * std: `is_utf8` performance is improved, impacting many string functions.
264       * std: `os::MemoryMap` provides cross-platform mmap.
265       * std: `ptr::offset` is now unsafe, but also more optimized. Offsets that
266         are not 'in-bounds' are considered undefined.
267       * std: Many freestanding functions in `vec` removed in favor of methods.
268       * std: Many freestanding functions on scalar types removed in favor of
269         methods.
270       * std: Many options to task builders were removed since they don't make
271         sense in the new scheduler design.
272       * std: More containers implement `FromIterator` so can be created by the
273         `collect` method.
274       * std: More complete atomic types in `unstable::atomics`.
275       * std: `comm::PortSet` removed.
276       * std: Mutating methods in the `Set` and `Map` traits have been moved into
277         the `MutableSet` and `MutableMap` traits. `Container::is_empty`,
278         `Map::contains_key`, `MutableMap::insert`, and `MutableMap::remove` have
279         default implementations.
280       * std: Various `from_str` functions were removed in favor of a generic
281         `from_str` which is available in the prelude.
282       * std: `util::unreachable` removed in favor of the `unreachable!` macro.
283       * extra: `dlist`, the doubly-linked list was modernized.
284       * extra: Added a `hex` module with `ToHex` and `FromHex` traits.
285       * extra: Added `glob` module, replacing `std::os::glob`.
286       * extra: `rope` was removed.
287       * extra: `deque` was renamed to `ringbuf`. `RingBuf` implements `Deque`.
288       * extra: `net`, and `timer` were removed. The experimental replacements
289         are `std::rt::io::net` and `std::rt::io::timer`.
290       * extra: Iterators implemented for `SmallIntMap`.
291       * extra: Iterators implemented for `Bitv` and `BitvSet`.
292       * extra: `SmallIntSet` removed. Use `BitvSet`.
293       * extra: Performance of JSON parsing greatly improved.
294       * extra: `semver` updated to SemVer 2.0.0.
295       * extra: `term` handles more terminals correctly.
296       * extra: `dbg` module removed.
297       * extra: `par` module removed.
298       * extra: `future` was cleaned up, with some method renames.
299       * extra: Most free functions in `getopts` were converted to methods.
300
301    * Other
302       * rustc's debug info generation (`-Z debug-info`) is greatly improved.
303       * rustc accepts `--target-cpu` to compile to a specific CPU architecture,
304         similarly to gcc's `--march` flag.
305       * rustc's performance compiling small crates is much better.
306       * rustpkg has received many improvements.
307       * rustpkg supports git tags as package IDs.
308       * rustpkg builds into target-specific directories so it can be used for
309         cross-compiling.
310       * The number of concurrent test tasks is controlled by the environment
311         variable RUST_TEST_TASKS.
312       * The test harness can now report metrics for benchmarks.
313       * All tools have man pages.
314       * Programs compiled with `--test` now support the `-h` and `--help` flags.
315       * The runtime uses jemalloc for allocations.
316       * Segmented stacks are temporarily disabled as part of the transition to
317         the new runtime. Stack overflows are possible!
318       * A new documentation backend, rustdoc_ng, is available for use. It is
319         still invoked through the normal `rustdoc` command.
320
321 Version 0.7 (July 2013)
322 -----------------------
323
324    * ~2000 changes, numerous bugfixes
325
326    * Language
327       * `impl`s no longer accept a visibility qualifier. Put them on methods
328         instead.
329       * The borrow checker has been rewritten with flow-sensitivity, fixing
330         many bugs and inconveniences.
331       * The `self` parameter no longer implicitly means `&'self self`,
332         and can be explicitly marked with a lifetime.
333       * Overloadable compound operators (`+=`, etc.) have been temporarily
334         removed due to bugs.
335       * The `for` loop protocol now requires `for`-iterators to return `bool`
336         so they compose better.
337       * The `Durable` trait is replaced with the `'static` bounds.
338       * Trait default methods work more often.
339       * Structs with the `#[packed]` attribute have byte alignment and
340         no padding between fields.
341       * Type parameters bound by `Copy` must now be copied explicitly with
342         the `copy` keyword.
343       * It is now illegal to move out of a dereferenced unsafe pointer.
344       * `Option<~T>` is now represented as a nullable pointer.
345       * `@mut` does dynamic borrow checks correctly.
346       * The `main` function is only detected at the topmost level of the crate.
347         The `#[main]` attribute is still valid anywhere.
348       * Struct fields may no longer be mutable. Use inherited mutability.
349       * The `#[no_send]` attribute makes a type that would otherwise be
350         `Send`, not.
351       * The `#[no_freeze]` attribute makes a type that would otherwise be
352         `Freeze`, not.
353       * Unbounded recursion will abort the process after reaching the limit
354         specified by the `RUST_MAX_STACK` environment variable (default: 1GB).
355       * The `vecs_implicitly_copyable` lint mode has been removed. Vectors
356         are never implicitly copyable.
357       * `#[static_assert]` makes compile-time assertions about static bools.
358       * At long last, 'argument modes' no longer exist.
359       * The rarely used `use mod` statement no longer exists.
360
361    * Syntax extensions
362       * `fail!` and `assert!` accept `~str`, `&'static str` or `fmt!`-style
363         argument list.
364       * `Encodable`, `Decodable`, `Ord`, `TotalOrd`, `TotalEq`, `DeepClone`,
365         `Rand`, `Zero` and `ToStr` can all be automatically derived with
366         `#[deriving(...)]`.
367       * The `bytes!` macro returns a vector of bytes for string, u8, char,
368         and unsuffixed integer literals.
369
370    * Libraries
371       * The `core` crate was renamed to `std`.
372       * The `std` crate was renamed to `extra`.
373       * More and improved documentation.
374       * std: `iterator` module for external iterator objects.
375       * Many old-style (internal, higher-order function) iterators replaced by
376         implementations of `Iterator`.
377       * std: Many old internal vector and string iterators,
378         incl. `any`, `all`. removed.
379       * std: The `finalize` method of `Drop` renamed to `drop`.
380       * std: The `drop` method now takes `&mut self` instead of `&self`.
381       * std: The prelude no longer reexports any modules, only types and traits.
382       * std: Prelude additions: `print`, `println`, `FromStr`, `ApproxEq`, `Equiv`,
383         `Iterator`, `IteratorUtil`, many numeric traits, many tuple traits.
384       * std: New numeric traits: `Fractional`, `Real`, `RealExt`, `Integer`, `Ratio`,
385         `Algebraic`, `Trigonometric`, `Exponential`, `Primitive`.
386       * std: Tuple traits and accessors defined for up to 12-tuples, e.g.
387         `(0, 1, 2).n2()` or `(0, 1, 2).n2_ref()`.
388       * std: Many types implement `Clone`.
389       * std: `path` type renamed to `Path`.
390       * std: `mut` module and `Mut` type removed.
391       * std: Many standalone functions removed in favor of methods and iterators
392         in `vec`, `str`. In the future methods will also work as functions.
393       * std: `reinterpret_cast` removed. Use `transmute`.
394       * std: ascii string handling in `std::ascii`.
395       * std: `Rand` is implemented for ~/@.
396       * std: `run` module for spawning processes overhauled.
397       * std: Various atomic types added to `unstable::atomic`.
398       * std: Various types implement `Zero`.
399       * std: `LinearMap` and `LinearSet` renamed to `HashMap` and `HashSet`.
400       * std: Borrowed pointer functions moved from `ptr` to `borrow`.
401       * std: Added `os::mkdir_recursive`.
402       * std: Added `os::glob` function performs filesystems globs.
403       * std: `FuzzyEq` renamed to `ApproxEq`.
404       * std: `Map` now defines `pop` and `swap` methods.
405       * std: `Cell` constructors converted to static methods.
406       * extra: `rc` module adds the reference counted pointers, `Rc` and `RcMut`.
407       * extra: `flate` module moved from `std` to `extra`.
408       * extra: `fileinput` module for iterating over a series of files.
409       * extra: `Complex` number type and `complex` module.
410       * extra: `Rational` number type and `rational` module.
411       * extra: `BigInt`, `BigUint` implement numeric and comparison traits.
412       * extra: `term` uses terminfo now, is more correct.
413       * extra: `arc` functions converted to methods.
414       * extra: Implementation of fixed output size variations of SHA-2.
415
416    * Tooling
417       * `unused_variable`  lint mode for unused variables (default: warn).
418       * `unused_unsafe` lint mode for detecting unnecessary `unsafe` blocks
419         (default: warn).
420       * `unused_mut` lint mode for identifying unused `mut` qualifiers
421         (default: warn).
422       * `dead_assignment` lint mode for unread variables (default: warn).
423       * `unnecessary_allocation` lint mode detects some heap allocations that are
424         immediately borrowed so could be written without allocating (default: warn).
425       * `missing_doc` lint mode (default: allow).
426       * `unreachable_code` lint mode (default: warn).
427       * The `rusti` command has been rewritten and a number of bugs addressed.
428       * rustc outputs in color on more terminals.
429       * rustc accepts a `--link-args` flag to pass arguments to the linker.
430       * rustc accepts a `-Z print-link-args` flag for debugging linkage.
431       * Compiling with `-g` will make the binary record information about
432         dynamic borrowcheck failures for debugging.
433       * rustdoc has a nicer stylesheet.
434       * Various improvements to rustdoc.
435       * Improvements to rustpkg (see the detailed release notes).
436
437 Version 0.6 (April 2013)
438 ------------------------
439
440    * ~2100 changes, numerous bugfixes
441
442    * Syntax changes
443       * The self type parameter in traits is now spelled `Self`
444       * The `self` parameter in trait and impl methods must now be explicitly
445         named (for example: `fn f(&self) { }`). Implicit self is deprecated.
446       * Static methods no longer require the `static` keyword and instead
447         are distinguished by the lack of a `self` parameter
448       * Replaced the `Durable` trait with the `'static` lifetime
449       * The old closure type syntax with the trailing sigil has been
450         removed in favor of the more consistent leading sigil
451       * `super` is a keyword, and may be prefixed to paths
452       * Trait bounds are separated with `+` instead of whitespace
453       * Traits are implemented with `impl Trait for Type`
454         instead of `impl Type: Trait`
455       * Lifetime syntax is now `&'l foo` instead of `&l/foo`
456       * The `export` keyword has finally been removed
457       * The `move` keyword has been removed (see "Semantic changes")
458       * The interior mutability qualifier on vectors, `[mut T]`, has been
459         removed. Use `&mut [T]`, etc.
460       * `mut` is no longer valid in `~mut T`. Use inherited mutability
461       * `fail` is no longer a keyword. Use `fail!()`
462       * `assert` is no longer a keyword. Use `assert!()`
463       * `log` is no longer a keyword. use `debug!`, etc.
464       * 1-tuples may be represented as `(T,)`
465       * Struct fields may no longer be `mut`. Use inherited mutability,
466         `@mut T`, `core::mut` or `core::cell`
467       * `extern mod { ... }` is no longer valid syntax for foreign
468         function modules. Use extern blocks: `extern { ... }`
469       * Newtype enums removed. Use tuple-structs.
470       * Trait implementations no longer support visibility modifiers
471       * Pattern matching over vectors improved and expanded
472       * `const` renamed to `static` to correspond to lifetime name,
473         and make room for future `static mut` unsafe mutable globals.
474       * Replaced `#[deriving_eq]` with `#[deriving(Eq)]`, etc.
475       * `Clone` implementations can be automatically generated with
476         `#[deriving(Clone)]`
477       * Casts to traits must use a pointer sigil, e.g. `@foo as @Bar`
478         instead of `foo as Bar`.
479       * Fixed length vector types are now written as `[int, .. 3]`
480         instead of `[int * 3]`.
481       * Fixed length vector types can express the length as a constant
482         expression. (ex: `[int, .. GL_BUFFER_SIZE - 2]`)
483
484    * Semantic changes
485       * Types with owned pointers or custom destructors move by default,
486         eliminating the `move` keyword
487       * All foreign functions are considered unsafe
488       * &mut is now unaliasable
489       * Writes to borrowed @mut pointers are prevented dynamically
490       * () has size 0
491       * The name of the main function can be customized using #[main]
492       * The default type of an inferred closure is &fn instead of @fn
493       * `use` statements may no longer be "chained" - they cannot import
494         identifiers imported by previous `use` statements
495       * `use` statements are crate relative, importing from the "top"
496         of the crate by default. Paths may be prefixed with `super::`
497         or `self::` to change the search behavior.
498       * Method visibility is inherited from the implementation declaration
499       * Structural records have been removed
500       * Many more types can be used in static items, including enums
501         'static-lifetime pointers and vectors
502       * Pattern matching over vectors improved and expanded
503       * Typechecking of closure types has been overhauled to
504         improve inference and eliminate unsoundness
505       * Macros leave scope at the end of modules, unless that module is
506         tagged with #[macro_escape]
507
508    * Libraries
509       * Added big integers to `std::bigint`
510       * Removed `core::oldcomm` module
511       * Added pipe-based `core::comm` module
512       * Numeric traits have been reorganized under `core::num`
513       * `vec::slice` finally returns a slice
514       * `debug!` and friends don't require a format string, e.g. `debug!(Foo)`
515       * Containers reorganized around traits in `core::container`
516       * `core::dvec` removed, `~[T]` is a drop-in replacement
517       * `core::send_map` renamed to `core::hashmap`
518       * `std::map` removed; replaced with `core::hashmap`
519       * `std::treemap` reimplemented as an owned balanced tree
520       * `std::deque` and `std::smallintmap` reimplemented as owned containers
521       * `core::trie` added as a fast ordered map for integer keys
522       * Set types added to `core::hashmap`, `core::trie` and `std::treemap`
523       * `Ord` split into `Ord` and `TotalOrd`. `Ord` is still used to
524         overload the comparison operators, whereas `TotalOrd` is used
525         by certain container types
526
527    * Other
528       * Replaced the 'cargo' package manager with 'rustpkg'
529       * Added all-purpose 'rust' tool
530       * `rustc --test` now supports benchmarks with the `#[bench]` attribute
531       * rustc now *attempts* to offer spelling suggestions
532       * Improved support for ARM and Android
533       * Preliminary MIPS backend
534       * Improved foreign function ABI implementation for x86, x86_64
535       * Various memory usage improvements
536       * Rust code may be embedded in foreign code under limited circumstances
537       * Inline assembler supported by new asm!() syntax extension.
538
539 Version 0.5 (December 2012)
540 ---------------------------
541
542    * ~900 changes, numerous bugfixes
543
544    * Syntax changes
545       * Removed `<-` move operator
546       * Completed the transition from the `#fmt` extension syntax to `fmt!`
547       * Removed old fixed length vector syntax - `[T]/N`
548       * New token-based quasi-quoters, `quote_tokens!`, `quote_expr!`, etc.
549       * Macros may now expand to items and statements
550       * `a.b()` is always parsed as a method call, never as a field projection
551       * `Eq` and `IterBytes` implementations can be automatically generated
552         with `#[deriving_eq]` and `#[deriving_iter_bytes]` respectively
553       * Removed the special crate language for `.rc` files
554       * Function arguments may consist of any irrefutable pattern
555
556    * Semantic changes
557       * `&` and `~` pointers may point to objects
558       * Tuple structs - `struct Foo(Bar, Baz)`. Will replace newtype enums.
559       * Enum variants may be structs
560       * Destructors can be added to all nominal types with the Drop trait
561       * Structs and nullary enum variants may be constants
562       * Values that cannot be implicitly copied are now automatically moved
563         without writing `move` explicitly
564       * `&T` may now be coerced to `*T`
565       * Coercions happen in `let` statements as well as function calls
566       * `use` statements now take crate-relative paths
567       * The module and type namespaces have been merged so that static
568         method names can be resolved under the trait in which they are
569         declared
570
571    * Improved support for language features
572       * Trait inheritance works in many scenarios
573       * More support for explicit self arguments in methods - `self`, `&self`
574         `@self`, and `~self` all generally work as expected
575       * Static methods work in more situations
576       * Experimental: Traits may declare default methods for the implementations
577         to use
578
579    * Libraries
580       * New condition handling system in `core::condition`
581       * Timsort added to `std::sort`
582       * New priority queue, `std::priority_queue`
583       * Pipes for serializable types, `std::flatpipes'
584       * Serialization overhauled to be trait-based
585       * Expanded `getopts` definitions
586       * Moved futures to `std`
587       * More functions are pure now
588       * `core::comm` renamed to `oldcomm`. Still deprecated
589       * `rustdoc` and `cargo` are libraries now
590
591    * Misc
592       * Added a preliminary REPL, `rusti`
593       * License changed from MIT to dual MIT/APL2
594
595 Version 0.4 (October 2012)
596 --------------------------
597
598    * ~2000 changes, numerous bugfixes
599
600    * Syntax
601       * All keywords are now strict and may not be used as identifiers anywhere
602       * Keyword removal: 'again', 'import', 'check', 'new', 'owned', 'send',
603         'of', 'with', 'to', 'class'.
604       * Classes are replaced with simpler structs
605       * Explicit method self types
606       * `ret` became `return` and `alt` became `match`
607       * `import` is now `use`; `use is now `extern mod`
608       * `extern mod { ... }` is now `extern { ... }`
609       * `use mod` is the recommended way to import modules
610       * `pub` and `priv` replace deprecated export lists
611       * The syntax of `match` pattern arms now uses fat arrow (=>)
612       * `main` no longer accepts an args vector; use `os::args` instead
613
614    * Semantics
615       * Trait implementations are now coherent, ala Haskell typeclasses
616       * Trait methods may be static
617       * Argument modes are deprecated
618       * Borrowed pointers are much more mature and recommended for use
619       * Strings and vectors in the static region are stored in constant memory
620       * Typestate was removed
621       * Resolution rewritten to be more reliable
622       * Support for 'dual-mode' data structures (freezing and thawing)
623
624    * Libraries
625       * Most binary operators can now be overloaded via the traits in
626         `core::ops'
627       * `std::net::url` for representing URLs
628       * Sendable hash maps in `core::send_map`
629       * `core::task' gained a (currently unsafe) task-local storage API
630
631    * Concurrency
632       * An efficient new intertask communication primitive called the pipe,
633         along with a number of higher-level channel types, in `core::pipes`
634       * `std::arc`, an atomically reference counted, immutable, shared memory
635         type
636       * `std::sync`, various exotic synchronization tools based on arcs and pipes
637       * Futures are now based on pipes and sendable
638       * More robust linked task failure
639       * Improved task builder API
640
641    * Other
642       * Improved error reporting
643       * Preliminary JIT support
644       * Preliminary work on precise GC
645       * Extensive architectural improvements to rustc
646       * Begun a transition away from buggy C++-based reflection (shape) code to
647         Rust-based (visitor) code
648       * All hash functions and tables converted to secure, randomized SipHash
649
650 Version 0.3  (July 2012)
651 ------------------------
652
653    * ~1900 changes, numerous bugfixes
654
655    * New coding conveniences
656       * Integer-literal suffix inference
657       * Per-item control over warnings, errors
658       * #[cfg(windows)] and #[cfg(unix)] attributes
659       * Documentation comments
660       * More compact closure syntax
661       * 'do' expressions for treating higher-order functions as
662         control structures
663       * *-patterns (wildcard extended to all constructor fields)
664
665    * Semantic cleanup
666       * Name resolution pass and exhaustiveness checker rewritten
667       * Region pointers and borrow checking supersede alias
668         analysis
669       * Init-ness checking is now provided by a region-based liveness
670         pass instead of the typestate pass; same for last-use analysis
671       * Extensive work on region pointers
672
673    * Experimental new language features
674       * Slices and fixed-size, interior-allocated vectors
675       * #!-comments for lang versioning, shell execution
676       * Destructors and iface implementation for classes;
677         type-parameterized classes and class methods
678       * 'const' type kind for types that can be used to implement
679         shared-memory concurrency patterns
680
681    * Type reflection
682
683    * Removal of various obsolete features
684       * Keywords: 'be', 'prove', 'syntax', 'note', 'mutable', 'bind',
685                  'crust', 'native' (now 'extern'), 'cont' (now 'again')
686
687       * Constructs: do-while loops ('do' repurposed), fn binding,
688                     resources (replaced by destructors)
689
690    * Compiler reorganization
691       * Syntax-layer of compiler split into separate crate
692       * Clang (from LLVM project) integrated into build
693       * Typechecker split into sub-modules
694
695    * New library code
696       * New time functions
697       * Extension methods for many built-in types
698       * Arc: atomic-refcount read-only / exclusive-use shared cells
699       * Par: parallel map and search routines
700       * Extensive work on libuv interface
701       * Much vector code moved to libraries
702       * Syntax extensions: #line, #col, #file, #mod, #stringify,
703         #include, #include_str, #include_bin
704
705    * Tool improvements
706       * Cargo automatically resolves dependencies
707
708 Version 0.2  (March 2012)
709 -------------------------
710
711    * >1500 changes, numerous bugfixes
712
713    * New docs and doc tooling
714
715    * New port: FreeBSD x86_64
716
717    * Compilation model enhancements
718       * Generics now specialized, multiply instantiated
719       * Functions now inlined across separate crates
720
721    * Scheduling, stack and threading fixes
722       * Noticeably improved message-passing performance
723       * Explicit schedulers
724       * Callbacks from C
725       * Helgrind clean
726
727    * Experimental new language features
728       * Operator overloading
729       * Region pointers
730       * Classes
731
732    * Various language extensions
733       * C-callback function types: 'crust fn ...'
734       * Infinite-loop construct: 'loop { ... }'
735       * Shorten 'mutable' to 'mut'
736       * Required mutable-local qualifier: 'let mut ...'
737       * Basic glob-exporting: 'export foo::*;'
738       * Alt now exhaustive, 'alt check' for runtime-checked
739       * Block-function form of 'for' loop, with 'break' and 'ret'.
740
741    * New library code
742       * AST quasi-quote syntax extension
743       * Revived libuv interface
744       * New modules: core::{future, iter}, std::arena
745       * Merged per-platform std::{os*, fs*} to core::{libc, os}
746       * Extensive cleanup, regularization in libstd, libcore
747
748 Version 0.1  (January 20, 2012)
749 -------------------------------
750
751    * Most language features work, including:
752       * Unique pointers, unique closures, move semantics
753       * Interface-constrained generics
754       * Static interface dispatch
755       * Stack growth
756       * Multithread task scheduling
757       * Typestate predicates
758       * Failure unwinding, destructors
759       * Pattern matching and destructuring assignment
760       * Lightweight block-lambda syntax
761       * Preliminary macro-by-example
762
763    * Compiler works with the following configurations:
764       * Linux: x86 and x86_64 hosts and targets
765       * MacOS: x86 and x86_64 hosts and targets
766       * Windows: x86 hosts and targets
767
768    * Cross compilation / multi-target configuration supported.
769
770    * Preliminary API-documentation and package-management tools included.
771
772 Known issues:
773
774    * Documentation is incomplete.
775
776    * Performance is below intended target.
777
778    * Standard library APIs are subject to extensive change, reorganization.
779
780    * Language-level versioning is not yet operational - future code will
781      break unexpectedly.