Skip to content
  • Richard Eisenberg's avatar
    Fix #8958. · d468cd37
    Richard Eisenberg authored
    We now do role inference on stupid datatype contexts, allowing a
    lightweight role annotation syntax.
    d468cd37