Changeset c92bdcc for src/AST/TypeSubstitution.hpp
- Timestamp:
- May 10, 2024, 4:06:07 PM (5 months ago)
- Branches:
- master
- Children:
- 0f612d2
- Parents:
- 41c8312
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/TypeSubstitution.hpp
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // TypeSubstitution.h --7 // TypeSubstitution.hpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 16 16 #pragma once 17 17 18 #include <cassert> // for assert19 #include <list> // for list<>::iterator, _List_iterator18 #include <cassert> // for assert 19 #include <list> // for list<>::iterator, _List_iterator 20 20 #include <unordered_map> 21 21 #include <unordered_set> 22 #include <string> // for string, operator!=23 #include <utility> // for pair22 #include <string> // for string, operator!= 23 #include <utility> // for pair 24 24 25 #include "Fwd.hpp" // for UniqueId25 #include "Fwd.hpp" // for UniqueId 26 26 #include "ParseNode.hpp" 27 27 #include "Type.hpp" 28 #include "Common/SemanticError.h " // for SemanticError28 #include "Common/SemanticError.hpp" // for SemanticError 29 29 #include "Visitor.hpp" 30 30 #include "Decl.hpp"
Note: See TracChangeset
for help on using the changeset viewer.