diff options
author | Nadrieril | 2019-08-07 15:58:57 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-07 15:58:57 +0200 |
commit | 2755cb01092363062016bc51349870b1330d1d6f (patch) | |
tree | a196c980c0cb926ff8190e3ee190008ef24c51b8 /dhall_syntax/src/core/expr.rs | |
parent | f7b0c6b9c52f65624dc765fb9eaa7d0d94eeae76 (diff) |
Sort labels in projection expressions
Diffstat (limited to '')
-rw-r--r-- | dhall_syntax/src/core/expr.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall_syntax/src/core/expr.rs b/dhall_syntax/src/core/expr.rs index 14dc165..668ab45 100644 --- a/dhall_syntax/src/core/expr.rs +++ b/dhall_syntax/src/core/expr.rs @@ -1,6 +1,6 @@ use std::rc::Rc; -use crate::map::DupTreeMap; +use crate::map::{DupTreeMap, DupTreeSet}; use crate::visitor; use crate::*; @@ -209,7 +209,7 @@ pub enum ExprF<SubExpr, Embed> { /// `e.x` Field(SubExpr, Label), /// `e.{ x, y, z }` - Projection(SubExpr, Vec<Label>), + Projection(SubExpr, DupTreeSet<Label>), /// Embeds an import or the result of resolving the import Embed(Embed), } |