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:56] – [Static and dynamic errors] mtororesearch:software:gradual-unions [2017/05/02 10:58] – [Static and dynamic errors] mtoro
Line 162: Line 162:
 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-errors2.png?700|}}+{{:research:software:gradual-unions:static-errors3.png?700|}}
  
 Now let us add an ascription to the boolean value: Now let us add an ascription to the boolean value: