diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-09-16 22:26:24 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-09-16 22:26:24 +0000 |
| commit | e557acb9a7d672c0635c3eaf9fe385adc41e5c86 (patch) | |
| tree | d13db6639464acc57f0e44b4b3ef6f3e607ad403 /test/files/pos/depmet_implicit_tpbetareduce.flags | |
| parent | ce223fe7abc47af712382a64404604e75f9f4d20 (diff) | |
| download | scala-e557acb9a7d672c0635c3eaf9fe385adc41e5c86.tar.gz scala-e557acb9a7d672c0635c3eaf9fe385adc41e5c86.tar.bz2 scala-e557acb9a7d672c0635c3eaf9fe385adc41e5c86.zip | |
part 2 of the dependent method refactoring: imp...
part 2 of the dependent method refactoring: improved interaction with
implicit search (needed for oopsla paper)
more to come in this area, see e.g. #3346 (stanford edsl stuff)
reopens #13, which wasn't fixed properly before imo, anyway (have a look at -Xprint:typer output before this commit: a type that's not expressible in surface syntax is inferred -- also removed duplicate test file)
closes #3731: co-evolve type alias type symbols when their rhs is
updated and they are referenced by type selections (see typemap)
review by odersky
Diffstat (limited to 'test/files/pos/depmet_implicit_tpbetareduce.flags')
| -rw-r--r-- | test/files/pos/depmet_implicit_tpbetareduce.flags | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/files/pos/depmet_implicit_tpbetareduce.flags b/test/files/pos/depmet_implicit_tpbetareduce.flags new file mode 100644 index 0000000000..1c26b24745 --- /dev/null +++ b/test/files/pos/depmet_implicit_tpbetareduce.flags @@ -0,0 +1 @@ +-Ydependent-method-types
\ No newline at end of file |