Fix undefined being emitted instead of null (#7112)

Author: cknitt

compiler/ml/translcore.ml

@@ -361,7 +361,7 @@ let primitives_table =
       ("#raw_expr", Pjs_raw_expr);
       ("#raw_stmt", Pjs_raw_stmt);
       (* FIXME: Core compatibility *)
-      ("#null", Pundefined);
+      ("#null", Pnull);
       ("#undefined", Pundefined);
       ("#typeof", Ptypeof);
       ("#is_nullable", Pisnullable);

lib/es6/JSON.js

@@ -1,6 +1,5 @@
 
 
-import * as Primitive_option from "./Primitive_option.js";
 
 function classify(value) {
   let match = Object.prototype.toString.call(value);
@@ -49,8 +48,8 @@ function bool(json) {
 }
 
 function $$null(json) {
-  if (json === undefined) {
-    return Primitive_option.some(undefined);
+  if (json === null) {
+    return null;
   }
 
 }
@@ -70,7 +69,7 @@ function float(json) {
 }
 
 function object(json) {
-  if (typeof json === "object" && !Array.isArray(json) && json !== undefined) {
+  if (typeof json === "object" && !Array.isArray(json) && json !== null) {
     return json;
   }
 

lib/es6/Null.js

@@ -6,8 +6,9 @@ import * as Primitive_option from "./Primitive_option.js";
 function fromOption(option) {
   if (option !== undefined) {
     return Primitive_option.valFromOption(option);
+  } else {
+    return null;
   }
-  
 }
 
 function equal(a, b, eq) {
@@ -45,10 +46,11 @@ function forEach(value, f) {
 }
 
 function map(value, f) {
-  if (!(value == null)) {
+  if (value == null) {
+    return null;
+  } else {
     return f(value);
   }
-  
 }
 
 function mapOr(value, $$default, f) {
@@ -60,10 +62,11 @@ function mapOr(value, $$default, f) {
 }
 
 function flatMap(value, f) {
-  if (!(value == null)) {
+  if (value == null) {
+    return null;
+  } else {
     return f(value);
   }
-  
 }
 
 let getWithDefault = getOr;

lib/js/JSON.js

@@ -1,6 +1,5 @@
 'use strict';
 
-let Primitive_option = require("./Primitive_option.js");
 
 function classify(value) {
   let match = Object.prototype.toString.call(value);
@@ -49,8 +48,8 @@ function bool(json) {
 }
 
 function $$null(json) {
-  if (json === undefined) {
-    return Primitive_option.some(undefined);
+  if (json === null) {
+    return null;
   }
 
 }
@@ -70,7 +69,7 @@ function float(json) {
 }
 
 function object(json) {
-  if (typeof json === "object" && !Array.isArray(json) && json !== undefined) {
+  if (typeof json === "object" && !Array.isArray(json) && json !== null) {
     return json;
   }
 

lib/js/Null.js

@@ -6,8 +6,9 @@ let Primitive_option = require("./Primitive_option.js");
 function fromOption(option) {
   if (option !== undefined) {
     return Primitive_option.valFromOption(option);
+  } else {
+    return null;
   }
-  
 }
 
 function equal(a, b, eq) {
@@ -45,10 +46,11 @@ function forEach(value, f) {
 }
 
 function map(value, f) {
-  if (!(value == null)) {
+  if (value == null) {
+    return null;
+  } else {
     return f(value);
   }
-  
 }
 
 function mapOr(value, $$default, f) {
@@ -60,10 +62,11 @@ function mapOr(value, $$default, f) {
 }
 
 function flatMap(value, f) {
-  if (!(value == null)) {
+  if (value == null) {
+    return null;
+  } else {
     return f(value);
   }
-  
 }
 
 let getWithDefault = getOr;