- 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
- Location:
- src
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Decl.hpp
r4702a2c r0292aa4 75 75 int scopeLevel = 0; 76 76 77 /*78 ForallDecl foralls {79 list<TypeDecl> params80 list<ObjectDecl> assns81 }82 */83 84 77 std::vector<ptr<Attribute>> attributes; 85 78 Function::Specs funcSpec; -
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" // -
src/ResolvExpr/CandidateFinder.cpp
r4702a2c r0292aa4 1595 1595 // unification run for side-effects 1596 1596 bool canUnify = unify( toType, cand->expr->result, env, need, have, open, symtab ); 1597 1597 (void) canUnify; 1598 1598 Cost thisCost = computeConversionCost( cand->expr->result, toType, cand->expr->get_lvalue(), 1599 1599 symtab, env );
Note: See TracChangeset
for help on using the changeset viewer.