diff options
author | Nadrieril Feneanar | 2019-11-11 18:30:36 +0100 |
---|---|---|
committer | GitHub | 2019-11-11 18:30:36 +0100 |
commit | bbb089d219cb22751d7100fe6524063cbe2474dd (patch) | |
tree | 4c64231fd014215b962cb294d4672d6785326372 /dhall_syntax/src/core/expr.rs | |
parent | 84cd6f386d6f4c7952fbc1da87dcd754f26ee404 (diff) | |
parent | facd2c587d96510c5a808f19d37b40c1fc2d2618 (diff) |
Merge pull request #115 from Nadrieril/parse-selection-be-expr
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 |