summaryrefslogtreecommitdiff
path: root/dhall/tests/traits.rs
diff options
context:
space:
mode:
authorNadrieril2019-05-04 18:41:22 +0200
committerNadrieril2019-05-04 18:41:22 +0200
commitab100be616932dab22a5309df86107b66e93db37 (patch)
treec5a093c8d9a05cb50e83966fe4923c134f5c3515 /dhall/tests/traits.rs
parent6ad7a2000bf32b96be731cd51da5b841976dae12 (diff)
Revert "Make SubExpr generic in the variable labels type"
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
Diffstat (limited to '')
-rw-r--r--dhall/tests/traits.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/tests/traits.rs b/dhall/tests/traits.rs
index cf68d7d..6604c06 100644
--- a/dhall/tests/traits.rs
+++ b/dhall/tests/traits.rs
@@ -1,11 +1,11 @@
#![feature(proc_macro_hygiene)]
use dhall::de::SimpleStaticType;
use dhall_proc_macros;
-use dhall_syntax::{Label, SubExpr, X};
+use dhall_syntax::{SubExpr, X};
#[test]
fn test_static_type() {
- fn mktype(x: SubExpr<Label, X, X>) -> dhall::expr::SimpleType {
+ fn mktype(x: SubExpr<X, X>) -> dhall::expr::SimpleType {
x.into()
}