summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2019-05-04 17:59:05 +0200
committerNadrieril2019-05-04 17:59:05 +0200
commit4c159640e5ee77ffa48b85a5bffa56350cf933ef (patch)
treec0ff9231ed28538f4f1dc13d8e6347e3c14a06b5 /dhall/tests
parent0e5c93c398645d39fceb98d054f1a7e67025b4fd (diff)
Make SubExpr generic in the variable labels type
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 6604c06..cf68d7d 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::{SubExpr, X};
+use dhall_syntax::{Label, SubExpr, X};
#[test]
fn test_static_type() {
- fn mktype(x: SubExpr<X, X>) -> dhall::expr::SimpleType {
+ fn mktype(x: SubExpr<Label, X, X>) -> dhall::expr::SimpleType {
x.into()
}