Changeset 53449a4 for src/AST/Pass.proto.hpp
- Timestamp:
- Dec 16, 2020, 4:01:57 PM (3 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 8ba363e, c8025a21
- Parents:
- b3c8496 (diff), 3e5dd913 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Pass.proto.hpp
rb3c8496 r53449a4 396 396 // Some simple scoping rules 397 397 template<typename core_t> 398 static inline auto enter( core_t & core, int, const ast:: ParameterizedType * type )398 static inline auto enter( core_t & core, int, const ast::FunctionType * type ) 399 399 -> decltype( core.subs, void() ) { 400 400 if ( ! type->forall.empty() ) core.subs.beginScope(); … … 402 402 403 403 template<typename core_t> 404 static inline auto enter( core_t &, long, const ast:: ParameterizedType * ) {}405 406 template<typename core_t> 407 static inline auto leave( core_t & core, int, const ast:: ParameterizedType * type )404 static inline auto enter( core_t &, long, const ast::FunctionType * ) {} 405 406 template<typename core_t> 407 static inline auto leave( core_t & core, int, const ast::FunctionType * type ) 408 408 -> decltype( core.subs, void() ) { 409 409 if ( ! type->forall.empty() ) { core.subs.endScope(); } … … 411 411 412 412 template<typename core_t> 413 static inline auto leave( core_t &, long, const ast::ParameterizedType * ) {} 414 415 // Get the substitution table, if present 416 template<typename core_t> 417 static inline auto subs( core_t & core, int ) -> decltype( &core.subs ) { 418 return &core.subs; 419 } 420 421 template<typename core_t> 422 static inline ast::ForallSubstitutionTable * subs( core_t &, long ) { return nullptr; } 413 static inline auto leave( core_t &, long, const ast::FunctionType * ) {} 423 414 424 415 // Replaces a TypeInstType's base TypeDecl according to the table
Note: See TracChangeset
for help on using the changeset viewer.