internal ITypeUnificationResult GetTypeUnificationResult(Terminal terminal, TypeVariableReference terminalTypeVariable, TypeVariableReference unifyWith)
{
TerminalUnificationResult unificationResult;
if (!_unificationResults.TryGetValue(terminal, out unificationResult))
{
_unificationResults[terminal] = unificationResult = new TerminalUnificationResult(terminalTypeVariable, unifyWith);
}
return(new TerminalTypeUnificationResult(unificationResult));
}
public TerminalTypeUnificationResult(TerminalUnificationResult unificationResult)
{
_unificationResult = unificationResult;
}