diff options
Diffstat (limited to 'html/lambda-to-mu.mu.html')
-rw-r--r-- | html/lambda-to-mu.mu.html | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html index 7ffbe91a..98b868fc 100644 --- a/html/lambda-to-mu.mu.html +++ b/html/lambda-to-mu.mu.html @@ -268,7 +268,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color close-paren?:bool<span class="Special"> <- </span>equal c, <span class="Constant">41/close-paren</span> <span class="muControl">break-unless</span> close-paren? read in <span class="Comment"># skip ')'</span> - <span class="muControl">break</span> +end-pair + <span class="muControl">break</span> <span class="Constant">+end-pair</span> <span class="Delimiter">}</span> <span class="Comment"># still here? read next element of pair</span> next:&:cell, in<span class="Special"> <- </span>parse in @@ -378,7 +378,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text<span class="Special"> <- </span>new <span class="Constant">[(abc def)]</span> x:&:cell<span class="Special"> <- </span>parse s trace-should-contain [ - app/parse: < abc | < def | <span class="Constant"><></span> > > + app/parse: <span class="Constant"><</span> abc <span class="Constant">|</span> <span class="Constant"><</span> def <span class="Constant">|</span> <span class="Constant"><></span> <span class="Constant">></span> <span class="Constant">></span> ] <span class="Constant">10</span>:bool/<span class="Special">raw <- </span>is-pair? x x1:&:cell<span class="Special"> <- </span>first x @@ -406,7 +406,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text<span class="Special"> <- </span>new <span class="Constant">[ ( abc def ) ]</span> <span class="Comment"># extra spaces</span> x:&:cell<span class="Special"> <- </span>parse s trace-should-contain [ - app/parse: < abc | < def | <span class="Constant"><></span> > > + app/parse: <span class="Constant"><</span> abc <span class="Constant">|</span> <span class="Constant"><</span> def <span class="Constant">|</span> <span class="Constant"><></span> <span class="Constant">></span> <span class="Constant">></span> ] <span class="Constant">10</span>:bool/<span class="Special">raw <- </span>is-pair? x x1:&:cell<span class="Special"> <- </span>first x @@ -434,7 +434,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text<span class="Special"> <- </span>new <span class="Constant">[(abc def ghi)]</span> x:&:cell<span class="Special"> <- </span>parse s trace-should-contain [ - app/parse: < abc | < def | < ghi | <span class="Constant"><></span> > > > + app/parse: <span class="Constant"><</span> abc <span class="Constant">|</span> <span class="Constant"><</span> def <span class="Constant">|</span> <span class="Constant"><</span> ghi <span class="Constant">|</span> <span class="Constant"><></span> <span class="Constant">></span> <span class="Constant">></span> <span class="Constant">></span> ] <span class="Constant">10</span>:bool/<span class="Special">raw <- </span>is-pair? x x1:&:cell<span class="Special"> <- </span>first x @@ -470,7 +470,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text<span class="Special"> <- </span>new <span class="Constant">[((abc))]</span> x:&:cell<span class="Special"> <- </span>parse s trace-should-contain [ - app/parse: < < abc | <span class="Constant"><></span> > | <span class="Constant"><></span> > + app/parse: <span class="Constant"><</span> <span class="Constant"><</span> abc <span class="Constant">|</span> <span class="Constant"><></span> <span class="Constant">></span> <span class="Constant">|</span> <span class="Constant"><></span> <span class="Constant">></span> ] <span class="Constant">10</span>:bool/<span class="Special">raw <- </span>is-pair? x x1:&:cell<span class="Special"> <- </span>first x @@ -495,7 +495,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text<span class="Special"> <- </span>new <span class="Constant">[((abc) def)]</span> x:&:cell<span class="Special"> <- </span>parse s trace-should-contain [ - app/parse: < < abc | <span class="Constant"><></span> > | < def | <span class="Constant"><></span> > > + app/parse: <span class="Constant"><</span> <span class="Constant"><</span> abc <span class="Constant">|</span> <span class="Constant"><></span> <span class="Constant">></span> <span class="Constant">|</span> <span class="Constant"><</span> def <span class="Constant">|</span> <span class="Constant"><></span> <span class="Constant">></span> <span class="Constant">></span> ] <span class="Constant">10</span>:bool/<span class="Special">raw <- </span>is-pair? x x1:&:cell<span class="Special"> <- </span>first x @@ -550,7 +550,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text<span class="Special"> <- </span>new <span class="Constant">[(abc . def)]</span> x:&:cell<span class="Special"> <- </span>parse s trace-should-contain [ - app/parse: < abc | def > + app/parse: <span class="Constant"><</span> abc <span class="Constant">|</span> def <span class="Constant">></span> ] <span class="Constant">10</span>:bool/<span class="Special">raw <- </span>is-pair? x x1:&:cell<span class="Special"> <- </span>first x @@ -574,7 +574,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text<span class="Special"> <- </span>new <span class="Constant">[(abc def . ghi)]</span> x:&:cell<span class="Special"> <- </span>parse s trace-should-contain [ - app/parse: < abc | < def | ghi > > + app/parse: <span class="Constant"><</span> abc <span class="Constant">|</span> <span class="Constant"><</span> def <span class="Constant">|</span> ghi <span class="Constant">></span> <span class="Constant">></span> ] <span class="Constant">10</span>:bool/<span class="Special">raw <- </span>is-pair? x x1:&:cell<span class="Special"> <- </span>first x |