Geovane Fedrecheski
Geovane Fedrecheski
@chadbr I just tested and it worked for me. In my case I used a lambda: ``` my_field: Optional[dict] = field(default=None, metadata=config(exclude=lambda x: x is None)) ```
> we could do a little doc that calls out the configuration ION uses. That would be nice, thanks.
+1, I am also having this issue. To complement, if I remove the `_` from the beginning of the variable name, the compiler complains that the variable is unused; but...
Hello, also curious on what version should I use? It seems that this one is more up to date than the deb one?
Had the same problem on M1, `faiss-cpu==1.7.3` made `pip install -r requirements.txt` work for me as well.
For the record (context from #99): - this issue also affects translation of the [`edhoc-rs`](https://github.com/openwsn-berkeley/edhoc-rs) crate into fstar. - in #99 there is a `How to reproduce` section, that could...