Fix global-non-global head depth comparison

ollef · Mar 25, 2024 · f86c5da · f86c5da
1 parent 8eab346
commit f86c5da
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Elaboration/Depth.hs b/src/Elaboration/Depth.hs
@@ -22,7 +22,7 @@ compareHeadDepths head1 head2 =
         (Just _, Nothing) -> GT
         (Nothing, Just _) -> LT
         _ -> EQ
-    (_, Domain.Global _) -> pure LT
-    (Domain.Global _, _) -> pure GT
+    (_, Domain.Global _) -> pure GT
+    (Domain.Global _, _) -> pure LT
     (Domain.Var v1, Domain.Var v2) -> pure $ compare v1 v2
     _ -> pure EQ