From e28d9e6f2422f47e250304e053238adc458f6a98 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 20 Mar 2020 11:40:09 +0000 Subject: Commit output of printer --- dhall/tests/parser/success/unit/AnnotationB.txt | 1 + dhall/tests/parser/success/unit/AssertB.txt | 1 + dhall/tests/parser/success/unit/AssertEquivalenceB.txt | 1 + dhall/tests/parser/success/unit/AssertEquivalenceUnicodeB.txt | 1 + dhall/tests/parser/success/unit/AssertPrecedenceB.txt | 1 + dhall/tests/parser/success/unit/BoolB.txt | 1 + dhall/tests/parser/success/unit/BoolLitTrueB.txt | 1 + dhall/tests/parser/success/unit/BuiltinListBuildB.txt | 1 + dhall/tests/parser/success/unit/CompletionB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitExponentB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitExponentNegativeB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitExponentNoDotB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitInfinityB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitNaNB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitNegInfinityB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitNegZeroB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitNegativeB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitPositiveB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitSecretelyIntB.txt | 1 + dhall/tests/parser/success/unit/DoubleLitZeroB.txt | 1 + dhall/tests/parser/success/unit/EmptyRecordLiteralB.txt | 1 + dhall/tests/parser/success/unit/FieldB.txt | 1 + dhall/tests/parser/success/unit/FieldBuiltinNameB.txt | 1 + dhall/tests/parser/success/unit/FieldQuotedB.txt | 1 + dhall/tests/parser/success/unit/ForallB.txt | 1 + dhall/tests/parser/success/unit/ForallNestedB.txt | 1 + dhall/tests/parser/success/unit/ForallUnderscoreB.txt | 1 + dhall/tests/parser/success/unit/FunctionApplicationMultipleArgsB.txt | 1 + dhall/tests/parser/success/unit/FunctionApplicationOneArgB.txt | 1 + dhall/tests/parser/success/unit/FunctionTypeArrowB.txt | 1 + dhall/tests/parser/success/unit/FunctionTypePiB.txt | 1 + dhall/tests/parser/success/unit/FunctionTypePiNestedB.txt | 1 + dhall/tests/parser/success/unit/FunctionTypePiUnderscoreB.txt | 1 + dhall/tests/parser/success/unit/FunctionTypePiUnicodeB.txt | 1 + dhall/tests/parser/success/unit/IntegerLitNegativeB.txt | 1 + dhall/tests/parser/success/unit/IntegerLitPositiveB.txt | 1 + dhall/tests/parser/success/unit/KindB.txt | 1 + dhall/tests/parser/success/unit/LambdaB.txt | 1 + dhall/tests/parser/success/unit/LambdaNestedB.txt | 1 + dhall/tests/parser/success/unit/LambdaUnderscoreB.txt | 1 + dhall/tests/parser/success/unit/LambdaUnicodeB.txt | 1 + dhall/tests/parser/success/unit/LetAnnotB.txt | 1 + dhall/tests/parser/success/unit/LetB.txt | 1 + dhall/tests/parser/success/unit/LetMultiB.txt | 1 + dhall/tests/parser/success/unit/LetNestedB.txt | 1 + dhall/tests/parser/success/unit/LetNoAnnotB.txt | 1 + dhall/tests/parser/success/unit/ListLitEmpty1B.txt | 1 + dhall/tests/parser/success/unit/ListLitEmpty2B.txt | 1 + dhall/tests/parser/success/unit/ListLitEmptyPrecedenceB.txt | 1 + dhall/tests/parser/success/unit/ListLitNonEmptyAnnotatedB.txt | 1 + dhall/tests/parser/success/unit/ListLitNonEmptyB.txt | 1 + dhall/tests/parser/success/unit/MergeAnnotationB.txt | 1 + dhall/tests/parser/success/unit/MergeAnnotationPrecedenceB.txt | 1 + dhall/tests/parser/success/unit/MergeB.txt | 1 + dhall/tests/parser/success/unit/MergeParenAnnotationB.txt | 1 + dhall/tests/parser/success/unit/MergeXYZB.txt | 1 + dhall/tests/parser/success/unit/NaturalLitB.txt | 1 + dhall/tests/parser/success/unit/ProjectionB.txt | 1 + dhall/tests/parser/success/unit/QuotedBoolB.txt | 1 + dhall/tests/parser/success/unit/QuotedTrueB.txt | 1 + dhall/tests/parser/success/unit/QuotedTypeB.txt | 1 + dhall/tests/parser/success/unit/QuotedVariableB.txt | 1 + dhall/tests/parser/success/unit/RecordFieldAccessB.txt | 1 + dhall/tests/parser/success/unit/RecordLitB.txt | 1 + dhall/tests/parser/success/unit/RecordLitDottedB.txt | 1 + dhall/tests/parser/success/unit/RecordLitDottedEscapeB.txt | 1 + dhall/tests/parser/success/unit/RecordLitDuplicatesB.txt | 1 + dhall/tests/parser/success/unit/RecordLitNixLikeB.txt | 1 + dhall/tests/parser/success/unit/RecordLitPunB.txt | 1 + dhall/tests/parser/success/unit/RecordLitPunDuplicateB.txt | 1 + dhall/tests/parser/success/unit/RecordLitPunMixedB.txt | 1 + dhall/tests/parser/success/unit/RecordLitPunSomeB.txt | 1 + dhall/tests/parser/success/unit/RecordLitSomeB.txt | 1 + dhall/tests/parser/success/unit/RecordProjectFieldsB.txt | 1 + dhall/tests/parser/success/unit/RecordProjectionByTypeB.txt | 1 + dhall/tests/parser/success/unit/RecordProjectionByTypeEmptyB.txt | 1 + dhall/tests/parser/success/unit/RecordTypeB.txt | 1 + dhall/tests/parser/success/unit/SelectionSomeB.txt | 1 + dhall/tests/parser/success/unit/SomeXB.txt | 1 + dhall/tests/parser/success/unit/SomeXYZB.txt | 1 + dhall/tests/parser/success/unit/SortB.txt | 1 + dhall/tests/parser/success/unit/ToMapAnnotB.txt | 1 + dhall/tests/parser/success/unit/ToMapB.txt | 1 + dhall/tests/parser/success/unit/TypeB.txt | 1 + dhall/tests/parser/success/unit/UnionTypeEmptyB.txt | 1 + dhall/tests/parser/success/unit/UnionTypeSomeB.txt | 1 + dhall/tests/parser/success/unit/UnionTypeXB.txt | 1 + dhall/tests/parser/success/unit/UnionTypeXTYB.txt | 1 + dhall/tests/parser/success/unit/UnionTypeXTYUB.txt | 1 + dhall/tests/parser/success/unit/UnionTypeXYB.txt | 1 + dhall/tests/parser/success/unit/UnionTypeXYTB.txt | 1 + dhall/tests/parser/success/unit/VariableB.txt | 1 + dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.txt | 1 + dhall/tests/parser/success/unit/VariableUnderscoreB.txt | 1 + dhall/tests/parser/success/unit/WithB.txt | 1 + dhall/tests/parser/success/unit/WithMultipleB.txt | 1 + dhall/tests/parser/success/unit/WithPrecedenceB.txt | 1 + dhall/tests/parser/success/unit/ifThenElseB.txt | 1 + dhall/tests/parser/success/unit/import/AsLocationAbsoluteB.txt | 1 + dhall/tests/parser/success/unit/import/AsLocationEnvB.txt | 1 + dhall/tests/parser/success/unit/import/AsLocationHashB.txt | 1 + dhall/tests/parser/success/unit/import/AsLocationLocalB.txt | 1 + dhall/tests/parser/success/unit/import/AsLocationMissingB.txt | 1 + dhall/tests/parser/success/unit/import/AsLocationRemoteB.txt | 1 + dhall/tests/parser/success/unit/import/HeadersB.txt | 1 + dhall/tests/parser/success/unit/import/HeadersDoubleHashB.txt | 1 + dhall/tests/parser/success/unit/import/HeadersDoubleHashPrecedenceB.txt | 1 + dhall/tests/parser/success/unit/import/HeadersHashPrecedenceB.txt | 1 + dhall/tests/parser/success/unit/import/HeadersInteriorHashB.txt | 1 + dhall/tests/parser/success/unit/import/ImportAsNoSpaceB.txt | 1 + dhall/tests/parser/success/unit/import/MissingB.txt | 1 + dhall/tests/parser/success/unit/import/asTextB.txt | 1 + dhall/tests/parser/success/unit/import/environmentVariableBashB.txt | 1 + dhall/tests/parser/success/unit/import/environmentVariablePosixB.txt | 1 + dhall/tests/parser/success/unit/import/hashB.txt | 1 + dhall/tests/parser/success/unit/import/importAltB.txt | 1 + dhall/tests/parser/success/unit/import/inlineUsingB.txt | 1 + dhall/tests/parser/success/unit/import/pathAbsoluteB.txt | 1 + dhall/tests/parser/success/unit/import/pathHereB.txt | 1 + dhall/tests/parser/success/unit/import/pathHomeB.txt | 1 + dhall/tests/parser/success/unit/import/pathParentB.txt | 1 + dhall/tests/parser/success/unit/import/pathTerminationLambdaB.txt | 1 + dhall/tests/parser/success/unit/import/pathTerminationListB.txt | 1 + dhall/tests/parser/success/unit/import/pathTerminationRecordB.txt | 1 + dhall/tests/parser/success/unit/import/pathTerminationUnionB.txt | 1 + dhall/tests/parser/success/unit/import/quotedPathsB.txt | 1 + dhall/tests/parser/success/unit/import/unicodePathsB.txt | 1 + dhall/tests/parser/success/unit/import/urls/basicHttpB.txt | 1 + dhall/tests/parser/success/unit/import/urls/basicHttpsB.txt | 1 + dhall/tests/parser/success/unit/import/urls/emptyPath0B.txt | 1 + dhall/tests/parser/success/unit/import/urls/emptyPath1B.txt | 1 + dhall/tests/parser/success/unit/import/urls/emptyPathSegmentB.txt | 1 + dhall/tests/parser/success/unit/import/urls/emptyQueryB.txt | 1 + dhall/tests/parser/success/unit/import/urls/escapedPathB.txt | 1 + dhall/tests/parser/success/unit/import/urls/escapedQueryB.txt | 1 + .../parser/success/unit/import/urls/fragmentParsesAsListAppendB.txt | 1 + dhall/tests/parser/success/unit/import/urls/ipv4B.txt | 1 + dhall/tests/parser/success/unit/import/urls/ipv4upperoctetsB.txt | 1 + dhall/tests/parser/success/unit/import/urls/ipv6longB.txt | 1 + dhall/tests/parser/success/unit/import/urls/ipv6mediumB.txt | 1 + dhall/tests/parser/success/unit/import/urls/ipv6shortB.txt | 1 + dhall/tests/parser/success/unit/import/urls/ipv6verylongB.txt | 1 + dhall/tests/parser/success/unit/import/urls/ipv6withipv4B.txt | 1 + dhall/tests/parser/success/unit/import/urls/portB.txt | 1 + dhall/tests/parser/success/unit/import/urls/potPourriB.txt | 1 + dhall/tests/parser/success/unit/import/urls/quotedPathFakeUrlEncodeB.txt | 1 + dhall/tests/parser/success/unit/import/urls/userinfoB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolAndB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolEQB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolNEB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolOrB.txt | 1 + dhall/tests/parser/success/unit/operators/EquivalenceB.txt | 1 + dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/ImportAltB.txt | 1 + dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/ListAppendB.txt | 1 + dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/NaturalPlusB.txt | 1 + dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/NaturalTimesB.txt | 1 + dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt | 1 + dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt | 1 + dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt | 1 + dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt | 1 + .../parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt | 1 + .../tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt | 1 + .../parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt | 1 + .../success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt | 1 + .../parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt | 1 + .../tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt | 1 + .../success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt | 1 + .../parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt | 1 + dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/TextAppendB.txt | 1 + 181 files changed, 181 insertions(+) create mode 100644 dhall/tests/parser/success/unit/AnnotationB.txt create mode 100644 dhall/tests/parser/success/unit/AssertB.txt create mode 100644 dhall/tests/parser/success/unit/AssertEquivalenceB.txt create mode 100644 dhall/tests/parser/success/unit/AssertEquivalenceUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/AssertPrecedenceB.txt create mode 100644 dhall/tests/parser/success/unit/BoolB.txt create mode 100644 dhall/tests/parser/success/unit/BoolLitTrueB.txt create mode 100644 dhall/tests/parser/success/unit/BuiltinListBuildB.txt create mode 100644 dhall/tests/parser/success/unit/CompletionB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitExponentB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitExponentNegativeB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitExponentNoDotB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitInfinityB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitNaNB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitNegInfinityB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitNegZeroB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitNegativeB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitPositiveB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitSecretelyIntB.txt create mode 100644 dhall/tests/parser/success/unit/DoubleLitZeroB.txt create mode 100644 dhall/tests/parser/success/unit/EmptyRecordLiteralB.txt create mode 100644 dhall/tests/parser/success/unit/FieldB.txt create mode 100644 dhall/tests/parser/success/unit/FieldBuiltinNameB.txt create mode 100644 dhall/tests/parser/success/unit/FieldQuotedB.txt create mode 100644 dhall/tests/parser/success/unit/ForallB.txt create mode 100644 dhall/tests/parser/success/unit/ForallNestedB.txt create mode 100644 dhall/tests/parser/success/unit/ForallUnderscoreB.txt create mode 100644 dhall/tests/parser/success/unit/FunctionApplicationMultipleArgsB.txt create mode 100644 dhall/tests/parser/success/unit/FunctionApplicationOneArgB.txt create mode 100644 dhall/tests/parser/success/unit/FunctionTypeArrowB.txt create mode 100644 dhall/tests/parser/success/unit/FunctionTypePiB.txt create mode 100644 dhall/tests/parser/success/unit/FunctionTypePiNestedB.txt create mode 100644 dhall/tests/parser/success/unit/FunctionTypePiUnderscoreB.txt create mode 100644 dhall/tests/parser/success/unit/FunctionTypePiUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/IntegerLitNegativeB.txt create mode 100644 dhall/tests/parser/success/unit/IntegerLitPositiveB.txt create mode 100644 dhall/tests/parser/success/unit/KindB.txt create mode 100644 dhall/tests/parser/success/unit/LambdaB.txt create mode 100644 dhall/tests/parser/success/unit/LambdaNestedB.txt create mode 100644 dhall/tests/parser/success/unit/LambdaUnderscoreB.txt create mode 100644 dhall/tests/parser/success/unit/LambdaUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/LetAnnotB.txt create mode 100644 dhall/tests/parser/success/unit/LetB.txt create mode 100644 dhall/tests/parser/success/unit/LetMultiB.txt create mode 100644 dhall/tests/parser/success/unit/LetNestedB.txt create mode 100644 dhall/tests/parser/success/unit/LetNoAnnotB.txt create mode 100644 dhall/tests/parser/success/unit/ListLitEmpty1B.txt create mode 100644 dhall/tests/parser/success/unit/ListLitEmpty2B.txt create mode 100644 dhall/tests/parser/success/unit/ListLitEmptyPrecedenceB.txt create mode 100644 dhall/tests/parser/success/unit/ListLitNonEmptyAnnotatedB.txt create mode 100644 dhall/tests/parser/success/unit/ListLitNonEmptyB.txt create mode 100644 dhall/tests/parser/success/unit/MergeAnnotationB.txt create mode 100644 dhall/tests/parser/success/unit/MergeAnnotationPrecedenceB.txt create mode 100644 dhall/tests/parser/success/unit/MergeB.txt create mode 100644 dhall/tests/parser/success/unit/MergeParenAnnotationB.txt create mode 100644 dhall/tests/parser/success/unit/MergeXYZB.txt create mode 100644 dhall/tests/parser/success/unit/NaturalLitB.txt create mode 100644 dhall/tests/parser/success/unit/ProjectionB.txt create mode 100644 dhall/tests/parser/success/unit/QuotedBoolB.txt create mode 100644 dhall/tests/parser/success/unit/QuotedTrueB.txt create mode 100644 dhall/tests/parser/success/unit/QuotedTypeB.txt create mode 100644 dhall/tests/parser/success/unit/QuotedVariableB.txt create mode 100644 dhall/tests/parser/success/unit/RecordFieldAccessB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitDottedB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitDottedEscapeB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitDuplicatesB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitNixLikeB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitPunB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitPunDuplicateB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitPunMixedB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitPunSomeB.txt create mode 100644 dhall/tests/parser/success/unit/RecordLitSomeB.txt create mode 100644 dhall/tests/parser/success/unit/RecordProjectFieldsB.txt create mode 100644 dhall/tests/parser/success/unit/RecordProjectionByTypeB.txt create mode 100644 dhall/tests/parser/success/unit/RecordProjectionByTypeEmptyB.txt create mode 100644 dhall/tests/parser/success/unit/RecordTypeB.txt create mode 100644 dhall/tests/parser/success/unit/SelectionSomeB.txt create mode 100644 dhall/tests/parser/success/unit/SomeXB.txt create mode 100644 dhall/tests/parser/success/unit/SomeXYZB.txt create mode 100644 dhall/tests/parser/success/unit/SortB.txt create mode 100644 dhall/tests/parser/success/unit/ToMapAnnotB.txt create mode 100644 dhall/tests/parser/success/unit/ToMapB.txt create mode 100644 dhall/tests/parser/success/unit/TypeB.txt create mode 100644 dhall/tests/parser/success/unit/UnionTypeEmptyB.txt create mode 100644 dhall/tests/parser/success/unit/UnionTypeSomeB.txt create mode 100644 dhall/tests/parser/success/unit/UnionTypeXB.txt create mode 100644 dhall/tests/parser/success/unit/UnionTypeXTYB.txt create mode 100644 dhall/tests/parser/success/unit/UnionTypeXTYUB.txt create mode 100644 dhall/tests/parser/success/unit/UnionTypeXYB.txt create mode 100644 dhall/tests/parser/success/unit/UnionTypeXYTB.txt create mode 100644 dhall/tests/parser/success/unit/VariableB.txt create mode 100644 dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.txt create mode 100644 dhall/tests/parser/success/unit/VariableUnderscoreB.txt create mode 100644 dhall/tests/parser/success/unit/WithB.txt create mode 100644 dhall/tests/parser/success/unit/WithMultipleB.txt create mode 100644 dhall/tests/parser/success/unit/WithPrecedenceB.txt create mode 100644 dhall/tests/parser/success/unit/ifThenElseB.txt create mode 100644 dhall/tests/parser/success/unit/import/AsLocationAbsoluteB.txt create mode 100644 dhall/tests/parser/success/unit/import/AsLocationEnvB.txt create mode 100644 dhall/tests/parser/success/unit/import/AsLocationHashB.txt create mode 100644 dhall/tests/parser/success/unit/import/AsLocationLocalB.txt create mode 100644 dhall/tests/parser/success/unit/import/AsLocationMissingB.txt create mode 100644 dhall/tests/parser/success/unit/import/AsLocationRemoteB.txt create mode 100644 dhall/tests/parser/success/unit/import/HeadersB.txt create mode 100644 dhall/tests/parser/success/unit/import/HeadersDoubleHashB.txt create mode 100644 dhall/tests/parser/success/unit/import/HeadersDoubleHashPrecedenceB.txt create mode 100644 dhall/tests/parser/success/unit/import/HeadersHashPrecedenceB.txt create mode 100644 dhall/tests/parser/success/unit/import/HeadersInteriorHashB.txt create mode 100644 dhall/tests/parser/success/unit/import/ImportAsNoSpaceB.txt create mode 100644 dhall/tests/parser/success/unit/import/MissingB.txt create mode 100644 dhall/tests/parser/success/unit/import/asTextB.txt create mode 100644 dhall/tests/parser/success/unit/import/environmentVariableBashB.txt create mode 100644 dhall/tests/parser/success/unit/import/environmentVariablePosixB.txt create mode 100644 dhall/tests/parser/success/unit/import/hashB.txt create mode 100644 dhall/tests/parser/success/unit/import/importAltB.txt create mode 100644 dhall/tests/parser/success/unit/import/inlineUsingB.txt create mode 100644 dhall/tests/parser/success/unit/import/pathAbsoluteB.txt create mode 100644 dhall/tests/parser/success/unit/import/pathHereB.txt create mode 100644 dhall/tests/parser/success/unit/import/pathHomeB.txt create mode 100644 dhall/tests/parser/success/unit/import/pathParentB.txt create mode 100644 dhall/tests/parser/success/unit/import/pathTerminationLambdaB.txt create mode 100644 dhall/tests/parser/success/unit/import/pathTerminationListB.txt create mode 100644 dhall/tests/parser/success/unit/import/pathTerminationRecordB.txt create mode 100644 dhall/tests/parser/success/unit/import/pathTerminationUnionB.txt create mode 100644 dhall/tests/parser/success/unit/import/quotedPathsB.txt create mode 100644 dhall/tests/parser/success/unit/import/unicodePathsB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/basicHttpB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/basicHttpsB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/emptyPath0B.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/emptyPath1B.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/emptyPathSegmentB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/emptyQueryB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/escapedPathB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/escapedQueryB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/fragmentParsesAsListAppendB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/ipv4B.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/ipv4upperoctetsB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/ipv6longB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/ipv6mediumB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/ipv6shortB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/ipv6verylongB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/ipv6withipv4B.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/portB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/potPourriB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/quotedPathFakeUrlEncodeB.txt create mode 100644 dhall/tests/parser/success/unit/import/urls/userinfoB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolAndB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolEQB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolNEB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolOrB.txt create mode 100644 dhall/tests/parser/success/unit/operators/EquivalenceB.txt create mode 100644 dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/ImportAltB.txt create mode 100644 dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/ListAppendB.txt create mode 100644 dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/NaturalPlusB.txt create mode 100644 dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/NaturalTimesB.txt create mode 100644 dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt create mode 100644 dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt create mode 100644 dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/TextAppendB.txt (limited to 'dhall/tests/parser/success/unit') diff --git a/dhall/tests/parser/success/unit/AnnotationB.txt b/dhall/tests/parser/success/unit/AnnotationB.txt new file mode 100644 index 0000000..c67799a --- /dev/null +++ b/dhall/tests/parser/success/unit/AnnotationB.txt @@ -0,0 +1 @@ +x : T diff --git a/dhall/tests/parser/success/unit/AssertB.txt b/dhall/tests/parser/success/unit/AssertB.txt new file mode 100644 index 0000000..f346a0b --- /dev/null +++ b/dhall/tests/parser/success/unit/AssertB.txt @@ -0,0 +1 @@ +assert : T diff --git a/dhall/tests/parser/success/unit/AssertEquivalenceB.txt b/dhall/tests/parser/success/unit/AssertEquivalenceB.txt new file mode 100644 index 0000000..009c2c8 --- /dev/null +++ b/dhall/tests/parser/success/unit/AssertEquivalenceB.txt @@ -0,0 +1 @@ +assert : x ≡ y diff --git a/dhall/tests/parser/success/unit/AssertEquivalenceUnicodeB.txt b/dhall/tests/parser/success/unit/AssertEquivalenceUnicodeB.txt new file mode 100644 index 0000000..009c2c8 --- /dev/null +++ b/dhall/tests/parser/success/unit/AssertEquivalenceUnicodeB.txt @@ -0,0 +1 @@ +assert : x ≡ y diff --git a/dhall/tests/parser/success/unit/AssertPrecedenceB.txt b/dhall/tests/parser/success/unit/AssertPrecedenceB.txt new file mode 100644 index 0000000..46738a6 --- /dev/null +++ b/dhall/tests/parser/success/unit/AssertPrecedenceB.txt @@ -0,0 +1 @@ +assert : T U diff --git a/dhall/tests/parser/success/unit/BoolB.txt b/dhall/tests/parser/success/unit/BoolB.txt new file mode 100644 index 0000000..13b3e87 --- /dev/null +++ b/dhall/tests/parser/success/unit/BoolB.txt @@ -0,0 +1 @@ +Bool diff --git a/dhall/tests/parser/success/unit/BoolLitTrueB.txt b/dhall/tests/parser/success/unit/BoolLitTrueB.txt new file mode 100644 index 0000000..0ca9514 --- /dev/null +++ b/dhall/tests/parser/success/unit/BoolLitTrueB.txt @@ -0,0 +1 @@ +True diff --git a/dhall/tests/parser/success/unit/BuiltinListBuildB.txt b/dhall/tests/parser/success/unit/BuiltinListBuildB.txt new file mode 100644 index 0000000..87b5277 --- /dev/null +++ b/dhall/tests/parser/success/unit/BuiltinListBuildB.txt @@ -0,0 +1 @@ +`List/Build` diff --git a/dhall/tests/parser/success/unit/CompletionB.txt b/dhall/tests/parser/success/unit/CompletionB.txt new file mode 100644 index 0000000..f52ae4c --- /dev/null +++ b/dhall/tests/parser/success/unit/CompletionB.txt @@ -0,0 +1 @@ +T::r diff --git a/dhall/tests/parser/success/unit/DoubleLitExponentB.txt b/dhall/tests/parser/success/unit/DoubleLitExponentB.txt new file mode 100644 index 0000000..68a10dd --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitExponentB.txt @@ -0,0 +1 @@ +12300.0 diff --git a/dhall/tests/parser/success/unit/DoubleLitExponentNegativeB.txt b/dhall/tests/parser/success/unit/DoubleLitExponentNegativeB.txt new file mode 100644 index 0000000..e104763 --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitExponentNegativeB.txt @@ -0,0 +1 @@ +0.000123 diff --git a/dhall/tests/parser/success/unit/DoubleLitExponentNoDotB.txt b/dhall/tests/parser/success/unit/DoubleLitExponentNoDotB.txt new file mode 100644 index 0000000..36c9030 --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitExponentNoDotB.txt @@ -0,0 +1 @@ +10000.0 diff --git a/dhall/tests/parser/success/unit/DoubleLitInfinityB.txt b/dhall/tests/parser/success/unit/DoubleLitInfinityB.txt new file mode 100644 index 0000000..3c62151 --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitInfinityB.txt @@ -0,0 +1 @@ +Infinity diff --git a/dhall/tests/parser/success/unit/DoubleLitNaNB.txt b/dhall/tests/parser/success/unit/DoubleLitNaNB.txt new file mode 100644 index 0000000..736991a --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitNaNB.txt @@ -0,0 +1 @@ +NaN diff --git a/dhall/tests/parser/success/unit/DoubleLitNegInfinityB.txt b/dhall/tests/parser/success/unit/DoubleLitNegInfinityB.txt new file mode 100644 index 0000000..879e80e --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitNegInfinityB.txt @@ -0,0 +1 @@ +-Infinity diff --git a/dhall/tests/parser/success/unit/DoubleLitNegZeroB.txt b/dhall/tests/parser/success/unit/DoubleLitNegZeroB.txt new file mode 100644 index 0000000..1344bfd --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitNegZeroB.txt @@ -0,0 +1 @@ +-0.0 diff --git a/dhall/tests/parser/success/unit/DoubleLitNegativeB.txt b/dhall/tests/parser/success/unit/DoubleLitNegativeB.txt new file mode 100644 index 0000000..ff32220 --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitNegativeB.txt @@ -0,0 +1 @@ +-1.23 diff --git a/dhall/tests/parser/success/unit/DoubleLitPositiveB.txt b/dhall/tests/parser/success/unit/DoubleLitPositiveB.txt new file mode 100644 index 0000000..a1b6e17 --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitPositiveB.txt @@ -0,0 +1 @@ +1.23 diff --git a/dhall/tests/parser/success/unit/DoubleLitSecretelyIntB.txt b/dhall/tests/parser/success/unit/DoubleLitSecretelyIntB.txt new file mode 100644 index 0000000..d3827e7 --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitSecretelyIntB.txt @@ -0,0 +1 @@ +1.0 diff --git a/dhall/tests/parser/success/unit/DoubleLitZeroB.txt b/dhall/tests/parser/success/unit/DoubleLitZeroB.txt new file mode 100644 index 0000000..ba66466 --- /dev/null +++ b/dhall/tests/parser/success/unit/DoubleLitZeroB.txt @@ -0,0 +1 @@ +0.0 diff --git a/dhall/tests/parser/success/unit/EmptyRecordLiteralB.txt b/dhall/tests/parser/success/unit/EmptyRecordLiteralB.txt new file mode 100644 index 0000000..339130f --- /dev/null +++ b/dhall/tests/parser/success/unit/EmptyRecordLiteralB.txt @@ -0,0 +1 @@ +{=} diff --git a/dhall/tests/parser/success/unit/FieldB.txt b/dhall/tests/parser/success/unit/FieldB.txt new file mode 100644 index 0000000..48c5f00 --- /dev/null +++ b/dhall/tests/parser/success/unit/FieldB.txt @@ -0,0 +1 @@ +r.x diff --git a/dhall/tests/parser/success/unit/FieldBuiltinNameB.txt b/dhall/tests/parser/success/unit/FieldBuiltinNameB.txt new file mode 100644 index 0000000..39c8102 --- /dev/null +++ b/dhall/tests/parser/success/unit/FieldBuiltinNameB.txt @@ -0,0 +1 @@ +r.`List` diff --git a/dhall/tests/parser/success/unit/FieldQuotedB.txt b/dhall/tests/parser/success/unit/FieldQuotedB.txt new file mode 100644 index 0000000..48c5f00 --- /dev/null +++ b/dhall/tests/parser/success/unit/FieldQuotedB.txt @@ -0,0 +1 @@ +r.x diff --git a/dhall/tests/parser/success/unit/ForallB.txt b/dhall/tests/parser/success/unit/ForallB.txt new file mode 100644 index 0000000..073e303 --- /dev/null +++ b/dhall/tests/parser/success/unit/ForallB.txt @@ -0,0 +1 @@ +∀(x : T) → x diff --git a/dhall/tests/parser/success/unit/ForallNestedB.txt b/dhall/tests/parser/success/unit/ForallNestedB.txt new file mode 100644 index 0000000..58b9390 --- /dev/null +++ b/dhall/tests/parser/success/unit/ForallNestedB.txt @@ -0,0 +1 @@ +∀(x : T) → ∀(y : U) → x diff --git a/dhall/tests/parser/success/unit/ForallUnderscoreB.txt b/dhall/tests/parser/success/unit/ForallUnderscoreB.txt new file mode 100644 index 0000000..764eb4e --- /dev/null +++ b/dhall/tests/parser/success/unit/ForallUnderscoreB.txt @@ -0,0 +1 @@ +T → x diff --git a/dhall/tests/parser/success/unit/FunctionApplicationMultipleArgsB.txt b/dhall/tests/parser/success/unit/FunctionApplicationMultipleArgsB.txt new file mode 100644 index 0000000..a1b1c55 --- /dev/null +++ b/dhall/tests/parser/success/unit/FunctionApplicationMultipleArgsB.txt @@ -0,0 +1 @@ +((f x) y) z diff --git a/dhall/tests/parser/success/unit/FunctionApplicationOneArgB.txt b/dhall/tests/parser/success/unit/FunctionApplicationOneArgB.txt new file mode 100644 index 0000000..2137704 --- /dev/null +++ b/dhall/tests/parser/success/unit/FunctionApplicationOneArgB.txt @@ -0,0 +1 @@ +f x diff --git a/dhall/tests/parser/success/unit/FunctionTypeArrowB.txt b/dhall/tests/parser/success/unit/FunctionTypeArrowB.txt new file mode 100644 index 0000000..13d9d04 --- /dev/null +++ b/dhall/tests/parser/success/unit/FunctionTypeArrowB.txt @@ -0,0 +1 @@ +T → U diff --git a/dhall/tests/parser/success/unit/FunctionTypePiB.txt b/dhall/tests/parser/success/unit/FunctionTypePiB.txt new file mode 100644 index 0000000..52d23ff --- /dev/null +++ b/dhall/tests/parser/success/unit/FunctionTypePiB.txt @@ -0,0 +1 @@ +∀(x : T) → U diff --git a/dhall/tests/parser/success/unit/FunctionTypePiNestedB.txt b/dhall/tests/parser/success/unit/FunctionTypePiNestedB.txt new file mode 100644 index 0000000..0f22d2d --- /dev/null +++ b/dhall/tests/parser/success/unit/FunctionTypePiNestedB.txt @@ -0,0 +1 @@ +∀(x : T) → ∀(y : U) → V diff --git a/dhall/tests/parser/success/unit/FunctionTypePiUnderscoreB.txt b/dhall/tests/parser/success/unit/FunctionTypePiUnderscoreB.txt new file mode 100644 index 0000000..13d9d04 --- /dev/null +++ b/dhall/tests/parser/success/unit/FunctionTypePiUnderscoreB.txt @@ -0,0 +1 @@ +T → U diff --git a/dhall/tests/parser/success/unit/FunctionTypePiUnicodeB.txt b/dhall/tests/parser/success/unit/FunctionTypePiUnicodeB.txt new file mode 100644 index 0000000..52d23ff --- /dev/null +++ b/dhall/tests/parser/success/unit/FunctionTypePiUnicodeB.txt @@ -0,0 +1 @@ +∀(x : T) → U diff --git a/dhall/tests/parser/success/unit/IntegerLitNegativeB.txt b/dhall/tests/parser/success/unit/IntegerLitNegativeB.txt new file mode 100644 index 0000000..2916703 --- /dev/null +++ b/dhall/tests/parser/success/unit/IntegerLitNegativeB.txt @@ -0,0 +1 @@ +-10 diff --git a/dhall/tests/parser/success/unit/IntegerLitPositiveB.txt b/dhall/tests/parser/success/unit/IntegerLitPositiveB.txt new file mode 100644 index 0000000..d223932 --- /dev/null +++ b/dhall/tests/parser/success/unit/IntegerLitPositiveB.txt @@ -0,0 +1 @@ ++10 diff --git a/dhall/tests/parser/success/unit/KindB.txt b/dhall/tests/parser/success/unit/KindB.txt new file mode 100644 index 0000000..894beeb --- /dev/null +++ b/dhall/tests/parser/success/unit/KindB.txt @@ -0,0 +1 @@ +Kind diff --git a/dhall/tests/parser/success/unit/LambdaB.txt b/dhall/tests/parser/success/unit/LambdaB.txt new file mode 100644 index 0000000..07caabf --- /dev/null +++ b/dhall/tests/parser/success/unit/LambdaB.txt @@ -0,0 +1 @@ +λ(x : T) → x diff --git a/dhall/tests/parser/success/unit/LambdaNestedB.txt b/dhall/tests/parser/success/unit/LambdaNestedB.txt new file mode 100644 index 0000000..1e487c5 --- /dev/null +++ b/dhall/tests/parser/success/unit/LambdaNestedB.txt @@ -0,0 +1 @@ +λ(x : T) → λ(y : U) → x diff --git a/dhall/tests/parser/success/unit/LambdaUnderscoreB.txt b/dhall/tests/parser/success/unit/LambdaUnderscoreB.txt new file mode 100644 index 0000000..10000d0 --- /dev/null +++ b/dhall/tests/parser/success/unit/LambdaUnderscoreB.txt @@ -0,0 +1 @@ +λ(`_` : T) → x diff --git a/dhall/tests/parser/success/unit/LambdaUnicodeB.txt b/dhall/tests/parser/success/unit/LambdaUnicodeB.txt new file mode 100644 index 0000000..506becf --- /dev/null +++ b/dhall/tests/parser/success/unit/LambdaUnicodeB.txt @@ -0,0 +1 @@ +λ(x : T) → y diff --git a/dhall/tests/parser/success/unit/LetAnnotB.txt b/dhall/tests/parser/success/unit/LetAnnotB.txt new file mode 100644 index 0000000..872ac5f --- /dev/null +++ b/dhall/tests/parser/success/unit/LetAnnotB.txt @@ -0,0 +1 @@ +let x : T = y in e diff --git a/dhall/tests/parser/success/unit/LetB.txt b/dhall/tests/parser/success/unit/LetB.txt new file mode 100644 index 0000000..899a370 --- /dev/null +++ b/dhall/tests/parser/success/unit/LetB.txt @@ -0,0 +1 @@ +let x : T = v in e diff --git a/dhall/tests/parser/success/unit/LetMultiB.txt b/dhall/tests/parser/success/unit/LetMultiB.txt new file mode 100644 index 0000000..3770087 --- /dev/null +++ b/dhall/tests/parser/success/unit/LetMultiB.txt @@ -0,0 +1 @@ +let x : T = v in let y : U = w in e diff --git a/dhall/tests/parser/success/unit/LetNestedB.txt b/dhall/tests/parser/success/unit/LetNestedB.txt new file mode 100644 index 0000000..3770087 --- /dev/null +++ b/dhall/tests/parser/success/unit/LetNestedB.txt @@ -0,0 +1 @@ +let x : T = v in let y : U = w in e diff --git a/dhall/tests/parser/success/unit/LetNoAnnotB.txt b/dhall/tests/parser/success/unit/LetNoAnnotB.txt new file mode 100644 index 0000000..64d30e6 --- /dev/null +++ b/dhall/tests/parser/success/unit/LetNoAnnotB.txt @@ -0,0 +1 @@ +let x = y in e diff --git a/dhall/tests/parser/success/unit/ListLitEmpty1B.txt b/dhall/tests/parser/success/unit/ListLitEmpty1B.txt new file mode 100644 index 0000000..cbd438b --- /dev/null +++ b/dhall/tests/parser/success/unit/ListLitEmpty1B.txt @@ -0,0 +1 @@ +[] : List T diff --git a/dhall/tests/parser/success/unit/ListLitEmpty2B.txt b/dhall/tests/parser/success/unit/ListLitEmpty2B.txt new file mode 100644 index 0000000..292df74 --- /dev/null +++ b/dhall/tests/parser/success/unit/ListLitEmpty2B.txt @@ -0,0 +1 @@ +[] : T diff --git a/dhall/tests/parser/success/unit/ListLitEmptyPrecedenceB.txt b/dhall/tests/parser/success/unit/ListLitEmptyPrecedenceB.txt new file mode 100644 index 0000000..604143e --- /dev/null +++ b/dhall/tests/parser/success/unit/ListLitEmptyPrecedenceB.txt @@ -0,0 +1 @@ +[] : (List T) U diff --git a/dhall/tests/parser/success/unit/ListLitNonEmptyAnnotatedB.txt b/dhall/tests/parser/success/unit/ListLitNonEmptyAnnotatedB.txt new file mode 100644 index 0000000..5144935 --- /dev/null +++ b/dhall/tests/parser/success/unit/ListLitNonEmptyAnnotatedB.txt @@ -0,0 +1 @@ +([x, y]) : List T diff --git a/dhall/tests/parser/success/unit/ListLitNonEmptyB.txt b/dhall/tests/parser/success/unit/ListLitNonEmptyB.txt new file mode 100644 index 0000000..5ed6f26 --- /dev/null +++ b/dhall/tests/parser/success/unit/ListLitNonEmptyB.txt @@ -0,0 +1 @@ +[x, y] diff --git a/dhall/tests/parser/success/unit/MergeAnnotationB.txt b/dhall/tests/parser/success/unit/MergeAnnotationB.txt new file mode 100644 index 0000000..ac2f7cc --- /dev/null +++ b/dhall/tests/parser/success/unit/MergeAnnotationB.txt @@ -0,0 +1 @@ +merge x y : t diff --git a/dhall/tests/parser/success/unit/MergeAnnotationPrecedenceB.txt b/dhall/tests/parser/success/unit/MergeAnnotationPrecedenceB.txt new file mode 100644 index 0000000..ee40b5e --- /dev/null +++ b/dhall/tests/parser/success/unit/MergeAnnotationPrecedenceB.txt @@ -0,0 +1 @@ +merge x y : t a diff --git a/dhall/tests/parser/success/unit/MergeB.txt b/dhall/tests/parser/success/unit/MergeB.txt new file mode 100644 index 0000000..2943f26 --- /dev/null +++ b/dhall/tests/parser/success/unit/MergeB.txt @@ -0,0 +1 @@ +merge x y diff --git a/dhall/tests/parser/success/unit/MergeParenAnnotationB.txt b/dhall/tests/parser/success/unit/MergeParenAnnotationB.txt new file mode 100644 index 0000000..77b6e1a --- /dev/null +++ b/dhall/tests/parser/success/unit/MergeParenAnnotationB.txt @@ -0,0 +1 @@ +(merge x y) : t diff --git a/dhall/tests/parser/success/unit/MergeXYZB.txt b/dhall/tests/parser/success/unit/MergeXYZB.txt new file mode 100644 index 0000000..7e83a09 --- /dev/null +++ b/dhall/tests/parser/success/unit/MergeXYZB.txt @@ -0,0 +1 @@ +(merge x y) z diff --git a/dhall/tests/parser/success/unit/NaturalLitB.txt b/dhall/tests/parser/success/unit/NaturalLitB.txt new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/parser/success/unit/NaturalLitB.txt @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/parser/success/unit/ProjectionB.txt b/dhall/tests/parser/success/unit/ProjectionB.txt new file mode 100644 index 0000000..ea86639 --- /dev/null +++ b/dhall/tests/parser/success/unit/ProjectionB.txt @@ -0,0 +1 @@ +r.{ x, y, z } diff --git a/dhall/tests/parser/success/unit/QuotedBoolB.txt b/dhall/tests/parser/success/unit/QuotedBoolB.txt new file mode 100644 index 0000000..beee805 --- /dev/null +++ b/dhall/tests/parser/success/unit/QuotedBoolB.txt @@ -0,0 +1 @@ +`Bool` diff --git a/dhall/tests/parser/success/unit/QuotedTrueB.txt b/dhall/tests/parser/success/unit/QuotedTrueB.txt new file mode 100644 index 0000000..53ae81b --- /dev/null +++ b/dhall/tests/parser/success/unit/QuotedTrueB.txt @@ -0,0 +1 @@ +`True` diff --git a/dhall/tests/parser/success/unit/QuotedTypeB.txt b/dhall/tests/parser/success/unit/QuotedTypeB.txt new file mode 100644 index 0000000..fdc8936 --- /dev/null +++ b/dhall/tests/parser/success/unit/QuotedTypeB.txt @@ -0,0 +1 @@ +`Type` diff --git a/dhall/tests/parser/success/unit/QuotedVariableB.txt b/dhall/tests/parser/success/unit/QuotedVariableB.txt new file mode 100644 index 0000000..a454cf2 --- /dev/null +++ b/dhall/tests/parser/success/unit/QuotedVariableB.txt @@ -0,0 +1 @@ +`x+y` diff --git a/dhall/tests/parser/success/unit/RecordFieldAccessB.txt b/dhall/tests/parser/success/unit/RecordFieldAccessB.txt new file mode 100644 index 0000000..48c5f00 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordFieldAccessB.txt @@ -0,0 +1 @@ +r.x diff --git a/dhall/tests/parser/success/unit/RecordLitB.txt b/dhall/tests/parser/success/unit/RecordLitB.txt new file mode 100644 index 0000000..ea810e1 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitB.txt @@ -0,0 +1 @@ +{ x = 1, y = 2 } diff --git a/dhall/tests/parser/success/unit/RecordLitDottedB.txt b/dhall/tests/parser/success/unit/RecordLitDottedB.txt new file mode 100644 index 0000000..92b1e38 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitDottedB.txt @@ -0,0 +1 @@ +{ x = { y = { z = 1 } } } diff --git a/dhall/tests/parser/success/unit/RecordLitDottedEscapeB.txt b/dhall/tests/parser/success/unit/RecordLitDottedEscapeB.txt new file mode 100644 index 0000000..8b78d94 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitDottedEscapeB.txt @@ -0,0 +1 @@ +{ `x.y` = { z = 1 } } diff --git a/dhall/tests/parser/success/unit/RecordLitDuplicatesB.txt b/dhall/tests/parser/success/unit/RecordLitDuplicatesB.txt new file mode 100644 index 0000000..713289f --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitDuplicatesB.txt @@ -0,0 +1 @@ +{ x = { y = 1 } ∧ { z = 1 } } diff --git a/dhall/tests/parser/success/unit/RecordLitNixLikeB.txt b/dhall/tests/parser/success/unit/RecordLitNixLikeB.txt new file mode 100644 index 0000000..a7d6ca7 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitNixLikeB.txt @@ -0,0 +1 @@ +{ x = { y = 1 } ∧ { z = True } } diff --git a/dhall/tests/parser/success/unit/RecordLitPunB.txt b/dhall/tests/parser/success/unit/RecordLitPunB.txt new file mode 100644 index 0000000..98b64f7 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitPunB.txt @@ -0,0 +1 @@ +{ x = x, y = y, z = z } diff --git a/dhall/tests/parser/success/unit/RecordLitPunDuplicateB.txt b/dhall/tests/parser/success/unit/RecordLitPunDuplicateB.txt new file mode 100644 index 0000000..39fe799 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitPunDuplicateB.txt @@ -0,0 +1 @@ +{ x = x ∧ x, y = y } diff --git a/dhall/tests/parser/success/unit/RecordLitPunMixedB.txt b/dhall/tests/parser/success/unit/RecordLitPunMixedB.txt new file mode 100644 index 0000000..f2b5f37 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitPunMixedB.txt @@ -0,0 +1 @@ +{ w = { a = { b = 2 } }, x = x, y = 1, z = z } diff --git a/dhall/tests/parser/success/unit/RecordLitPunSomeB.txt b/dhall/tests/parser/success/unit/RecordLitPunSomeB.txt new file mode 100644 index 0000000..6d0e52f --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitPunSomeB.txt @@ -0,0 +1 @@ +{ `Some` = `Some` } diff --git a/dhall/tests/parser/success/unit/RecordLitSomeB.txt b/dhall/tests/parser/success/unit/RecordLitSomeB.txt new file mode 100644 index 0000000..fc3f65b --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordLitSomeB.txt @@ -0,0 +1 @@ +{ `Some` = 0 } diff --git a/dhall/tests/parser/success/unit/RecordProjectFieldsB.txt b/dhall/tests/parser/success/unit/RecordProjectFieldsB.txt new file mode 100644 index 0000000..ea86639 --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordProjectFieldsB.txt @@ -0,0 +1 @@ +r.{ x, y, z } diff --git a/dhall/tests/parser/success/unit/RecordProjectionByTypeB.txt b/dhall/tests/parser/success/unit/RecordProjectionByTypeB.txt new file mode 100644 index 0000000..b083b0c --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordProjectionByTypeB.txt @@ -0,0 +1 @@ +{ a = 1, b = 2 }.({ a : Natural }) diff --git a/dhall/tests/parser/success/unit/RecordProjectionByTypeEmptyB.txt b/dhall/tests/parser/success/unit/RecordProjectionByTypeEmptyB.txt new file mode 100644 index 0000000..44150df --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordProjectionByTypeEmptyB.txt @@ -0,0 +1 @@ +{ a = 1, b = 2 }.({}) diff --git a/dhall/tests/parser/success/unit/RecordTypeB.txt b/dhall/tests/parser/success/unit/RecordTypeB.txt new file mode 100644 index 0000000..b88d0ae --- /dev/null +++ b/dhall/tests/parser/success/unit/RecordTypeB.txt @@ -0,0 +1 @@ +{ x : T, y : U } diff --git a/dhall/tests/parser/success/unit/SelectionSomeB.txt b/dhall/tests/parser/success/unit/SelectionSomeB.txt new file mode 100644 index 0000000..f07eec8 --- /dev/null +++ b/dhall/tests/parser/success/unit/SelectionSomeB.txt @@ -0,0 +1 @@ +record.{ `Some` } diff --git a/dhall/tests/parser/success/unit/SomeXB.txt b/dhall/tests/parser/success/unit/SomeXB.txt new file mode 100644 index 0000000..bf6eafc --- /dev/null +++ b/dhall/tests/parser/success/unit/SomeXB.txt @@ -0,0 +1 @@ +Some x diff --git a/dhall/tests/parser/success/unit/SomeXYZB.txt b/dhall/tests/parser/success/unit/SomeXYZB.txt new file mode 100644 index 0000000..42be8b2 --- /dev/null +++ b/dhall/tests/parser/success/unit/SomeXYZB.txt @@ -0,0 +1 @@ +((Some x) y) z diff --git a/dhall/tests/parser/success/unit/SortB.txt b/dhall/tests/parser/success/unit/SortB.txt new file mode 100644 index 0000000..9b48bbb --- /dev/null +++ b/dhall/tests/parser/success/unit/SortB.txt @@ -0,0 +1 @@ +Sort diff --git a/dhall/tests/parser/success/unit/ToMapAnnotB.txt b/dhall/tests/parser/success/unit/ToMapAnnotB.txt new file mode 100644 index 0000000..ad65b07 --- /dev/null +++ b/dhall/tests/parser/success/unit/ToMapAnnotB.txt @@ -0,0 +1 @@ +toMap x : T diff --git a/dhall/tests/parser/success/unit/ToMapB.txt b/dhall/tests/parser/success/unit/ToMapB.txt new file mode 100644 index 0000000..ea04391 --- /dev/null +++ b/dhall/tests/parser/success/unit/ToMapB.txt @@ -0,0 +1 @@ +toMap x diff --git a/dhall/tests/parser/success/unit/TypeB.txt b/dhall/tests/parser/success/unit/TypeB.txt new file mode 100644 index 0000000..245bc9d --- /dev/null +++ b/dhall/tests/parser/success/unit/TypeB.txt @@ -0,0 +1 @@ +Type diff --git a/dhall/tests/parser/success/unit/UnionTypeEmptyB.txt b/dhall/tests/parser/success/unit/UnionTypeEmptyB.txt new file mode 100644 index 0000000..c677118 --- /dev/null +++ b/dhall/tests/parser/success/unit/UnionTypeEmptyB.txt @@ -0,0 +1 @@ +< > diff --git a/dhall/tests/parser/success/unit/UnionTypeSomeB.txt b/dhall/tests/parser/success/unit/UnionTypeSomeB.txt new file mode 100644 index 0000000..42d01cb --- /dev/null +++ b/dhall/tests/parser/success/unit/UnionTypeSomeB.txt @@ -0,0 +1 @@ +< `Some`: Natural > diff --git a/dhall/tests/parser/success/unit/UnionTypeXB.txt b/dhall/tests/parser/success/unit/UnionTypeXB.txt new file mode 100644 index 0000000..5385fb7 --- /dev/null +++ b/dhall/tests/parser/success/unit/UnionTypeXB.txt @@ -0,0 +1 @@ +< x > diff --git a/dhall/tests/parser/success/unit/UnionTypeXTYB.txt b/dhall/tests/parser/success/unit/UnionTypeXTYB.txt new file mode 100644 index 0000000..2d3ccc3 --- /dev/null +++ b/dhall/tests/parser/success/unit/UnionTypeXTYB.txt @@ -0,0 +1 @@ +< x: T | y > diff --git a/dhall/tests/parser/success/unit/UnionTypeXTYUB.txt b/dhall/tests/parser/success/unit/UnionTypeXTYUB.txt new file mode 100644 index 0000000..0f942c8 --- /dev/null +++ b/dhall/tests/parser/success/unit/UnionTypeXTYUB.txt @@ -0,0 +1 @@ +< x: T | y: U > diff --git a/dhall/tests/parser/success/unit/UnionTypeXYB.txt b/dhall/tests/parser/success/unit/UnionTypeXYB.txt new file mode 100644 index 0000000..e98d418 --- /dev/null +++ b/dhall/tests/parser/success/unit/UnionTypeXYB.txt @@ -0,0 +1 @@ +< x | y > diff --git a/dhall/tests/parser/success/unit/UnionTypeXYTB.txt b/dhall/tests/parser/success/unit/UnionTypeXYTB.txt new file mode 100644 index 0000000..c5f1624 --- /dev/null +++ b/dhall/tests/parser/success/unit/UnionTypeXYTB.txt @@ -0,0 +1 @@ +< x | y: T > diff --git a/dhall/tests/parser/success/unit/VariableB.txt b/dhall/tests/parser/success/unit/VariableB.txt new file mode 100644 index 0000000..587be6b --- /dev/null +++ b/dhall/tests/parser/success/unit/VariableB.txt @@ -0,0 +1 @@ +x diff --git a/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.txt b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.txt new file mode 100644 index 0000000..a1f4d02 --- /dev/null +++ b/dhall/tests/parser/success/unit/VariableQuotedWithSpaceB.txt @@ -0,0 +1 @@ +` x ` diff --git a/dhall/tests/parser/success/unit/VariableUnderscoreB.txt b/dhall/tests/parser/success/unit/VariableUnderscoreB.txt new file mode 100644 index 0000000..5824cab --- /dev/null +++ b/dhall/tests/parser/success/unit/VariableUnderscoreB.txt @@ -0,0 +1 @@ +`_` diff --git a/dhall/tests/parser/success/unit/WithB.txt b/dhall/tests/parser/success/unit/WithB.txt new file mode 100644 index 0000000..74f42a2 --- /dev/null +++ b/dhall/tests/parser/success/unit/WithB.txt @@ -0,0 +1 @@ +{ a = 1 } ⫽ { a = 2 } diff --git a/dhall/tests/parser/success/unit/WithMultipleB.txt b/dhall/tests/parser/success/unit/WithMultipleB.txt new file mode 100644 index 0000000..76782a5 --- /dev/null +++ b/dhall/tests/parser/success/unit/WithMultipleB.txt @@ -0,0 +1 @@ +{ a = { b = 1 }, c = { d = 2 } } ⫽ { a = { a = { b = 1 }, c = { d = 2 } }.a ⫽ { b = 3 } } ⫽ { c = ({ a = { b = 1 }, c = { d = 2 } } ⫽ { a = { a = { b = 1 }, c = { d = 2 } }.a ⫽ { b = 3 } }).c ⫽ { e = 4 } } diff --git a/dhall/tests/parser/success/unit/WithPrecedenceB.txt b/dhall/tests/parser/success/unit/WithPrecedenceB.txt new file mode 100644 index 0000000..5f22335 --- /dev/null +++ b/dhall/tests/parser/success/unit/WithPrecedenceB.txt @@ -0,0 +1 @@ +{ a = Some 1 } ⫽ { a = Some 2 } ⫽ { a = Some 3 } diff --git a/dhall/tests/parser/success/unit/ifThenElseB.txt b/dhall/tests/parser/success/unit/ifThenElseB.txt new file mode 100644 index 0000000..fee08ee --- /dev/null +++ b/dhall/tests/parser/success/unit/ifThenElseB.txt @@ -0,0 +1 @@ +if True then 1 else 2 diff --git a/dhall/tests/parser/success/unit/import/AsLocationAbsoluteB.txt b/dhall/tests/parser/success/unit/import/AsLocationAbsoluteB.txt new file mode 100644 index 0000000..dcf45d1 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationAbsoluteB.txt @@ -0,0 +1 @@ +/absolute/import as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationEnvB.txt b/dhall/tests/parser/success/unit/import/AsLocationEnvB.txt new file mode 100644 index 0000000..eb4b4a6 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationEnvB.txt @@ -0,0 +1 @@ +env:HOME as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationHashB.txt b/dhall/tests/parser/success/unit/import/AsLocationHashB.txt new file mode 100644 index 0000000..c9e2456 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationHashB.txt @@ -0,0 +1 @@ +./some/import sha256:0000000000000000000000000000000000000000000000000000000000000000 as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationLocalB.txt b/dhall/tests/parser/success/unit/import/AsLocationLocalB.txt new file mode 100644 index 0000000..d92ea82 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationLocalB.txt @@ -0,0 +1 @@ +./local/import as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationMissingB.txt b/dhall/tests/parser/success/unit/import/AsLocationMissingB.txt new file mode 100644 index 0000000..e06a30b --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationMissingB.txt @@ -0,0 +1 @@ +missing as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationRemoteB.txt b/dhall/tests/parser/success/unit/import/AsLocationRemoteB.txt new file mode 100644 index 0000000..e0be314 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationRemoteB.txt @@ -0,0 +1 @@ +https://prelude.dhall-lang.org/package.dhall as Location diff --git a/dhall/tests/parser/success/unit/import/HeadersB.txt b/dhall/tests/parser/success/unit/import/HeadersB.txt new file mode 100644 index 0000000..337a497 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersB.txt @@ -0,0 +1 @@ +https://example.com/foo using (x) diff --git a/dhall/tests/parser/success/unit/import/HeadersDoubleHashB.txt b/dhall/tests/parser/success/unit/import/HeadersDoubleHashB.txt new file mode 100644 index 0000000..bf808c8 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersDoubleHashB.txt @@ -0,0 +1 @@ +https://example.com/foo using (./headers sha256:0000000000000000000000000000000000000000000000000000000000000000) sha256:1111111111111111111111111111111111111111111111111111111111111111 diff --git a/dhall/tests/parser/success/unit/import/HeadersDoubleHashPrecedenceB.txt b/dhall/tests/parser/success/unit/import/HeadersDoubleHashPrecedenceB.txt new file mode 100644 index 0000000..bf808c8 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersDoubleHashPrecedenceB.txt @@ -0,0 +1 @@ +https://example.com/foo using (./headers sha256:0000000000000000000000000000000000000000000000000000000000000000) sha256:1111111111111111111111111111111111111111111111111111111111111111 diff --git a/dhall/tests/parser/success/unit/import/HeadersHashPrecedenceB.txt b/dhall/tests/parser/success/unit/import/HeadersHashPrecedenceB.txt new file mode 100644 index 0000000..15d38db --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersHashPrecedenceB.txt @@ -0,0 +1 @@ +https://example.com/foo using (./headers sha256:0000000000000000000000000000000000000000000000000000000000000000) diff --git a/dhall/tests/parser/success/unit/import/HeadersInteriorHashB.txt b/dhall/tests/parser/success/unit/import/HeadersInteriorHashB.txt new file mode 100644 index 0000000..15d38db --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersInteriorHashB.txt @@ -0,0 +1 @@ +https://example.com/foo using (./headers sha256:0000000000000000000000000000000000000000000000000000000000000000) diff --git a/dhall/tests/parser/success/unit/import/ImportAsNoSpaceB.txt b/dhall/tests/parser/success/unit/import/ImportAsNoSpaceB.txt new file mode 100644 index 0000000..7eb5bb8 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/ImportAsNoSpaceB.txt @@ -0,0 +1 @@ +./import asText diff --git a/dhall/tests/parser/success/unit/import/MissingB.txt b/dhall/tests/parser/success/unit/import/MissingB.txt new file mode 100644 index 0000000..33e45d5 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/MissingB.txt @@ -0,0 +1 @@ +missing diff --git a/dhall/tests/parser/success/unit/import/asTextB.txt b/dhall/tests/parser/success/unit/import/asTextB.txt new file mode 100644 index 0000000..d1d9139 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/asTextB.txt @@ -0,0 +1 @@ +https://example.com/foo as Text diff --git a/dhall/tests/parser/success/unit/import/environmentVariableBashB.txt b/dhall/tests/parser/success/unit/import/environmentVariableBashB.txt new file mode 100644 index 0000000..4dc0aa4 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/environmentVariableBashB.txt @@ -0,0 +1 @@ +env:FOO diff --git a/dhall/tests/parser/success/unit/import/environmentVariablePosixB.txt b/dhall/tests/parser/success/unit/import/environmentVariablePosixB.txt new file mode 100644 index 0000000..abb9fe1 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/environmentVariablePosixB.txt @@ -0,0 +1 @@ +env:"\"\\\a\b\f\n\r\t\v!<[~" diff --git a/dhall/tests/parser/success/unit/import/hashB.txt b/dhall/tests/parser/success/unit/import/hashB.txt new file mode 100644 index 0000000..d3ed45a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/hashB.txt @@ -0,0 +1 @@ +./"a.dhall" sha256:16173e984d35ee3ffd8b6b79167df89480e67d1cd03ea5d0fc93689e4d928e61 diff --git a/dhall/tests/parser/success/unit/import/importAltB.txt b/dhall/tests/parser/success/unit/import/importAltB.txt new file mode 100644 index 0000000..147ae85 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/importAltB.txt @@ -0,0 +1 @@ +env:UNSET1 as Text ? env:UNSET2 ? missing ? env:UNSET3 ? 2 diff --git a/dhall/tests/parser/success/unit/import/inlineUsingB.txt b/dhall/tests/parser/success/unit/import/inlineUsingB.txt new file mode 100644 index 0000000..1434d72 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/inlineUsingB.txt @@ -0,0 +1 @@ +https://example.com/foo using ([{ mapKey = "Authorization", mapValue = "token 5199831f4dd3b79e7c5b7e0ebe75d67aa66e79d4" }]) diff --git a/dhall/tests/parser/success/unit/import/pathAbsoluteB.txt b/dhall/tests/parser/success/unit/import/pathAbsoluteB.txt new file mode 100644 index 0000000..eedebe6 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathAbsoluteB.txt @@ -0,0 +1 @@ +/absolute/path diff --git a/dhall/tests/parser/success/unit/import/pathHereB.txt b/dhall/tests/parser/success/unit/import/pathHereB.txt new file mode 100644 index 0000000..20be97e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathHereB.txt @@ -0,0 +1 @@ +./relative/path diff --git a/dhall/tests/parser/success/unit/import/pathHomeB.txt b/dhall/tests/parser/success/unit/import/pathHomeB.txt new file mode 100644 index 0000000..28b8bd9 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathHomeB.txt @@ -0,0 +1 @@ +~/home/anchored/path diff --git a/dhall/tests/parser/success/unit/import/pathParentB.txt b/dhall/tests/parser/success/unit/import/pathParentB.txt new file mode 100644 index 0000000..12cd2c7 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathParentB.txt @@ -0,0 +1 @@ +../parent/path diff --git a/dhall/tests/parser/success/unit/import/pathTerminationLambdaB.txt b/dhall/tests/parser/success/unit/import/pathTerminationLambdaB.txt new file mode 100644 index 0000000..a0117cd --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathTerminationLambdaB.txt @@ -0,0 +1 @@ +λ(x : ./example) → x diff --git a/dhall/tests/parser/success/unit/import/pathTerminationListB.txt b/dhall/tests/parser/success/unit/import/pathTerminationListB.txt new file mode 100644 index 0000000..a565a6e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathTerminationListB.txt @@ -0,0 +1 @@ +[./example, ./example, ./example] diff --git a/dhall/tests/parser/success/unit/import/pathTerminationRecordB.txt b/dhall/tests/parser/success/unit/import/pathTerminationRecordB.txt new file mode 100644 index 0000000..5304fc2 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathTerminationRecordB.txt @@ -0,0 +1 @@ +{ bar = ./example, foo = ./example } diff --git a/dhall/tests/parser/success/unit/import/pathTerminationUnionB.txt b/dhall/tests/parser/success/unit/import/pathTerminationUnionB.txt new file mode 100644 index 0000000..77eff8a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathTerminationUnionB.txt @@ -0,0 +1 @@ +< foo: ./"example|" bar : ./example > diff --git a/dhall/tests/parser/success/unit/import/quotedPathsB.txt b/dhall/tests/parser/success/unit/import/quotedPathsB.txt new file mode 100644 index 0000000..4705ca3 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/quotedPathsB.txt @@ -0,0 +1 @@ +{ example0 = /foo/bar/"baz qux", example1 = https://example.com/foo/bar%3Fbaz?qux } diff --git a/dhall/tests/parser/success/unit/import/unicodePathsB.txt b/dhall/tests/parser/success/unit/import/unicodePathsB.txt new file mode 100644 index 0000000..179220a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/unicodePathsB.txt @@ -0,0 +1 @@ +./families/"禺.dhall" diff --git a/dhall/tests/parser/success/unit/import/urls/basicHttpB.txt b/dhall/tests/parser/success/unit/import/urls/basicHttpB.txt new file mode 100644 index 0000000..cf5ddf7 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/basicHttpB.txt @@ -0,0 +1 @@ +http://example.com/someFile.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/basicHttpsB.txt b/dhall/tests/parser/success/unit/import/urls/basicHttpsB.txt new file mode 100644 index 0000000..009061c --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/basicHttpsB.txt @@ -0,0 +1 @@ +https://raw.githubusercontent.com/dhall-lang/dhall-haskell/18e4e9a18dc53271146df3ccf5b4177c3552236b/examples/True diff --git a/dhall/tests/parser/success/unit/import/urls/emptyPath0B.txt b/dhall/tests/parser/success/unit/import/urls/emptyPath0B.txt new file mode 100644 index 0000000..dc54b2a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/emptyPath0B.txt @@ -0,0 +1 @@ +https://example.com/ diff --git a/dhall/tests/parser/success/unit/import/urls/emptyPath1B.txt b/dhall/tests/parser/success/unit/import/urls/emptyPath1B.txt new file mode 100644 index 0000000..dc54b2a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/emptyPath1B.txt @@ -0,0 +1 @@ +https://example.com/ diff --git a/dhall/tests/parser/success/unit/import/urls/emptyPathSegmentB.txt b/dhall/tests/parser/success/unit/import/urls/emptyPathSegmentB.txt new file mode 100644 index 0000000..426416a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/emptyPathSegmentB.txt @@ -0,0 +1 @@ +https://example.com/foo//bar diff --git a/dhall/tests/parser/success/unit/import/urls/emptyQueryB.txt b/dhall/tests/parser/success/unit/import/urls/emptyQueryB.txt new file mode 100644 index 0000000..aa8474d --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/emptyQueryB.txt @@ -0,0 +1 @@ +https://example.com/foo? diff --git a/dhall/tests/parser/success/unit/import/urls/escapedPathB.txt b/dhall/tests/parser/success/unit/import/urls/escapedPathB.txt new file mode 100644 index 0000000..a72cff1 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/escapedPathB.txt @@ -0,0 +1 @@ +https://example.com/a%20b/c%2fd/e+f/g%2dh diff --git a/dhall/tests/parser/success/unit/import/urls/escapedQueryB.txt b/dhall/tests/parser/success/unit/import/urls/escapedQueryB.txt new file mode 100644 index 0000000..9f1776e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/escapedQueryB.txt @@ -0,0 +1 @@ +https://example.com/foo?a%20b=c%2fd&e+f/? diff --git a/dhall/tests/parser/success/unit/import/urls/fragmentParsesAsListAppendB.txt b/dhall/tests/parser/success/unit/import/urls/fragmentParsesAsListAppendB.txt new file mode 100644 index 0000000..d6df585 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/fragmentParsesAsListAppendB.txt @@ -0,0 +1 @@ +https://example.com/foo # bar diff --git a/dhall/tests/parser/success/unit/import/urls/ipv4B.txt b/dhall/tests/parser/success/unit/import/urls/ipv4B.txt new file mode 100644 index 0000000..68f3114 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv4B.txt @@ -0,0 +1 @@ +https://127.0.0.1/index.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv4upperoctetsB.txt b/dhall/tests/parser/success/unit/import/urls/ipv4upperoctetsB.txt new file mode 100644 index 0000000..57a688c --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv4upperoctetsB.txt @@ -0,0 +1 @@ +https://200.249.250.255/index.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6longB.txt b/dhall/tests/parser/success/unit/import/urls/ipv6longB.txt new file mode 100644 index 0000000..4cf06bc --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6longB.txt @@ -0,0 +1 @@ +https://[2001:db8:85a3:0:0:8a2e:370:7334]/tutorial.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6mediumB.txt b/dhall/tests/parser/success/unit/import/urls/ipv6mediumB.txt new file mode 100644 index 0000000..0f877e6 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6mediumB.txt @@ -0,0 +1 @@ +https://[2001:db8:85a3::8a2e:370:7334]/tutorial.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6shortB.txt b/dhall/tests/parser/success/unit/import/urls/ipv6shortB.txt new file mode 100644 index 0000000..2d30f9d --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6shortB.txt @@ -0,0 +1 @@ +https://[::]/index.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6verylongB.txt b/dhall/tests/parser/success/unit/import/urls/ipv6verylongB.txt new file mode 100644 index 0000000..3c63448 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6verylongB.txt @@ -0,0 +1 @@ +http://[AAAA:BBBB:CCCC:DDDD:EEEE:FFFF:0000::]/tutorial.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6withipv4B.txt b/dhall/tests/parser/success/unit/import/urls/ipv6withipv4B.txt new file mode 100644 index 0000000..e8bc016 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6withipv4B.txt @@ -0,0 +1 @@ +https://[2001:db8:85a3::8a2e:3.112.115.52]/tutorial.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/portB.txt b/dhall/tests/parser/success/unit/import/urls/portB.txt new file mode 100644 index 0000000..84dfbeb --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/portB.txt @@ -0,0 +1 @@ +https://example.com:1234/foo diff --git a/dhall/tests/parser/success/unit/import/urls/potPourriB.txt b/dhall/tests/parser/success/unit/import/urls/potPourriB.txt new file mode 100644 index 0000000..4de1b98 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/potPourriB.txt @@ -0,0 +1 @@ +https://-._~%2C!$&'*+;=:@0abc1--12a------a-a--a-0/foo?/-._~%2C!$&'*+;=:@/? diff --git a/dhall/tests/parser/success/unit/import/urls/quotedPathFakeUrlEncodeB.txt b/dhall/tests/parser/success/unit/import/urls/quotedPathFakeUrlEncodeB.txt new file mode 100644 index 0000000..a8366d2 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/quotedPathFakeUrlEncodeB.txt @@ -0,0 +1 @@ +https://example.com/a%20b/c diff --git a/dhall/tests/parser/success/unit/import/urls/userinfoB.txt b/dhall/tests/parser/success/unit/import/urls/userinfoB.txt new file mode 100644 index 0000000..7de045e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/userinfoB.txt @@ -0,0 +1 @@ +https://john:doe@example.com/foo diff --git a/dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt b/dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt new file mode 100644 index 0000000..2edfb5d --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt @@ -0,0 +1 @@ +w && x && y && z diff --git a/dhall/tests/parser/success/unit/operators/BoolAndB.txt b/dhall/tests/parser/success/unit/operators/BoolAndB.txt new file mode 100644 index 0000000..7d5be6b --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolAndB.txt @@ -0,0 +1 @@ +x && y diff --git a/dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt b/dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt new file mode 100644 index 0000000..dfc5962 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt @@ -0,0 +1 @@ +w == x == y == z diff --git a/dhall/tests/parser/success/unit/operators/BoolEQB.txt b/dhall/tests/parser/success/unit/operators/BoolEQB.txt new file mode 100644 index 0000000..04dfc84 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolEQB.txt @@ -0,0 +1 @@ +x == y diff --git a/dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt b/dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt new file mode 100644 index 0000000..a09daba --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt @@ -0,0 +1 @@ +w != x != y != z diff --git a/dhall/tests/parser/success/unit/operators/BoolNEB.txt b/dhall/tests/parser/success/unit/operators/BoolNEB.txt new file mode 100644 index 0000000..348bb48 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolNEB.txt @@ -0,0 +1 @@ +x != y diff --git a/dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt b/dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt new file mode 100644 index 0000000..60a3e69 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt @@ -0,0 +1 @@ +w || x || y || z diff --git a/dhall/tests/parser/success/unit/operators/BoolOrB.txt b/dhall/tests/parser/success/unit/operators/BoolOrB.txt new file mode 100644 index 0000000..d3891c2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolOrB.txt @@ -0,0 +1 @@ +x || y diff --git a/dhall/tests/parser/success/unit/operators/EquivalenceB.txt b/dhall/tests/parser/success/unit/operators/EquivalenceB.txt new file mode 100644 index 0000000..f0f3c37 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/EquivalenceB.txt @@ -0,0 +1 @@ +x ≡ y diff --git a/dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt b/dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt new file mode 100644 index 0000000..e788330 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt @@ -0,0 +1 @@ +w ? x ? y ? z diff --git a/dhall/tests/parser/success/unit/operators/ImportAltB.txt b/dhall/tests/parser/success/unit/operators/ImportAltB.txt new file mode 100644 index 0000000..699a2b8 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/ImportAltB.txt @@ -0,0 +1 @@ +x ? y diff --git a/dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt b/dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt new file mode 100644 index 0000000..8d5aee4 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt @@ -0,0 +1 @@ +w # x # y # z diff --git a/dhall/tests/parser/success/unit/operators/ListAppendB.txt b/dhall/tests/parser/success/unit/operators/ListAppendB.txt new file mode 100644 index 0000000..e0f232c --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/ListAppendB.txt @@ -0,0 +1 @@ +x # y diff --git a/dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt b/dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt new file mode 100644 index 0000000..e728865 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt @@ -0,0 +1 @@ +w + x + y + z diff --git a/dhall/tests/parser/success/unit/operators/NaturalPlusB.txt b/dhall/tests/parser/success/unit/operators/NaturalPlusB.txt new file mode 100644 index 0000000..beeb1e5 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/NaturalPlusB.txt @@ -0,0 +1 @@ +x + y diff --git a/dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt b/dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt new file mode 100644 index 0000000..c9bc609 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt @@ -0,0 +1 @@ +w * x * y * z diff --git a/dhall/tests/parser/success/unit/operators/NaturalTimesB.txt b/dhall/tests/parser/success/unit/operators/NaturalTimesB.txt new file mode 100644 index 0000000..d1a067a --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/NaturalTimesB.txt @@ -0,0 +1 @@ +x * y diff --git a/dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt b/dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt new file mode 100644 index 0000000..7f204c7 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt @@ -0,0 +1 @@ +a && b || c d == e || f != g && h || i diff --git a/dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt b/dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt new file mode 100644 index 0000000..c5bb9a2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt @@ -0,0 +1 @@ +a + b * d + e f * (g + h) diff --git a/dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt b/dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt new file mode 100644 index 0000000..772382d --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt @@ -0,0 +1 @@ +a ⫽ b c ∧ d ⫽ e.{ x } ∧ f diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt new file mode 100644 index 0000000..386f323 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt @@ -0,0 +1 @@ +w ⩓ x ⩓ y ⩓ z diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt new file mode 100644 index 0000000..ff04b07 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt @@ -0,0 +1 @@ +x ⩓ y diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt new file mode 100644 index 0000000..5642bd0 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt @@ -0,0 +1 @@ +w ∧ x ∧ y ∧ z diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt new file mode 100644 index 0000000..072f7c2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt @@ -0,0 +1 @@ +x ∧ y diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt new file mode 100644 index 0000000..5642bd0 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt @@ -0,0 +1 @@ +w ∧ x ∧ y ∧ z diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt new file mode 100644 index 0000000..072f7c2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt @@ -0,0 +1 @@ +x ∧ y diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt new file mode 100644 index 0000000..386f323 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt @@ -0,0 +1 @@ +w ⩓ x ⩓ y ⩓ z diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt new file mode 100644 index 0000000..ff04b07 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt @@ -0,0 +1 @@ +x ⩓ y diff --git a/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt new file mode 100644 index 0000000..ab41c2b --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt @@ -0,0 +1 @@ +w ⫽ x ⫽ y ⫽ z diff --git a/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt new file mode 100644 index 0000000..e59a5f2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt @@ -0,0 +1 @@ +x ⫽ y diff --git a/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt new file mode 100644 index 0000000..ab41c2b --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt @@ -0,0 +1 @@ +w ⫽ x ⫽ y ⫽ z diff --git a/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt new file mode 100644 index 0000000..e59a5f2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt @@ -0,0 +1 @@ +x ⫽ y diff --git a/dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt b/dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt new file mode 100644 index 0000000..1f6daf8 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt @@ -0,0 +1 @@ +w ++ x ++ y ++ z diff --git a/dhall/tests/parser/success/unit/operators/TextAppendB.txt b/dhall/tests/parser/success/unit/operators/TextAppendB.txt new file mode 100644 index 0000000..c745d4b --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/TextAppendB.txt @@ -0,0 +1 @@ +x ++ y -- cgit v1.2.3