Changeset 0292aa4 for src/AST/Type.hpp
- Timestamp:
- Nov 25, 2020, 10:04:05 AM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 5e82d56
- Parents:
- 4702a2c
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Type.hpp
r4702a2c r0292aa4 274 274 public: 275 275 using ForallList = std::vector<ptr<TypeDecl>>; 276 // using ForallList = std::vector<readonly<TypeDecl>>; 277 278 // using ForallList = std::vector<ptr<TypeInstType>>; 276 279 277 ForallList forall; 280 // using AssertionList = std::vector<ptr<VariableExpr>>;281 // AssertionList assertions;282 278 283 279 ParameterizedType( ForallList&& fs = {}, CV::Qualifiers q = {}, … … 427 423 public: 428 424 readonly<TypeDecl> base; 429 // int context;430 425 TypeDecl::Kind kind; 431 426 … … 544 539 } 545 540 546 547 541 #undef MUTATE_FRIEND 548 542 549 543 // Local Variables: // 550 544 // tab-width: 4 // 551 552 545 // mode: c++ // 553 546 // compile-command: "make install" //
Note: See TracChangeset
for help on using the changeset viewer.