diff options
Diffstat (limited to 'Notes')
| -rw-r--r-- | Notes/BoxOperator.md | 2 | ||||
| -rw-r--r-- | Notes/MacroRules.md | 3 | ||||
| -rw-r--r-- | Notes/Restructure.txt | 5 | ||||
| -rw-r--r-- | Notes/Typeck.txt | 4 |
4 files changed, 4 insertions, 10 deletions
diff --git a/Notes/BoxOperator.md b/Notes/BoxOperator.md index f18537da..f718ba92 100644 --- a/Notes/BoxOperator.md +++ b/Notes/BoxOperator.md @@ -22,7 +22,7 @@ struct ExprNode_Emplace Placer, Boxer, }; - + Type m_type; ExprNodeP m_place; ExprNodeP m_value; diff --git a/Notes/MacroRules.md b/Notes/MacroRules.md index 83bc703e..27aaf8e5 100644 --- a/Notes/MacroRules.md +++ b/Notes/MacroRules.md @@ -43,7 +43,6 @@ Rule Generation Algorithm - EXPECT pat - COMPLETE - LOOP -- Example Application: `vec!` --------------------------- @@ -65,7 +64,7 @@ Merging - "EXPECT `:expr`" + (2) "EXPECT `:expr`" - "EXPECT `:expr`" - "EXPECT `;`" + "IF NOT `,` BREAK" - - "IF `;` { EXPECT `;` ... } LOOP { IF + - "IF `;` { EXPECT `;` ... } LOOP { IF - TODO: This needs to break out of the loop. Problem: Generating LOOP diff --git a/Notes/Restructure.txt b/Notes/Restructure.txt index 4f00b656..70ca1bf2 100644 --- a/Notes/Restructure.txt +++ b/Notes/Restructure.txt @@ -1,10 +1,7 @@ - - 1. High-level AST (basically the code in AST form) - Elimination or otherwise disabling of #[cfg]-disabled items - Path resolution (leave UFCS unresolved for now) > Take all paths, turn into UFCS if a node points to a type - > - Root-level UFCS resoluion > Recursion limit on searching through traits - Expression-level UFCS resolution @@ -72,7 +69,7 @@ CONSTANT = INT | STATIC_STRING | ITEM<SUBSTS> // reference to an item or constant etc | <P0 as TRAIT<P1...Pn>> // projection - | CONSTANT(CONSTANT...) // + | CONSTANT(CONSTANT...) // | CAST(CONSTANT, TY) // foo as bar | Struct { (f: CONSTANT)... } // aggregates... | (CONSTANT...) // diff --git a/Notes/Typeck.txt b/Notes/Typeck.txt index 0cd7f27e..06b392c0 100644 --- a/Notes/Typeck.txt +++ b/Notes/Typeck.txt @@ -1,5 +1,4 @@ -Type inferrence - +Type inference # Type equality procedure @@ -27,7 +26,6 @@ Needs to be able to point to functions in: Maybe can use separate types for each usecase? -- <!-- vim: ft=markdown --> |