diff options
| author | Nadrieril | 2019-04-15 18:12:23 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-16 15:54:16 +0200 |
| commit | fc1bf06ad42964d8dfd8cd8601a5a9dacb3de86d (patch) | |
| tree | 6cc8fcb21b08a70bc16c0aa3dc8dcbd33d72ea43 | |
| parent | 90b0189f9e1d3c7f66ba8d1c85274b6172dfa193 (diff) | |
Doc tweak
Diffstat (limited to '')
| -rw-r--r-- | dhall_core/src/core.rs | 16 |
1 files changed, 8 insertions, 8 deletions
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<SubExpr, Label, Note, Embed> { DoubleLit(Double), /// `"Some ${interpolated} text"` TextLit(InterpolatedText<SubExpr>), - /// [] : List t` + /// `[] : List t` EmptyListLit(SubExpr), - /// [x, y, z] + /// `[x, y, z]` NEListLit(Vec<SubExpr>), /// Deprecated Optional literal form - /// [] : Optional a - /// [x] : Optional a + /// `[] : Optional a` + /// `[x] : Optional a` OldOptionalLit(Option<SubExpr>, SubExpr), - /// None t + /// `None t` EmptyOptionalLit(SubExpr), - /// Some e + /// `Some e` NEOptionalLit(SubExpr), /// `{ k1 : t1, k2 : t1 }` RecordType(BTreeMap<Label, SubExpr>), @@ -192,9 +192,9 @@ pub enum ExprF<SubExpr, Label, Note, Embed> { UnionLit(Label, SubExpr, BTreeMap<Label, SubExpr>), /// `merge x y : t` Merge(SubExpr, SubExpr, Option<SubExpr>), - /// e.x + /// `e.x` Field(SubExpr, Label), - /// e.{ x, y, z } + /// `e.{ x, y, z }` Projection(SubExpr, Vec<Label>), /// Annotation on the AST. Unused for now but could hold e.g. file location information Note(Note, SubExpr), |