ConstraintUnifier.h

Go to the documentation of this file.

#pragma once
 
#include "ConstraintHandler.h"
#include "TypeConstraint.h"
#include "Unifier.h"
 
class ConstraintUnifier : public ConstraintHandler {
public:
  void handle(std::shared_ptr<TipType> t1,
              std::shared_ptr<TipType> t2) override;
 
private:
  Unifier unifier;
};