Changes between Initial Version and Version 1 of Ticket #9


Ignore:
Timestamp:
May 24, 2017, 2:51:23 PM (8 years ago)
Author:
Rob Schluntz
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #9 – Description

    initial v1  
    2121}}}
    2222
    23 The dtype T is only used as the return value of malloc, i.e., T does not occur in the parameter list or any type assertion (other than the pseudo-assertion "sized"), so by the time it is seen in the assignment call [?=?(&i, malloc())] T is a closed type variable and the unification of T and int* fails.
     23The dtype T is only used as the return value of malloc, i.e., T does not occur in the parameter list or any type assertion (other than the pseudo-assertion "sized"), so by the time it is seen in the assignment call ?=?(&i, malloc()) T is a closed type variable and the unification of T and int* fails.