Cursor inspector now uses typ equality as opposed to full structural …

…equality
hazelgrove · Nov 18, 2024 · 3b92cc0 · 3b92cc0
1 parent 297b04b
commit 3b92cc0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lweb/view/CursorInspector.re b/src/haz3lweb/view/CursorInspector.re
@@ -117,7 +117,7 @@ let common_ok_view = (cls: Cls.t, ok: Info.ok_pat) => {
       text(":"),
       Type.view(ana),
     ]
-  | (_, Ana(Consistent({ana, syn, _}))) when ana == syn => [
+  | (_, Ana(Consistent({ana, syn, _}))) when Typ.fast_equal(ana, syn) => [
       text(":"),
       Type.view(syn),
       text("equals expected type"),