Ignore:
Timestamp:
May 1, 2025, 11:29:29 AM (5 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master
Children:
57c7e6c4
Parents:
b1f225e5
Message:

Moved over some clean-up I did in various attempted fixes. InitDepthChecker has a very rare error case that has now been removed.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/Parser/TypeData.cpp

    rb1f225e5 ref05cf0  
    737737                        location,
    738738                        "?=?",
    739                         {}, // forall
    740                         {}, // assertions
    741739                        {
    742740                                new ast::ObjectDecl(
    … …  
    779777                        location,
    780778                        "?{}",
    781                         {}, // forall
    782                         {}, // assertions
    783779                        {
    784780                                new ast::ObjectDecl(
    … …  
    802798                        location,
    803799                        "?{}",
    804                         {}, // forall
    805                         {}, // assertions
    806800                        {
    807801                                new ast::ObjectDecl(
    … …  
    834828                        location,
    835829                        "^?{}",
    836                         {}, // forall
    837                         {}, // assertions
    838830                        {
    839831                                new ast::ObjectDecl(
    … …  
    882874                        location,
    883875                        "?=?",
    884                         {}, // forall
    885                         {}, // assertions
    886876                        {
    887877                                new ast::ObjectDecl(
    … …  
    924914                        location,
    925915                        "?{}",
    926                         {}, // forall
    927                         {}, // assertions
    928916                        {
    929917                                new ast::ObjectDecl(
    … …  
    948936                        location,
    949937                        "?{}",
    950                         {}, // forall
    951                         {}, // assertions
    952938                        {
    953939                                new ast::ObjectDecl(
    … …  
    981967                        location,
    982968                        "^?{}",
    983                         {}, // forall
    984                         {}, // assertions
    985969                        {
    986970                                new ast::ObjectDecl(
Note: See TracChangeset for help on using the changeset viewer.