Pretty-printing fix

Summary: `++` was what we once used instead of `|` Reviewed By: donsbot Differential Revision: D63324058 fbshipit-source-id: 1c1b9288a9cb1bbe8a727079f7d62d79396fe91f
facebookincubator · Sep 25, 2024 · ca8e76e · ca8e76e
1 parent 5e7817a
commit ca8e76e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/glean/db/Glean/Query/Typecheck/Types.hs b/glean/db/Glean/Query/Typecheck/Types.hs
@@ -78,7 +78,7 @@ data TcTerm
   deriving Show
 
 instance Display TcTerm where
-  display opts (TcOr a b) = display opts a <+> "++" <+> display opts b
+  display opts (TcOr a b) = display opts a <+> "|" <+> display opts b
   display opts (TcDeref _ _ pat) = displayAtom opts pat <> "*"
   display opts (TcFieldSelect (Typed _ pat) field) =
     displayAtom opts pat <> "." <> pretty field