Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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] mtororesearch: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 "TYPECHECK!" button is clicked. For example: The prototype implementation reports static errors after the "TYPECHECK!" button is clicked. For example: