summaryrefslogtreecommitdiff
path: root/src/wasm-type.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/wasm-type.h')
-rw-r--r--src/wasm-type.h19
1 files changed, 1 insertions, 18 deletions
diff --git a/src/wasm-type.h b/src/wasm-type.h
index c80e7cd0b..7d6306ef7 100644
--- a/src/wasm-type.h
+++ b/src/wasm-type.h
@@ -385,22 +385,13 @@ public:
Array getArray() const;
// If there is a nontrivial (i.e. non-basic) nominal supertype, return it,
- // else an empty optional. Nominal types (in the sense of isNominal,
- // i.e. Milestone 4 nominal types) may always have supertypes and other types
- // may have supertypes in `TypeSystem::Nominal` mode but not in
- // `TypeSystem::Equirecursive` mode.
+ // else an empty optional.
std::optional<HeapType> getSuperType() const;
// Return the depth of this heap type in the nominal type hierarchy, i.e. the
// number of supertypes in its supertype chain.
size_t getDepth() const;
- // Whether this is a nominal type in the sense of being a GC Milestone 4
- // nominal type. Although all non-basic HeapTypes are nominal in
- // `TypeSystem::Nominal` mode, this will still return false unless the type is
- // specifically constructed as a Milestone 4 nominal type.
- bool isNominal() const;
-
constexpr TypeID getID() const { return id; }
constexpr BasicHeapType getBasic() const {
assert(isBasic() && "Basic heap type expected");
@@ -605,10 +596,6 @@ struct TypeBuilder {
// `j`. Does nothing for equirecursive types.
void setSubType(size_t i, size_t j);
- // Make this type nominal in the sense of the Milestone 4 GC spec, independent
- // of the current TypeSystem configuration.
- void setNominal(size_t i);
-
// Returns all of the newly constructed heap types. May only be called once
// all of the heap types have been initialized with `setHeapType`. In nominal
// mode, all of the constructed HeapTypes will be fresh and distinct. In
@@ -647,10 +634,6 @@ struct TypeBuilder {
builder.setSubType(index, other.index);
return *this;
}
- Entry& setNominal() {
- builder.setNominal(index);
- return *this;
- }
};
Entry operator[](size_t i) { return Entry{*this, i}; }