blob: 03ad663ab9eebba82edeaedb9f86554065797781 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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
|
