core.typed

derive/subtype failure on hashmap

Details

  • Type: Defect Defect
  • Status: Resolved Resolved
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None
  • Environment:
    linux/java + core.typed 0.2.31

Description

The attached code fails when checking the namespace, as core.typed incorrectly assumes that the return-type is incorrect. Part of error-output is included as string ErrInfo and compared for difference with the return-type from the proto-type of the failing function.

When you load the file the analysis of the error-message is shown (run check-ns to see the message)

Activity

Hide
Cees van Kemenade added a comment -

Great!

Thanks for the rapid fix.
Tested it it and it works fine.

C.

Show
Cees van Kemenade added a comment - Great! Thanks for the rapid fix. Tested it it and it works fine. C.

People

Vote (0)
Watch (1)

Dates

  • Created:
    Updated:
    Resolved: