Remove refmt.exe / Reason syntax support (rescript-lang#5683)

* Remove bsrefmt

* Remove refmt.exe

* Remove "refmt": 3

* Remove ast_reason_pp module and re/rei file extensions

* Remove leftover js_refmt_compiler

* Remove refmt_main3.ml

* Fix moveArtifacts script

* Clean up literals.ml

* Update CHANGELOG

Author: cknitt

.gitattributes

@@ -1,5 +1,4 @@
 jscomp/js_cmj_datasets.ml binary
 jscomp/bin/reactjs_ppx_v2.ml binary
-jscomp/bin/refmt_main3.ml binary
 docs/Manual.html binary
 docs/Manual.pdf binary

.gitignore

@@ -73,9 +73,6 @@ jscomp/bin/*.exe
 # so that `npm install && npm intall -g .`
 # the second install would use the cached ninja.exe (instead of being ignored)
 #
-!bin/bsrefmt
-
-
 #ninja
 .ninja_log
 .ninja_deps

.vscode/tasks.json

@@ -74,19 +74,6 @@
         "fileLocation": "autoDetect",
         "owner": "globalUnused"
       }
-    },
-    {
-      "label": "check unused refmt",
-      "command": "node",
-      "options": {
-        "cwd": "${workspaceRoot}/lib"
-      },
-      "args": ["../scripts/checkUnused.js", "refmt_main3"],
-      "problemMatcher": {
-        "base": "$ocamlc",
-        "fileLocation": "autoDetect",
-        "owner": "globalUnused"
-      }
     }
   ]
 }

CHANGELOG.md

@@ -10,58 +10,14 @@
 > - :house: [Internal]
 > - :nail_care: [Polish]
 
-# 10.1.0-rc.3
-
-#### :bug: Bug Fix
-
-- Fix issue where the JSX key type is not an optional string https://github.com/rescript-lang/syntax/pull/693
-
-- Prevent inlining of async functions https://github.com/rescript-lang/rescript-compiler/issues/5754
-
-# 10.1.0-rc.2
-
-#### :bug: Bug Fix
-
-- Fix issue with changes not being applied with React Native's Metro bundler for files with warnings https://github.com/rescript-lang/rescript-compiler/pull/5738
-- Fix emitting unary minus for floats in case of negative constants https://github.com/rescript-lang/rescript-compiler/pull/5737
-- Fix issue where a spread `...x` in non-last position would not be reported as syntax error https://github.com/rescript-lang/syntax/pull/673/
-- Fix issue where the formatter would delete `async` in a function with labelled arguments.
-- Fix several printing issues with `async` including an infinite loop https://github.com/rescript-lang/syntax/pull/680
-- Fix issue where certain JSX expressions would be formatted differenctly in compiler 10.1.0-rc.1 https://github.com/rescript-lang/syntax/issues/675
-- Fix issue where printing nested pipe discards await https://github.com/rescript-lang/syntax/issues/687
-
-# 10.1.0-rc.1
+# 11.0.0-alpha.1
 
 #### :boom: Breaking Change
 
-- Deprecate DOM element attributes in `JsxDOM.domProps`: `begin_`, `end_`, `to_`
-  - Use `begin`, `end`, `to` instead.
-- Emit an error when a `@string` or `@int` attribute is used in a V4 component https://github.com/rescript-lang/rescript-compiler/issues/5724
-
-## :rocket: New Feature
-
-- Add extra variants for output filename suffixes in `bsconfig.json`: `.bs.mjs` and `.bs.cjs` are allowed https://github.com/rescript-lang/rescript-compiler/pull/5631
-- Safe promises: t-first Js.Promise2 bindings, and remove warning for nested promises https://github.com/rescript-lang/rescript-compiler/pull/5709
-
-#### :bug: Bug Fix
-
-- Fix issue where uncurried async functions were emitted without `async` https://github.com/rescript-lang/rescript-compiler/pull/5718
-- Fix location issue in error messages with JSX V4 where the multiple props types are defined https://github.com/rescript-lang/syntax/pull/655
-- Fix location issue in make function in JSX V4 that breaks dead code elimination https://github.com/rescript-lang/syntax/pull/660
-- Fix parsing (hence pretty printing) of expressions with underscore `_` and comments.
-- Fix printing of comments inside JSX tag https://github.com/rescript-lang/syntax/pull/664
-- Fix issue where formatter erases tail comments inside JSX tag https://github.com/rescript-lang/syntax/issues/663
-- Fix issue where the JSX prop has type annotation of the first class module https://github.com/rescript-lang/syntax/pull/666
-- Fix issue where an empty record literal {} expected to have a non-record type would type check https://github.com/rescript-lang/rescript-compiler/pull/5729
-
-#### :eyeglasses: Spec Compliance
-
-- Functions with consecutive dots now print as multiple arrow functions like in JavaScript.
-
-#### :nail_care: Polish
-
-- Add `loading`, `aria-*` DOM element attributes in `JsxDOM.domProps`: `ariaCurrent`, `ariaInvalid`, `ariaAutocomplete`, etc.
-- Change the internal representation of props for the lowercase components to record. https://github.com/rescript-lang/syntax/pull/665
+- Remove support for the legacy Reason syntax. Existing Reason code can be converted to ReScript syntax using ReScript 9 as follows:
+  - `npm i -g rescript@9`
+  - `rescript convert <reason files>`
+- Remove obsolete built-in project templates and the "rescript init" functionality. This will be replaced by the create-rescript-app project that is maintained separately.
 
 # 10.1.0-alpha.2
 

bsrefmt

@@ -354,19 +354,6 @@
       "additionalProperties": false,
       "required": ["version"]
     },
-    "refmt-specs": {
-      "oneOf": [
-        {
-          "type": "number",
-          "enum": [2, 3],
-          "description": "Reason syntax version to use. Prefer 3. Default: 2, for backward-compatiblity"
-        },
-        {
-          "type": "string",
-          "description": "(Usually not needed) Alternative path to `refmt`, the Reason syntax binary. Default: path to the `refmt.exe` ReScript provides out of the box"
-        }
-      ]
-    },
     "bsc-flags": {
       "oneOf": [
         {

darwin/refmt.exe

@@ -81,14 +81,10 @@ let add_basename ~(dir : string) (map : t) ?error_on_invalid_suffix basename : t
     (match () with
     | _ when file_suffix = Literals.suffix_ml -> ()
     | _ when file_suffix = Literals.suffix_res -> syntax_kind := Res
-    | _ when file_suffix = Literals.suffix_re -> syntax_kind := Reason
     | _ when file_suffix = Literals.suffix_mli -> info := Intf
     | _ when file_suffix = Literals.suffix_resi ->
         info := Intf;
         syntax_kind := Res
-    | _ when file_suffix = Literals.suffix_rei ->
-        info := Intf;
-        syntax_kind := Reason
     | _ -> invalid_suffix := true);
     let info = !info in
     let syntax_kind = !syntax_kind in

darwinarm64/refmt.exe

@@ -40,8 +40,6 @@ let handle_generators oc (group : Bsb_file_groups.file_group) custom_rules =
 
 type suffixes = { impl : string; intf : string }
 
-let re_suffixes = { impl = Literals.suffix_re; intf = Literals.suffix_rei }
-
 let ml_suffixes = { impl = Literals.suffix_ml; intf = Literals.suffix_mli }
 
 let res_suffixes = { impl = Literals.suffix_res; intf = Literals.suffix_resi }
@@ -52,7 +50,6 @@ let emit_module_build (rules : Bsb_ninja_rule.builtin)
   let has_intf_file = module_info.info = Impl_intf in
   let config, ast_rule =
     match module_info.syntax_kind with
-    | Reason -> (re_suffixes, rules.build_ast_from_re)
     | Ml -> (ml_suffixes, rules.build_ast)
     | Res -> (res_suffixes, rules.build_ast_from_re)
     (* FIXME: better names *)

docs/docson/build-schema.json

@@ -113,7 +113,6 @@ let output_installation_file cwd_lib_bs namespace files_to_install =
          let suffix =
            match syntax_kind with
            | Ml -> Literals.suffix_ml
-           | Reason -> Literals.suffix_re
            | Res -> Literals.suffix_res
          in
          oo suffix ~dest:base ~src:(sb // name_sans_extension);
@@ -124,7 +123,6 @@ let output_installation_file cwd_lib_bs namespace files_to_install =
              let suffix_b =
                match syntax_kind with
                | Ml -> Literals.suffix_mli
-               | Reason -> Literals.suffix_rei
                | Res -> Literals.suffix_resi
              in
              oo suffix_b ~dest:base ~src:(sb // name_sans_extension);

jscomp/bsb/bsb_db_util.ml

@@ -12,6 +12,5 @@
   "suffix": ".bs.js",
   "bs-dependencies": [
   ],
-  "warnings": {"error" : "+101"},
-  "refmt": 3
+  "warnings": {"error" : "+101"}
 }

jscomp/bsb/bsb_ninja_file_groups.ml

@@ -14,6 +14,5 @@
       "depa",
       "depb"
   ],
-  "warnings": {"error" : "+101"},
-  "refmt": 3
+  "warnings": {"error" : "+101"}
 }

jscomp/bsb/bsb_ninja_gen.ml

@@ -12,6 +12,5 @@
   "suffix": ".bs.js",
   "bs-dependencies": [
   ],
-  "warnings": {"error" : "+101"},
-  "refmt": 3
+  "warnings": {"error" : "+101"}
 }

jscomp/build_tests/bs_dependencies_node_path_override/package-lock.json

@@ -18,6 +18,5 @@
   "bs-dependencies": [
   ],
   "bs-dev-dependencies": ["weird"],
-  "warnings": {"error":"+101"},
-  "refmt": 3
+  "warnings": {"error":"+101"}
 }

jscomp/build_tests/case3/bsconfig.json

@@ -16,6 +16,5 @@
   "suffix": ".bs.js",
   "bs-dependencies": [
   ],
-  "warnings": {"error" : "+101"},
-  "refmt": 3
+  "warnings": {"error" : "+101"}
 }

jscomp/build_tests/case3/package-lock.json

@@ -15,6 +15,5 @@
     "z"
   ],
   "warnings": {"error" : "+101"},
-  "namespace": true,
-  "refmt": 3
+  "namespace": true
 }

jscomp/build_tests/customize_namespace/bsconfig.json

@@ -14,6 +14,5 @@
     "c"
   ],
   "warnings": {"error" : "+101"},
-  "namespace": true,
-  "refmt": 3
+  "namespace": true
 }

jscomp/build_tests/customize_namespace/package-lock.json

@@ -14,6 +14,5 @@
 
   ],
   "warnings": {"error" : "+101"},
-  "namespace": true,
-  "refmt": 3
+  "namespace": true
 }

jscomp/build_tests/cycle/bsconfig.json

@@ -12,7 +12,6 @@
     "suffix": ".bs.js",
     "bs-dependencies": [
     ],
-    "warnings": {"error" : "+101"},
-    "refmt": 3
+    "warnings": {"error" : "+101"}
   }