diff options
author | Nadrieril | 2019-03-06 16:43:17 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 16:43:17 +0100 |
commit | 932c4842bbc631a77fa518d3cfb55f11fea73ee7 (patch) | |
tree | 557de669a36f940223bde9bd5ef135dec56339ab /dhall | |
parent | 4d92f06c98c98c014a02c218b6c31cf81d9f0fec (diff) |
Simplify normalization using dhall! macro
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/tests/tests.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/tests/tests.rs b/dhall/tests/tests.rs index 4da5bda..a523b6e 100644 --- a/dhall/tests/tests.rs +++ b/dhall/tests/tests.rs @@ -146,7 +146,7 @@ make_spec_test!(normalization, spec_normalization_success_haskell_tutorial_acces // make_spec_test!(normalization, spec_normalization_success_simple_integerShow, "normalization/success/simple/integerShow"); // make_spec_test!(normalization, spec_normalization_success_simple_integerToDouble, "normalization/success/simple/integerToDouble"); // make_spec_test!(normalization, spec_normalization_success_simple_letlet, "normalization/success/simple/letlet"); -// make_spec_test!(normalization, spec_normalization_success_simple_listBuild, "normalization/success/simple/listBuild"); +make_spec_test!(normalization, spec_normalization_success_simple_listBuild, "normalization/success/simple/listBuild"); make_spec_test!(normalization, spec_normalization_success_simple_multiLine, "normalization/success/simple/multiLine"); // make_spec_test!(normalization, spec_normalization_success_simple_naturalBuild, "normalization/success/simple/naturalBuild"); make_spec_test!(normalization, spec_normalization_success_simple_naturalPlus, "normalization/success/simple/naturalPlus"); |