/* 
 * File:   typeinference.h
 * Author: pgess <v.melnychenko@xreate.org>
 *
 * Created on April 16, 2017, 10:17 AM
 */

#ifndef TYPEINFERENCE_H
#define TYPEINFERENCE_H

#include "ast.h"
#include "llvm/IR/IRBuilder.h"

namespace llvm {
    class Value;
    class Type;
};

namespace xreate {namespace analysis {namespace typeinference {
    
llvm::Value* doAutomaticTypeConversion(llvm::Value* source, llvm::Type* tyTarget, llvm::IRBuilder<>& builder);
ExpandedType getType(const Expression& expression, const AST& ast);    

} } } //namespace xreate

#endif /* TYPEINFERENCE_H */