You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
within some_record, the extension beautifully shows hints on the structure of Schema as I type after some_val = src., whereas within some_func, no hint is available after some_val = src.
Describe the solution you'd like
Enable hints for function parameters that are annotated with record contract.
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Assigning myself because I don't think this needs any support on the LSP side (I mean, not directly), but rather on the typechecker side. As far as I can tell, it should be simple to do, just need a bit of special casing (when walking an annotated term whose content is a function and type is a function type, retype() the function parameter with the domain of the function type)
Is your feature request related to a problem? Please describe.
Consider the following example:
within
some_record
, the extension beautifully shows hints on the structure ofSchema
as I type aftersome_val = src.
, whereas within some_func, no hint is available aftersome_val = src.
Describe the solution you'd like
Enable hints for function parameters that are annotated with record contract.
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Additional context
The text was updated successfully, but these errors were encountered: