Changeset e5c3811 for src/AST/Type.hpp


Ignore:
Timestamp:
Nov 25, 2020, 3:12:17 AM (3 years ago)
Author:
Fangren Yu <f37yu@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
4702a2c
Parents:
7192145
Message:

create dedicated symbol tables for big 3 operators
note: arbitrary this param type is not supported; it is currently allowed although never used

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/AST/Type.hpp

    r7192145 re5c3811  
    274274public:
    275275        using ForallList = std::vector<ptr<TypeDecl>>;
    276 
     276        // using ForallList = std::vector<readonly<TypeDecl>>;
     277
     278        // using ForallList = std::vector<ptr<TypeInstType>>;
    277279        ForallList forall;
     280        // using AssertionList = std::vector<ptr<VariableExpr>>;
     281        // AssertionList assertions;
    278282
    279283        ParameterizedType( ForallList&& fs = {}, CV::Qualifiers q = {},
     
    423427public:
    424428        readonly<TypeDecl> base;
     429        // int context;
    425430        TypeDecl::Kind kind;
    426431
     
    535540};
    536541
     542bool isUnboundType(const Type * type);
     543
    537544}
     545
    538546
    539547#undef MUTATE_FRIEND
     
    541549// Local Variables: //
    542550// tab-width: 4 //
     551
    543552// mode: c++ //
    544553// compile-command: "make install" //
Note: See TracChangeset for help on using the changeset viewer.