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 /src | |
| 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 'src')
| -rw-r--r-- | src/dotty/tools/dotc/sbt/ExtractAPI.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/sbt/ExtractAPI.scala b/src/dotty/tools/dotc/sbt/ExtractAPI.scala index 26611ef43..a9586879f 100644 --- a/src/dotty/tools/dotc/sbt/ExtractAPI.scala +++ b/src/dotty/tools/dotc/sbt/ExtractAPI.scala @@ -272,6 +272,9 @@ private class ExtractAPICollector(implicit val ctx: Context) extends ThunkHolder def apiDef(sym: TermSymbol): api.Def = { def paramLists(t: Type, start: Int = 0): List[api.ParameterList] = t match { + case pt: PolyType => + assert(start == 0) + paramLists(pt.resultType) case mt @ MethodType(pnames, ptypes) => // TODO: We shouldn't have to work so hard to find the default parameters // of a method, Dotty should expose a convenience method for that, see #1143 |