Index: src/types.h |
diff --git a/src/types.h b/src/types.h |
index 1b2cf66c96eab48cbff0a00a5a4e0a426c1cbd60..b39a763382747905dfc6ccc2e01ab8f7d76c1c2c 100644 |
--- a/src/types.h |
+++ b/src/types.h |
@@ -68,11 +68,11 @@ namespace internal { |
// None <= R |
// R <= Any |
// |
-// UntaggedInt <= UntaggedInt8 \/ UntaggedInt16 \/ UntaggedInt32) |
-// UntaggedFloat <= UntaggedFloat32 \/ UntaggedFloat64 |
-// UntaggedNumber <= UntaggedInt \/ UntaggedFloat |
-// Untagged <= UntaggedNumber \/ UntaggedPtr |
-// Tagged <= TaggedInt \/ TaggedPtr |
+// UntaggedInt = UntaggedInt8 \/ UntaggedInt16 \/ UntaggedInt32) |
rossberg
2014/07/23 14:53:03
Should include Int1 now. Also, spurious paren.
neis
2014/07/23 15:17:19
Done.
|
+// UntaggedFloat = UntaggedFloat32 \/ UntaggedFloat64 |
+// UntaggedNumber = UntaggedInt \/ UntaggedFloat |
+// Untagged = UntaggedNumber \/ UntaggedPtr |
+// Tagged = TaggedInt \/ TaggedPtr |
// |
// Subtyping relates the two dimensions, for example: |
// |