• eir@cis.upenn.edu's avatar
    Change role annotation syntax. · f4046b50
    eir@cis.upenn.edu authored
    This fixes bugs #8185, #8234, and #8246. The new syntax is explained
    in the comments to #8185, appears in the "Roles" subsection of the
    manual, and on the [wiki:Roles] wiki page.
    This change also removes the ability for a role annotation on type
    synonyms, as noted in #8234.
Coercion.lhs 68 KB