• Daniel Yokomiso (72/73) Nov 19 2002 Hi,
• Walter (1/1) Nov 19 2002 Try compiling bug and bug2 separately, then link them together.
• Daniel Yokomiso (4/5) Nov 19 2002 When they're compiled separated it works. The problem is on compiling th...
• Walter (4/9) Nov 19 2002 That's what I suspected. Anyhow, until I fix it, at least there's a

"Daniel Yokomiso" <daniel_yokomiso yahoo.com.br> writes:

Hi,

    I've got a really strange bug. I have two modules, bug and bug2, bug2
depends on bug. When I run the compiler I've got an error message.


dmd bug2 bug -unittest

Internal error: ..\ztc\cgobj.c 3084


    If I comment either the pair equality test on bug unittest section, or
the Ordinal template instantiation on bug2, or the clamp template function
on bug, the modules compile fine and executes correctly. This error message
came on other situation, but when I tried to narrow the test case the bug
moved to this place in the modules. The original code is larger, but I think
they're are just symptoms of the same problem. If I compile just bug no
problem occurs.


module bug;
public alias int boolean;
public alias int Order;
public const Order LESS_THAN    = -1;
public const Order EQUALS_TO    = 0;
public const Order GREATER_THAN = +1;
template Ordinal(T) {
    public boolean min(T left, T right) {
        return left < right ? left: right;
    }
    public boolean max(T left, T right) {
        return left > right ? left: right;
    }
    public T clamp(T item, T lower, T upper)
    in {
        assert(lower <= upper);
    } body {
        return max(min(item, upper), lower);
    }
}
template TPair(T, U) {
    public class Pair {
        private T _left;
        private U _right;
        public this(T left, U right) {
            this._left = left;
            this._right = right;
        }
        public T left() {
            return this._left;
        }
        public U right() {
            return this._right;
        }
        public boolean eq(Object obj) {
            Pair other = cast(Pair) obj;
            if (other !== null) {
                return (left() == other.left()) && (right() ==
other.right());
            } else {
                return false;
            }
        }
    }
}
unittest {
    instance TPair(char, char) charPair;
    charPair.Pair pairA = new charPair.Pair('a', 'b');
    charPair.Pair pairB = new charPair.Pair('a', 'b');
    assert(pairA == pairB);
    printf("Pair tests passed!\r\n");
}


module bug2;
import bug;
instance Ordinal(char) ord;
int main() {
    return 0;
}


    Best regards,
    Daniel Yokomiso.

"All generalizations are false."

"Walter" <walter digitalmars.com> writes:

Try compiling bug and bug2 separately, then link them together.

"Daniel Yokomiso" <daniel_yokomiso yahoo.com.br> writes:

When they're compiled separated it works. The problem is on compiling them
together.

"Walter" <walter digitalmars.com> escreveu na mensagem
news:are7ui$1e9t$1 digitaldaemon.com...
 Try compiling bug and bug2 separately, then link them together.

"Walter" <walter digitalmars.com> writes:

That's what I suspected. Anyhow, until I fix it, at least there's a
workaround!

"Daniel Yokomiso" <daniel_yokomiso yahoo.com.br> wrote in message
news:areaor$1hsm$1 digitaldaemon.com...
 When they're compiled separated it works. The problem is on compiling them
 together.

 "Walter" <walter digitalmars.com> escreveu na mensagem
 news:are7ui$1e9t$1 digitaldaemon.com...
 Try compiling bug and bug2 separately, then link them together.