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

core.typed doesn't interact well with inlining

    Details

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

      Description

      (cf compare)

      gives

      (Fn [Comparable Any -> Number])

      but

      (cf (fn [v x] (compare v x)) (Fn [Comparable Any -> Number]))

      fails the type check.

      (Credit: cspent on IRC figured out that the problem was that it was inlining the compare function, and therefore not using the annotation.)

        Attachments

          Activity

            People

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

              Dates

              • Created:
                Updated:
                Resolved: