mirror of
https://github.com/enso-org/enso.git
synced 2024-12-23 00:11:45 +03:00
Fix a few typos in code (#3223)
* Fix a typo in build.sbt * Change incorrect Panic.catch reference to Panic.recover
This commit is contained in:
parent
bb86446003
commit
4fc97d5563
@ -1614,7 +1614,7 @@ lazy val `std-google-api` = project
|
||||
.settings(
|
||||
autoScalaLibrary := false,
|
||||
Compile / packageBin / artifactPath :=
|
||||
`google-api-polyglot-root` / "std-image.jar",
|
||||
`google-api-polyglot-root` / "std-google-api.jar",
|
||||
libraryDependencies ++= Seq(
|
||||
"com.google.api-client" % "google-api-client" % "1.32.1",
|
||||
"com.google.apis" % "google-api-services-sheets" % "v4-rev612-1.25.0"
|
||||
|
@ -341,7 +341,7 @@ type Panic
|
||||
program control flow.
|
||||
|
||||
Panics "bubble up" through the program until they reach either an
|
||||
invocation of Panic.catch or the program's main method. An unhandled
|
||||
invocation of Panic.recover or the program's main method. An unhandled
|
||||
panic in main will terminate the program.
|
||||
|
||||
? Dataflow Errors or Panics
|
||||
@ -365,7 +365,7 @@ type Panic
|
||||
## Executes the provided action and converts any panic thrown by it into
|
||||
an Error.
|
||||
|
||||
If action executes successfully, the result of Panic.catch is the
|
||||
If action executes successfully, the result of Panic.recover is the
|
||||
result of that action. Otherwise, it is the panic that was thrown after
|
||||
conversion to a dataflow error.
|
||||
|
||||
@ -377,7 +377,7 @@ type Panic
|
||||
|
||||
Panic.recover (Panic.throw "Oh no!")
|
||||
recover : Any -> Any
|
||||
recover ~action = @Builtin_Method "Panic.catch"
|
||||
recover ~action = @Builtin_Method "Panic.recover"
|
||||
|
||||
# Function types.
|
||||
type Function
|
||||
|
Loading…
Reference in New Issue
Block a user