From 48b35bd92143159e696aec7bd040c16b2779048c Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Sun, 25 Jun 2023 09:03:15 +0200 Subject: [PATCH] tmp --- libsolidity/ast/experimental/Type.h | 3 +-- libsolidity/ast/experimental/TypeSystemHelper.cpp | 8 +++++++- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/libsolidity/ast/experimental/Type.h b/libsolidity/ast/experimental/Type.h index 1bb831e1d..f9e65df31 100644 --- a/libsolidity/ast/experimental/Type.h +++ b/libsolidity/ast/experimental/Type.h @@ -117,8 +117,7 @@ private: friend class TypeSystem; size_t m_index = 0; Sort m_sort; - TypeVariable(size_t _index, Sort _sort): - m_index(_index), m_sort(std::move(_sort)) {} + TypeVariable(size_t _index, Sort _sort): m_index(_index), m_sort(std::move(_sort)) {} }; } diff --git a/libsolidity/ast/experimental/TypeSystemHelper.cpp b/libsolidity/ast/experimental/TypeSystemHelper.cpp index c81950f63..7ebf50c32 100644 --- a/libsolidity/ast/experimental/TypeSystemHelper.cpp +++ b/libsolidity/ast/experimental/TypeSystemHelper.cpp @@ -398,7 +398,13 @@ std::string TypeEnvironmentHelpers::typeToString(Type const& _type) const }, [](TypeVariable const& _type) { std::stringstream stream; - stream << "'var" << _type.index(); + std::string varName; + size_t index = _type.index(); + varName += 'a' + static_cast(index%26); + while (index /= 26) + varName += 'a' + static_cast(index%26); + reverse(varName.begin(), varName.end()); + stream << '\'' << varName; switch (_type.sort().classes.size()) { case 0: