diff options
| author | Nadrieril | 2020-03-05 15:50:45 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-05 15:56:50 +0000 |
| commit | 29208b0bf3dd2667f92774dacb3a7f058c4cd895 (patch) | |
| tree | 5a40ee7a9d33d9954005917fc8c60f50ca2090e2 /dhall/src/syntax/ast | |
| parent | 2ca97e97f1718141d826a78ab3da8197b2d55c69 (diff) | |
Implement some normalization simplifications
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/syntax/ast/expr.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/syntax/ast/expr.rs b/dhall/src/syntax/ast/expr.rs index bb1a5b3..ce0a3d2 100644 --- a/dhall/src/syntax/ast/expr.rs +++ b/dhall/src/syntax/ast/expr.rs @@ -178,7 +178,7 @@ pub enum ExprKind<SubExpr> { Field(SubExpr, Label), /// `e.{ x, y, z }` Projection(SubExpr, DupTreeSet<Label>), - /// `e.(s)` + /// `e.(t)` ProjectionByExpr(SubExpr, SubExpr), /// `x::y` Completion(SubExpr, SubExpr), |