Merge pull request #2646 from jchavarri/missing-belt-option

bobzhang · web-flow · commit 805fcb205943 · 2018-03-19T09:18:22.000+08:00
Adding belt_Option to some files
diff --git a/jscomp/outcome_printer/outcome_printer_ns.ml b/jscomp/outcome_printer/outcome_printer_ns.ml
@@ -96,6 +96,8 @@ let out_ident ppf s =
     | "Belt_MapInt" -> "Belt.Map.Int"
     | "Belt_MapString" -> "Belt.Map.String"
 
+    | "Belt_Option" -> "Belt.Option"
+
     | "Belt_MutableSet" -> "Belt.MutableSet"
     | "Belt_MutableSetInt" -> "Belt.MutableSet.Int"
     | "Belt_MutableSetString" -> "Belt.MutableSet.String"
diff --git a/jscomp/repl.js b/jscomp/repl.js
@@ -103,6 +103,7 @@ var cmi_files =
         `belt_SetString`,
         `belt_Map`,
         `belt_MapInt`,
+        `belt_Option`,
         `belt_MapString`,
         `belt_MutableSet`,
         `belt_MutableSetInt`,
