core.typed

• Type: Defect
• Status: Closed
• Priority: Major
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

"Real world" use case, removing the optional forename makes things work as expected:

(def-alias TUser (HMap :mandatory {:group String}
                       :optional {:forename String}
                  ))
(def-alias TAdmin (HMap :mandatory {:group (Value "admin")}
                        :optional {:forename String}
                  ))

(ann my-user TUser)
(def my-user {:group "whee"})

(ann my-admin TAdmin)
(def my-admin (assoc my-user :group "admin"))

Smaller test case:

(cf (assoc
      (ann-form {} (HMap :optional {:a Any}))
      :b "v")
    (HMap :mandatory {:b (Value "v")} :optional {:a Any}))

• Assignee:

  Ambrose Bonnaire-Sergeant

  Reporter:

  Chris Spencer

• Created:

  15/Sep/13 11:02 AM

  Updated:

  25/Sep/13 3:34 AM

  Resolved:

  20/Sep/13 8:42 PM