DEFINITION MODULE LongIO;
(* Input and output of long real numbers in decimal text form over
specified channels.
The read result is of the type IOConsts.ReadResults.
*)
(* The text form of a signed fixed-point real number is
["+"|"-"], decimal digit, {decimal digit}, [".", {decimal digit}] *)
(* The text form of a signed floating-point real number is
signed fixed-point real number,
"E", ["+"|"-"], decimal digit, {decimal digit} *)
(****************************************************************)
(* *)
(* GPM defines LONGREAL as a type alias of REAL so no *)
(* seperate implementation is required. *)
(* *)
(* LongIO is implemented by RealIO *)
(* *)
(****************************************************************)
IMPORT RealIO;
CONST
ReadReal = RealIO.ReadReal;
WriteFloat = RealIO.WriteFloat;
WriteEng = RealIO.WriteEng;
WriteFixed = RealIO.WriteFixed;
WriteReal = RealIO.WriteReal;
END LongIO.