From e7fc42bbc7d0b56384864a6fcd1b1e0bf8cd880b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 11 Jul 2018 07:36:33 -0400 Subject: - Improvements to import syntax [part 1]. --- stdlib/source/lux/language/compiler/synthesis/case.lux | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'stdlib/source/lux/language/compiler/synthesis/case.lux') diff --git a/stdlib/source/lux/language/compiler/synthesis/case.lux b/stdlib/source/lux/language/compiler/synthesis/case.lux index 092424ec8..10c41d428 100644 --- a/stdlib/source/lux/language/compiler/synthesis/case.lux +++ b/stdlib/source/lux/language/compiler/synthesis/case.lux @@ -4,13 +4,13 @@ pipe [monad (#+ do)]) (data [product] - [bool "bool/" Equivalence] - [text "text/" Equivalence] + [bool ("bool/" Equivalence)] + [text ("text/" Equivalence)] text/format - [number "frac/" Equivalence] - (collection [list "list/" Fold Monoid]))) + [number ("frac/" Equivalence)] + (collection [list ("list/" Fold Monoid)]))) [///reference] - [///compiler (#+ Operation) "operation/" Monad] + [///compiler (#+ Operation) ("operation/" Monad)] [///analysis (#+ Pattern Match Analysis)] [// (#+ Path Synthesis)] [//function]) -- cgit v1.2.3