1 files changed, 77 insertions, 0 deletions
diff --git a/tiger-compiler/lib/misc/variant.hxx b/tiger-compiler/lib/misc/variant.hxx
new file mode 100644
index 0000000..1f7feab
--- /dev/null
+++ b/tiger-compiler/lib/misc/variant.hxx
@@ -0,0 +1,77 @@
+/**
+ ** \file misc/variant.hxx
+ ** \brief Implementation of misc::variant.
+ **/
+
+#pragma once
+
+#include <variant>
+
+#include <type_traits>
+#include <misc/variant.hh>
+
+namespace misc
+{
+  template <typename T, typename... Ts>
+  template <typename U>
+    requires ContainsTypeSet<U, T, Ts...>
+  variant<T, Ts...>::variant(const U& rhs)
+    : super_type(rhs)
+  {}
+
+  template <typename T, typename... Ts>
+  template <typename U>
+    requires ContainsTypeSet<U, T, Ts...>
+  variant<T, Ts...>& variant<T, Ts...>::operator=(const U& rhs)
+  {
+    // Don't assign to oneself.
+    if (static_cast<const void*>(&rhs) != static_cast<const void*>(this))
+      super_type::operator=(rhs);
+    return *this;
+  }
+
+  template <typename T, typename... Ts>
+  template <typename U>
+    requires ContainsTypeGet<U, T, Ts...>
+  variant<T, Ts...>::operator U&()
+  {
+    return std::get<U>(*this);
+  }
+
+  template <typename T, typename... Ts>
+  template <typename U>
+    requires ContainsTypeGet<U, T, Ts...>
+  variant<T, Ts...>::operator const U&() const
+  {
+    // FIXME DONE: Some code was deleted here.
+    return std::get<U>(*this);
+  }
+
+  template <typename T, typename... Ts>
+  template <typename V>
+    requires Visits<V, T, Ts...>
+  auto variant<T, Ts...>::visit(V&& visitor) const
+  {
+    return std::visit(visitor, static_cast<super_type>(*this));
+  }
+
+  template <typename T, typename... Ts>
+  template <typename V, class... Variants>
+  auto variant<T, Ts...>::visit(V&& visitor, Variants&&... vars)
+  {
+    return std::visit(visitor, static_cast<super_type>(vars)...);
+  }
+
+  template <typename T, typename... Ts>
+  std::ostream& operator<<(std::ostream& os, const variant<T, Ts...>& obj)
+  {
+    PrintVisitor pv(os);
+    return std::visit(pv, static_cast<const std::variant<T, Ts...>>(obj));
+  }
+
+  template <typename T>
+  std::ostream& PrintVisitor::operator()(const T& value) const
+  {
+    return os_ << value;
+  }
+} // namespace misc