diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2014-12-17 12:36:25 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dark@d-d.me> | 2014-12-17 12:36:25 +0100 |
| commit | ecbf5f545b46d65858d27173701def9e2a4d113a (patch) | |
| tree | bba40f6bb76d8221ed2513caa7459fee728a1ba8 /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | 3a68e50073e9c4cef06c44e1dec7e3e492eb3274 (diff) | |
| parent | 625ad7ff89e80f29d425b9dcb2077498b11f4e7c (diff) | |
| download | dotty-ecbf5f545b46d65858d27173701def9e2a4d113a.tar.gz dotty-ecbf5f545b46d65858d27173701def9e2a4d113a.tar.bz2 dotty-ecbf5f545b46d65858d27173701def9e2a4d113a.zip | |
Merge pull request #285 from dotty-staging/fix/catchNonFatal
Fix/catch non fatal
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index fe45beb04..c012e8837 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -763,6 +763,12 @@ trait Applications extends Compatibility { self: Typer => } } + /** A typed unapply hook, can be overridden by re any-typers between frontend + * and pattern matcher. + */ + def typedUnApply(tree: untpd.UnApply, selType: Type)(implicit ctx: Context) = + throw new UnsupportedOperationException("cannot type check an UnApply node") + /** Is given method reference applicable to type arguments `targs` and argument trees `args`? * @param resultType The expected result type of the application */ |