From 4c2a28b844b18d7b67278a1c8f628d9a95ea37c4 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 9 Feb 2020 18:40:15 +0000 Subject: Track error output of parsing and binary decoding tests --- dhall/tests/binary-decode/failure/unit/ApplyNoArgs.txt | 1 + .../tests/binary-decode/failure/unit/LambdaExplicitlyNamedUnderscore.txt | 1 + dhall/tests/binary-decode/failure/unit/ListOneWithAnnotation.txt | 1 + dhall/tests/binary-decode/failure/unit/NaturalNegativeOne.txt | 1 + dhall/tests/binary-decode/failure/unit/OperatorOrTooFewArgs.txt | 1 + dhall/tests/binary-decode/failure/unit/OperatorOrTooManyArgs.txt | 1 + dhall/tests/binary-decode/failure/unit/OperatorUnknownOpcode.txt | 1 + dhall/tests/binary-decode/failure/unit/PiExplicitlyNamedUnderscore.txt | 1 + .../binary-decode/failure/unit/VariableExplicitlyNamedUnderscore.txt | 1 + 9 files changed, 9 insertions(+) create mode 100644 dhall/tests/binary-decode/failure/unit/ApplyNoArgs.txt create mode 100644 dhall/tests/binary-decode/failure/unit/LambdaExplicitlyNamedUnderscore.txt create mode 100644 dhall/tests/binary-decode/failure/unit/ListOneWithAnnotation.txt create mode 100644 dhall/tests/binary-decode/failure/unit/NaturalNegativeOne.txt create mode 100644 dhall/tests/binary-decode/failure/unit/OperatorOrTooFewArgs.txt create mode 100644 dhall/tests/binary-decode/failure/unit/OperatorOrTooManyArgs.txt create mode 100644 dhall/tests/binary-decode/failure/unit/OperatorUnknownOpcode.txt create mode 100644 dhall/tests/binary-decode/failure/unit/PiExplicitlyNamedUnderscore.txt create mode 100644 dhall/tests/binary-decode/failure/unit/VariableExplicitlyNamedUnderscore.txt (limited to 'dhall/tests/binary-decode/failure') diff --git a/dhall/tests/binary-decode/failure/unit/ApplyNoArgs.txt b/dhall/tests/binary-decode/failure/unit/ApplyNoArgs.txt new file mode 100644 index 0000000..0d8b602 --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/ApplyNoArgs.txt @@ -0,0 +1 @@ +WrongFormatError("Function application must have at least one argument") diff --git a/dhall/tests/binary-decode/failure/unit/LambdaExplicitlyNamedUnderscore.txt b/dhall/tests/binary-decode/failure/unit/LambdaExplicitlyNamedUnderscore.txt new file mode 100644 index 0000000..a435173 --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/LambdaExplicitlyNamedUnderscore.txt @@ -0,0 +1 @@ +WrongFormatError("`_` variable was encoded incorrectly") diff --git a/dhall/tests/binary-decode/failure/unit/ListOneWithAnnotation.txt b/dhall/tests/binary-decode/failure/unit/ListOneWithAnnotation.txt new file mode 100644 index 0000000..f96087c --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/ListOneWithAnnotation.txt @@ -0,0 +1 @@ +WrongFormatError("Array([U64(4), U64(0), U64(0)])") diff --git a/dhall/tests/binary-decode/failure/unit/NaturalNegativeOne.txt b/dhall/tests/binary-decode/failure/unit/NaturalNegativeOne.txt new file mode 100644 index 0000000..a09c213 --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/NaturalNegativeOne.txt @@ -0,0 +1 @@ +WrongFormatError("Array([U64(15), I64(-1)])") diff --git a/dhall/tests/binary-decode/failure/unit/OperatorOrTooFewArgs.txt b/dhall/tests/binary-decode/failure/unit/OperatorOrTooFewArgs.txt new file mode 100644 index 0000000..8a7f8d6 --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/OperatorOrTooFewArgs.txt @@ -0,0 +1 @@ +WrongFormatError("Array([U64(3), U64(0), U64(0)])") diff --git a/dhall/tests/binary-decode/failure/unit/OperatorOrTooManyArgs.txt b/dhall/tests/binary-decode/failure/unit/OperatorOrTooManyArgs.txt new file mode 100644 index 0000000..6d1bb39 --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/OperatorOrTooManyArgs.txt @@ -0,0 +1 @@ +WrongFormatError("Array([U64(3), U64(0), U64(0), U64(0), U64(0)])") diff --git a/dhall/tests/binary-decode/failure/unit/OperatorUnknownOpcode.txt b/dhall/tests/binary-decode/failure/unit/OperatorUnknownOpcode.txt new file mode 100644 index 0000000..d61f0b0 --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/OperatorUnknownOpcode.txt @@ -0,0 +1 @@ +WrongFormatError("binop") diff --git a/dhall/tests/binary-decode/failure/unit/PiExplicitlyNamedUnderscore.txt b/dhall/tests/binary-decode/failure/unit/PiExplicitlyNamedUnderscore.txt new file mode 100644 index 0000000..a435173 --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/PiExplicitlyNamedUnderscore.txt @@ -0,0 +1 @@ +WrongFormatError("`_` variable was encoded incorrectly") diff --git a/dhall/tests/binary-decode/failure/unit/VariableExplicitlyNamedUnderscore.txt b/dhall/tests/binary-decode/failure/unit/VariableExplicitlyNamedUnderscore.txt new file mode 100644 index 0000000..a435173 --- /dev/null +++ b/dhall/tests/binary-decode/failure/unit/VariableExplicitlyNamedUnderscore.txt @@ -0,0 +1 @@ +WrongFormatError("`_` variable was encoded incorrectly") -- cgit v1.2.3