diff options
author | John Hodge <tpg@mutabah.net> | 2016-05-24 22:27:36 +0800 |
---|---|---|
committer | John Hodge <tpg@mutabah.net> | 2016-05-24 22:27:36 +0800 |
commit | 3f55d3c5edfe467f498f1e4d296c1d2ccc8bf0eb (patch) | |
tree | 73f181b552d0bc101a855b29d1b505524558ddae | |
parent | c6404f9d52a6dd936a75a900748d8aa70268e923 (diff) | |
download | mrust-3f55d3c5edfe467f498f1e4d296c1d2ccc8bf0eb.tar.gz |
README - update with current progress
-rw-r--r-- | README.md | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -8,22 +8,22 @@ The short-term goal is to compile pre-borrowchecked rust code into C, for passin Current Features
===
- Successfully parses libcore and rustc's run-pass tests
-- (incomplte) Attribute and macro expansion
- - Rewrite in progress, missing some syntax extensions
+- Attribute and macro expansion
- Resolves all paths to absolute forms
- Outputs the processed AST as (almost) rust code
- Almost because it uses special path types to handle: external crates, 'str', and anonymous modules.
+- Converts name-resolved AST into a more compact "HIR"
Short-Term Plans
===
-- Complete rewrite/audit of resolve section to reduce chance of bugs.
+- Constant evaluation and insertion
+ - Will be done by "executing" the HIR expressions
- Type resolution and checking (quite interlinked)
-- Converting operator invocations to explicit calls
+- Convert HIR expressions into a MIR similar to rustc's
Medium-Term Goals
===
-- Flattening AST into an intermediate form with no module higherarchy or generics
-- Converting flat AST into C
+- Convert MIR or HIR into C
- Bonus points for making it readable C
- NOTE: Due to `#[cfg]` attributes being resolved already, the C code won't be portable.
|