melange-re · anmonteiro · Aug 29, 2023 · Aug 23, 2023 · Aug 23, 2023
diff --git a/Changes.md b/Changes.md
@@ -52,6 +52,8 @@ Unreleased
 - [melange]: remove old, unused CLI flags: `-bs-ns`, `-bs-cmi`, `-bs-cmj`,
   `-bs-no-builtin-ppx`, `-bs-super-errors`
   ([#686](https://github.com/melange-re/melange/pull/686)).
+- [melange]: generate correct code for types with the `option` shape
+  ([#700](https://github.com/melange-re/melange/pull/700)).
 
 1.0.0 2023-05-31
 ---------------

diff --git a/flake.lock b/flake.lock
diff --git a/jscomp/test/dist/jscomp/test/gpr_5169_test.js b/jscomp/test/dist/jscomp/test/gpr_5169_test.js
diff --git a/jscomp/test/dist/jscomp/test/option_encoding_test.js b/jscomp/test/dist/jscomp/test/option_encoding_test.js
diff --git a/test/blackbox-tests/option-shape.t b/test/blackbox-tests/option-shape.t
@@ -0,0 +1,20 @@
+
+  $ . ./setup.sh
+  $ cat > x.ml <<EOF
+  > module X = struct
+  >   type 'a t = 'a option = None | Some of 'a
+  > end
+  > let () = match X.None with Some _ -> Js.log "A BUG!" | None -> Js.log "OK"
+  > EOF
+
+  $ melc -ppx melppx x.ml
+  // Generated by Melange
+  'use strict';
+
+
+  var X = {};
+
+  console.log("OK");
+
+  exports.X = X;
+  /*  Not a pure module */
diff --git a/vendor/melange-compiler-libs b/vendor/melange-compiler-libs