[CQF] Condition path rewrites to apply only under EvalPath

XMLWordPrintableJSON

    • Type: Task
    • Resolution: Fixed
    • Priority: Major - P3
    • 6.2.0-rc0
    • Affects Version/s: None
    • Component/s: None
    • None
    • Fully Compatible
    • QO 2022-10-17, QO 2022-10-31
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      There are a couple of existing path fusion rewrites which should be conditioned so they only occur in the EvalPath context. Those are:

      1. The rewrite which does the following:

      fuse p1 (PathLambda e1)  ->  ComposeM p1 (PathLambda e1)

      2. The rewrite which does the following:

      fuse p1 (PathConstant e1) -> ComposeM (PathConstant e1) p1

      3. The rewrite which does the following:

      PathComposeM (p1 | p1 is known to be non-Nothing) (PathDefault e2) -> p1

            Assignee:
            Matt Boros
            Reporter:
            Hana Pearlman
            Votes:
            0 Vote for this issue
            Watchers:
            7 Start watching this issue

              Created:
              Updated:
              Resolved: