Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous 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:56] – [Static and dynamic 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:
  
-{{:research:software:gradual-unions:static-error.png?700|}}+{{:research:software:gradual-unions:static-errors2.png?700|}}
  
 Now let us add an ascription to the boolean value: Now let us add an ascription to the boolean value: