diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2016-07-12 04:04:01 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-07-12 04:04:01 +0100 |
| commit | 055726e0cbbefa56ddbec35b0c58a7000fe97ebf (patch) | |
| tree | 9568e82e1b141867814a70a83a1d0baadc899909 /bridge/src/sbt-test/source-dependencies/signature-change/test | |
| parent | 6d7bc4996d6ad2095442ebc43f59307448226fd7 (diff) | |
| download | dotty-055726e0cbbefa56ddbec35b0c58a7000fe97ebf.tar.gz dotty-055726e0cbbefa56ddbec35b0c58a7000fe97ebf.tar.bz2 dotty-055726e0cbbefa56ddbec35b0c58a7000fe97ebf.zip | |
ExtractAPI: Do not miss value parameters of PolyTypes
This bug has been present since we merged this phase.
In the new test `signature-change`, only "Case 1" did not pass before.
Diffstat (limited to 'bridge/src/sbt-test/source-dependencies/signature-change/test')
| -rw-r--r-- | bridge/src/sbt-test/source-dependencies/signature-change/test | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/bridge/src/sbt-test/source-dependencies/signature-change/test b/bridge/src/sbt-test/source-dependencies/signature-change/test new file mode 100644 index 000000000..03ad663ab --- /dev/null +++ b/bridge/src/sbt-test/source-dependencies/signature-change/test @@ -0,0 +1,20 @@ +# Case 1: parameter type changed +$ copy-file changes/A0.scala A.scala +> compile +$ copy-file changes/A1.scala A.scala +# Compilation of B.scala should fail because the signature of f changed +-> compile + +# Case 2: return type changed +$ copy-file changes/A0.scala A.scala +> compile +$ copy-file changes/A2.scala A.scala +# Compilation of B.scala should fail because the signature of f changed +-> compile + +# Case 3: type parameter bounds changed +$ copy-file changes/A0.scala A.scala +> compile +$ copy-file changes/A3.scala A.scala +# Compilation of B.scala should fail because the signature of f changed +-> compile |