grain icon indicating copy to clipboard operation
grain copied to clipboard
verified publisher icon grain-lang

Type checking: Enable enhanced value restriction

Open phated opened this issue 3 years ago • 0 comments

In #1356, @EduardoRFS pointed out that Grain doesn't have enhanced value restriction enabled (in the type checker). We probably want that enabled, but we need to do further investigation.

phated avatar Oct 14 '22 22:10 phated