Re: [MirageOS-devel] sexplib v0.9.0 breakage of MirageOS unikernels (xen & solo5)

[Rudi Grinberg <rudi.grinberg@xxxxxxxxx>]

> I'm not sure exactly what your point is here. Sexpm is a generic s-expression 
> codec, you can decode to and encode from whichever representation, and hence 
> types you want.
Oh I see, I glanced over the tagged type defined here:
https://github.com/dbuenzli/sexpm/blob/master/src/sexpm.mli#L165

and got scared. I should be able to cook up something sexp compatible with ease
then modulo the encoding issue.

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel