1 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 2 // -*- mode: C++ -*- 3 // 4 // Copyright 2023 Google LLC 5 // 6 // Licensed under the Apache License v2.0 with LLVM Exceptions (the 7 // "License"); you may not use this file except in compliance with the 8 // License. You may obtain a copy of the License at 9 // 10 // https://llvm.org/LICENSE.txt 11 // 12 // Unless required by applicable law or agreed to in writing, software 13 // distributed under the License is distributed on an "AS IS" BASIS, 14 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 15 // See the License for the specific language governing permissions and 16 // limitations under the License. 17 // 18 // Author: Giuliano Procida 19 20 #ifndef STG_TYPE_RESOLUTION_H_ 21 #define STG_TYPE_RESOLUTION_H_ 22 23 #include <vector> 24 25 #include "graph.h" 26 #include "runtime.h" 27 #include "unification.h" 28 29 namespace stg { 30 31 void ResolveTypes(Runtime& runtime, Graph& graph, Unification& unification, 32 const std::vector<Id>& roots); 33 34 } // namespace stg 35 36 #endif // STG_TYPE_RESOLUTION_H_ 37