Change documentation and logging strings

ndmitchell · facebook-github-bot · commit ed4884c8c17d · 2025-04-04T09:22:55.000-07:00
Summary: Less Pyre2.

Reviewed By: kinto0

Differential Revision: D72446798

fbshipit-source-id: 6e490f197460a2c0b3c78be8b1f9cc0f90a83887
diff --git a/conformance/conformance_output.py b/conformance/conformance_output.py
@@ -244,7 +244,7 @@ def get_conformance_output(directory: str) -> Dict[str, List[Dict[str, Any]]]:
 def get_conformance_output_separate(directory: str) -> Dict[str, List[Dict[str, Any]]]:
     """
     Run minpyre on conformance test suite, parse and group the output by file
-    This function runs Pyre2 separately for each file, which is slower but more robust to failures
+    This function runs Pyrefly separately for each file, which is slower but more robust to failures
     """
     files_to_check = []
     for root, _, files in os.walk(directory):
@@ -303,7 +303,7 @@ def main() -> None:
         "--mode", "-m", choices=["update", "check", "compare"], default="update"
     )
     parser.add_argument(
-        "--separate", action="store_true", help="run Pyre2 separately for each case"
+        "--separate", action="store_true", help="run Pyrefly separately for each case"
     )
     args = parser.parse_args()
     if args.separate:
diff --git a/debug.html b/debug.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html>
     <head>
-        <title>Pyre2 debugger</title>
+        <title>Pyrefly debugger</title>
 <style type="text/css">
 body {
     font-family: sans-serif;
@@ -150,7 +150,7 @@
     </head>
     <body onload="load()">
         <input id="search" placeholder="Search: e.g. '3-5' or 'foo'" />
-        <h1>Pyre2 debugger</h1>
+        <h1>Pyrefly debugger</h1>
         <h2>Errors</h2>
         <ul id="errors"></ul>
         <h2>Keys</h2>
diff --git a/lsp/README.md b/lsp/README.md
@@ -1,4 +1,4 @@
-# Pyre2 VS Code LSP extension
+# Pyrefly VS Code LSP extension
 
 :warning: **Extension is very work in progress**, please use at your own risk!
 
@@ -29,15 +29,15 @@ Based on a combination of:
 - Select `Run Installed Extension (pyre2)` from the drop down.
 - Run the launch config.
 - By default, stderr of the language server will appear in the output pane of
-  VSCode under "Pyre2 language server".
+  VSCode under "Pyrefly language server".
 - Add `"pyre2.trace.server": "verbose"` to the VSCode config. Then all the LSP
   JSON requests and responses will be logged together with stderr of language
   server in the output pane.
 
 ## Installing
 
 - Follow steps in Pre-requisites section.
-- Build the Pyre2 binary with
+- Build the Pyrefly binary with
   `buck2 build pyre2 @fbcode//mode/opt --show-output` or `cargo build` and
   either:
 
diff --git a/lsp/package.json b/lsp/package.json
@@ -38,7 +38,7 @@
         ],
         "commands": [
             {
-                "title": "Restart Pyre2 Client",
+                "title": "Restart Pyrefly Client",
                 "category": "pyre2",
                 "command": "pyre2.restartClient"
             }
diff --git a/lsp/src/extension.ts b/lsp/src/extension.ts
@@ -50,7 +50,7 @@ export function activate(context: ExtensionContext) {
     // Create the language client and start the client.
     client = new LanguageClient(
         'pyre2',
-        'Pyre2 language server',
+        'Pyrefly language server',
         serverOptions,
         clientOptions
     );
@@ -63,7 +63,7 @@ export function activate(context: ExtensionContext) {
             await client.stop();
             client = new LanguageClient(
                 'pyre2',
-                'Pyre2 language server',
+                'Pyrefly language server',
                 serverOptions,
                 clientOptions
             );
diff --git a/pyre2/lib/commands/lsp.rs b/pyre2/lib/commands/lsp.rs
@@ -358,7 +358,7 @@ impl<'a> Server<'a> {
                     diags.entry(path.to_owned()).or_default().push(Diagnostic {
                         range: source_range_to_range(e.source_range()),
                         severity: Some(lsp_types::DiagnosticSeverity::ERROR),
-                        source: Some("Pyre2".to_owned()),
+                        source: Some("Pyrefly".to_owned()),
                         message: e.msg().to_owned(),
                         code: Some(lsp_types::NumberOrString::String(
                             e.error_kind().to_name().to_owned(),
diff --git a/scripts/fetch_typeshed.py b/scripts/fetch_typeshed.py
@@ -8,7 +8,7 @@
 
 """
 Tools for pulling an upstream typeshed archive from github, cleaning out
-irrelevant data, and producing artifacts that can be bundled into Pyre2 executable.
+irrelevant data, and producing artifacts that can be bundled into Pyrefly executable.
 """
 
 import argparse
@@ -186,7 +186,7 @@ def run(specified_url: str | None, output_dir: pathlib.Path) -> None:
 
 def main() -> None:
     parser = argparse.ArgumentParser(
-        description="Fetch typeshed from a given URL and trim out files that are not needed for Pyre2 bundling."
+        description="Fetch typeshed from a given URL and trim out files that are not needed for Pyrefly bundling."
     )
     parser.add_argument(
         "-u",
diff --git a/website/scripts/build.sh b/website/scripts/build.sh
@@ -4,13 +4,13 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
-# This should be a singular script which does everything needed to start the pyre2 website locally. By Default
+# This should be a singular script which does everything needed to start the Pyrefly website locally. By Default
 # The website will be accessible on localhost:3000.
 # This script currently:
 # 1) runs the wasm build script in the pyrefly_wasm folder, we expect the wasm file to get copied over to the website folder
 # 2) build and serve the website locally (done through yarn start)
 #
-# If there are more steps needed to building the Pyre2 website, they should be included here.
+# If there are more steps needed to building the Pyrefly website, they should be included here.
 #
 ../pyrefly_wasm/build.sh
 echo "copying wasm files from pyrefly_wasm/ to website/"
diff --git a/website/scripts/start.sh b/website/scripts/start.sh
@@ -4,13 +4,13 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
-# This should be a singular script which does everything needed to start the pyre2 website locally. By Default
+# This should be a singular script which does everything needed to start the Pyrefly website locally. By Default
 # The website will be accessible on localhost:3000.
 # This script currently:
 # 1) runs the wasm build script in the pyrefly_wasm folder, we expect the wasm file to get copied over to the website folder
 # 2) build and serve the website locally (done through yarn start)
 #
-# If there are more steps needed to building the Pyre2 website, they should be included here.
+# If there are more steps needed to building the Pyrefly website, they should be included here.
 #
 ../pyrefly_wasm/build.sh
 echo "copying wasm files from pyrefly_wasm/ to website/"

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@`
`38`	`38`	`],`
`39`	`39`	`"commands": [`
`40`	`40`	`{`
`41`		`- "title": "Restart Pyre2 Client",`
	`41`	`+ "title": "Restart Pyrefly Client",`
`42`	`42`	`"category": "pyre2",`
`43`	`43`	`"command": "pyre2.restartClient"`
`44`	`44`	`}`