• eir@cis.upenn.edu's avatar
    Fix #8958. · d468cd37
    eir@cis.upenn.edu authored
    We now do role inference on stupid datatype contexts, allowing a
    lightweight role annotation syntax.
    d468cd37
T8958.stderr 1.73 KB