Changes between Version 32 and Version 33 of Holes


Ignore:
Timestamp:
May 4, 2012 11:35:57 PM (3 years ago)
Author:
spl
Comment:

Careless phrasing

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v32 v33  
    132132Comments: 
    133133  * Reports the source location of each hole 
    134   * Does not allow two holes to have the same type  '''SLPJ: This sounds wierd.   Do you mean that `_ && _` would be illegal somehow?  Here the two holes both have type Bool''' 
     134  * Does not allow the programmer to specify that two holes have the same type  '''SLPJ: This sounds wierd.   Do you mean that `_ && _` would be illegal somehow?  Here the two holes both have type Bool''' -- '''SPL: No, it's just careless phrasing. Corrected.''' 
    135135  * Requires evaluation semantics for hole.   '''SLPJ: What does this mean?  Example?''' 
    136136