From 3669b995252974095c25d0f425a931fcd9f2e374 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 28 Sep 2018 11:12:35 +0100 Subject: [PATCH] Clarification --- imperative/mc/preserve.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/imperative/mc/preserve.md b/imperative/mc/preserve.md index 2b784a1..7b8344b 100644 --- a/imperative/mc/preserve.md +++ b/imperative/mc/preserve.md @@ -294,7 +294,8 @@ Any `Value` may be preceded by whitespace. String / ByteString / Symbol Each `Record` is its label-`Value` followed by a parenthesised -grouping of its field-`Value`s. +grouping of its field-`Value`s. Whitespace is not permitted between +the label and the open-parenthesis. Record = Value "(" *Value ws ")"