Copyright (C) 1994, Digital Equipment Corp.
UNSAFE MODULE IEEESpecial;
IMPORT RealRep, LongRealRep;
BEGIN
LOOPHOLE (RealNegInf, RealRep.T) := RealRep.NegInf;
LOOPHOLE (RealPosInf, RealRep.T) := RealRep.PosInf;
LOOPHOLE (RealNan, RealRep.T) := RealRep.Nan;
LOOPHOLE (LongNegInf, LongRealRep.T) := LongRealRep.NegInf;
LOOPHOLE (LongPosInf, LongRealRep.T) := LongRealRep.PosInf;
LOOPHOLE (LongNan, LongRealRep.T) := LongRealRep.Nan;
LOOPHOLE (ExtdNegInf, LongRealRep.T) := LongRealRep.NegInf;
LOOPHOLE (ExtdPosInf, LongRealRep.T) := LongRealRep.PosInf;
LOOPHOLE (ExtdNan, LongRealRep.T) := LongRealRep.Nan;
END IEEESpecial.