summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2019-03-05 22:38:20 +0100
committerNadrieril2019-03-05 22:38:20 +0100
commit9a0cba9d622cba67bbdd97994ab86c7d71c0b456 (patch)
tree17c52de4e0a1ef41b61a7b8777e4b9cbf4de1d6d /dhall/tests
parentc098d598d24cfb1127dd1dc523cd6f4fc190bf29 (diff)
Update test list
Diffstat (limited to 'dhall/tests')
-rw-r--r--dhall/tests/macros.rs2
-rw-r--r--dhall/tests/tests.rs42
2 files changed, 22 insertions, 22 deletions
diff --git a/dhall/tests/macros.rs b/dhall/tests/macros.rs
index 956fa1f..119d6d4 100644
--- a/dhall/tests/macros.rs
+++ b/dhall/tests/macros.rs
@@ -30,7 +30,7 @@ macro_rules! run_spec_test {
let (expr_str, expected_str) = include_test_strs_ab!($path);
let expr = parse_str!(expr_str);
let expected = parse_str!(expected_str);
- // assert_eq!(normalize::<_, X, _>(&expr), normalize::<_, X, _>(&expected));
+ assert_eq!(normalize::<_, X, _>(&expr), normalize::<_, X, _>(&expected));
};
(parser, $path:expr) => {
let expr_str = include_test_str!(concat!($path, "A"));
diff --git a/dhall/tests/tests.rs b/dhall/tests/tests.rs
index 8d8099a..8c4b42b 100644
--- a/dhall/tests/tests.rs
+++ b/dhall/tests/tests.rs
@@ -143,34 +143,34 @@ make_spec_test!(normalization, spec_normalization_success_haskell_tutorial_acces
// make_spec_test!(normalization, spec_normalization_success_prelude_Text_show_1, "normalization/success/prelude/Text/show/1");
// make_spec_test!(normalization, spec_normalization_success_remoteSystems, "normalization/success/remoteSystems");
// make_spec_test!(normalization, spec_normalization_success_simple_doubleShow, "normalization/success/simple/doubleShow");
-make_spec_test!(normalization, spec_normalization_success_simple_integerShow, "normalization/success/simple/integerShow");
+// 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_multiLine, "normalization/success/simple/multiLine");
+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");
make_spec_test!(normalization, spec_normalization_success_simple_naturalShow, "normalization/success/simple/naturalShow");
-make_spec_test!(normalization, spec_normalization_success_simple_naturalToInteger, "normalization/success/simple/naturalToInteger");
+// make_spec_test!(normalization, spec_normalization_success_simple_naturalToInteger, "normalization/success/simple/naturalToInteger");
// make_spec_test!(normalization, spec_normalization_success_simple_optionalBuild, "normalization/success/simple/optionalBuild");
-make_spec_test!(normalization, spec_normalization_success_simple_optionalBuildFold, "normalization/success/simple/optionalBuildFold");
-make_spec_test!(normalization, spec_normalization_success_simple_optionalFold, "normalization/success/simple/optionalFold");
+// make_spec_test!(normalization, spec_normalization_success_simple_optionalBuildFold, "normalization/success/simple/optionalBuildFold");
+// make_spec_test!(normalization, spec_normalization_success_simple_optionalFold, "normalization/success/simple/optionalFold");
// make_spec_test!(normalization, spec_normalization_success_simple_sortOperator, "normalization/success/simple/sortOperator");
-make_spec_test!(normalization, spec_normalization_success_simplifications_and, "normalization/success/simplifications/and");
-make_spec_test!(normalization, spec_normalization_success_simplifications_eq, "normalization/success/simplifications/eq");
-make_spec_test!(normalization, spec_normalization_success_simplifications_ifThenElse, "normalization/success/simplifications/ifThenElse");
-make_spec_test!(normalization, spec_normalization_success_simplifications_ne, "normalization/success/simplifications/ne");
-make_spec_test!(normalization, spec_normalization_success_simplifications_or, "normalization/success/simplifications/or");
+// make_spec_test!(normalization, spec_normalization_success_simplifications_and, "normalization/success/simplifications/and");
+// make_spec_test!(normalization, spec_normalization_success_simplifications_eq, "normalization/success/simplifications/eq");
+// make_spec_test!(normalization, spec_normalization_success_simplifications_ifThenElse, "normalization/success/simplifications/ifThenElse");
+// make_spec_test!(normalization, spec_normalization_success_simplifications_ne, "normalization/success/simplifications/ne");
+// make_spec_test!(normalization, spec_normalization_success_simplifications_or, "normalization/success/simplifications/or");
make_spec_test!(parser, spec_parser_success_annotations, "parser/success/annotations");
-make_spec_test!(parser, spec_parser_success_asText, "parser/success/asText");
+// make_spec_test!(parser, spec_parser_success_asText, "parser/success/asText");
make_spec_test!(parser, spec_parser_success_blockComment, "parser/success/blockComment");
make_spec_test!(parser, spec_parser_success_builtins, "parser/success/builtins");
-make_spec_test!(parser, spec_parser_success_collectionImportType, "parser/success/collectionImportType");
+// make_spec_test!(parser, spec_parser_success_collectionImportType, "parser/success/collectionImportType");
make_spec_test!(parser, spec_parser_success_double, "parser/success/double");
make_spec_test!(parser, spec_parser_success_doubleQuotedString, "parser/success/doubleQuotedString");
-make_spec_test!(parser, spec_parser_success_environmentVariables, "parser/success/environmentVariables");
+// make_spec_test!(parser, spec_parser_success_environmentVariables, "parser/success/environmentVariables");
make_spec_test!(parser, spec_parser_success_escapedDoubleQuotedString, "parser/success/escapedDoubleQuotedString");
make_spec_test!(parser, spec_parser_success_escapedSingleQuotedString, "parser/success/escapedSingleQuotedString");
make_spec_test!(parser, spec_parser_success_fields, "parser/success/fields");
@@ -178,7 +178,7 @@ make_spec_test!(parser, spec_parser_success_forall, "parser/success/forall");
make_spec_test!(parser, spec_parser_success_functionType, "parser/success/functionType");
make_spec_test!(parser, spec_parser_success_identifier, "parser/success/identifier");
make_spec_test!(parser, spec_parser_success_ifThenElse, "parser/success/ifThenElse");
-make_spec_test!(parser, spec_parser_success_importAlt, "parser/success/importAlt");
+// make_spec_test!(parser, spec_parser_success_importAlt, "parser/success/importAlt");
make_spec_test!(parser, spec_parser_success_interpolatedDoubleQuotedString, "parser/success/interpolatedDoubleQuotedString");
make_spec_test!(parser, spec_parser_success_interpolatedSingleQuotedString, "parser/success/interpolatedSingleQuotedString");
make_spec_test!(parser, spec_parser_success_label, "parser/success/label");
@@ -192,11 +192,11 @@ make_spec_test!(parser, spec_parser_success_multilet, "parser/success/multilet")
make_spec_test!(parser, spec_parser_success_natural, "parser/success/natural");
make_spec_test!(parser, spec_parser_success_nestedBlockComment, "parser/success/nestedBlockComment");
make_spec_test!(parser, spec_parser_success_operators, "parser/success/operators");
-make_spec_test!(parser, spec_parser_success_parenthesizeUsing, "parser/success/parenthesizeUsing");
-make_spec_test!(parser, spec_parser_success_pathTermination, "parser/success/pathTermination");
-make_spec_test!(parser, spec_parser_success_paths, "parser/success/paths");
+// make_spec_test!(parser, spec_parser_success_parenthesizeUsing, "parser/success/parenthesizeUsing");
+// make_spec_test!(parser, spec_parser_success_pathTermination, "parser/success/pathTermination");
+// make_spec_test!(parser, spec_parser_success_paths, "parser/success/paths");
make_spec_test!(parser, spec_parser_success_quotedLabel, "parser/success/quotedLabel");
-make_spec_test!(parser, spec_parser_success_quotedPaths, "parser/success/quotedPaths");
+// make_spec_test!(parser, spec_parser_success_quotedPaths, "parser/success/quotedPaths");
make_spec_test!(parser, spec_parser_success_record, "parser/success/record");
make_spec_test!(parser, spec_parser_success_reservedPrefix, "parser/success/reservedPrefix");
make_spec_test!(parser, spec_parser_success_singleQuotedString, "parser/success/singleQuotedString");
@@ -204,9 +204,9 @@ make_spec_test!(parser, spec_parser_success_sort, "parser/success/sort");
make_spec_test!(parser, spec_parser_success_template, "parser/success/template");
make_spec_test!(parser, spec_parser_success_unicodeComment, "parser/success/unicodeComment");
make_spec_test!(parser, spec_parser_success_unicodeDoubleQuotedString, "parser/success/unicodeDoubleQuotedString");
-make_spec_test!(parser, spec_parser_success_unicodePaths, "parser/success/unicodePaths");
+// make_spec_test!(parser, spec_parser_success_unicodePaths, "parser/success/unicodePaths");
make_spec_test!(parser, spec_parser_success_union, "parser/success/union");
-make_spec_test!(parser, spec_parser_success_urls, "parser/success/urls");
+// make_spec_test!(parser, spec_parser_success_urls, "parser/success/urls");
make_spec_test!(parser, spec_parser_success_whitespace, "parser/success/whitespace");
make_spec_test!(parser, spec_parser_success_whitespaceBuffet, "parser/success/whitespaceBuffet");
@@ -218,4 +218,4 @@ make_spec_test!(parser_failure, spec_parser_failure_incompleteIf, "parser/failur
make_spec_test!(parser_failure, spec_parser_failure_mandatoryNewline, "parser/failure/mandatoryNewline");
make_spec_test!(parser_failure, spec_parser_failure_missingSpace, "parser/failure/missingSpace");
make_spec_test!(parser_failure, spec_parser_failure_spaceAfterListAppend, "parser/failure/spaceAfterListAppend");
-// make_spec_test!(parser_failure, spec_parser_failure_boundBuiltin, "parser/failure/boundBuiltin");
+// make_spec_test!(parser_failure, spec_parser_failure_builtins, "parser/failure/builtins");