Nathan Corbyn

Results 20 comments of Nathan Corbyn

I should have made this clear, but have you tried: ```rust #[obake::versioned] #[obake(version("0.1.0"))] #[obake(version("0.2.0"))] #[obake(derive(serde::Serialize, serde::Deserialize))] #[derive(serde::Serialize, serde::Deserialize)] struct Foo { field_0: String, #[obake(cfg(">0.1.0"))] field_1: u32, } impl From for...

This will deserialize any version as an externally tagged serde enum

I've added some new helper methods which I think could help implement this. Particularly `try_from_versioned`. Have a look and see what you think?

This is very interesting thank you! I believe the issue has to do with the ambiguity caused by `untagged`. The behaviour you're observing is that the deserializer is trying earlier...

I'm not sure I understand. Could you explain a little more? Maybe provide some code you'd like to work that doesn't?

It's been several years since I've thought about this so my answers may be a bit clunky but let me do my best! In terms of the closure of wild...

To add some weight to the intuition this should contract, adding a very small amount to either end of the diagram does allow it to contract: [homotopy_io_export.hom.zip](https://github.com/homotopy-io/homotopy-rs/files/14433568/homotopy_io_export.hom.zip)

I'll take a look tomorrow!

> Here is another interesting one... > > Given an oriented 2-cell on a (framed) invertible 1-cell, its trace contracts to a scalar version of the 2-cell. ![homotopy_io_export](https://user-images.githubusercontent.com/16837293/182621307-5fb5ea1b-de55-472e-a31c-e3235a0aa83b.svg) ![homotopy_io_export(1)](https://user-images.githubusercontent.com/16837293/182621317-42d9b60b-238f-44c3-b84b-56be077ce858.svg) This...