diff options
author | Eduardo Julian | 2022-07-28 02:44:45 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-28 02:44:45 -0400 |
commit | a4847190df926d35f7ece97da50a2a8b1462a24f (patch) | |
tree | d368c52b41425631c3962d3c238e6c3c9c797ad6 /stdlib/source/documentation/lux/control/function/mutual.lux | |
parent | ebfe1bbbe543299f8691e4862fbc899637ff8cfd (diff) |
Now statically resolving values from globals in pattern-matching.
Diffstat (limited to 'stdlib/source/documentation/lux/control/function/mutual.lux')
-rw-r--r-- | stdlib/source/documentation/lux/control/function/mutual.lux | 67 |
1 files changed, 34 insertions, 33 deletions
diff --git a/stdlib/source/documentation/lux/control/function/mutual.lux b/stdlib/source/documentation/lux/control/function/mutual.lux index 05c89af6c..9a6930379 100644 --- a/stdlib/source/documentation/lux/control/function/mutual.lux +++ b/stdlib/source/documentation/lux/control/function/mutual.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except let def) + [lux (.except) ["$" documentation] [data [text (.only \n) @@ -8,38 +8,39 @@ [\\library ["[0]" /]]) -(.def .public documentation - (.List $.Module) - ($.module /._ - "" - [($.definition /.let - "Locally-defined mutually-recursive functions." - [(let [(even? number) - (-> Nat Bit) - (case number - 0 true - _ (odd? (-- number))) +(def .public documentation + (.List $.Documentation) + (list ($.module /._ + "") - (odd? number) - (-> Nat Bit) - (case number - 0 false - _ (even? (-- number)))] - (and (even? 4) - (odd? 5)))]) + ($.definition /.let + "Locally-defined mutually-recursive functions." + [(let [(even? number) + (-> Nat Bit) + (case number + 0 true + _ (odd? (-- number))) - ($.definition /.def - "Globally-defined mutually-recursive functions." - [(def - [.public (even? number) - (-> Nat Bit) - (case number - 0 true - _ (odd? (-- number)))] + (odd? number) + (-> Nat Bit) + (case number + 0 false + _ (even? (-- number)))] + (and (even? 4) + (odd? 5)))]) - [.public (odd? number) - (-> Nat Bit) - (case number - 0 false - _ (even? (-- number)))])])] - [])) + ($.definition /.def + "Globally-defined mutually-recursive functions." + [(def + [.public (even? number) + (-> Nat Bit) + (case number + 0 true + _ (odd? (-- number)))] + + [.public (odd? number) + (-> Nat Bit) + (case number + 0 false + _ (even? (-- number)))])]) + )) |