Closed MicroProofs closed 5 days ago
1.0.26
The lsp hover shows Bool instead of the actual type. This is due to it inferring the validator type.
The actual type of the function or its arguments based on where my mouse hovers over
so this is definitely related to backpassing
Fixed in #999
What Git revision are you using?
1.0.26
What operating system are you using, and which version?
Describe what the problem is?
The lsp hover shows Bool instead of the actual type. This is due to it inferring the validator type.
What should be the expected behavior?
The actual type of the function or its arguments based on where my mouse hovers over