Changes between Initial Version and Version 2 of Ticket #185


Ignore:
Timestamp:
Aug 7, 2025, 4:00:13 PM (7 weeks ago)
Author:
mlbrooks
Comment:

Was partly fixed by [119889f], but not reverse-linked at that time. The fix applies to functions, but not types. The original repro in here still fails. Adding explanation of cause from #222.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #185

    • Property Priority major → minor

  • Ticket #185 – Description

    initial v2  
    6767this is fun
    6868}}}
     69
     70The cause (as originally captured in #222) of the issue is that the parser adds the extra parameter.  To see it:
     71
     72{{{
     73forall (T & ) {
     74  forall ( | {void foo (T *); }) struct bar_t { T * fld; };
     75}
     76}}}
     77
     78Actual prefix of compiling `-CFA -XCFA,-p,-Past`:
     79{{{
     80struct bar_t with body
     81... with parameters
     82  T: data type
     83  data type
     84  ...
     85}}}
     86Note that bar_t has two parameters (the two lines following `... with parameters`), the first named T, the second anonymous.
     87
     88Expecting one parameter named T.