Changeset 14

Timestamp:

10/06/08 15:39:07 (4 years ago)

Author:

sean

Message:

Fixed a few mistakes regarding invariance, etc, between D1 and D2.

Files:

• branches/D1.0/src/compiler/dmd/typeinfo/ti_cdouble.d (modified) (1 diff)
• branches/D1.0/src/compiler/dmd/typeinfo/ti_cfloat.d (modified) (1 diff)
• branches/D1.0/src/compiler/dmd/typeinfo/ti_creal.d (modified) (1 diff)
• branches/D1.0/src/compiler/dmd/typeinfo/ti_double.d (modified) (1 diff)
• branches/D1.0/src/compiler/dmd/typeinfo/ti_float.d (modified) (1 diff)
• branches/D1.0/src/compiler/dmd/typeinfo/ti_real.d (modified) (1 diff)
• branches/D1.0/src/compiler/dmd/util/cpuid.d (modified) (1 diff)
• branches/D1.0/src/compiler/dmd/util/utf.d (modified) (2 diffs)
• trunk/import/object.di (modified) (1 diff)
• trunk/src/compiler/dmd/typeinfo/ti_cdouble.d (modified) (1 diff)
• trunk/src/compiler/dmd/typeinfo/ti_cfloat.d (modified) (1 diff)
• trunk/src/compiler/dmd/typeinfo/ti_creal.d (modified) (1 diff)
• trunk/src/compiler/dmd/typeinfo/ti_double.d (modified) (1 diff)
• trunk/src/compiler/dmd/typeinfo/ti_float.d (modified) (1 diff)
• trunk/src/compiler/dmd/typeinfo/ti_real.d (modified) (1 diff)
• trunk/src/compiler/dmd/util/utf.d (modified) (1 diff)

branches/D1.0/src/compiler/dmd/typeinfo/ti_cdouble.d

@@ -14 +14 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2;

branches/D1.0/src/compiler/dmd/typeinfo/ti_cfloat.d

@@ -13 +13 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2;

branches/D1.0/src/compiler/dmd/typeinfo/ti_creal.d

@@ -15 +15 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2;

branches/D1.0/src/compiler/dmd/typeinfo/ti_double.d

@@ -13 +13 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2 ||

branches/D1.0/src/compiler/dmd/typeinfo/ti_float.d

@@ -13 +13 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2 ||

branches/D1.0/src/compiler/dmd/typeinfo/ti_real.d

@@ -13 +13 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2 ||

branches/D1.0/src/compiler/dmd/util/cpuid.d

@@ -426 +426 @@
-            return s ? s[0 .. strlen(s)] : null;
-        }
-
-        string toString(invariant(char)* s)
-        {
-            return s ? s[0 .. strlen(s)] : null;
-        }
-    }
-}

branches/D1.0/src/compiler/dmd/util/utf.d

@@ -587 +587 @@
-void validate(S)(in S s)
-{
-invariant
+auto
-    for (size_t i = 0; i < len; )
-    {
@@ -750 +750 @@
-}
-
-const(wchar)
+wchar
-/** ditto */
-wptr toUTF16z(in char[] s)

trunk/import/object.di

@@ -5 +5 @@
-
-alias size_t hash_t;
-int
+bool
-
-alias invariant(char)[]  string;

trunk/src/compiler/dmd/typeinfo/ti_cdouble.d

@@ -14 +14 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2;

trunk/src/compiler/dmd/typeinfo/ti_cfloat.d

@@ -13 +13 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2;

trunk/src/compiler/dmd/typeinfo/ti_creal.d

@@ -15 +15 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2;

trunk/src/compiler/dmd/typeinfo/ti_double.d

@@ -13 +13 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2 ||

trunk/src/compiler/dmd/typeinfo/ti_float.d

@@ -13 +13 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2 ||

trunk/src/compiler/dmd/typeinfo/ti_real.d

@@ -13 +13 @@
-    }
-
-in
+equals_
-    {
-        return f1 == f2 ||

trunk/src/compiler/dmd/util/utf.d

@@ -587 +587 @@
-void validate(S)(in S s)
-{
-invariant
+auto
-    for (size_t i = 0; i < len; )
-    {