diff options
author | Lukas Rytz <lukas.rytz@epfl.ch> | 2013-02-03 23:37:48 -0800 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2013-02-03 23:37:48 -0800 |
commit | 5aa225f3a57238ed90f8f60cf139043a23bd9f4f (patch) | |
tree | b61731c335ca09f1ab23b057a4ec0c87b3275ee2 /test/files/neg | |
parent | 786a686b78e7bffb452c6508a83b69ad83849819 (diff) | |
parent | f3cdf146709e0dd98533ee77e8ca2566380cb932 (diff) | |
download | scala-5aa225f3a57238ed90f8f60cf139043a23bd9f4f.tar.gz scala-5aa225f3a57238ed90f8f60cf139043a23bd9f4f.tar.bz2 scala-5aa225f3a57238ed90f8f60cf139043a23bd9f4f.zip |
Merge pull request #2022 from lrytz/analyzerPlugins210
Analyzer Plugins
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t5543.check | 10 | ||||
-rw-r--r-- | test/files/neg/t5543.scala | 19 | ||||
-rw-r--r-- | test/files/neg/t6829.check | 6 |
3 files changed, 32 insertions, 3 deletions
diff --git a/test/files/neg/t5543.check b/test/files/neg/t5543.check new file mode 100644 index 0000000000..b61de0f78b --- /dev/null +++ b/test/files/neg/t5543.check @@ -0,0 +1,10 @@ +t5543.scala:3: error: not found: type T + def this(x: T) { this() } + ^ +t5543.scala:11: error: not found: value x + def this(a: Int, b: Int = x) { + ^ +t5543.scala:18: error: not found: value x + def this(a: Int = x) { this() } + ^ +three errors found diff --git a/test/files/neg/t5543.scala b/test/files/neg/t5543.scala new file mode 100644 index 0000000000..4e03e6e114 --- /dev/null +++ b/test/files/neg/t5543.scala @@ -0,0 +1,19 @@ +class C1 { + type T + def this(x: T) { this() } +} + +class C1a[T] { + def this(x: T) { this() } // works, no error here +} + +class C2(x: Int) { + def this(a: Int, b: Int = x) { + this(b) + } +} + +class C3 { + val x = 0 + def this(a: Int = x) { this() } +} diff --git a/test/files/neg/t6829.check b/test/files/neg/t6829.check index 8ee6d182eb..7c3c66e0f2 100644 --- a/test/files/neg/t6829.check +++ b/test/files/neg/t6829.check @@ -1,6 +1,6 @@ t6829.scala:35: error: type mismatch; found : AgentSimulation.this.state.type (with underlying type G#State) - required: _10.State + required: _9.State lazy val actions: Map[G#Agent,G#Action] = agents.map(a => a -> a.chooseAction(state)).toMap ^ t6829.scala:45: error: trait AgentSimulation takes type parameters @@ -17,12 +17,12 @@ t6829.scala:49: error: not found: value nextState ^ t6829.scala:50: error: type mismatch; found : s.type (with underlying type Any) - required: _54.State where val _54: G + required: _53.State where val _53: G val r = rewards(agent).r(s,a,s2) ^ t6829.scala:51: error: type mismatch; found : s.type (with underlying type Any) - required: _51.State + required: _50.State agent.learn(s,a,s2,r): G#Agent ^ t6829.scala:53: error: not found: value nextState |