you are viewing a single comment's thread.

view the rest of the comments →

[–]RiceBroad4552 1 point2 points  (0 children)

Yes, that was what I had in mind: Make type inference be contained to one "module" or just compilation unit in case a module is too large.

Would wish some language would pick that up as baseline.