Changeset 2c8946b for doc


Ignore:
Timestamp:
May 23, 2024, 5:18:27 PM (6 weeks ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master
Children:
dc74231
Parents:
fbc84ca
Message:

Various whitespace and intentation updates.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/proposals/autogen.md

    rfbc84ca r2c8946b  
    4646
    4747Results in the following autogenerated expands to:
    48     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     48        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    4949        void ?{}(Cell(T)&);
    50     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     50        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    5151        void ?{}(Cell(T)&, Cell(T));
    52     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     52        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    5353        void ^?{}(Cell(T)&);
    54     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     54        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    5555        void ?=?(Cell(T)&, Cell(T));
    56     forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
     56        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
    5757        void ?{}(Cell(T)&, T);
    5858
    5959If these assertions were reduced to the minimial required assertions the result would instead look something like the:
    60     forall(T* | { void ?{}(T&); })
     60        forall(T* | { void ?{}(T&); })
    6161        void ?{}(Cell(T)&);
    62     forall(T* | { void ?{}(T&, T); })
     62        forall(T* | { void ?{}(T&, T); })
    6363        void ?{}(Cell(T)&, Cell(T));
    64     forall(T* | { void ^?{}(T&); })
     64        forall(T* | { void ^?{}(T&); })
    6565        void ^?{}(Cell(T)&);
    66     forall(T* | { T ?=?(T&, T); })
     66        forall(T* | { T ?=?(T&, T); })
    6767        void ?=?(Cell(T)&, Cell(T));
    68     forall(T* | { void ?{}(T&, T); })
     68        forall(T* | { void ?{}(T&, T); })
    6969        void ?{}(Cell(T)&, T);
    7070
Note: See TracChangeset for help on using the changeset viewer.