Add support for displaying TupLabel with label and type in view_ty fu…

…nction
hazelgrove · Oct 13, 2024 · bcd9fe2 · bcd9fe2
1 parent c27642b
commit bcd9fe2
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/haz3lweb/view/Type.re b/src/haz3lweb/view/Type.re
@@ -32,7 +32,12 @@ let rec view_ty = (~strip_outer_parens=false, ty: Haz3lcore.Typ.t): Node.t =>
   | Label(name) => ty_view("Label", name)
   | Bool => ty_view("Bool", "Bool")
   | Var(name) => ty_view("Var", name)
-  | TupLabel(_, ty) => view_ty(ty) // TODO (Anthony): What to do here?
+  | TupLabel({term: Label(l), _}, ty) =>
+    div(
+      ~attrs=[clss(["typ-view", "TupLabel"])],
+      [text(l ++ "="), view_ty(ty)],
+    )
+  | TupLabel(_, ty) => view_ty(ty) // This should be impossible
   | Rec(name, t) =>
     div(
       ~attrs=[clss(["typ-view", "Rec"])],