Indicate datatype in AST diagram

tlc-pack · Oct 25, 2022 · 8da29dc · 8da29dc
1 parent 0ad8686
commit 8da29dc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/relax_spec.md b/relax_spec.md
@@ -51,6 +51,12 @@ Type ::=   DynTensorType(ndim: int, dtype: DataType)
          | TupleType(fields: [Type])
          | FuncType(arg_types: [Type], ret_type: Type, «pure: bool»)
 
+DataType ::=
+           Int(bitwidth: int)
+	 | Float(bitwidth: int)
+	 | Bool()
+	 | Void()
+
 # expressions
 Expr ::=   Constant(data: NDArray)
            # scoped to functions or SeqExprs