Changes between Version 3 and Version 4 of Ticket #11650


Ignore:
Timestamp:
Feb 26, 2016 12:02:46 PM (2 years ago)
Author:
bgamari
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11650 – Description

    v3 v4  
    3939It seems that the default definitions of `some` and `many` will produce looping code in these cases (although it's not entirely clear to me which cases "these" cases are).
    4040
    41 I suppose this is due to the fact that `U1` will always "succeed". We should ensure that this is noted in the documentation to ensure that users don't end up with accidentally bottoming instances.
    42 Well, consider what happens
     41I suppose this is due to the fact that `U1` will always "succeed". We should note this in the documentation to ensure that users don't end up with accidentally bottoming instances.