diff options
author | Nadrieril | 2019-11-11 17:20:48 +0000 |
---|---|---|
committer | Nadrieril | 2019-11-11 17:20:48 +0000 |
commit | facd2c587d96510c5a808f19d37b40c1fc2d2618 (patch) | |
tree | 4c64231fd014215b962cb294d4672d6785326372 /dhall_syntax/src/core/expr.rs | |
parent | 84cd6f386d6f4c7952fbc1da87dcd754f26ee404 (diff) |
Parse projection by expression
Diffstat (limited to '')
-rw-r--r-- | dhall_syntax/src/core/expr.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall_syntax/src/core/expr.rs b/dhall_syntax/src/core/expr.rs index 750b58b..131f97e 100644 --- a/dhall_syntax/src/core/expr.rs +++ b/dhall_syntax/src/core/expr.rs @@ -223,6 +223,8 @@ pub enum ExprF<SubExpr, Embed> { Field(SubExpr, Label), /// `e.{ x, y, z }` Projection(SubExpr, DupTreeSet<Label>), + /// `e.(t)` + ProjectionByExpr(SubExpr, SubExpr), /// `./some/path` Import(Import<SubExpr>), /// Embeds the result of resolving an import |