Reconsider computing "completesNormally" for case blocks inside Attr

XMLWordPrintable

    • Type: Task
    • Resolution: Unresolved
    • Priority: P4
    • 26
    • Affects Version/s: 23
    • Component/s: tools
    • None

      Attr.handleSwitch computes completesNormally for case blocks. This may slow down attribution unnecessarily, as it is also done while doing speculative attribution, and will also evaluate exhaustiveness.

            Assignee:
            Angelos Bimpoudis
            Reporter:
            Jan Lahoda
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: