Adds Type::isBlock()

Issue: #17 Issue: #92
0x7CFE · Jul 17, 2016 · f2c78e3 · f2c78e3
1 parent cc2e736
commit f2c78e3
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/include/inference.h b/include/inference.h
@@ -76,6 +76,13 @@ class Type {
     bool isArray() const { return m_kind == tkArray; }
     bool isPolytype() const { return m_kind == tkPolytype; }
 
+    bool isBlock() const {
+        return
+            isMonotype() &&
+            m_value == globals.blockClass &&
+            !m_subTypes.empty();
+    }
+
     const TSubTypes& getSubTypes() const { return m_subTypes; }
 
     Type& pushSubType(const Type& type) { m_subTypes.push_back(type); return m_subTypes.back(); }