From b357debfad679a5d32aab3dc2ca9ba15e4984b54 Mon Sep 17 00:00:00 2001 From: Brian Anderson <banderson@mozilla.com> Date: Wed, 4 Jul 2012 22:23:44 -0700 Subject: [PATCH] Try to clarify 'semantic cleanup' section of release notes --- RELEASES.txt | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/RELEASES.txt b/RELEASES.txt index 50ee2b41359..dc8b8b3da9a 100644 --- a/RELEASES.txt +++ b/RELEASES.txt @@ -15,8 +15,11 @@ Version 0.3 (July 2012) - not yet! * Semantic cleanup * Resolve pass and exhaustiveness checker rewritten - * Borrow-check taking over from alias-analysis - * Liveness taking over from last-use, typestate + * Alias analysis is now done with region pointers and + pointer borrowing + * Initness checking is now provided by a region-based + liveness pass instead of the typestate pass. Same + for last-use analysis * Extensive work on region pointers * Experimental new language features