diff options
author | John Hodge <tpg@mutabah.net> | 2016-06-13 16:14:54 +0800 |
---|---|---|
committer | John Hodge <tpg@mutabah.net> | 2016-06-13 16:14:54 +0800 |
commit | b049c4130e3bb91449c606db265b8db3b5f1de1c (patch) | |
tree | 52e11a9a0ef3f620e3e990b783ff5884a1ecba1e /README.md | |
parent | 91936454962b17a33751b515b1dabe03ca38b662 (diff) | |
download | mrust-b049c4130e3bb91449c606db265b8db3b5f1de1c.tar.gz |
Update README with current progress
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -13,17 +13,19 @@ Current Features - 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"
+- Hackily evaluates constants
+ - Constant evaluation is done by using duck-typing, which is then validated by the Type Check pass
+- Partial type checking and inferrence
Short-Term Plans
===
-- Constant evaluation and insertion
- - Will be done by "executing" the HIR expressions
-- Type resolution and checking (quite interlinked)
- Convert HIR expressions into a MIR similar to rustc's
+- Crate metadata storing and loaded
Medium-Term Goals
===
- 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.
+- Propagate lifetime annotations so that MIR can include a borrow checker
|