v0.233.0

Reviewed By: pieterv

Differential Revision:
D55679328

------------------------------------------------------------------------
(from 4ef71512ab3c5baeac12a83dc8da9f8b55f5231d)

fbshipit-source-id: 8548d4fbdac08794f8ebf6f36205a9a286e17c58

Changelog.md

@@ -1,3 +1,27 @@
+### 0.233.0
+
+Likely to cause new Flow errors:
+  * Flow will now error on invalid type applications at the declaration site, if the type application does not use another generic type from an outer scope. [example](https://flow.org/try/#1N4Igxg9gdgZglgcxALlAIwIZoKYBsD6uEEAztvhgE6UYCe+JADpdhgCYowa5kA0I2KAFcAtiRQAXSkOz9sADwxgJ+NPTbYuQ3BMnTZA+Y2yU4IwRO4A6SFBIrGVDGM7c+IFkolXpUCWewUEAwhCQgRDH8wEH4hMnwROHlsNnw4KHwwSLAAC3wANyo4LFxscWQuHgMNZmwsiRSAWglaY1cq-hIAa2wJXNpG4Vxcdvdu3v7B0RxKUYMhKDBSqmbWwIq3eagoOrKSKgH0wtMMPznY7d2SfcoBiEZ-aG5G3Ix085AF-ZhsRoRehqUEiNMgSQHlSruBZxJrMcJwMhzAC+-EgGiCLWMAAIACpYgC8WPspigCAA3AAdPxrLEAQQJuIAPMT0ggAHxkrEAei5WJMlAglCxUAgAHcYiB8iYSHBoEEIvYTCAkUA)
+  * We fixed a bug where we incorrectly unwrapped the opaque type to the underlying representation in refinements
+  * Predicate functions (%checks) can no longer be recursive
+  * Fixed subtyping of indexers in instances/interfaces
+
+Notable bug fixes:
+  * We fixed some spurious errors regarding opaque type refinements. [example](https://flow.org/try/#1N4Igxg9gdgZglgcxALlAIwIZoKYBsD6uEEAztvhgE6UYCe+JADpdhgCYowa5kA0I2KAFcAtiRQAXSkOz9sADwxgJ+NPTbYuQ3BMnTZA+Y2yU4IwRO4A6SFBIrGVDGM7c+IFkolXpUCWewUEAwhCQgRDH8wEH4hMnwROHlsNnw4KHwwSLAAC3wANyo4LFxscWQuHgMNZmwsiRSAWglaY1cq-hIAa2wJXNpG4Vxcdvdu3v7B0RxKUYMhKDBSqmbWwIq3eagoOrKSKgH0wtMMPznY7d2SfcoBiEZ-aG5G3Ix085AF-ZhsRoRehqUEiNMgSQHlSruBZxJrMcJwMhzAC+-EgGiCMAWyjg0AABA17PgWPAdvgwvghrgETkABQASlxwAAOlBcbiNEsqNhcfcMABHGT4ta4gBixAA3Cy2RzcFzcbZ7LiYMRkLiAPxiiCSqBS3FwGC4mnKiC4gC8ptxlIZzNZbKVxFxGBI6vspigCHFuIA9F6eV1eLiYWx8SaTJQIJRdUiWdGoDEQPkTCQcXHkCAIvYTCAkUA)
+  * We made a change to method-unbinding errors so that it no longer errors when in an any/mixed context. [This allows us to better support jest](https://flow.org/try/#1N4Igxg9gdgZglgcxALlAIwIZoKYBsD6uEEAztvhgE6UYCe+JADpdhgCYowa5kA0I2KAFcAtiRQAXSkOz9sADwxgJ+NPTbYuQ3BMnTZA+Y2yU4IwRO4A6SFBIrGVDGM7c+IFkolXpUCWewUEAwhCQgRDH8wEH4hMnwROHlsNnw4KHwwSLAAC3wANyo4LFxscWQuHgMNZmwsiRSAWglaY1cq-hIAa2wJXNpG4Vxcdvdu3v7B0RxKUYMhKDBSqmbWwIq3eagoOrKSKgH0wtMMPznY7d2SfcoBiEZ-aG5G3Ix085AF-ZhsRoRehqUEiNMgSQHlSruBZxJrMcJwMhzAC+-EgGiCGiWVGwAAIYAtlHBoDiFMZlAAKeTIHGnWgASmp+QgcDYAG4ADpQTlY644gBixBxwE5OJxmEo5LpQpxSM5sq5i2g9jxgoAvDidgB3fnESUchWkuoSckwYhWcV01k4gD01pxmrgww1EBxRCg-0oJOoEFm-HyJhIRKgQXyAAYrAAmADMEasoZASKAA)
+  * We fixed an issue where explicitly supplied JSX type arguments were ignored
+  * We fixed bigint Flow Enums that do not explicitly speicy `of bigint` during parsing. We were previously not correctly inferring that this was a bigint enum.
+  * flow.org/try now supports go-to-definition, autocomplete, and signature help
+
+Parser:
+  * Previously Flow outputs `ReadOnlyTypeAnnotation` in parser output for annotations like `readonly string[]`. Now we output it as `TypeOperator` with `"operator": "readonly"`
+
+IDE:
+  * Fix printer output of casting syntax when LHS of `as` or `as const` has low precedence
+
+Library Definitions:
+  * We migrated the built-in React library definitions to use component and hook syntax for various React-provided APIs. Look out for a blog post on our medium account for more details and see the [React section in our docs](https://flow.org/en/docs/react/component-syntax/)
+
 ### 0.232.0
 
 Likely to cause new Flow errors:

flow_parser.opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "flow_parser"
-version: "0.232.0"
+version: "0.233.0"
 maintainer: "flow@fb.com"
 authors: ["Flow Team <flow@fb.com>"]
 homepage: "https://github.com/facebook/flow/tree/master/src/parser"

flowtype.opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "flowtype"
-version: "0.232.0"
+version: "0.233.0"
 maintainer: "flow@fb.com"
 authors: "Flow Team <flow@fb.com>"
 license: "MIT"
@@ -15,7 +15,7 @@ depends: [
   "core_kernel" {>= "v0.14.1" & <= "v0.16.0"}
   "dtoa" {>= "0.3.2"}
   "fileutils" {>= "0.6.3"}
-  "flow_parser" {= "0.232.0"}
+  "flow_parser" {= "0.233.0"}
   "inotify" {os = "linux" & >= "2.4.1"}
   "ounit2" {with-test}
   "lwt" {>= "5.4.0"}

packages/flow-parser-bin/package.json

@@ -1,6 +1,6 @@
 {
   "name": "flow-parser-bin",
-  "version": "0.232.0",
+  "version": "0.233.0",
   "description": "The Flow JavaScript parser, via bindings to the native OCaml implementation",
   "main": "index.js",
   "repository": "https://github.com/facebook/flow.git",

packages/flow-parser/package.json

@@ -1,6 +1,6 @@
 {
   "name": "flow-parser",
-  "version": "0.232.0",
+  "version": "0.233.0",
   "description": "JavaScript parser written in OCaml. Produces ESTree AST",
   "homepage": "https://flow.org",
   "license": "MIT",

packages/flow-remove-types/package.json

@@ -1,6 +1,6 @@
 {
   "name": "flow-remove-types",
-  "version": "2.232.0",
+  "version": "2.233.0",
   "description": "Removes Flow type annotations from JavaScript files with speed and simplicity.",
   "author": {
     "name": "Flow Team",

packages/try-flow-website-js/package.json

@@ -1,6 +1,6 @@
 {
   "name": "try-flow-website-js",
-  "version": "0.232.0",
+  "version": "0.233.0",
   "description": "An NPM package to hold compiled `flow.js` and libdefs for every Flow version.",
   "license": "MIT",
   "repository": "facebook/flow",

src/common/flow_version.ml

@@ -5,4 +5,4 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
-let version = "0.232.0"
+let version = "0.233.0"

website/docs/install.md

@@ -126,7 +126,7 @@ npm install --save-dev flow-bin
   "name": "my-flow-project",
   "version": "1.0.0",
   "devDependencies": {
-    "flow-bin": "^0.232.0"
+    "flow-bin": "^0.233.0"
   },
   "scripts": {
     "flow": "flow"