From bjkae@celsiustech.se Mon Oct 3 03:51:46 1994 Return-Path: Received: from inmet.camb.inmet.com by dsd.camb.inmet.com (4.1/SMI-4.1) id AA23964; Mon, 3 Oct 94 03:51:46 EDT Received: from world.celsiustech.se by inmet.camb.inmet.com (4.1/SMI-4.1) id AA08775; Mon, 3 Oct 94 03:51:33 EDT Received: (bjkae@localhost) by world.celsiustech.se (8.6.9/8.6.4) id IAA21197 for ada9x-mrt@inmet.com; Mon, 3 Oct 1994 08:51:23 +0100 Date: Mon, 3 Oct 1994 08:51:23 +0100 From: Bjorn Kallberg Message-Id: <199410030751.IAA21197@world.celsiustech.se> To: ada9x-mrt@inmet.com Subject: wchar_array should be aliased !topic Wchar_array should be aliased !reference RM9X-B.3(33);5.0 !from bjkae@celsiusltech.se (Bjorn Kallberg) 1993-05-07 <> !discussion "aliased" should be inserted in the definition of Wchar_array: type wchar_array.......of ALIASED wchar_t; The corresponding 8 bit character array is aliased. From cksa@space.se Mon Oct 3 07:41:37 1994 Return-Path: Received: from inmet.camb.inmet.com by dsd.camb.inmet.com (4.1/SMI-4.1) id AA25606; Mon, 3 Oct 94 07:41:37 EDT Received: from castor.space.se by inmet.camb.inmet.com (4.1/SMI-4.1) id AA18216; Mon, 3 Oct 94 07:41:31 EDT Received: from altair.space.se (altair.space.se [193.12.200.10]) by castor.space.se (8.6.9/1.0-jb) with SMTP id MAA17376; Mon, 3 Oct 1994 12:40:49 +0100 Date: Mon, 3 Oct 1994 12:40:49 +0100 From: Stefan Asserhall Message-Id: <199410031140.MAA17376@castor.space.se> Received: from valhall by altair.space.se (5.67a8/1.0+jb) id AA01824; Mon, 3 Oct 1994 12:39:14 +0100 Received: by valhall (4.1/1.0+jb) id AA07567; Mon, 3 Oct 94 12:34:55 +0100 To: ada9x-mrt@inmet.com Subject: Error in Interfaces package specification Cc: cksa@castor.space.se !topic Error in Interfaces package !reference RM9X-B.2(5);5.0 !from Stefan Asserhall 94-10-03 <> !discussion The declaration of Integer_n should be -2**(n-1) .. 2**(n-1)-1, unless the intention is to name, for example, a 32-bit two's complement integer "Integer_31". From cksa@space.se Mon Oct 3 07:41:50 1994 Return-Path: Received: from inmet.camb.inmet.com by dsd.camb.inmet.com (4.1/SMI-4.1) id AA25669; Mon, 3 Oct 94 07:41:50 EDT Received: from castor.space.se by inmet.camb.inmet.com (4.1/SMI-4.1) id AA18241; Mon, 3 Oct 94 07:41:42 EDT Received: from altair.space.se (altair.space.se [193.12.200.10]) by castor.space.se (8.6.9/1.0-jb) with SMTP id MAA17390; Mon, 3 Oct 1994 12:41:06 +0100 Date: Mon, 3 Oct 1994 12:41:06 +0100 From: Stefan Asserhall Message-Id: <199410031141.MAA17390@castor.space.se> Received: from valhall by altair.space.se (5.67a8/1.0+jb) id AA01839; Mon, 3 Oct 1994 12:39:32 +0100 Received: by valhall (4.1/1.0+jb) id AA07570; Mon, 3 Oct 94 12:35:13 +0100 To: ada9x-mrt@inmet.com Subject: Errors in list of Predefined Language Environment Cc: cksa@castor.space.se !topic Errors in list of Predefined Language Environment !reference RM9X-A(2);5.0 !from Stefan Asserhall 94-10-03 <> !discussion The reference to Wide_Text_IO should be "A.11". The Text_IO.Text_Streams package is missing in the Predefined Language Environment list; it should appear under Text_IO as "Text_Streams-A.12.2". By the way, why is there no Wide_Text_IO.Wide_Text_Streams? From cksa@space.se Mon Oct 3 07:42:46 1994 Return-Path: Received: from inmet.camb.inmet.com by dsd.camb.inmet.com (4.1/SMI-4.1) id AA25755; Mon, 3 Oct 94 07:42:46 EDT Received: from castor.space.se by inmet.camb.inmet.com (4.1/SMI-4.1) id AA18301; Mon, 3 Oct 94 07:42:39 EDT Received: from altair.space.se (altair.space.se [193.12.200.10]) by castor.space.se (8.6.9/1.0-jb) with SMTP id MAA17426; Mon, 3 Oct 1994 12:42:01 +0100 Date: Mon, 3 Oct 1994 12:42:01 +0100 From: Stefan Asserhall Message-Id: <199410031142.MAA17426@castor.space.se> Received: from valhall by altair.space.se (5.67a8/1.0+jb) id AA01861; Mon, 3 Oct 1994 12:40:27 +0100 Received: by valhall (4.1/1.0+jb) id AA07574; Mon, 3 Oct 94 12:36:08 +0100 To: ada9x-mrt@inmet.com Subject: Errors in Wide_Map package specification Cc: cksa@castor.space.se !topic Errors in Wide_Map package !reference RM9X-A.4.7(7);5.0 !reference RM9X-A.4.7(8);5.0 !reference RM9X-A.4.7(9);5.0 !reference RM9X-A.4.7(10);5.0 !reference RM9X-A.4.7(21);5.0 !from Stefan Asserhall 94-10-03 <> !discussion Some subprograms in the Wide_Maps package use inappropriate types: - Type Wide_Character_Ranges has component type Character_Range, should be Wide_Character_Range. - First function To_Set has formal parameter type Character_Ranges and returns Character_Set, should be Wide_Character_Ranges and Wide_Character_Set. - Second function To_Set has formal parameter type Character_Range and returns Character_Set, should be Wide_Character_Range and Wide_Character_Set. - Function To_Ranges has formal parameter type Character_Set and returns Character_Ranges, should be Wide_Character_Set and Wide_Character_Ranges. - Function Value has formal parameter type Character_Mapping and Character, and returns Character, should be Wide_Character_Mapping and Wide_Character. From cksa@space.se Mon Oct 3 07:43:01 1994 Return-Path: Received: from inmet.camb.inmet.com by dsd.camb.inmet.com (4.1/SMI-4.1) id AA25817; Mon, 3 Oct 94 07:43:01 EDT Received: from castor.space.se by inmet.camb.inmet.com (4.1/SMI-4.1) id AA18319; Mon, 3 Oct 94 07:42:52 EDT Received: from altair.space.se (altair.space.se [193.12.200.10]) by castor.space.se (8.6.9/1.0-jb) with SMTP id MAA17431; Mon, 3 Oct 1994 12:42:15 +0100 Date: Mon, 3 Oct 1994 12:42:15 +0100 From: Stefan Asserhall Message-Id: <199410031142.MAA17431@castor.space.se> Received: from valhall by altair.space.se (5.67a8/1.0+jb) id AA01868; Mon, 3 Oct 1994 12:40:40 +0100 Received: by valhall (4.1/1.0+jb) id AA07577; Mon, 3 Oct 94 12:36:22 +0100 To: ada9x-mrt@inmet.com Subject: Two Stream_IO End_Of_File functions Cc: cksa@castor.space.se !topic Two Stream_IO End_Of_File functions !reference RM9X-A.12.1(3);5.0 !from Stefan Asserhall 94-10-03 <> !discussion There are two identical definitions of End_Of_File in the Stream_IO package. One should be deleted. From cksa@space.se Mon Oct 3 07:43:20 1994 Return-Path: Received: from inmet.camb.inmet.com by dsd.camb.inmet.com (4.1/SMI-4.1) id AA25882; Mon, 3 Oct 94 07:43:20 EDT Received: from castor.space.se by inmet.camb.inmet.com (4.1/SMI-4.1) id AA18329; Mon, 3 Oct 94 07:43:06 EDT Received: from altair.space.se (altair.space.se [193.12.200.10]) by castor.space.se (8.6.9/1.0-jb) with SMTP id MAA17449; Mon, 3 Oct 1994 12:42:29 +0100 Date: Mon, 3 Oct 1994 12:42:29 +0100 From: Stefan Asserhall Message-Id: <199410031142.MAA17449@castor.space.se> Received: from valhall by altair.space.se (5.67a8/1.0+jb) id AA01878; Mon, 3 Oct 1994 12:40:55 +0100 Received: by valhall (4.1/1.0+jb) id AA07580; Mon, 3 Oct 94 12:36:36 +0100 To: ada9x-mrt@inmet.com Subject: Attribute syntax Cc: cksa@castor.space.se !topic Attribute syntax !reference RM9X-4.1.4(3);5.0 !from Stefan Asserhall 94-10-03 <> !discussion The attribute syntax only allows a single expression, whereas many language-defined attributes (such as S'Min) require a comma separated expression list. From bobduff@dsd.camb.inmet.com Mon Oct 3 07:57:31 1994 Return-Path: Received: from inmet.camb.inmet.com by dsd.camb.inmet.com (4.1/SMI-4.1) id AA26138; Mon, 3 Oct 94 07:57:31 EDT Received: from dsd.camb.inmet.com by inmet.camb.inmet.com (4.1/SMI-4.1) id AA19016; Mon, 3 Oct 94 07:57:29 EDT Received: by dsd.camb.inmet.com (4.1/SMI-4.1) id AA26096; Mon, 3 Oct 94 07:55:43 EDT Date: Mon, 3 Oct 94 07:55:43 EDT From: bobduff@dsd.camb.inmet.com (Bob Duff) Message-Id: <9410031155.AA26096@dsd.camb.inmet.com> To: cksa@space.se Cc: ada9x-mrt@inmet.com, cksa@castor.space.se In-Reply-To: <199410031142.MAA17449@castor.space.se> (message from Stefan Asserhall on Mon, 3 Oct 1994 12:42:29 +0100) Subject: Re: Attribute syntax !topic Attribute syntax !reference RM9X-4.1.4(3);5.0 !reference 94-4820.a Stefan Asserhall 94-10-3 !from Bob Duff <> !discussion > The attribute syntax only allows a single expression, whereas > many language-defined attributes (such as S'Min) require a comma > separated expression list. No, S'Min denotes a *function*, and the function can take more than one parameter. The syntax for attributes allows an optional expression that is part of the name of the attribute. This expression is used only for the the First, Last, Length, and Range attributes. In other words, for S'Min(1, 2), the attribute name is S'Min, and (1, 2) represents the parameters, whereas for S'First(1), the attribute name is S'First(1), and the 1 has to be static. This is admittedly a bit confusing, but it was the same way in Ada 83, and I think it's too late in the game to change it. - Bob P.S. Thanks for your comments.