Roll back optimization changes.

2020-09-17 20:14:39 -07:00
parent 8a44109f93
commit 39bc6bb99e
14 changed files with 78 additions and 833 deletions
--- a/13/type.hpp
+++ b/13/type.hpp
@@ -46,17 +46,6 @@ struct type_base : public type {
        : name(std::move(n)), arity(a) {}

    void print(const type_mgr& mgr, std::ostream& to) const;
-
-    virtual bool is_internal() const { return false; }
-};
-
-struct type_internal : public type_base {
-    type_internal(std::string n, int32_t a = 0)
-        : type_base(std::move(n), a) {}
-
-    void print(const type_mgr& mgr, std::ostream& to) const;
-
-    bool is_internal() const { return true; }
 };

 struct type_data : public type_base {