Reason V4 Feature [Allow multiple versions of Resaon]

jordwalke · jordwalke · commit b04dc412f5d7 · 2020-07-17T04:42:46.000-07:00
Summary:This allows multiple versions of Reason in a single project by
inferring and recording the version of syntax used into the file in an
attribute. The attribute allows us to switch the parser and lexer on the
fly. This attribute is not the only way we can infer the version, and we
can allow project level configuration, but this is the approach that is
guaranteed to work with any build system or tooling.

Test Plan:

Reviewers:

CC:
diff --git a/docs/RELEASING.md b/docs/RELEASING.md
@@ -16,14 +16,32 @@ and `rtop.json` respectively in the repo root, you would run that script after
 committing/bumping some versions:
 
 
+**IMPORTANT: Update The Version Numbers In Packages:**
+1. Make sure the version number in `esy.json` and `reason.json` is the new
+   version number for the release.
+2. Make sure the file
+   [../../src/reason-version/reason_version.ml](../../src/reason-version/reason_version.ml)
+   also has that same version number that `refmt` has:
+
 ```sh
 git checkout -b MYRELEASE origin/master
 git rebase origin/master
-vim -O esy.json reason.json
-# Then edit the version number accordingly on BOTH files. With that same VERSION do:
-version=3.5.0 make pre_release
+vim -O esy.json reason.json src/reason-version/reason_version.ml
+
+# Edit version field in jsons, and make sure reason_version has the new version
+# let package_version = {
+#   major = 3;
+#   minor = 7;
+#   patch = 0;
+# }
+
 git commit -m "Bump version"
 git push origin HEAD:PullRequestForVersion # Commit these version bumps
+
+```
+
+**Perform The Release:**
+```sh
 node ./scripts/esy-prepublish.js ./reason.json ./rtop.json
 
 # Then publish. For example:
diff --git a/formatTest/typeCheckedTests/expected_output/arityConversion.re b/formatTest/typeCheckedTests/expected_output/arityConversion.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 Some((1, 2, 3));
 
 type bcd =
diff --git a/formatTest/typeCheckedTests/expected_output/attributes.4.04.0.re b/formatTest/typeCheckedTests/expected_output/attributes.4.04.0.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Pexp_letexception with attributes */
 let () = {
   [@attribute]
diff --git a/formatTest/typeCheckedTests/expected_output/attributes.re b/formatTest/typeCheckedTests/expected_output/attributes.re
@@ -7,6 +7,7 @@
  * This has a nice side effect when printing the terms:
  * If a node has attributes attached to it,
  */;
+[@reason.version 3.7];
 
 /**Floating comment text should be removed*/;
 
diff --git a/formatTest/typeCheckedTests/expected_output/attributes.rei b/formatTest/typeCheckedTests/expected_output/attributes.rei
@@ -1,6 +1,8 @@
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 /**Floating comment text should be removed*/;
+[@reason.version 3.7];
+
 let test: int;
 
 /**
diff --git a/formatTest/typeCheckedTests/expected_output/basics.re b/formatTest/typeCheckedTests/expected_output/basics.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 let l =
diff --git a/formatTest/typeCheckedTests/expected_output/basics_no_semi.re b/formatTest/typeCheckedTests/expected_output/basics_no_semi.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 let l =
diff --git a/formatTest/typeCheckedTests/expected_output/bigarraySyntax.re b/formatTest/typeCheckedTests/expected_output/bigarraySyntax.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* https://github.com/facebook/reason/issues/2038 */
 let my_big_array1 =
   Bigarray.Array1.create(
diff --git a/formatTest/typeCheckedTests/expected_output/comments.re b/formatTest/typeCheckedTests/expected_output/comments.re
@@ -1,6 +1,8 @@
 /* **** comment */
 /*** comment */
 /** docstring */;
+[@reason.version 3.7];
+
 /* comment */
 /** docstring */;
 /*** comment */
diff --git a/formatTest/typeCheckedTests/expected_output/comments.rei b/formatTest/typeCheckedTests/expected_output/comments.rei
@@ -8,6 +8,8 @@
 /***** comment */
 
 /** */;
+[@reason.version 3.7];
+
 /*** */
 /**** */
 
diff --git a/formatTest/typeCheckedTests/expected_output/comments.rei.4.09.0 b/formatTest/typeCheckedTests/expected_output/comments.rei.4.09.0
@@ -1,6 +1,8 @@
 /* **** comment */
 /*** comment */
 /** docstring */;
+[@reason.version 3.7];
+
 /* comment */
 /** docstring */;
 /*** comment */
diff --git a/formatTest/typeCheckedTests/expected_output/features406.4.06.0.re b/formatTest/typeCheckedTests/expected_output/features406.4.06.0.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 module EM = {
   /** Exception */
 
diff --git a/formatTest/typeCheckedTests/expected_output/features408.4.08.0.re b/formatTest/typeCheckedTests/expected_output/features408.4.08.0.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 open {
        type t = string;
      };
diff --git a/formatTest/typeCheckedTests/expected_output/features408.4.08.0.rei b/formatTest/typeCheckedTests/expected_output/features408.4.08.0.rei
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 module X: {type t;};
 
 module M := X;
diff --git a/formatTest/typeCheckedTests/expected_output/imperative.re b/formatTest/typeCheckedTests/expected_output/imperative.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 /*
diff --git a/formatTest/typeCheckedTests/expected_output/jsx.re b/formatTest/typeCheckedTests/expected_output/jsx.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 type component = {displayName: string};
 
 module Bar = {
diff --git a/formatTest/typeCheckedTests/expected_output/knownMlIssues.re b/formatTest/typeCheckedTests/expected_output/knownMlIssues.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* [x] fixed */
 type t2 = (int, int); /* attributed to entire type not binding */
 
diff --git a/formatTest/typeCheckedTests/expected_output/knownReIssues.re b/formatTest/typeCheckedTests/expected_output/knownReIssues.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /**
    Issue 940: https://github.com/facebook/reason/issues/940
    The parens in the exception match case with an alias,
diff --git a/formatTest/typeCheckedTests/expected_output/lazy.re b/formatTest/typeCheckedTests/expected_output/lazy.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 let myComputation =
   lazy({
     let tmp = 10;
diff --git a/formatTest/typeCheckedTests/expected_output/letop.re b/formatTest/typeCheckedTests/expected_output/letop.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 let (let.opt) = (x, f) =>
   switch (x) {
   | None => None
diff --git a/formatTest/typeCheckedTests/expected_output/mlSyntax.re b/formatTest/typeCheckedTests/expected_output/mlSyntax.re
@@ -3,6 +3,7 @@
 /**
  * Testing pattern matching using ml syntax to exercise nesting of cases.
  */;
+[@reason.version 3.7];
 
 type xyz =
   | X
diff --git a/formatTest/typeCheckedTests/expected_output/mlVariants.re.4.06.1 b/formatTest/typeCheckedTests/expected_output/mlVariants.re.4.06.1
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 type polyVariantsInMl = [
diff --git a/formatTest/typeCheckedTests/expected_output/mlVariants.re.4.09.0 b/formatTest/typeCheckedTests/expected_output/mlVariants.re.4.09.0
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 type polyVariantsInMl = [
diff --git a/formatTest/typeCheckedTests/expected_output/mutation.re b/formatTest/typeCheckedTests/expected_output/mutation.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 /**
diff --git a/formatTest/typeCheckedTests/expected_output/newAST.4.06.0.re b/formatTest/typeCheckedTests/expected_output/newAST.4.06.0.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Oinherit (https://github.com/ocaml/ocaml/pull/1118) */
 type t = {. a: string};
 
diff --git a/formatTest/typeCheckedTests/expected_output/oo.re b/formatTest/typeCheckedTests/expected_output/oo.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 class virtual stack ('a) (init) = {
diff --git a/formatTest/typeCheckedTests/expected_output/patternMatching.re b/formatTest/typeCheckedTests/expected_output/patternMatching.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 type point = {
   x: int,
   y: int,
diff --git a/formatTest/typeCheckedTests/expected_output/pervasive.rei b/formatTest/typeCheckedTests/expected_output/pervasive.rei
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 let (==): ('a, 'a) => bool;
 
 let (!=): ('a, 'a) => bool;
diff --git a/formatTest/typeCheckedTests/expected_output/pipeFirst.re b/formatTest/typeCheckedTests/expected_output/pipeFirst.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 let (|.) = (x, y) => x + y;
 
 let a = 1;
diff --git a/formatTest/typeCheckedTests/expected_output/reasonComments.re b/formatTest/typeCheckedTests/expected_output/reasonComments.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 3; /* - */
 3; /*-*/
 
diff --git a/formatTest/typeCheckedTests/expected_output/reasonComments.rei b/formatTest/typeCheckedTests/expected_output/reasonComments.rei
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 module JustString: {
   include Map.S; /* Comment eol include */
 };
diff --git a/formatTest/typeCheckedTests/expected_output/sequences.re b/formatTest/typeCheckedTests/expected_output/sequences.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 /**
diff --git a/formatTest/typeCheckedTests/expected_output/specificMLSyntax.4.04.0.re b/formatTest/typeCheckedTests/expected_output/specificMLSyntax.4.04.0.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 module Foo = {
   type t = {name: string};
 };
diff --git a/formatTest/typeCheckedTests/expected_output/trailing.re b/formatTest/typeCheckedTests/expected_output/trailing.re
@@ -1,3 +1,5 @@
+[@reason.version 3.7];
+
 let x = 0;
 let y = 0;
 
diff --git a/formatTest/typeCheckedTests/expected_output/typeParameters.re b/formatTest/typeCheckedTests/expected_output/typeParameters.re
@@ -1,6 +1,7 @@
 /**
  * Testing type parameters.
- */
+ */;
+[@reason.version 3.8];
 
 type threeThings('t) = ('t, 't, 't);
 type listOf('t) = list('t);
diff --git a/formatTest/typeCheckedTests/input/typeParameters.re b/formatTest/typeCheckedTests/input/typeParameters.re
@@ -1,6 +1,7 @@
 /**
  * Testing type parameters.
  */
+[@reason.version 3.8];
 
 type threeThings<'t> = ('t, 't, 't);
 type listOf<'t> = list<'t>;
diff --git a/formatTest/unit_tests/expected_output/assert.re b/formatTest/unit_tests/expected_output/assert.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 switch (true) {
 | true => ()
 | false => assert(false)
diff --git a/formatTest/unit_tests/expected_output/basicStructures.re b/formatTest/unit_tests/expected_output/basicStructures.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 let run = () => {
diff --git a/formatTest/unit_tests/expected_output/bigarray.re b/formatTest/unit_tests/expected_output/bigarray.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 my_big_array3.{
   reallyLongStringThatWillDefinitelyBreakLine
 };
diff --git a/formatTest/unit_tests/expected_output/bucklescript.re b/formatTest/unit_tests/expected_output/bucklescript.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 bla #= 10;
 
 bla #= Some(10);
diff --git a/formatTest/unit_tests/expected_output/class_types.re b/formatTest/unit_tests/expected_output/class_types.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 class type _module ('provider_impl) = {};
 type t;
 class type bzz = {
diff --git a/formatTest/unit_tests/expected_output/emptyFileComment.re b/formatTest/unit_tests/expected_output/emptyFileComment.re
@@ -1 +1,2 @@
+[@reason.version 3.7];
 // file with just a single line comment
diff --git a/formatTest/unit_tests/expected_output/escapesInStrings.re b/formatTest/unit_tests/expected_output/escapesInStrings.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 /*
diff --git a/formatTest/unit_tests/expected_output/extensions.re b/formatTest/unit_tests/expected_output/extensions.re
@@ -1,3 +1,5 @@
+[@reason.version 3.7];
+
 /* Extension sugar */
 
 %extend
diff --git a/formatTest/unit_tests/expected_output/externals.re b/formatTest/unit_tests/expected_output/externals.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /**
  * Tests external formatting.
  */
diff --git a/formatTest/unit_tests/expected_output/features403.re b/formatTest/unit_tests/expected_output/features403.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 type t =
   | A({a: int})
   | B;
diff --git a/formatTest/unit_tests/expected_output/firstClassModules.re b/formatTest/unit_tests/expected_output/firstClassModules.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 module Modifier = (
   val Db.Hashtbl.create():
     Db.Sig with type t = Mods.t
diff --git a/formatTest/unit_tests/expected_output/fixme.re b/formatTest/unit_tests/expected_output/fixme.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /**
  * Problem: In thise example, the comment should have a space after it.
  */
diff --git a/formatTest/unit_tests/expected_output/functionInfix.re b/formatTest/unit_tests/expected_output/functionInfix.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 let entries = ref([]);
 
 let all = ref(0);
diff --git a/formatTest/unit_tests/expected_output/if.re b/formatTest/unit_tests/expected_output/if.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 let logTSuccess = self =>
diff --git a/formatTest/unit_tests/expected_output/infix.re b/formatTest/unit_tests/expected_output/infix.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 /* - A good way to test if formatting of infix operators groups precedences
diff --git a/formatTest/unit_tests/expected_output/jsx.re b/formatTest/unit_tests/expected_output/jsx.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 let x =
   <Window
     style={
diff --git a/formatTest/unit_tests/expected_output/jsx_functor.re b/formatTest/unit_tests/expected_output/jsx_functor.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 type elt =
   | Text(string)
   | Group(list(elt));
diff --git a/formatTest/unit_tests/expected_output/lineComments.re b/formatTest/unit_tests/expected_output/lineComments.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 3; // -
 3; //-
 
diff --git a/formatTest/unit_tests/expected_output/modules.re b/formatTest/unit_tests/expected_output/modules.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 let run = () => {
diff --git a/formatTest/unit_tests/expected_output/modules_no_semi.re b/formatTest/unit_tests/expected_output/modules_no_semi.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 let run = () => {
diff --git a/formatTest/unit_tests/expected_output/object.re b/formatTest/unit_tests/expected_output/object.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 type t = {.};
diff --git a/formatTest/unit_tests/expected_output/ocaml_identifiers.re b/formatTest/unit_tests/expected_output/ocaml_identifiers.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Type names (supported with PR#2342) */
 module T = {
   type pub_ = unit;
diff --git a/formatTest/unit_tests/expected_output/pexpFun.re b/formatTest/unit_tests/expected_output/pexpFun.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 let x =
   switch (x) {
   | Bar =>
diff --git a/formatTest/unit_tests/expected_output/pipeFirst.re b/formatTest/unit_tests/expected_output/pipeFirst.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 foo->f->g->h;
 
 bar->f->g->h;
diff --git a/formatTest/unit_tests/expected_output/polymorphism.re b/formatTest/unit_tests/expected_output/polymorphism.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 let run = () => {
diff --git a/formatTest/unit_tests/expected_output/sharpop.re b/formatTest/unit_tests/expected_output/sharpop.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 foo #= bar[0];
 
 foo##bar[0] = 3;
diff --git a/formatTest/unit_tests/expected_output/singleLineCommentEof.re b/formatTest/unit_tests/expected_output/singleLineCommentEof.re
@@ -1 +1,2 @@
+[@reason.version 3.7];
 // let x = 1
diff --git a/formatTest/unit_tests/expected_output/syntax.re b/formatTest/unit_tests/expected_output/syntax.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 [@autoFormat let wrap = 80; let shift = 2];
diff --git a/formatTest/unit_tests/expected_output/syntax.rei b/formatTest/unit_tests/expected_output/syntax.rei
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 /**
diff --git a/formatTest/unit_tests/expected_output/testUtils.re b/formatTest/unit_tests/expected_output/testUtils.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 let printSection = s => {
diff --git a/formatTest/unit_tests/expected_output/trailing.re b/formatTest/unit_tests/expected_output/trailing.re
@@ -1,3 +1,5 @@
+[@reason.version 3.7];
+
 let x = {"obj": obj};
 
 let x = {"key": key, "keyTwo": keyTwo};
diff --git a/formatTest/unit_tests/expected_output/trailingSpaces.re b/formatTest/unit_tests/expected_output/trailingSpaces.re
@@ -1,3 +1,4 @@
+[@reason.version 3.7];
 /* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */
 
 module M =
diff --git a/formatTest/unit_tests/expected_output/typeDeclarations.re b/formatTest/unit_tests/expected_output/typeDeclarations.re
diff --git a/formatTest/unit_tests/expected_output/uncurried.re b/formatTest/unit_tests/expected_output/uncurried.re
diff --git a/formatTest/unit_tests/expected_output/variants.re b/formatTest/unit_tests/expected_output/variants.re
diff --git a/formatTest/unit_tests/expected_output/whitespace.re b/formatTest/unit_tests/expected_output/whitespace.re
diff --git a/formatTest/unit_tests/expected_output/whitespace.rei b/formatTest/unit_tests/expected_output/whitespace.rei
diff --git a/formatTest/unit_tests/expected_output/wrappingTest.re b/formatTest/unit_tests/expected_output/wrappingTest.re
diff --git a/formatTest/unit_tests/expected_output/wrappingTest.rei b/formatTest/unit_tests/expected_output/wrappingTest.rei
diff --git a/src/reason-parser/dune b/src/reason-parser/dune
diff --git a/src/reason-parser/reason_declarative_lexer.mll b/src/reason-parser/reason_declarative_lexer.mll
diff --git a/src/reason-parser/reason_parser.mly b/src/reason-parser/reason_parser.mly
diff --git a/src/reason-parser/reason_pprint_ast.ml b/src/reason-parser/reason_pprint_ast.ml
diff --git a/src/reason-version/dune b/src/reason-version/dune
diff --git a/src/reason-version/reason_version.ml b/src/reason-version/reason_version.ml
diff --git a/src/redoc/redoc_html.ml b/src/redoc/redoc_html.ml
diff --git a/src/refmt/dune b/src/refmt/dune
diff --git a/src/refmt/refmt_impl.ml b/src/refmt/refmt_impl.ml

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`Some((1, 2, 3));`
`2`	`3`
`3`	`4`	`type bcd =`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`/* Pexp_letexception with attributes */`
`2`	`3`	`let () = {`
`3`	`4`	`[@attribute]`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`/* Copyright (c) 2015-present, Facebook, Inc. All rights reserved. */`
`2`	`3`
`3`	`4`	`let l =`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`/* https://github.com/facebook/reason/issues/2038 */`
`2`	`3`	`let my_big_array1 =`
`3`	`4`	`Bigarray.Array1.create(`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`module EM = {`
`2`	`3`	`/** Exception */`
`3`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`open {`
`2`	`3`	`type t = string;`
`3`	`4`	`};`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`module X: {type t;};`
`2`	`3`
`3`	`4`	`module M := X;`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`type component = {displayName: string};`
`2`	`3`
`3`	`4`	`module Bar = {`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`/* [x] fixed */`
`2`	`3`	`type t2 = (int, int); /* attributed to entire type not binding */`
`3`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+[@reason.version 3.7];`
`1`	`2`	`/**`
`2`	`3`	`Issue 940: https://github.com/facebook/reason/issues/940`
`3`	`4`	`The parens in the exception match case with an alias,`