From b302b14d445c1f1ee5dc65983c642bd46db1abfe Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 15 Mar 2019 12:15:56 +0100 Subject: Update spec submodule and add new tests --- dhall-lang | 2 +- dhall/tests/tests.rs | 173 ++++++++++++++++++++++++++++++++++++++++++++++++++- 2 files changed, 173 insertions(+), 2 deletions(-) diff --git a/dhall-lang b/dhall-lang index 31dff9d..8b9edd2 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit 31dff9da965fb0e0df2236b79e0e46620d32c905 +Subproject commit 8b9edd288071566eab4d94f643709e1d9ef9e574 diff --git a/dhall/tests/tests.rs b/dhall/tests/tests.rs index 24e8aa4..c7de4bf 100644 --- a/dhall/tests/tests.rs +++ b/dhall/tests/tests.rs @@ -170,6 +170,177 @@ make_spec_test!(normalization, spec_normalization_success_simple_optionalFold, " // make_spec_test!(normalization, spec_normalization_success_simplifications_or, "normalization/success/simplifications/or"); +make_spec_test!(normalization, spec_normalization_success_unit_Bool, "normalization/success/unit/Bool"); +make_spec_test!(normalization, spec_normalization_success_unit_Double, "normalization/success/unit/Double"); +make_spec_test!(normalization, spec_normalization_success_unit_DoubleLiteral, "normalization/success/unit/DoubleLiteral"); +make_spec_test!(normalization, spec_normalization_success_unit_DoubleShow, "normalization/success/unit/DoubleShow"); +// make_spec_test!(normalization, spec_normalization_success_unit_DoubleShowValue, "normalization/success/unit/DoubleShowValue"); +make_spec_test!(normalization, spec_normalization_success_unit_FunctionApplicationCapture, "normalization/success/unit/FunctionApplicationCapture"); +make_spec_test!(normalization, spec_normalization_success_unit_FunctionApplicationNoSubstitute, "normalization/success/unit/FunctionApplicationNoSubstitute"); +make_spec_test!(normalization, spec_normalization_success_unit_FunctionApplicationNormalizeArguments, "normalization/success/unit/FunctionApplicationNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_FunctionApplicationSubstitute, "normalization/success/unit/FunctionApplicationSubstitute"); +make_spec_test!(normalization, spec_normalization_success_unit_FunctionNormalizeArguments, "normalization/success/unit/FunctionNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_FunctionTypeNormalizeArguments, "normalization/success/unit/FunctionTypeNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_IfAlternativesIdentical, "normalization/success/unit/IfAlternativesIdentical"); +make_spec_test!(normalization, spec_normalization_success_unit_IfFalse, "normalization/success/unit/IfFalse"); +make_spec_test!(normalization, spec_normalization_success_unit_IfNormalizePredicateAndBranches, "normalization/success/unit/IfNormalizePredicateAndBranches"); +// make_spec_test!(normalization, spec_normalization_success_unit_IfTrivial, "normalization/success/unit/IfTrivial"); +make_spec_test!(normalization, spec_normalization_success_unit_IfTrue, "normalization/success/unit/IfTrue"); +make_spec_test!(normalization, spec_normalization_success_unit_Integer, "normalization/success/unit/Integer"); +make_spec_test!(normalization, spec_normalization_success_unit_IntegerNegative, "normalization/success/unit/IntegerNegative"); +make_spec_test!(normalization, spec_normalization_success_unit_IntegerPositive, "normalization/success/unit/IntegerPositive"); +// make_spec_test!(normalization, spec_normalization_success_unit_IntegerShow_12, "normalization/success/unit/IntegerShow-12"); +// make_spec_test!(normalization, spec_normalization_success_unit_IntegerShow12, "normalization/success/unit/IntegerShow12"); +make_spec_test!(normalization, spec_normalization_success_unit_IntegerShow, "normalization/success/unit/IntegerShow"); +// make_spec_test!(normalization, spec_normalization_success_unit_IntegerToDouble_12, "normalization/success/unit/IntegerToDouble-12"); +// make_spec_test!(normalization, spec_normalization_success_unit_IntegerToDouble12, "normalization/success/unit/IntegerToDouble12"); +make_spec_test!(normalization, spec_normalization_success_unit_IntegerToDouble, "normalization/success/unit/IntegerToDouble"); +make_spec_test!(normalization, spec_normalization_success_unit_Kind, "normalization/success/unit/Kind"); +make_spec_test!(normalization, spec_normalization_success_unit_Let, "normalization/success/unit/Let"); +make_spec_test!(normalization, spec_normalization_success_unit_LetWithType, "normalization/success/unit/LetWithType"); +make_spec_test!(normalization, spec_normalization_success_unit_List, "normalization/success/unit/List"); +make_spec_test!(normalization, spec_normalization_success_unit_ListBuild, "normalization/success/unit/ListBuild"); +make_spec_test!(normalization, spec_normalization_success_unit_ListBuildFoldFusion, "normalization/success/unit/ListBuildFoldFusion"); +make_spec_test!(normalization, spec_normalization_success_unit_ListBuildImplementation, "normalization/success/unit/ListBuildImplementation"); +make_spec_test!(normalization, spec_normalization_success_unit_ListFold, "normalization/success/unit/ListFold"); +make_spec_test!(normalization, spec_normalization_success_unit_ListFoldEmpty, "normalization/success/unit/ListFoldEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_ListFoldOne, "normalization/success/unit/ListFoldOne"); +make_spec_test!(normalization, spec_normalization_success_unit_ListHead, "normalization/success/unit/ListHead"); +make_spec_test!(normalization, spec_normalization_success_unit_ListHeadEmpty, "normalization/success/unit/ListHeadEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_ListHeadOne, "normalization/success/unit/ListHeadOne"); +make_spec_test!(normalization, spec_normalization_success_unit_ListIndexed, "normalization/success/unit/ListIndexed"); +// make_spec_test!(normalization, spec_normalization_success_unit_ListIndexedEmpty, "normalization/success/unit/ListIndexedEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_ListIndexedOne, "normalization/success/unit/ListIndexedOne"); +make_spec_test!(normalization, spec_normalization_success_unit_ListLast, "normalization/success/unit/ListLast"); +make_spec_test!(normalization, spec_normalization_success_unit_ListLastEmpty, "normalization/success/unit/ListLastEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_ListLastOne, "normalization/success/unit/ListLastOne"); +make_spec_test!(normalization, spec_normalization_success_unit_ListLength, "normalization/success/unit/ListLength"); +make_spec_test!(normalization, spec_normalization_success_unit_ListLengthEmpty, "normalization/success/unit/ListLengthEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_ListLengthOne, "normalization/success/unit/ListLengthOne"); +make_spec_test!(normalization, spec_normalization_success_unit_ListNormalizeElements, "normalization/success/unit/ListNormalizeElements"); +make_spec_test!(normalization, spec_normalization_success_unit_ListNormalizeTypeAnnotation, "normalization/success/unit/ListNormalizeTypeAnnotation"); +make_spec_test!(normalization, spec_normalization_success_unit_ListReverse, "normalization/success/unit/ListReverse"); +make_spec_test!(normalization, spec_normalization_success_unit_ListReverseEmpty, "normalization/success/unit/ListReverseEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_ListReverseTwo, "normalization/success/unit/ListReverseTwo"); +// make_spec_test!(normalization, spec_normalization_success_unit_Merge, "normalization/success/unit/Merge"); +make_spec_test!(normalization, spec_normalization_success_unit_MergeNormalizeArguments, "normalization/success/unit/MergeNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_MergeWithType, "normalization/success/unit/MergeWithType"); +make_spec_test!(normalization, spec_normalization_success_unit_MergeWithTypeNormalizeArguments, "normalization/success/unit/MergeWithTypeNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_Natural, "normalization/success/unit/Natural"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalBuild, "normalization/success/unit/NaturalBuild"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalBuildFoldFusion, "normalization/success/unit/NaturalBuildFoldFusion"); +// make_spec_test!(normalization, spec_normalization_success_unit_NaturalBuildImplementation, "normalization/success/unit/NaturalBuildImplementation"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalEven, "normalization/success/unit/NaturalEven"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalEvenOne, "normalization/success/unit/NaturalEvenOne"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalEvenZero, "normalization/success/unit/NaturalEvenZero"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalFold, "normalization/success/unit/NaturalFold"); +// make_spec_test!(normalization, spec_normalization_success_unit_NaturalFoldOne, "normalization/success/unit/NaturalFoldOne"); +// make_spec_test!(normalization, spec_normalization_success_unit_NaturalFoldZero, "normalization/success/unit/NaturalFoldZero"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalIsZero, "normalization/success/unit/NaturalIsZero"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalIsZeroOne, "normalization/success/unit/NaturalIsZeroOne"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalIsZeroZero, "normalization/success/unit/NaturalIsZeroZero"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalLiteral, "normalization/success/unit/NaturalLiteral"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalOdd, "normalization/success/unit/NaturalOdd"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalOddOne, "normalization/success/unit/NaturalOddOne"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalOddZero, "normalization/success/unit/NaturalOddZero"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalShow, "normalization/success/unit/NaturalShow"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalShowOne, "normalization/success/unit/NaturalShowOne"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalToInteger, "normalization/success/unit/NaturalToInteger"); +make_spec_test!(normalization, spec_normalization_success_unit_NaturalToIntegerOne, "normalization/success/unit/NaturalToIntegerOne"); +make_spec_test!(normalization, spec_normalization_success_unit_None, "normalization/success/unit/None"); +make_spec_test!(normalization, spec_normalization_success_unit_NoneNatural, "normalization/success/unit/NoneNatural"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorAndEquivalentArguments, "normalization/success/unit/OperatorAndEquivalentArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorAndLhsFalse, "normalization/success/unit/OperatorAndLhsFalse"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorAndLhsTrue, "normalization/success/unit/OperatorAndLhsTrue"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorAndNormalizeArguments, "normalization/success/unit/OperatorAndNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorAndRhsFalse, "normalization/success/unit/OperatorAndRhsFalse"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorAndRhsTrue, "normalization/success/unit/OperatorAndRhsTrue"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorEqualEquivalentArguments, "normalization/success/unit/OperatorEqualEquivalentArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorEqualLhsTrue, "normalization/success/unit/OperatorEqualLhsTrue"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorEqualNormalizeArguments, "normalization/success/unit/OperatorEqualNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorEqualRhsTrue, "normalization/success/unit/OperatorEqualRhsTrue"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorListConcatenateLhsEmpty, "normalization/success/unit/OperatorListConcatenateLhsEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_OperatorListConcatenateListList, "normalization/success/unit/OperatorListConcatenateListList"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorListConcatenateNormalizeArguments, "normalization/success/unit/OperatorListConcatenateNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorListConcatenateRhsEmpty, "normalization/success/unit/OperatorListConcatenateRhsEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorNotEqualEquivalentArguments, "normalization/success/unit/OperatorNotEqualEquivalentArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorNotEqualLhsFalse, "normalization/success/unit/OperatorNotEqualLhsFalse"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorNotEqualNormalizeArguments, "normalization/success/unit/OperatorNotEqualNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorNotEqualRhsFalse, "normalization/success/unit/OperatorNotEqualRhsFalse"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorOrEquivalentArguments, "normalization/success/unit/OperatorOrEquivalentArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorOrLhsFalse, "normalization/success/unit/OperatorOrLhsFalse"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorOrLhsTrue, "normalization/success/unit/OperatorOrLhsTrue"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorOrNormalizeArguments, "normalization/success/unit/OperatorOrNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorOrRhsFalse, "normalization/success/unit/OperatorOrRhsFalse"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorOrRhsTrue, "normalization/success/unit/OperatorOrRhsTrue"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorPlusLhsZero, "normalization/success/unit/OperatorPlusLhsZero"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorPlusNormalizeArguments, "normalization/success/unit/OperatorPlusNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_OperatorPlusOneAndOne, "normalization/success/unit/OperatorPlusOneAndOne"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorPlusRhsZero, "normalization/success/unit/OperatorPlusRhsZero"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorTextConcatenateLhsEmpty, "normalization/success/unit/OperatorTextConcatenateLhsEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorTextConcatenateNormalizeArguments, "normalization/success/unit/OperatorTextConcatenateNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorTextConcatenateRhsEmpty, "normalization/success/unit/OperatorTextConcatenateRhsEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_OperatorTextConcatenateTextText, "normalization/success/unit/OperatorTextConcatenateTextText"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorTimesLhsOne, "normalization/success/unit/OperatorTimesLhsOne"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorTimesLhsZero, "normalization/success/unit/OperatorTimesLhsZero"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorTimesNormalizeArguments, "normalization/success/unit/OperatorTimesNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorTimesRhsOne, "normalization/success/unit/OperatorTimesRhsOne"); +// make_spec_test!(normalization, spec_normalization_success_unit_OperatorTimesRhsZero, "normalization/success/unit/OperatorTimesRhsZero"); +make_spec_test!(normalization, spec_normalization_success_unit_OperatorTimesTwoAndTwo, "normalization/success/unit/OperatorTimesTwoAndTwo"); +make_spec_test!(normalization, spec_normalization_success_unit_Optional, "normalization/success/unit/Optional"); +make_spec_test!(normalization, spec_normalization_success_unit_OptionalBuild, "normalization/success/unit/OptionalBuild"); +make_spec_test!(normalization, spec_normalization_success_unit_OptionalBuildFoldFusion, "normalization/success/unit/OptionalBuildFoldFusion"); +make_spec_test!(normalization, spec_normalization_success_unit_OptionalBuildImplementation, "normalization/success/unit/OptionalBuildImplementation"); +make_spec_test!(normalization, spec_normalization_success_unit_OptionalFold, "normalization/success/unit/OptionalFold"); +make_spec_test!(normalization, spec_normalization_success_unit_OptionalFoldNone, "normalization/success/unit/OptionalFoldNone"); +make_spec_test!(normalization, spec_normalization_success_unit_OptionalFoldSome, "normalization/success/unit/OptionalFoldSome"); +make_spec_test!(normalization, spec_normalization_success_unit_Record, "normalization/success/unit/Record"); +make_spec_test!(normalization, spec_normalization_success_unit_RecordEmpty, "normalization/success/unit/RecordEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecordProjection, "normalization/success/unit/RecordProjection"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecordProjectionEmpty, "normalization/success/unit/RecordProjectionEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_RecordProjectionNormalizeArguments, "normalization/success/unit/RecordProjectionNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_RecordSelection, "normalization/success/unit/RecordSelection"); +make_spec_test!(normalization, spec_normalization_success_unit_RecordSelectionNormalizeArguments, "normalization/success/unit/RecordSelectionNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_RecordType, "normalization/success/unit/RecordType"); +make_spec_test!(normalization, spec_normalization_success_unit_RecordTypeEmpty, "normalization/success/unit/RecordTypeEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordMergeCollision, "normalization/success/unit/RecursiveRecordMergeCollision"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordMergeLhsEmpty, "normalization/success/unit/RecursiveRecordMergeLhsEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordMergeNoCollision, "normalization/success/unit/RecursiveRecordMergeNoCollision"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordMergeNormalizeArguments, "normalization/success/unit/RecursiveRecordMergeNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordMergeRhsEmpty, "normalization/success/unit/RecursiveRecordMergeRhsEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordTypeMergeCollision, "normalization/success/unit/RecursiveRecordTypeMergeCollision"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordTypeMergeLhsEmpty, "normalization/success/unit/RecursiveRecordTypeMergeLhsEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordTypeMergeNoCollision, "normalization/success/unit/RecursiveRecordTypeMergeNoCollision"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordTypeMergeNormalizeArguments, "normalization/success/unit/RecursiveRecordTypeMergeNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_RecursiveRecordTypeMergeRhsEmpty, "normalization/success/unit/RecursiveRecordTypeMergeRhsEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_RightBiasedRecordMergeCollision, "normalization/success/unit/RightBiasedRecordMergeCollision"); +// make_spec_test!(normalization, spec_normalization_success_unit_RightBiasedRecordMergeLhsEmpty, "normalization/success/unit/RightBiasedRecordMergeLhsEmpty"); +// make_spec_test!(normalization, spec_normalization_success_unit_RightBiasedRecordMergeNoCollision, "normalization/success/unit/RightBiasedRecordMergeNoCollision"); +// make_spec_test!(normalization, spec_normalization_success_unit_RightBiasedRecordMergeNormalizeArguments, "normalization/success/unit/RightBiasedRecordMergeNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_RightBiasedRecordMergeRhsEmpty, "normalization/success/unit/RightBiasedRecordMergeRhsEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_SomeNormalizeArguments, "normalization/success/unit/SomeNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_Sort, "normalization/success/unit/Sort"); +make_spec_test!(normalization, spec_normalization_success_unit_Text, "normalization/success/unit/Text"); +// make_spec_test!(normalization, spec_normalization_success_unit_TextInterpolate, "normalization/success/unit/TextInterpolate"); +make_spec_test!(normalization, spec_normalization_success_unit_TextLiteral, "normalization/success/unit/TextLiteral"); +make_spec_test!(normalization, spec_normalization_success_unit_TextNormalizeInterpolations, "normalization/success/unit/TextNormalizeInterpolations"); +make_spec_test!(normalization, spec_normalization_success_unit_TextShow, "normalization/success/unit/TextShow"); +// make_spec_test!(normalization, spec_normalization_success_unit_TextShowAllEscapes, "normalization/success/unit/TextShowAllEscapes"); +make_spec_test!(normalization, spec_normalization_success_unit_True, "normalization/success/unit/True"); +make_spec_test!(normalization, spec_normalization_success_unit_Type, "normalization/success/unit/Type"); +make_spec_test!(normalization, spec_normalization_success_unit_TypeAnnotation, "normalization/success/unit/TypeAnnotation"); +make_spec_test!(normalization, spec_normalization_success_unit_UnionNormalizeAlternatives, "normalization/success/unit/UnionNormalizeAlternatives"); +make_spec_test!(normalization, spec_normalization_success_unit_UnionNormalizeArguments, "normalization/success/unit/UnionNormalizeArguments"); +// make_spec_test!(normalization, spec_normalization_success_unit_UnionProjectConstructor, "normalization/success/unit/UnionProjectConstructor"); +make_spec_test!(normalization, spec_normalization_success_unit_UnionProjectConstructorNormalizeArguments, "normalization/success/unit/UnionProjectConstructorNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_UnionSortAlternatives, "normalization/success/unit/UnionSortAlternatives"); +make_spec_test!(normalization, spec_normalization_success_unit_UnionType, "normalization/success/unit/UnionType"); +make_spec_test!(normalization, spec_normalization_success_unit_UnionTypeEmpty, "normalization/success/unit/UnionTypeEmpty"); +make_spec_test!(normalization, spec_normalization_success_unit_UnionTypeNormalizeArguments, "normalization/success/unit/UnionTypeNormalizeArguments"); +make_spec_test!(normalization, spec_normalization_success_unit_Variable, "normalization/success/unit/Variable"); + + + 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_blockComment, "parser/success/blockComment"); @@ -224,7 +395,7 @@ make_spec_test!(parser_failure, spec_parser_failure_importAccess, "parser/failur make_spec_test!(parser_failure, spec_parser_failure_incompleteIf, "parser/failure/incompleteIf"); 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_spaceAfterListAppend, "parser/failure/spaceAfterListAppend"); // make_spec_test!(typecheck_success, spec_typecheck_success_accessEncodedType, "typecheck/success/accessEncodedType"); -- cgit v1.2.3