fixup! Type inference draft.

Rebase fixes
ethereum · Sep 13, 2023 · b2363a8 · b2363a8
1 parent 3e4b22c
commit b2363a8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/libsolidity/experimental/ast/TypeSystem.cpp b/libsolidity/experimental/ast/TypeSystem.cpp
@@ -138,7 +138,7 @@ TypeSystem::TypeSystem()
 	for (auto [type, name, arity]: std::initializer_list<std::tuple<PrimitiveType, char const*, size_t>>{
 		{PrimitiveType::TypeFunction, "tfun", 2},
 		{PrimitiveType::Function, "fun", 2},
-		{PrimitiveType::Function, "itself", 1},
+		{PrimitiveType::Itself, "itself", 1},
 		{PrimitiveType::Void, "void", 0},
 		{PrimitiveType::Unit, "unit", 0},
 		{PrimitiveType::Pair, "pair", 2},

diff --git a/libsolidity/interface/CompilerStack.cpp b/libsolidity/interface/CompilerStack.cpp
@@ -1475,9 +1475,6 @@ void CompilerStack::generateIR(ContractDefinition const& _contract)
 {
 	solAssert(m_stackState >= AnalysisSuccessful, "");
 
-	if (m_experimentalAnalysis)
-		solThrow(CompilerError, "IR codegen after experimental analysis is unsupported.");
-
 	Contract& compiledContract = m_contracts.at(_contract.fullyQualifiedName());
 	if (!compiledContract.yulIR.empty())
 		return;