On Tue, Apr 21, 2020 at 05:30:40PM -0400, John Clements wrote:
> Are you asking because you’d like your own code using SXML to be typed, or
> because you’d like the sxml implementation to be typed? I think another way
> of asking this is: are you worried about bugs in your code, or about bugs in
Are you asking because you’d like your own code using SXML to be typed, or
because you’d like the sxml implementation to be typed? I think another way of
asking this is: are you worried about bugs in your code, or about bugs in
Oleg’s code? I think that rewriting the sxml library into TR would
Is there a typed version of sxml?
Its data representation would seem to be fairly easy to specify by a few
corecursice define-type's.
I's like to get the result of
(ssax:xml->sxml in '())
as a typed value without having to waste time doing an exhaustive
run-time type-check on its output.
3 matches
Mail list logo