Vampire
02/02/2025, 5:13 PMString
but the DAO class specifies this property to be Int
, what is supposed to happen?
Should the format implementation automatically parse the String to an Int
?
If so, which formats should be supported? (hexadecimal, ocatal, prefixes, ...)
Or should the deserialization fail?
Is this specified somewhere?
For example @charleskorn’s KAML does parse any String
that starts wtih 0x
or 0o
or is purely numeric to an Int
.
My question mainly is, whether that is expected in the KxS context, or not.
Because afaiu in the YAML context it should only do this conversion if it is unquoted and not explicitly tagged as !!str
, if it is explicitly marked as String
by quoting or by using the !!str
tag, it should stay a String
as far as YAML format is concerned. But currently it always converts.
Just trying to understand whether this behavior is expected in KxS context or whether I should report a bug to KAML.Vampire
02/12/2025, 10:13 PMeygraber
02/12/2025, 11:23 PMVampire
02/12/2025, 11:30 PMeygraber
02/12/2025, 11:37 PMVampire
02/13/2025, 12:39 AMeygraber
02/13/2025, 1:23 AM