summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md12
1 files changed, 8 insertions, 4 deletions
diff --git a/README.md b/README.md
index bcbd25a3..0e03883a 100644
--- a/README.md
+++ b/README.md
@@ -1,20 +1,24 @@
-=== Intro ===
+Intro
+===
This project is an attempt at creating a simple rust compiler in C++, with the ultimate goal of being a seperate reimplementation.
The short-term goal is to compile pre-borrowchecked rust code into C, for passing to an existing C compiler. Thankfully, (from what I have seen), the borrow checker is not needed to compile rust code (just to ensure that it's valid)
-=== Current Features ===
+Current Features
+===
- Successfully parses libcore
- 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.
-=== Short-Term Plans ===
+Short-Term Plans
+===
- Type resolution and checking (quite interlinked)
- Converting operator invocations to explicit calls
-=== Medium-Term Goals ===
+Medium-Term Goals
+===
- Flattening AST into an intermediate form with no module higherarchy or generics
- Converting flat AST into C
- Bonus points for making it readable C