summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2016-10-08 15:33:46 +0800
committerJohn Hodge <tpg@mutabah.net>2016-10-08 15:33:46 +0800
commit22ce94a3908c86a068047f985d06371e9b2f7d95 (patch)
treeba2a61f234a30d396e99eab68110b6cc4dd73498
parentd00fc03c88548fa201c8b317c811a04ea587d6dd (diff)
downloadmrust-22ce94a3908c86a068047f985d06371e9b2f7d95.tar.gz
README - Update, libstd emitted!
-rw-r--r--README.md7
1 files changed, 4 insertions, 3 deletions
diff --git a/README.md b/README.md
index d3dd4ea0..c1b26a78 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,6 @@ The short-term goal is to compile pre-borrowchecked rust code into some intermed
Current Features
===
-- Successfully parses libcore and rustc's run-pass tests
- Attribute and macro expansion
- Resolves all paths to absolute forms
- Converts name-resolved AST into a more compact "HIR" (simplified module and expression tree)
@@ -25,16 +24,18 @@ Current Features
Short-Term Plans
===
-- Parse+Typecheck+MIR all of libstd (including sub-crates)
+- Parse and Typecheck all run-pass tests
+- Configure travis CI
- Code generation (including picking the output format)
Medium-Term Goals
===
+- MIR optimisations
- Propagate lifetime annotations so that MIR can include a borrow checker
Progress
===
- Compiles the following standard library crates through to emitting serialised HIR+MIR
- - `libcore`, `liballoc`, `librustc_unicode`, `libcollections`, and `liblibc`
+ - `libcore`, `liballoc`, `librustc_unicode`, `libcollections`, `liblibc`, AND `libstd`