summaryrefslogtreecommitdiff
path: root/source/slang/type-defs.h
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2017-11-03 09:38:02 -0400
committerYong He <yonghe@outlook.com>2017-11-03 09:38:02 -0400
commita0458266d7cd5d802b8c51e6a997b4bf0d9beb82 (patch)
tree39f16538178907240e59b8e531ae153391805833 /source/slang/type-defs.h
parentd5e2319c33115d0241dd9d2047c0a5f029553dde (diff)
in-progress work
Diffstat (limited to 'source/slang/type-defs.h')
-rw-r--r--source/slang/type-defs.h55
1 files changed, 0 insertions, 55 deletions
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