exception analysis

Author: cristianoc

syntax/loop.res

@@ -0,0 +1,56 @@
+let object15 = (destruct
+) =>
+  Codec.make(
+    // encode
+    value => {
+      let (val1
+      ) = destruct(value)
+      jsonObject([
+        Field.encode(field1, val1),
+        Field.encode(field2, val2),
+        Field.encode(field3, val3),
+        Field.encode(field4, val4),
+        Field.encode(field5, val5),
+        Field.encode(field6, val6),
+        Field.encode(field7, val7),
+        Field.encode(field8, val8),
+        Field.encode(field9, val9),
+        Field.encode(field10, val10),
+        Field.encode(field11, val11),
+        Field.encode(field12, val12),
+        Field.encode(field13, val13),
+        Field.encode(field14, val14),
+        Field.encode(field15, val15),
+      ])
+    },
+    // decode
+    json =>
+      json
+      ->asObject
+      ->Result.flatMap(fieldset =>
+        field7->Field.dfmap(fieldset, val7 =>
+        field8->Field.dfmap(fieldset, val8 =>
+        field9->Field.dfmap(fieldset, val9 =>
+        field10->Field.dfmap(fieldset, val10 =>
+        field11->Field.dfmap(fieldset, val11 =>
+        field12->Field.dfmap(fieldset, val12 =>
+        field13->Field.dfmap(fieldset, val13 =>
+        field14->Field.dfmap(fieldset, val14 =>
+            field15->Field.dfmap(fieldset, val15 => construct((val1, val2, val3,
+        val4,
+        val5,
+        val6,
+        val7,
+        val8,
+        val9,
+        val10,
+        val11,
+        val12,
+        val13,
+        val14,
+        val15,
+      )))
+          )
+        )))))))
+      ),
+  )

syntax/src/res_outcome_printer.ml

@@ -599,7 +599,7 @@ let printPolyVarIdent txt =
                  Doc.line;
                  Doc.group (
                    Doc.join ~sep:Doc.line (List.map (fun prim -> 
-                       let prim = if prim <> "" && prim.[0] = '\132' then "#rescript-external" else prim in 
+                       let prim = if prim <> "" && (prim.[0] [@doesNotRaise]) = '\132' then "#rescript-external" else prim in 
                        (* not display those garbage '\132' is a magic number for marshal *)
                        Doc.text ("\"" ^ prim ^ "\"")) primitives)
                  )