maximebuyse
maximebuyse
Fixed by https://github.com/cryspen/hax/pull/1223
This works on main
A first solution that we designed to deal with these issues would be to add `if let` guards for patterns in the Hax AST. When a guard is present in...
Sub-issue for if let guards: #814
> A first solution that we designed to deal with these issues would be to add `if let` guards for patterns in the Hax AST. When a guard is present...
For the phase taking care of opaque types and array patterns, we should implement a visitor working bottom-up and rewriting these patterns with `IfLet` guards (for example `[a,b]` rewrites to...
> @maximebuyse are you actually working on this right now or shall it have a different status? I am working on it (more specifically on #464 and #804)
I currently have an almost finished version for opaque types and array patterns. Three things are still missing: - Parameterization of the phase (to choose which patterns to rewrite or...
Closed by https://github.com/cryspen/hax/pull/1385 and https://github.com/cryspen/hax/pull/1394
This is because of #888