Merge 6c774aa into 27da8bf

rescript-lang · Mar 18, 2018 · 3b74344 · 3b74344
2 parents 27da8bf + 6c774aa
commit 3b74344
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
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`,