diff options
author | François Garillot <francois@garillot.net> | 2014-01-27 14:43:59 +0100 |
---|---|---|
committer | François Garillot <francois@garillot.net> | 2014-05-14 14:54:55 +0200 |
commit | cb6546e1203218f3e0513fb07a2f7ea55f02a86a (patch) | |
tree | 29e5e673686d02c1dfd45e7c449d923776167f28 /test/files/run/constrained-types.check | |
parent | c763d8413b8e1ef5129378952b2327e8a7c2de7d (diff) | |
download | scala-cb6546e1203218f3e0513fb07a2f7ea55f02a86a.tar.gz scala-cb6546e1203218f3e0513fb07a2f7ea55f02a86a.tar.bz2 scala-cb6546e1203218f3e0513fb07a2f7ea55f02a86a.zip |
SI-8185 Correct grammar for single-warning compilation run
Diffstat (limited to 'test/files/run/constrained-types.check')
-rw-r--r-- | test/files/run/constrained-types.check | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/files/run/constrained-types.check b/test/files/run/constrained-types.check index 9a106785a1..a3cd59b9fb 100644 --- a/test/files/run/constrained-types.check +++ b/test/files/run/constrained-types.check @@ -71,11 +71,11 @@ scala> var four = "four" four: String = four scala> val four2 = m(four) // should have an existential bound -warning: there were 1 feature warning(s); re-run with -feature for details +warning: there was one feature warning; re-run with -feature for details four2: String @Annot(x) forSome { val x: String } = four scala> val four3 = four2 // should have the same type as four2 -warning: there were 1 feature warning(s); re-run with -feature for details +warning: there was one feature warning; re-run with -feature for details four3: String @Annot(x) forSome { val x: String } = four scala> val stuff = m("stuff") // should not crash @@ -98,7 +98,7 @@ scala> def m = { val y : String @Annot(x) = x y } // x should not escape the local scope with a narrow type -warning: there were 1 feature warning(s); re-run with -feature for details +warning: there was one feature warning; re-run with -feature for details m: String @Annot(x) forSome { val x: String } scala> @@ -112,7 +112,7 @@ scala> def n(y: String) = { } m("stuff".stripMargin) } // x should be existentially bound -warning: there were 1 feature warning(s); re-run with -feature for details +warning: there was one feature warning; re-run with -feature for details n: (y: String)String @Annot(x) forSome { val x: String } scala> |