float/src/Common/IEEESpecial.m3


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.

interface RealRep is in:


interface LongRealRep is in: