diff options
author | Nadrieril | 2019-05-04 18:41:22 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-04 18:41:22 +0200 |
commit | ab100be616932dab22a5309df86107b66e93db37 (patch) | |
tree | c5a093c8d9a05cb50e83966fe4923c134f5c3515 /dhall/tests | |
parent | 6ad7a2000bf32b96be731cd51da5b841976dae12 (diff) |
Revert "Make SubExpr generic in the variable labels type"
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
Diffstat (limited to 'dhall/tests')
-rw-r--r-- | dhall/tests/traits.rs | 4 |
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() } |