Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
research:software:gradual-unions [2017/05/02 10:50] – [Combining gradual unions and the unknown type] mtoro | research:software:gradual-unions [2017/05/02 10:51] – [Errors] mtoro | ||
---|---|---|---|
Line 159: | Line 159: | ||
- | ==== Errors | + | ==== Static and dynamic errors |
The prototype implementation reports static errors after the " | The prototype implementation reports static errors after the " | ||