Hide Ascriptions setting

Author: Negabinary

src/web/Settings.re

@@ -97,6 +97,7 @@ module Update = {
     | ShowCaseClauses
     | ShowFnBodies
     | ShowAscriptionSteps
+    | ShowAscriptions
     | ShowCaseSteps
     | ShowFixpoints
     | ShowLookups
@@ -211,6 +212,10 @@ module Update = {
               ...evaluation,
               show_ascription_steps: !evaluation.show_ascription_steps,
             }
+          | ShowAscriptions => {
+              ...evaluation,
+              show_ascriptions: !evaluation.show_ascriptions,
+            }
           | ShowCaseSteps => {
               ...evaluation,
               show_case_steps: !evaluation.show_case_steps,

src/web/app/editors/SettingsModal.re

@@ -41,6 +41,12 @@ let view =
         settings.show_case_clauses,
         Evaluation(ShowCaseClauses),
       ),
+      setting(
+        "⇨",
+        "show case steps",
+        settings.show_case_steps,
+        Evaluation(ShowCaseSteps),
+      ),
       setting(
         "λ",
         "show function bodies",
@@ -53,6 +59,12 @@ let view =
         settings.show_fixpoints,
         Evaluation(ShowFixpoints),
       ),
+      setting(
+        ":",
+        "show ascriptions",
+        settings.show_ascriptions,
+        Evaluation(ShowAscriptions),
+      ),
       setting(
         "⇨",
         "show ascription steps",

src/web/view/NutMenu.re

@@ -66,6 +66,7 @@ let values_group = (~globals: Globals.t) => {
       ("λ", "Functions", s.show_fn_bodies, Evaluation(ShowFnBodies)),
       ("|", "Cases", s.show_case_clauses, Evaluation(ShowCaseClauses)),
       ("f", "Fixpoints", s.show_fixpoints, Evaluation(ShowFixpoints)),
+      (":", "Ascriptions", s.show_ascriptions, Evaluation(ShowAscriptions)),
     ],
   );
 };