Reset mode.

src/pasting.ml

@@ -1,3 +1,5 @@
+(** Check for pasting schemes. *)
+
 open Extlib
 open Common
 open Term

src/setting.ml

@@ -1,7 +1,10 @@
+(** Global settings. *)
+
 open Extlib
 open Common
 
-type mode = [ `Cartesian_closed | `Category | `Symmetric_monoidal | `Monoidal ]
+(** Mode for checking pasting schemes. *)
+type mode = [ `Category | `Monoidal | `Symmetric_monoidal | `Cartesian_closed ]
 
 let mode = ref (`Cartesian_closed : mode)
 

src/term.ml

@@ -1,3 +1,5 @@
+(** Terms of our language. *)
+
 open Extlib
 open Common
 

web/cccatt.ml

@@ -39,6 +39,10 @@ let run _ =
   let error s =
     print ("=¡.¡= Error: " ^ s ^ "\n")
   in
+  let set_mode () =
+    let mode = mode##.value |> Js.to_string in
+    Setting.parse ("mode : " ^ mode)
+  in
   let read () =
     Js.to_string input##.value
   in
@@ -67,15 +71,15 @@ let run _ =
   examples##.onchange :=
     Html.handler
       (fun _ ->
+         set_mode ();
          input##.value := examples##.value |> Js.to_string |> Examples.get |> Js.string;
          do_send ();
          Js.bool true
       );
   mode##.onchange :=
     Html.handler
       (fun _ ->
-         let mode = mode##.value |> Js.to_string in
-         Setting.parse ("mode : " ^ mode);
+         set_mode ();
          Js.bool true
       );