From a0458266d7cd5d802b8c51e6a997b4bf0d9beb82 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Fri, 3 Nov 2017 09:38:02 -0400
Subject: in-progress work

---
 source/slang/type-defs.h | 55 ------------------------------------------------
 1 file changed, 55 deletions(-)

(limited to 'source/slang/type-defs.h')

diff --git a/source/slang/type-defs.h b/source/slang/type-defs.h
index 2052e1eb8..60f519c82 100644
--- a/source/slang/type-defs.h
+++ b/source/slang/type-defs.h
@@ -489,59 +489,4 @@ protected:
     virtual int GetHashCode() override;
     virtual Type* CreateCanonicalType() override;
 )
-END_SYNTAX_CLASS()
-
-// The "type" of an expression that references a asscoiated type decl (via 'assoctype' keyword).
-SYNTAX_CLASS(AssocTypeDeclRefType, Type)
-    DECL_FIELD(DeclRef<AssocTypeDecl>, declRef)
-    DECL_FIELD(RefPtr<Type>, sourceType)
-    RAW(
-    AssocTypeDeclRefType()
-    {}
-    AssocTypeDeclRefType(
-        DeclRef<AssocTypeDecl> declRef)
-        : declRef(declRef)
-    {}
-
-
-    DeclRef<AssocTypeDecl> const& GetDeclRef() const { return declRef; }
-
-    virtual String ToString() override;
-
-    protected:
-        virtual RefPtr<Val> SubstituteImpl(Substitutions* subst, int* ioDiff) override;
-        virtual bool EqualsImpl(Type * type) override;
-        virtual int GetHashCode() override;
-        virtual Type* CreateCanonicalType() override;
-    )
-END_SYNTAX_CLASS()
-
-// The "type" of an generic constraint, which wraps both the sub and sup (interface) type
-// the sub type can be used in associated type substitution in later type evaluation
-SYNTAX_CLASS(GenericConstraintDeclRefType, Type)
-    DECL_FIELD(RefPtr<Type>, subType)
-    DECL_FIELD(RefPtr<Type>, supType)
-RAW(
-    GenericConstraintDeclRefType()
-    {}
-    GenericConstraintDeclRefType(Session* session, 
-        RefPtr<Type> sub,
-        RefPtr<Type> sup)
-        : subType(sub), supType(sup)
-    {
-        setSession(session);
-    }
-
-
-    RefPtr<Type> const& GetSupType() const { return supType; }
-    RefPtr<Type> const& GetSubType() const { return subType; }
-
-    virtual String ToString() override;
-
-    protected:
-        virtual RefPtr<Val> SubstituteImpl(Substitutions* subst, int* ioDiff) override;
-        virtual bool EqualsImpl(Type * type) override;
-        virtual int GetHashCode() override;
-        virtual Type* CreateCanonicalType() override;
-)
 END_SYNTAX_CLASS()
\ No newline at end of file
-- 
cgit v1.2.3