• eir@cis.upenn.edu's avatar
    Fix #8773. · 13829758
    eir@cis.upenn.edu authored
    To make a role annotation on a class asserting a role other than
    nominal, you now need -XIncoherentInstances. See the ticket for
    more information as to why this is a good idea.
    13829758
all.T 435 Bytes