diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-04-08 12:10:50 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-08 12:10:50 +0200 |
commit | c7474d2ffee418c024d3f74bccff4e75178ca1d6 (patch) | |
tree | 5c7a99106bff84ad1da4efb0cf240d0ee8d850a5 /doc | |
parent | 02c3f915861d53122624417a9d97068d754a4b26 (diff) |
fix doc
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guide.pandoc | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/guide.pandoc b/doc/guide.pandoc index 0b062a4a..48a9f3dc 100644 --- a/doc/guide.pandoc +++ b/doc/guide.pandoc | |||
@@ -422,10 +422,6 @@ zip v0 v1 | |||
422 | | (a:as <- v0, b:bs <- v1, (a,b) : zip as bs) | 422 | | (a:as <- v0, b:bs <- v1, (a,b) : zip as bs) |
423 | ~~~~~ | 423 | ~~~~~ |
424 | 424 | ||
425 | #### View patterns | ||
426 | |||
427 | ... | ||
428 | |||
429 | ### Normalization of pattern guard trees | 425 | ### Normalization of pattern guard trees |
430 | 426 | ||
431 | The normal form of pattern guard trees contains only simple constructor patterns: | 427 | The normal form of pattern guard trees contains only simple constructor patterns: |
@@ -455,7 +451,7 @@ Compilation is driven by the following equations: | |||
455 | 451 | ||
456 | 1. `seq` e t | 452 | 1. `seq` e t |
457 | = `case` e `of` p1 `->` t; ...; pn `->` t | 453 | = `case` e `of` p1 `->` t; ...; pn `->` t |
458 | if p1, ..., pn is complete | 454 | if p1, ..., pn is complete and p1 evaluates e |
459 | 455 | ||
460 | 1. `case` e `of` ...; C e1 ... en `->` ... (C v1 ... vn `<-` e`,` t | t') ...; ... | 456 | 1. `case` e `of` ...; C e1 ... en `->` ... (C v1 ... vn `<-` e`,` t | t') ...; ... |
461 | = `case` e `of` ...; C e1 ... en `->` ... (`let` v1 = e1; ...; vn = en `in` t) ...; ... | 457 | = `case` e `of` ...; C e1 ... en `->` ... (`let` v1 = e1; ...; vn = en `in` t) ...; ... |