Changes between Initial Version and Version 1 of Ticket #176


Ignore:
Timestamp:
May 17, 2020, 9:28:57 AM (5 years ago)
Author:
pabuhr
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #176 – Description

    initial v1  
    1111int fred() {
    1212        Link(int) l;
    13         int * ip = l.top; // assignment works
     13        int i = l.count, * ip = l.top;
    1414        __int128 I = l.atom;
    15         ip = l.top; // assignment fails
     15        i = l.count;
     16        ip = l.top;
    1617        I = l.atom;
    1718}
    … …  
    1920{{{
    2021CFA Version 1.0.0 (debug)
    21 test1.cfa:14:1 error: No reasonable alternatives for expression Applying untyped:
     22test1.cfa:15:1 error: No reasonable alternatives for expression Applying untyped:
    2223  Name: ?=?
    2324...to:
    … …  
    2728    Name: l
    2829}}}
     30The assignment fails because top is of type T. Assignment to non-polymorphic types works.