Uploaded image for project: 'core.typed'
  1. CTYP-296

Overlap of free variables and other types should not be empty

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Completed
    • Affects versions: None
    • Fix versions: 0.3.19
    • Components: None
    • Labels:
      None

      Description

      Problem

      Intersections containing type variables and values like

      (I a (Val :a))
      

      are being simplified to

      (U)
      

      We cannot predict what a type variable overlaps with (well, technically we could use its type bounds, but let's be more conservative for now), so this intersection should be left unchanged.

      Solution

      Overlap is the culprit. Ensure there is always an overlap between type variables and other types.

      Pull request: 82
      Commit: c1cfba87

        Attachments

          Activity

            People

            • Assignee:
              ambrosebs Ambrose BS
              Reporter:
              ambrosebs Ambrose BS
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: