summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-03-15 12:15:56 +0100
committerNadrieril2019-03-15 12:15:56 +0100
commitb302b14d445c1f1ee5dc65983c642bd46db1abfe (patch)
treede50f175b31d29b320a45f1a1990a5a240d61cad /dhall
parent94023098bdadd38fcae6801048c8565efa893f59 (diff)
Update spec submodule and add new tests
Diffstat (limited to 'dhall')
-rw-r--r--dhall/tests/tests.rs173
1 files changed, 172 insertions, 1 deletions
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");