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

Type checker should understand clojure.core.typed/cast

    Details

    • Type: Improvement
    • Status: Closed
    • Priority: Minor
    • Resolution: Completed
    • Affects versions: None
    • Fix versions: 0.3.18
    • Components: None
    • Labels:
      None

      Description

      `cast` now works well at runtime, however it's not plugged into the type checker to communicate the type that's being cast.

      Pull request: 78
      Commits: Type checker understands cast Use `cast` for contract generation

        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: