Nathan Pollart

@yannham What I did here is pretty much unify for record rows. It miss TailVar, Constant, etc... Do you know how to reconstruct a `GenericUnifType` from `GenericUnifRecordRows`. For the time...

The commit `58af17d` break stuff about record. Left to do : - [x] Comments - [x] Fix the problem about records - [x] Fix warning

The problem about records wasn't real, it was just a simple problem about reporting error correctly. Another problem arose. It is about `lsp/nls/tests/inputs/hover_field_typed_block_regression_1574.ncl`, it give a new snapshot and I...

To de-duplicate the code between `is_subsumed_by` and `unify`, we can just call `unify` where we need in `is_subsumed_by`. The cost, I see, will be the cost of pattern matching +...

I was talking about cases where we do exactly the same work (with Constant and UnifVar etc...). In those cases, we can call `unify` from `is_subsumed_by`. The other alternative was...

I don't understand why cargo and the continuous integration pipeline give me an error about the lsp. @yannham