> compile

# remove the right-hand side of A.v
$ copy-file changes/A.scala A.scala

# B must be recompiled: it no longer implements A.v
-> compile
