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
Protquill had to be disabled since it exhibited deeply nested errors in a function argument that went away
once an enclosing function was changed with a conversion or extension, and the full argument was completely typechecked.
Retype checking large bodies of code like this was never inteneded and counts as a bug in the compiler. Unfortunately,
this means that some type annotations will have to be added to protoquill to make it compiler again.
0 commit comments