summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-04-15 18:12:23 +0200
committerNadrieril2019-04-16 15:54:16 +0200
commitfc1bf06ad42964d8dfd8cd8601a5a9dacb3de86d (patch)
tree6cc8fcb21b08a70bc16c0aa3dc8dcbd33d72ea43
parent90b0189f9e1d3c7f66ba8d1c85274b6172dfa193 (diff)
Doc tweak
Diffstat (limited to '')
-rw-r--r--dhall_core/src/core.rs16
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),