Changes between Initial Version and Version 2 of Ticket #82


Ignore:
Timestamp:
Jun 22, 2022, 2:51:38 PM (2 years ago)
Author:
Thierry Delisle
Comment:

Updated to remove deprecated dtype.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #82 – Description

    initial v2  
    11The following example currently chooses the signed ?-?, but should choose unsigned ?-?. I believe it’s getting there because it delays the conversion cost for arguments until getting to bsearch, so by this point signed ?-? and unsigned ?-? are still both candidates, and unsigned ?-? fails because E is bound to unsigned and signed */unsigned * do not unify.
    22{{{
    3 forall( dtype E ) void bsearch( E key, const E * vals );
     3forall( E ) void bsearch( E key, const E * vals );
    44signed int ?-?( signed int, signed int );
    55unsigned int ?-?( unsigned int, unsigned int );