Changes between Initial Version and Version 1 of Ticket #9636, comment 8


Ignore:
Timestamp:
Oct 1, 2014 9:04:23 AM (4 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9636, comment 8

    initial v1  
    66then you would like `(foo (Right True))` to signal a type error.
    77
     8Do you have a clear idea about how to write declarative typing rules that would define which programs are acceptable and which are not?
     9
    810Simon