comparison dmd/Type.d @ 94:3a0b150c9841

Objects -> Vector!Object iteration 1
author Eldar Insafutdinov <e.insafutdinov@gmail.com>
date Mon, 30 Aug 2010 23:00:34 +0100
parents b17640f0e4e8
children 12c0c84d13fd
comparison
equal deleted inserted replaced
93:df6d0f967680 94:3a0b150c9841
1955 { // foo(U:U) T => T 1955 { // foo(U:U) T => T
1956 // foo(U:U) const(T) => const(T) 1956 // foo(U:U) const(T) => const(T)
1957 // foo(U:U) invariant(T) => invariant(T) 1957 // foo(U:U) invariant(T) => invariant(T)
1958 if (!at) 1958 if (!at)
1959 { 1959 {
1960 dedtypes.data[i] = cast(void*)this; 1960 dedtypes[i] = this;
1961 goto Lexact; 1961 goto Lexact;
1962 } 1962 }
1963 } 1963 }
1964 else if (mod == tparam.mod) 1964 else if (mod == tparam.mod)
1965 { // foo(U:const(U)) const(T) => T 1965 { // foo(U:const(U)) const(T) => T
1966 // foo(U:invariant(U)) invariant(T) => T 1966 // foo(U:invariant(U)) invariant(T) => T
1967 tt = mutableOf(); 1967 tt = mutableOf();
1968 if (!at) 1968 if (!at)
1969 { 1969 {
1970 dedtypes.data[i] = cast(void*)tt; 1970 dedtypes[i] = tt;
1971 goto Lexact; 1971 goto Lexact;
1972 } 1972 }
1973 } 1973 }
1974 else if (tparam.isConst()) 1974 else if (tparam.isConst())
1975 { // foo(U:const(U)) T => T 1975 { // foo(U:const(U)) T => T
1976 // foo(U:const(U)) invariant(T) => T 1976 // foo(U:const(U)) invariant(T) => T
1977 tt = mutableOf(); 1977 tt = mutableOf();
1978 if (!at) 1978 if (!at)
1979 { 1979 {
1980 dedtypes.data[i] = cast(void*)tt; 1980 dedtypes[i] = tt;
1981 goto Lconst; 1981 goto Lconst;
1982 } 1982 }
1983 } 1983 }
1984 else 1984 else
1985 { // foo(U:invariant(U)) T => nomatch 1985 { // foo(U:invariant(U)) T => nomatch