What does it mean? could you give some examples about it? thank you in advance
If we introduce inference of return types, then we
need to infer and check the types for A again. This
may be an argument for not introducing inference of
return types (only of patterns and guards)
Interesting! This is probably the big thing I’m looking forward to but knew there had to be a catch That totally makes sense, though. Thanks for the question, @shahryarjb, and thanks for the answer, José.
2 Likes
Thanks for all the hard work! Quick question:
Do not run fixpoint computation on runtime dependencies. This should considerably improve compilation times for large projects when changing only one or two files
Is this improvement in relation to 17.0.0
? Or is this an improvement over previous versions as well?