From fc1bf06ad42964d8dfd8cd8601a5a9dacb3de86d Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 15 Apr 2019 18:12:23 +0200 Subject: Doc tweak --- dhall_core/src/core.rs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'dhall_core') diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index c0e04ed..16c64c7 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -170,17 +170,17 @@ pub enum ExprF { DoubleLit(Double), /// `"Some ${interpolated} text"` TextLit(InterpolatedText), - /// [] : List t` + /// `[] : List t` EmptyListLit(SubExpr), - /// [x, y, z] + /// `[x, y, z]` NEListLit(Vec), /// Deprecated Optional literal form - /// [] : Optional a - /// [x] : Optional a + /// `[] : Optional a` + /// `[x] : Optional a` OldOptionalLit(Option, SubExpr), - /// None t + /// `None t` EmptyOptionalLit(SubExpr), - /// Some e + /// `Some e` NEOptionalLit(SubExpr), /// `{ k1 : t1, k2 : t1 }` RecordType(BTreeMap), @@ -192,9 +192,9 @@ pub enum ExprF { UnionLit(Label, SubExpr, BTreeMap), /// `merge x y : t` Merge(SubExpr, SubExpr, Option), - /// e.x + /// `e.x` Field(SubExpr, Label), - /// e.{ x, y, z } + /// `e.{ x, y, z }` Projection(SubExpr, Vec