diff options
-rw-r--r-- | dhall/tests/macros.rs | 2 | ||||
-rw-r--r-- | dhall/tests/tests.rs | 42 |
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"); |