diff options
Diffstat (limited to 'doc/guide.pandoc')
-rw-r--r-- | doc/guide.pandoc | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/doc/guide.pandoc b/doc/guide.pandoc index 2493375e..64774eba 100644 --- a/doc/guide.pandoc +++ b/doc/guide.pandoc | |||
@@ -253,12 +253,14 @@ Parsing & desugaring | |||
253 | Parser tasks | 253 | Parser tasks |
254 | 254 | ||
255 | - recognise syntactic structures | 255 | - recognise syntactic structures |
256 | - apply precedences | ||
256 | - compute ranges of syntactic structures | 257 | - compute ranges of syntactic structures |
257 | - handle namespaces: expression + type namespace | 258 | - handle namespaces: expression + type namespace |
258 | 259 | ||
259 | Parser design decisions | 260 | Parser design decisions |
260 | 261 | ||
261 | 262 | - precedence application is done during parsing | |
263 | This is possible with tying-the-knot technique: precedence information is part of parse result and it is used during parsing at the same time. | ||
262 | 264 | ||
263 | Scope checker tasks | 265 | Scope checker tasks |
264 | 266 | ||
@@ -508,12 +510,18 @@ In fact, the rich context is very close to the zipper of expressions. | |||
508 | The type inference algorithm becomes tails recursive if its arguments are the rich context and the subexpression. | 510 | The type inference algorithm becomes tails recursive if its arguments are the rich context and the subexpression. |
509 | 511 | ||
510 | 512 | ||
513 | Insertion of metavariables | ||
514 | -------------------------- | ||
515 | |||
516 | |||
517 | |||
518 | |||
519 | |||
511 | Solving metavariables | 520 | Solving metavariables |
512 | --------------------- | 521 | --------------------- |
513 | 522 | ||
514 | 523 | ||
515 | Insertions of metavariables | 524 | |
516 | --------------------------- | ||
517 | 525 | ||
518 | 526 | ||
519 | 527 | ||