Code

Safer Exceptions for Scala 3#16626

Code

Draft

hamzaremmal wants to merge 27 commits intoscala:mainscala/scala3:mainfrom

hamzaremmal:safer-exceptionshamzaremmal/scala3:safer-exceptionsCopy head branch name to clipboard

Commits

Commits on Nov 20, 2022

• Add specific Printer for safer-exceptions

  hamzaremmal

  committed
  0c26195

  Copy full SHA for 0c26195

• Implement parser for throws declaration - Only methods for now

  hamzaremmal

  committed
  7b30d5c

  Copy full SHA for 7b30d5c

Commits on Nov 26, 2022

• Desugar a throws declaration as a contextual function

  hamzaremmal

  committed
  bc72959

  Copy full SHA for bc72959

• First draft of the safer-exceptions tests

  hamzaremmal

  committed
  4291085

  Copy full SHA for 4291085

• Implement a warning when a Java method is called in a context where safer-exceptions is enabled.

  hamzaremmal

  committed
  dcf75b5

  Copy full SHA for dcf75b5

• Add legacy code related to safer-exceptions.

  hamzaremmal

  committed
  bb611c3

  Copy full SHA for bb611c3

• Use the correct Or name in Desugar.scala

  hamzaremmal

  committed
  8c509f3

  Copy full SHA for 8c509f3

Commits on Dec 13, 2022

• Implement the checks for CanThrow capabilities in Applications.scala

  hamzaremmal

  committed
  079c7b1

  Copy full SHA for 079c7b1

• Split union types when checking for capabilities.

  hamzaremmal

  committed
  6fda15f

  Copy full SHA for 6fda15f

• Correct StringInterpolator in warning message related to saferexceptions

  hamzaremmal

  committed
  9956d5b

  Copy full SHA for 9956d5b

• Add call to saferExceptions printer for debugging purposes.

  hamzaremmal

  committed
  19cc4b4

  Copy full SHA for 19cc4b4

• Clean code in Typer.scala

  hamzaremmal

  committed
  9bc67cd

  Copy full SHA for 9bc67cd

• Add missing throws annotation in JavaParsers.scala

  hamzaremmal

  committed
  a17efae

  Copy full SHA for a17efae

• Fix some of the printer calls for saferExceptions

  hamzaremmal

  committed
  fd8eafb

  Copy full SHA for fd8eafb

Commits on Jan 2, 2023

• First draft of splitting CanThrow implicit search

  hamzaremmal

  committed
  3b7bc88

  Copy full SHA for 3b7bc88

Commits on Jan 4, 2023

• Add OrType::split to split recursively an OrType

  hamzaremmal

  committed
  bb2570e

  Copy full SHA for bb2570e

• Implement semantics of implicit search for a CanThrow capability - still unstable

  hamzaremmal

  committed
  e4a769b

  Copy full SHA for e4a769b

• Add check for parameterless function calls - implicit search for CanThrow capabilities

  hamzaremmal

  committed
  4d43d99

  Copy full SHA for 4d43d99

• Add an error message when parsing throws clauses without enabling the feature

  hamzaremmal

  committed
  995757d

  Copy full SHA for 995757d

• Change the semantics of the $throws infix type to follow new implementation of the 'safer exceptions' project

  hamzaremmal

  committed
  9a5c8ff

  Copy full SHA for 9a5c8ff

• Change implicitNotFound message for the CanThrow class to drop the contextual parameter list

  hamzaremmal

  committed
  db484bb

  Copy full SHA for db484bb

Commits on Jan 7, 2023

• Merge branch 'main' into safer-exceptions

  hamzaremmal

  authored
  280f564

  Copy full SHA for 280f564

Commits on Jan 19, 2023

• Fix error messages in Parsers & Applications

  hamzaremmal

  committed
  073206e

  Copy full SHA for 073206e

• Merge remote-tracking branch 'origin/safer-exceptions' into safer-exceptions

  hamzaremmal

  committed
  82c0ad4

  Copy full SHA for 82c0ad4

• Resolve type inference problem in Implicits

  hamzaremmal

  committed
  6da1b43

  Copy full SHA for 6da1b43

• Restructure resolveCanThrow method to compile with scala 3.3.0

  hamzaremmal

  committed
  36b9aa5

  Copy full SHA for 36b9aa5

• Add error message when using throws clauses without return type

  hamzaremmal

  committed
  f2f330a

  Copy full SHA for f2f330a