@kaiko.io/rescript-deser 7.0.0-alpha.1 → 7.0.0-alpha.2

package/lib/es6/src/Deser.js

@@ -1,500 +1,435 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Belt_Array from "rescript/lib/es6/belt_Array.js";
-import * as Core__Dict from "@rescript/core/lib/es6/src/Core__Dict.js";
-import * as Caml_option from "rescript/lib/es6/caml_option.js";
-import * as Core__Array from "@rescript/core/lib/es6/src/Core__Array.js";
-import * as Core__Option from "@rescript/core/lib/es6/src/Core__Option.js";
-import * as Core__Result from "@rescript/core/lib/es6/src/Core__Result.js";
-import * as Caml_exceptions from "rescript/lib/es6/caml_exceptions.js";
-import * as Caml_js_exceptions from "rescript/lib/es6/caml_js_exceptions.js";
+import * as Belt_Array from "@rescript/runtime/lib/es6/Belt_Array.js";
+import * as Stdlib_Dict from "@rescript/runtime/lib/es6/Stdlib_Dict.js";
+import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Stdlib_Result from "@rescript/runtime/lib/es6/Stdlib_Result.js";
+import * as Primitive_option from "@rescript/runtime/lib/es6/Primitive_option.js";
+import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
 
-var FieldValue = {};
+let FieldValue = {};
 
-var $$TypeError = /* @__PURE__ */Caml_exceptions.create("Deser.TypeError");
+let $$TypeError = /* @__PURE__ */Primitive_exceptions.create("Deser.TypeError");
 
 function usingString(f) {
-  return function (value) {
-    return f(value);
-  };
+  return value => f(value);
 }
 
 function usingInt(f) {
-  return function (value) {
-    return f(value);
-  };
+  return value => f(value);
 }
 
 function usingFloat(f) {
-  return function (value) {
-    return f(value);
-  };
+  return value => f(value);
 }
 
 function usingBoolean(f) {
-  return function (value) {
-    return f(value);
-  };
+  return value => f(value);
 }
 
 function usingArray(f) {
-  return function (value) {
-    return f(value);
-  };
+  return value => f(value);
 }
 
 function usingObject(f) {
-  return function (value) {
-    return f(value);
-  };
+  return value => f(value);
 }
 
 function variadicInt(hint, fromJs) {
   return {
-          TAG: "Morphism",
-          _0: "Int",
-          _1: (function (value) {
-              var internalValue = fromJs(value);
-              if (internalValue !== undefined) {
-                return Caml_option.valFromOption(internalValue);
-              }
-              throw {
-                    RE_EXN_ID: $$TypeError,
-                    _1: "This Int(" + value.toString() + ") not a valid value here. Hint: " + hint,
-                    Error: new Error()
-                  };
-            })
-        };
+    TAG: "Morphism",
+    _0: "Int",
+    _1: value => {
+      let internalValue = fromJs(value);
+      if (internalValue !== undefined) {
+        return Primitive_option.valFromOption(internalValue);
+      }
+      throw {
+        RE_EXN_ID: $$TypeError,
+        _1: `This Int(` + value.toString() + `) not a valid value here. Hint: ` + hint,
+        Error: new Error()
+      };
+    }
+  };
 }
 
 function variadicString(hint, fromJs) {
   return {
-          TAG: "Morphism",
-          _0: "String",
-          _1: (function (value) {
-              var internalValue = fromJs(value);
-              if (internalValue !== undefined) {
-                return Caml_option.valFromOption(internalValue);
-              }
-              throw {
-                    RE_EXN_ID: $$TypeError,
-                    _1: "This String(\"" + value + "\") not a valid value here. Hint: " + hint,
-                    Error: new Error()
-                  };
-            })
-        };
+    TAG: "Morphism",
+    _0: "String",
+    _1: value => {
+      let internalValue = fromJs(value);
+      if (internalValue !== undefined) {
+        return Primitive_option.valFromOption(internalValue);
+      }
+      throw {
+        RE_EXN_ID: $$TypeError,
+        _1: `This String("` + value + `") not a valid value here. Hint: ` + hint,
+        Error: new Error()
+      };
+    }
+  };
 }
 
 function toString(type_) {
   if (typeof type_ !== "object") {
     switch (type_) {
       case "Any" :
-          return "Any";
+        return "Any";
       case "String" :
-          return "String";
+        return "String";
       case "Int" :
-          return "Integer";
+        return "Integer";
       case "Float" :
-          return "Float";
+        return "Float";
       case "Boolean" :
-          return "Boolean";
+        return "Boolean";
       case "Date" :
       case "Datetime" :
-          return "Date";
+        return "Date";
       case "Self" :
-          return "Self (recursive)";
-      
+        return "Self (recursive)";
     }
   } else {
     switch (type_.TAG) {
       case "Literal" :
-          return "Literal: " + type_._0;
+        return `Literal: ` + type_._0;
       case "Array" :
-          return "Array of " + toString(type_._0);
+        return "Array of " + toString(type_._0);
       case "Tuple" :
-          return "Tuple of (" + type_._0.map(toString).join(", ") + ")";
+        return `Tuple of (` + type_._0.map(toString).join(", ") + `)`;
       case "Object" :
-          var desc = type_._0.map(function (param) {
-                  return param[0] + ": " + toString(param[1]);
-                }).join(", ");
-          return "Object of {" + desc + "}";
+        let desc = type_._0.map(param => param[0] + `: ` + toString(param[1])).join(", ");
+        return `Object of {` + desc + `}`;
       case "Optional" :
       case "OptionalWithDefault" :
-          return "Null of " + toString(type_._0);
+        return "Null of " + toString(type_._0);
       case "Mapping" :
-          return "Mapping of " + toString(type_._0);
+        return `Mapping of ` + toString(type_._0);
       case "Deserializer" :
-          return type_._0.name;
+        return type_._0.name;
       case "Collection" :
-          return "Collection of " + type_._0.name;
+        return "Collection of " + type_._0.name;
       case "DefaultWhenInvalid" :
-          return "Protected " + toString(type_._0);
+        return `Protected ` + toString(type_._0);
       case "Morphism" :
-          return toString(type_._0) + " to apply a morphism";
-      
+        return toString(type_._0) + " to apply a morphism";
     }
   }
 }
 
 function _taggedToString(tagged) {
-  if (!Array.isArray(tagged) && (tagged === null || typeof tagged !== "object") && typeof tagged !== "number" && typeof tagged !== "string" && typeof tagged !== "boolean") {
+  if (tagged === null) {
     return "Null";
   }
   if (Array.isArray(tagged)) {
-    return "Array(" + Core__Option.getOr(JSON.stringify(tagged), "...") + ")";
+    return `Array(` + Stdlib_Option.getOr(JSON.stringify(tagged), "...") + `)`;
   }
   switch (typeof tagged) {
     case "boolean" :
-        if (tagged) {
-          return "Boolean(true)";
-        } else {
-          return "Boolean(false)";
-        }
+      if (tagged) {
+        return "Boolean(true)";
+      } else {
+        return "Boolean(false)";
+      }
     case "string" :
-        return "String(\"" + tagged + "\")";
+      return `String("` + tagged + `")`;
     case "number" :
-        return "Number(" + tagged.toString() + ")";
+      return `Number(` + tagged.toString() + `)`;
     case "object" :
-        return "Object(" + Core__Option.getOr(JSON.stringify(tagged), "...") + ")";
-    
+      return `Object(` + Stdlib_Option.getOr(JSON.stringify(tagged), "...") + `)`;
   }
 }
 
 function extractValue(values, field, shape, self) {
-  var value = values[field];
+  let value = values[field];
   if (value !== undefined) {
     return fromUntagged(value, shape, self);
   }
   if (typeof shape === "object") {
     switch (shape.TAG) {
       case "OptionalWithDefault" :
-          return shape._1;
+        return shape._1;
       case "Optional" :
       case "DefaultWhenInvalid" :
-          return fromUntagged(null, shape, self);
-      default:
-        
+        return fromUntagged(null, shape, self);
     }
   }
   throw {
-        RE_EXN_ID: $$TypeError,
-        _1: "Missing non-optional field '" + field + "'",
-        Error: new Error()
-      };
+    RE_EXN_ID: $$TypeError,
+    _1: `Missing non-optional field '` + field + `'`,
+    Error: new Error()
+  };
 }
 
 function fromUntagged(untagged, _shape, self) {
-  while(true) {
-    var shape = _shape;
-    var exit = 0;
+  while (true) {
+    let shape = _shape;
+    let exit = 0;
     if (typeof shape !== "object") {
       switch (shape) {
         case "Any" :
-            return untagged;
+          return untagged;
         case "String" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && typeof untagged === "string") {
-              return untagged;
-            }
-            break;
+          if (typeof untagged === "string") {
+            return untagged;
+          }
+          break;
         case "Int" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && typeof untagged === "number") {
-              return untagged | 0;
-            }
-            break;
+          if (typeof untagged === "number") {
+            return untagged | 0;
+          }
+          break;
         case "Float" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && typeof untagged === "number") {
-              return untagged;
-            }
-            break;
+          if (typeof untagged === "number") {
+            return untagged;
+          }
+          break;
         case "Boolean" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && typeof untagged === "boolean") {
-              return untagged;
-            }
-            break;
+          if (typeof untagged === "boolean") {
+            return untagged;
+          }
+          break;
         case "Date" :
         case "Datetime" :
-            exit = 2;
-            break;
+          exit = 2;
+          break;
         case "Self" :
-            _shape = self;
-            continue ;
-        
+          _shape = self;
+          continue;
       }
     } else {
       switch (shape.TAG) {
         case "Literal" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && typeof untagged === "string") {
-              var expected = shape._0;
-              if (untagged === expected) {
-                return untagged;
-              }
-              throw {
-                    RE_EXN_ID: $$TypeError,
-                    _1: "Expecting literal " + expected + ", got " + untagged,
-                    Error: new Error()
-                  };
+          if (typeof untagged === "string") {
+            let expected = shape._0;
+            if (untagged === expected) {
+              return untagged;
             }
-            break;
+            throw {
+              RE_EXN_ID: $$TypeError,
+              _1: `Expecting literal ` + expected + `, got ` + untagged,
+              Error: new Error()
+            };
+          }
+          break;
         case "Array" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && Array.isArray(untagged)) {
-              var shape$1 = shape._0;
-              return untagged.map((function(shape$1){
-                        return function (item) {
-                          return fromUntagged(item, shape$1, self);
-                        }
-                        }(shape$1)));
-            }
-            break;
+          if (Array.isArray(untagged)) {
+            let shape$1 = shape._0;
+            return untagged.map(item => fromUntagged(item, shape$1, self));
+          }
+          break;
         case "Tuple" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && Array.isArray(untagged)) {
-              var bases = shape._0;
-              var lenbases = bases.length;
-              var lenitems = untagged.length;
-              if (lenbases === lenitems) {
-                return Belt_Array.zipBy(untagged, bases, (function (i, b) {
-                              return fromUntagged(i, b, self);
-                            }));
-              }
-              throw {
+          if (Array.isArray(untagged)) {
+            let bases = shape._0;
+            let lenbases = bases.length;
+            let lenitems = untagged.length;
+            if (lenbases === lenitems) {
+              return Belt_Array.zipBy(untagged, bases, (i, b) => fromUntagged(i, b, self));
+            }
+            throw {
+              RE_EXN_ID: $$TypeError,
+              _1: `Expecting ` + lenbases.toString() + ` items, got ` + lenitems.toString(),
+              Error: new Error()
+            };
+          }
+          break;
+        case "Object" :
+          if (typeof untagged === "object" && untagged !== null && !Array.isArray(untagged)) {
+            return Object.fromEntries(shape._0.map(param => {
+              let field = param[0];
+              let value;
+              try {
+                value = extractValue(untagged, field, param[1], self);
+              } catch (raw_msg) {
+                let msg = Primitive_exceptions.internalToException(raw_msg);
+                if (msg.RE_EXN_ID === $$TypeError) {
+                  throw {
                     RE_EXN_ID: $$TypeError,
-                    _1: "Expecting " + lenbases.toString() + " items, got " + lenitems.toString(),
+                    _1: `Field "` + field + `": ` + msg._1,
                     Error: new Error()
                   };
-            }
-            break;
-        case "Object" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && typeof untagged === "object" && !Array.isArray(untagged)) {
-              return Object.fromEntries(shape._0.map(function (param) {
-                              var field = param[0];
-                              var value;
-                              try {
-                                value = extractValue(untagged, field, param[1], self);
-                              }
-                              catch (raw_msg){
-                                var msg = Caml_js_exceptions.internalToOCamlException(raw_msg);
-                                if (msg.RE_EXN_ID === $$TypeError) {
-                                  throw {
-                                        RE_EXN_ID: $$TypeError,
-                                        _1: "Field \"" + field + "\": " + msg._1,
-                                        Error: new Error()
-                                      };
-                                }
-                                throw msg;
-                              }
-                              return [
-                                      field,
-                                      value
-                                    ];
-                            }));
-            }
-            break;
+                }
+                throw msg;
+              }
+              return [
+                field,
+                value
+              ];
+            }));
+          }
+          break;
         case "Optional" :
-            if (!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") {
-              return undefined;
-            }
-            _shape = shape._0;
-            continue ;
+          if (untagged === null) {
+            return undefined;
+          }
+          _shape = shape._0;
+          continue;
         case "OptionalWithDefault" :
-            if (!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") {
-              return shape._1;
-            }
-            _shape = shape._0;
-            continue ;
+          if (untagged === null) {
+            return shape._1;
+          }
+          _shape = shape._0;
+          continue;
         case "Mapping" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && typeof untagged === "object" && !Array.isArray(untagged)) {
-              var f = shape._0;
-              return Core__Dict.mapValues(untagged, (function(f){
-                        return function (v) {
-                          return fromUntagged(v, f, self);
-                        }
-                        }(f)));
-            }
-            break;
+          if (typeof untagged === "object" && untagged !== null && !Array.isArray(untagged)) {
+            let f = shape._0;
+            return Stdlib_Dict.mapValues(untagged, v => fromUntagged(v, f, self));
+          }
+          break;
         case "Deserializer" :
-            var res = shape._0.fromJSON(untagged);
-            if (res.TAG === "Ok") {
-              return res._0;
-            }
-            throw {
-                  RE_EXN_ID: $$TypeError,
-                  _1: res._0,
-                  Error: new Error()
-                };
+          let res = shape._0.fromJSON(untagged);
+          if (res.TAG === "Ok") {
+            return res._0;
+          }
+          throw {
+            RE_EXN_ID: $$TypeError,
+            _1: res._0,
+            Error: new Error()
+          };
         case "Collection" :
-            if (!(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean") && Array.isArray(untagged)) {
-              return Core__Array.filterMap(untagged.map(shape._0.fromJSON), (function (x) {
-                              if (x.TAG === "Ok") {
-                                return Caml_option.some(x._0);
-                              }
-                              console.warn("Deser", "Could not deserialize value in the collection", x._0);
-                            })).map(function (prim) {
-                          return prim;
-                        });
-            }
-            break;
-        case "DefaultWhenInvalid" :
-            try {
-              return fromUntagged(untagged, shape._0, self);
-            }
-            catch (raw_msg){
-              var msg = Caml_js_exceptions.internalToOCamlException(raw_msg);
-              if (msg.RE_EXN_ID === $$TypeError) {
-                console.warn("Detected and ignore (with default): ", msg._1);
-                return shape._1;
+          if (Array.isArray(untagged)) {
+            return Stdlib_Array.filterMap(untagged.map(shape._0.fromJSON), x => {
+              if (x.TAG === "Ok") {
+                return Primitive_option.some(x._0);
               }
-              throw msg;
+              console.warn("Deser", "Could not deserialize value in the collection", x._0);
+            }).map(prim => prim);
+          }
+          break;
+        case "DefaultWhenInvalid" :
+          try {
+            return fromUntagged(untagged, shape._0, self);
+          } catch (raw_msg) {
+            let msg = Primitive_exceptions.internalToException(raw_msg);
+            if (msg.RE_EXN_ID === $$TypeError) {
+              console.warn("Detected and ignore (with default): ", msg._1);
+              return shape._1;
             }
+            throw msg;
+          }
         case "Morphism" :
-            return shape._1(fromUntagged(untagged, shape._0, self));
-        
+          return shape._1(fromUntagged(untagged, shape._0, self));
       }
     }
-    if (exit === 2 && !(!Array.isArray(untagged) && (untagged === null || typeof untagged !== "object") && typeof untagged !== "number" && typeof untagged !== "string" && typeof untagged !== "boolean")) {
+    if (exit === 2) {
       switch (typeof untagged) {
         case "string" :
-            var r = new Date(untagged);
-            if (isNaN(r.getDate())) {
-              throw {
-                    RE_EXN_ID: $$TypeError,
-                    _1: "Invalid date " + untagged,
-                    Error: new Error()
-                  };
-            }
-            return r;
+          let r = new Date(untagged);
+          if (Number.isNaN(r.getDate())) {
+            throw {
+              RE_EXN_ID: $$TypeError,
+              _1: `Invalid date ` + untagged,
+              Error: new Error()
+            };
+          }
+          return r;
         case "number" :
-            var r$1 = new Date(untagged);
-            if (isNaN(r$1.getDate())) {
-              throw {
-                    RE_EXN_ID: $$TypeError,
-                    _1: "Invalid date " + untagged.toString(),
-                    Error: new Error()
-                  };
-            }
-            return r$1;
-        default:
-          
+          let r$1 = new Date(untagged);
+          if (Number.isNaN(r$1.getDate())) {
+            throw {
+              RE_EXN_ID: $$TypeError,
+              _1: `Invalid date ` + untagged.toString(),
+              Error: new Error()
+            };
+          }
+          return r$1;
       }
     }
     throw {
-          RE_EXN_ID: $$TypeError,
-          _1: "Expected " + toString(shape) + ", but got " + _taggedToString(untagged) + " instead",
-          Error: new Error()
-        };
+      RE_EXN_ID: $$TypeError,
+      _1: `Expected ` + toString(shape) + `, but got ` + _taggedToString(untagged) + ` instead`,
+      Error: new Error()
+    };
   };
 }
 
 function checkFieldsSanity(name, _fields, _optional) {
-  while(true) {
-    var optional = _optional;
-    var fields = _fields;
-    var exit = 0;
+  while (true) {
+    let optional = _optional;
+    let fields = _fields;
+    let exit = 0;
     if (typeof fields !== "object") {
       switch (fields) {
         case "Self" :
-            if (optional) {
-              return {
-                      TAG: "Ok",
-                      _0: undefined
-                    };
-            } else {
-              return {
-                      TAG: "Error",
-                      _0: name + ": Trivial infinite recursion 'let fields = Self'"
-                    };
-            }
+          if (optional) {
+            return {
+              TAG: "Ok",
+              _0: undefined
+            };
+          } else {
+            return {
+              TAG: "Error",
+              _0: name + `: Trivial infinite recursion 'let fields = Self'`
+            };
+          }
         default:
           return {
-                  TAG: "Ok",
-                  _0: undefined
-                };
+            TAG: "Ok",
+            _0: undefined
+          };
       }
     } else {
       switch (fields.TAG) {
         case "Tuple" :
-            return Core__Result.map(Core__Array.reduce(fields._0.map((function(optional){
-                              return function (field, index) {
-                                return function () {
-                                  return checkFieldsSanity(name + "[" + index.toString() + "]", field, optional);
-                                };
-                              }
-                              }(optional))), {
-                            TAG: "Ok",
-                            _0: []
-                          }, (function (res, nextitem) {
-                              return Core__Result.flatMap(res, (function (arr) {
-                                            return Core__Result.map(nextitem(), (function (i) {
-                                                          return arr.concat([i]);
-                                                        }));
-                                          }));
-                            })), (function (param) {
-                          
-                        }));
+          return Stdlib_Result.map(Stdlib_Array.reduce(fields._0.map((field, index) => (() => checkFieldsSanity(name + `[` + index.toString() + `]`, field, optional))), {
+            TAG: "Ok",
+            _0: []
+          }, (res, nextitem) => Stdlib_Result.flatMap(res, arr => Stdlib_Result.map(nextitem(), i => arr.concat([i])))), param => {});
         case "Object" :
-            return Core__Result.map(Core__Array.reduce(fields._0.map((function(optional){
-                              return function (param) {
-                                var field = param[1];
-                                var fieldName = param[0];
-                                return function () {
-                                  return checkFieldsSanity(name + "::" + fieldName, field, optional);
-                                };
-                              }
-                              }(optional))), {
-                            TAG: "Ok",
-                            _0: []
-                          }, (function (res, nextitem) {
-                              return Core__Result.flatMap(res, (function (arr) {
-                                            return Core__Result.map(nextitem(), (function (i) {
-                                                          return arr.concat([i]);
-                                                        }));
-                                          }));
-                            })), (function (param) {
-                          
-                        }));
+          return Stdlib_Result.map(Stdlib_Array.reduce(fields._0.map(param => {
+            let field = param[1];
+            let fieldName = param[0];
+            return () => checkFieldsSanity(name + `::` + fieldName, field, optional);
+          }), {
+            TAG: "Ok",
+            _0: []
+          }, (res, nextitem) => Stdlib_Result.flatMap(res, arr => Stdlib_Result.map(nextitem(), i => arr.concat([i])))), param => {});
         case "Array" :
         case "Mapping" :
-            _optional = true;
-            _fields = fields._0;
-            continue ;
+          _optional = true;
+          _fields = fields._0;
+          continue;
         case "Deserializer" :
         case "Collection" :
-            exit = 2;
-            break;
+          exit = 2;
+          break;
         case "Optional" :
         case "OptionalWithDefault" :
         case "DefaultWhenInvalid" :
-            exit = 1;
-            break;
+          exit = 1;
+          break;
         default:
           return {
-                  TAG: "Ok",
-                  _0: undefined
-                };
+            TAG: "Ok",
+            _0: undefined
+          };
       }
     }
     switch (exit) {
       case 1 :
-          _optional = true;
-          _fields = fields._0;
-          continue ;
+        _optional = true;
+        _fields = fields._0;
+        continue;
       case 2 :
-          var msg = fields._0.checkFieldsSanity();
-          if (msg.TAG === "Ok") {
-            return {
-                    TAG: "Ok",
-                    _0: undefined
-                  };
-          } else {
-            return {
-                    TAG: "Error",
-                    _0: name + "/ " + msg._0
-                  };
-          }
-      
+        let msg = fields._0.checkFieldsSanity();
+        if (msg.TAG === "Ok") {
+          return {
+            TAG: "Ok",
+            _0: undefined
+          };
+        } else {
+          return {
+            TAG: "Error",
+            _0: name + `/ ` + msg._0
+          };
+        }
     }
   };
 }
 
-var Field = {
+let Field = {
   usingString: usingString,
   usingInt: usingInt,
   usingFloat: usingFloat,
@@ -511,42 +446,39 @@ var Field = {
 };
 
 function MakeDeserializer(S) {
-  var fields = S.fields;
-  var name = "Deserializer " + "Deser" + ", " + "File \"Deser.res\", line 328, characters 39-47";
-  var checkFieldsSanity$1 = function () {
-    return checkFieldsSanity(name, fields, false);
-  };
-  var fromJSON = function (json) {
-    var res;
+  let fields = S.fields;
+  let name = `Deserializer ` + "Deser" + `, ` + "File \"Deser.res\", line 318, characters 39-47";
+  let checkFieldsSanity$1 = () => checkFieldsSanity(name, fields, false);
+  let fromJSON = json => {
+    let res;
     try {
       res = fromUntagged(json, fields, fields);
-    }
-    catch (raw_e){
-      var e = Caml_js_exceptions.internalToOCamlException(raw_e);
+    } catch (raw_e) {
+      let e = Primitive_exceptions.internalToException(raw_e);
       if (e.RE_EXN_ID === $$TypeError) {
         return {
-                TAG: "Error",
-                _0: e._1
-              };
+          TAG: "Error",
+          _0: e._1
+        };
       }
       throw e;
     }
     return {
-            TAG: "Ok",
-            _0: res
-          };
+      TAG: "Ok",
+      _0: res
+    };
   };
   return {
-          name: name,
-          fromJSON: fromJSON,
-          checkFieldsSanity: checkFieldsSanity$1
-        };
+    name: name,
+    fromJSON: fromJSON,
+    checkFieldsSanity: checkFieldsSanity$1
+  };
 }
 
 export {
-  FieldValue ,
-  $$TypeError ,
-  Field ,
-  MakeDeserializer ,
+  FieldValue,
+  $$TypeError,
+  Field,
+  MakeDeserializer,
 }
 /* No side effect */