summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core/expr.rs
diff options
context:
space:
mode:
authorNadrieril2019-08-07 15:58:57 +0200
committerNadrieril2019-08-07 15:58:57 +0200
commit2755cb01092363062016bc51349870b1330d1d6f (patch)
treea196c980c0cb926ff8190e3ee190008ef24c51b8 /dhall_syntax/src/core/expr.rs
parentf7b0c6b9c52f65624dc765fb9eaa7d0d94eeae76 (diff)
Sort labels in projection expressions
Diffstat (limited to '')
-rw-r--r--dhall_syntax/src/core/expr.rs4
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),
}