From 72ad56209fe10e3120c19ca5b820ff267423ab1d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 15:41:21 +0100
Subject: spec: fix precedence of `===` and `with`

---
 dhall/src/syntax/ast/span.rs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'dhall/src/syntax/ast/span.rs')

diff --git a/dhall/src/syntax/ast/span.rs b/dhall/src/syntax/ast/span.rs
index e250602..ab3279b 100644
--- a/dhall/src/syntax/ast/span.rs
+++ b/dhall/src/syntax/ast/span.rs
@@ -66,6 +66,12 @@ impl Span {
                     end: max(x.end, y.end),
                 })
             }
+            (Parsed(_), Parsed(_)) => panic!(
+                "Tried to union incompatible spans: {:?} and {:?}",
+                self, other
+            ),
+            (Parsed(x), _) => Parsed(x.clone()),
+            (_, Parsed(x)) => Parsed(x.clone()),
             _ => panic!(
                 "Tried to union incompatible spans: {:?} and {:?}",
                 self, other
-- 
cgit v1.2.3