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

pred doesn't work with polymorphic protocols?

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Declined
    • Affects versions: 0.3.22
    • Fix versions: None
    • Components: Core type system
    • Labels:
      None

      Description

      (t/defprotocol [[a :variance :invariant]] Field
        (parse [_ s :- t/Str] :- a)
        (render [_ v :- a] :- t/Str)
        (validate [_ x :- t/Any] :- a))
      
      (t/pred (Field t/Str)) ; => ... :Protocol not supported in type->pred: Field
      

        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: