Mikko Leppänen

Results 43 comments of Mikko Leppänen

@sydney-runkle, I'm interested in taking a look at this. BTW, can you unassign me from #9100?

Hey @sydney-runkle, here's some observations so far: The problem surfaces from the `pydantic_core`. How to handle the strict mode is the concern. In the example above, if you disable the...

> Hmm, that is odd. Have you used make install locally to set everything up? I'm guessing you have rust installed locally already and have followed the getting started guide...

@sydney-runkle, @YassinNouh21, yeah you can unassign me. Sorry, I was not planning to implement this. I was more like debugging it to better understand w/o any other agenda. Moreover, I'm...

> I am also wondering if `Arc` should be considered cheap. I did some benchmarks on my laptop and I know there has been other benchmarks mentioned on Zulip. My...

Hey! If it is okay, I would be interested in looking at this.

After looking into this, I wanted to know if it makes sense to introduce a data model for errors/warnings. ```python @dataclass(frozen=True) class InvalidTokenError: level: ErrorKind code: ErrorCode message: str |...

This is just playing around with the code. Trying to find the best solution. Here's a one proposal: ```python visit_SectionHeader(self, node): token: 'Token|None' = node.get_token(*Token.HEADER_TOKENS) if token is None or...

I've had a working implementation ready locally for some time now. Should I create a pull request, or should we discuss the implementation approach?