diff options
| author | Eduardo Julian | 2018-07-10 23:54:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-10 23:54:36 -0400 |
| commit | 5efe74b9eba910d5389e20be07b504b1dad69504 (patch) | |
| tree | de6240f98e5eb6a9a5c8a6dc827ea739c9cb11c9 /stdlib/source/lux/language/compiler/synthesis/case.lux | |
| parent | 852410fda71621522f7707a80554140a5aac7f9c (diff) | |
- Improvements to import syntax [part 0].
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/language/compiler/synthesis/case.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/language/compiler/synthesis/case.lux b/stdlib/source/lux/language/compiler/synthesis/case.lux index 5fca60a99..092424ec8 100644 --- a/stdlib/source/lux/language/compiler/synthesis/case.lux +++ b/stdlib/source/lux/language/compiler/synthesis/case.lux @@ -1,8 +1,8 @@ (.module: lux - (lux (control [equivalence #+ Equivalence] + (lux (control [equivalence (#+ Equivalence)] pipe - [monad #+ do]) + [monad (#+ do)]) (data [product] [bool "bool/" Equivalence<Bool>] [text "text/" Equivalence<Text>] @@ -10,9 +10,9 @@ [number "frac/" Equivalence<Frac>] (collection [list "list/" Fold<List> Monoid<List>]))) [///reference] - [///compiler #+ Operation "operation/" Monad<Operation>] - [///analysis #+ Pattern Match Analysis] - [// #+ Path Synthesis] + [///compiler (#+ Operation) "operation/" Monad<Operation>] + [///analysis (#+ Pattern Match Analysis)] + [// (#+ Path Synthesis)] [//function]) (def: (path' pattern bodyC) |