diff options
| author | Nadrieril | 2020-01-29 22:06:01 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-29 22:06:01 +0000 |
| commit | a928c3c4f51d87fd942e8a81727962c00abf6808 (patch) | |
| tree | 4351f1326814d7ba5ecd89d47a56c9f55be40fb5 /dhall/tests | |
| parent | 489174a426e6057a68b6edd2e9b4387d09912a25 (diff) | |
Cleanup variable handling
Diffstat (limited to 'dhall/tests')
| -rw-r--r-- | dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt index 02d2970..6b3f8dc 100644 --- a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt +++ b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt @@ -8,7 +8,6 @@ Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF { Replaced( Value@Unevaled { value: Var( - AlphaVar(0), Fresh( 119, ), @@ -40,7 +39,6 @@ Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF { Replaced( Value@Unevaled { value: Var( - AlphaVar(0), Fresh( 120, ), |