From debbugs-submit-bounces@debbugs.gnu.org Mon May 27 08:11:10 2019 Received: (at submit) by debbugs.gnu.org; 27 May 2019 12:11:10 +0000 Received: from localhost ([127.0.0.1]:52883 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hVET6-0001T1-3N for submit@debbugs.gnu.org; Mon, 27 May 2019 08:11:09 -0400 Received: from eggs.gnu.org ([209.51.188.92]:58795) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hVET1-0001SQ-Tg for submit@debbugs.gnu.org; Mon, 27 May 2019 08:11:06 -0400 Received: from lists.gnu.org ([209.51.188.17]:45842) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hVESw-00018G-JV for submit@debbugs.gnu.org; Mon, 27 May 2019 08:10:58 -0400 Received: from eggs.gnu.org ([209.51.188.92]:44927) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVESs-00082S-Rh for bug-gnu-emacs@gnu.org; Mon, 27 May 2019 08:10:58 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: ** X-Spam-Status: No, score=2.0 required=5.0 tests=BAYES_80,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hVESo-00012u-Dx for bug-gnu-emacs@gnu.org; Mon, 27 May 2019 08:10:54 -0400 Received: from webmail.bookmyname.com ([88.191.249.153]:50316 helo=webmail.free.org) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hVESo-0000zV-3F for bug-gnu-emacs@gnu.org; Mon, 27 May 2019 08:10:50 -0400 Received: from 153.98.68.208 (unknown [127.0.1.3]) by webmail.free.org (Postfix) with ESMTP id 585542A3BE for ; Mon, 27 May 2019 14:10:44 +0200 (CEST) Received: from [153.98.68.208] by webmail.ludovic-brenta.org with HTTP (HTTP/1.1 POST); Mon, 27 May 2019 14:10:44 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 27 May 2019 14:10:44 +0200 From: Ludovic Brenta To: bug-gnu-emacs@gnu.org Subject: 26.1; ada-mode 6.1.0 FTBFS with new wavefront compiler: warning: use of an anonymous access type allocator (treated as error) Message-ID: X-Sender: ludovic@ludovic-brenta.org X-Complaints-To: abuse_at_bookmyname.com X-Abuse-Info: Please be sure to forward a copy of ALL headers X-Origin-Web-Site: webmail.ludovic-brenta.org X-detected-operating-system: by eggs.gnu.org: FreeBSD 9.x [fuzzy] X-Received-From: 88.191.249.153 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) X-Debbugs-CC: ada-mode-users@nongnu.org Package: emacs, ada-mode Version: 26.1 Severity: minor Hello, with a new compiler wavefront we get warnings that are treated as errors due to -gnatwe. I think I understand the reason for the warning: a named access type is pool- specific whereas an anonymous access type isn't. As it is the pool that is ultimately responsible for allocating memory, I am surprised it is even legal to assign the result of an allocator to an anonymous access type. gpr_process_actions.ads:41:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:42:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:43:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:44:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:45:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:46:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:47:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:48:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:49:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:50:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:51:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:52:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:53:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:54:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:55:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:56:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:57:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:58:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:59:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:60:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:61:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:62:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:63:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:64:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:65:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:66:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:67:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:68:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:69:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:70:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:71:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:72:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:73:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:74:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:75:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:76:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:77:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:78:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:79:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:80:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:81:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:82:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:83:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:84:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:85:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:86:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:87:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:88:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:89:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:90:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:91:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:92:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:93:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:94:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:95:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:96:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:97:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:98:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:99:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:100:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:101:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:102:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:103:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:104:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:105:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:106:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:107:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:108:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:109:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:110:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:111:10: warning: use of an anonymous access type allocator gpr_process_actions.ads:112:10: warning: use of an anonymous access type allocator ada_process_actions.ads:41:10: warning: use of an anonymous access type allocator ada_process_actions.ads:42:10: warning: use of an anonymous access type allocator ada_process_actions.ads:43:10: warning: use of an anonymous access type allocator ada_process_actions.ads:44:10: warning: use of an anonymous access type allocator ada_process_actions.ads:45:10: warning: use of an anonymous access type allocator ada_process_actions.ads:46:10: warning: use of an anonymous access type allocator ada_process_actions.ads:47:10: warning: use of an anonymous access type allocator ada_process_actions.ads:48:10: warning: use of an anonymous access type allocator ada_process_actions.ads:49:10: warning: use of an anonymous access type allocator ada_process_actions.ads:50:10: warning: use of an anonymous access type allocator ada_process_actions.ads:51:10: warning: use of an anonymous access type allocator ada_process_actions.ads:52:10: warning: use of an anonymous access type allocator ada_process_actions.ads:53:10: warning: use of an anonymous access type allocator ada_process_actions.ads:54:10: warning: use of an anonymous access type allocator ada_process_actions.ads:55:10: warning: use of an anonymous access type allocator ada_process_actions.ads:56:10: warning: use of an anonymous access type allocator ada_process_actions.ads:57:10: warning: use of an anonymous access type allocator ada_process_actions.ads:58:10: warning: use of an anonymous access type allocator ada_process_actions.ads:59:10: warning: use of an anonymous access type allocator ada_process_actions.ads:60:10: warning: use of an anonymous access type allocator ada_process_actions.ads:61:10: warning: use of an anonymous access type allocator ada_process_actions.ads:62:10: warning: use of an anonymous access type allocator ada_process_actions.ads:63:10: warning: use of an anonymous access type allocator ada_process_actions.ads:64:10: warning: use of an anonymous access type allocator ada_process_actions.ads:65:10: warning: use of an anonymous access type allocator ada_process_actions.ads:66:10: warning: use of an anonymous access type allocator ada_process_actions.ads:67:10: warning: use of an anonymous access type allocator ada_process_actions.ads:68:10: warning: use of an anonymous access type allocator ada_process_actions.ads:69:10: warning: use of an anonymous access type allocator ada_process_actions.ads:70:10: warning: use of an anonymous access type allocator ada_process_actions.ads:71:10: warning: use of an anonymous access type allocator ada_process_actions.ads:72:10: warning: use of an anonymous access type allocator ada_process_actions.ads:73:10: warning: use of an anonymous access type allocator ada_process_actions.ads:74:10: warning: use of an anonymous access type allocator ada_process_actions.ads:75:10: warning: use of an anonymous access type allocator ada_process_actions.ads:76:10: warning: use of an anonymous access type allocator ada_process_actions.ads:77:10: warning: use of an anonymous access type allocator ada_process_actions.ads:78:10: warning: use of an anonymous access type allocator ada_process_actions.ads:79:10: warning: use of an anonymous access type allocator ada_process_actions.ads:80:10: warning: use of an anonymous access type allocator ada_process_actions.ads:81:10: warning: use of an anonymous access type allocator ada_process_actions.ads:82:10: warning: use of an anonymous access type allocator ada_process_actions.ads:83:10: warning: use of an anonymous access type allocator ada_process_actions.ads:84:10: warning: use of an anonymous access type allocator ada_process_actions.ads:85:10: warning: use of an anonymous access type allocator ada_process_actions.ads:86:10: warning: use of an anonymous access type allocator ada_process_actions.ads:87:10: warning: use of an anonymous access type allocator ada_process_actions.ads:88:10: warning: use of an anonymous access type allocator ada_process_actions.ads:89:10: warning: use of an anonymous access type allocator ada_process_actions.ads:90:10: warning: use of an anonymous access type allocator ada_process_actions.ads:91:10: warning: use of an anonymous access type allocator ada_process_actions.ads:92:10: warning: use of an anonymous access type allocator ada_process_actions.ads:93:10: warning: use of an anonymous access type allocator ada_process_actions.ads:94:10: warning: use of an anonymous access type allocator ada_process_actions.ads:95:10: warning: use of an anonymous access type allocator ada_process_actions.ads:96:10: warning: use of an anonymous access type allocator ada_process_actions.ads:97:10: warning: use of an anonymous access type allocator ada_process_actions.ads:98:10: warning: use of an anonymous access type allocator ada_process_actions.ads:99:10: warning: use of an anonymous access type allocator ada_process_actions.ads:100:10: warning: use of an anonymous access type allocator ada_process_actions.ads:101:10: warning: use of an anonymous access type allocator ada_process_actions.ads:102:10: warning: use of an anonymous access type allocator ada_process_actions.ads:103:10: warning: use of an anonymous access type allocator ada_process_actions.ads:104:10: warning: use of an anonymous access type allocator ada_process_actions.ads:105:10: warning: use of an anonymous access type allocator ada_process_actions.ads:106:10: warning: use of an anonymous access type allocator ada_process_actions.ads:107:10: warning: use of an anonymous access type allocator ada_process_actions.ads:108:10: warning: use of an anonymous access type allocator ada_process_actions.ads:109:10: warning: use of an anonymous access type allocator ada_process_actions.ads:110:10: warning: use of an anonymous access type allocator ada_process_actions.ads:111:10: warning: use of an anonymous access type allocator ada_process_actions.ads:112:10: warning: use of an anonymous access type allocator ada_process_actions.ads:113:10: warning: use of an anonymous access type allocator ada_process_actions.ads:114:10: warning: use of an anonymous access type allocator ada_process_actions.ads:115:10: warning: use of an anonymous access type allocator ada_process_actions.ads:116:10: warning: use of an anonymous access type allocator ada_process_actions.ads:117:10: warning: use of an anonymous access type allocator ada_process_actions.ads:118:10: warning: use of an anonymous access type allocator ada_process_actions.ads:119:10: warning: use of an anonymous access type allocator ada_process_actions.ads:120:10: warning: use of an anonymous access type allocator ada_process_actions.ads:121:10: warning: use of an anonymous access type allocator ada_process_actions.ads:122:10: warning: use of an anonymous access type allocator ada_process_actions.ads:123:10: warning: use of an anonymous access type allocator ada_process_actions.ads:124:10: warning: use of an anonymous access type allocator ada_process_actions.ads:125:10: warning: use of an anonymous access type allocator ada_process_actions.ads:126:10: warning: use of an anonymous access type allocator ada_process_actions.ads:127:10: warning: use of an anonymous access type allocator ada_process_actions.ads:128:10: warning: use of an anonymous access type allocator ada_process_actions.ads:129:10: warning: use of an anonymous access type allocator ada_process_actions.ads:130:10: warning: use of an anonymous access type allocator ada_process_actions.ads:131:10: warning: use of an anonymous access type allocator ada_process_actions.ads:132:10: warning: use of an anonymous access type allocator ada_process_actions.ads:133:10: warning: use of an anonymous access type allocator ada_process_actions.ads:134:10: warning: use of an anonymous access type allocator ada_process_actions.ads:135:10: warning: use of an anonymous access type allocator ada_process_actions.ads:136:10: warning: use of an anonymous access type allocator ada_process_actions.ads:137:10: warning: use of an anonymous access type allocator ada_process_actions.ads:138:10: warning: use of an anonymous access type allocator ada_process_actions.ads:139:10: warning: use of an anonymous access type allocator ada_process_actions.ads:140:10: warning: use of an anonymous access type allocator ada_process_actions.ads:141:10: warning: use of an anonymous access type allocator ada_process_actions.ads:142:10: warning: use of an anonymous access type allocator ada_process_actions.ads:143:10: warning: use of an anonymous access type allocator ada_process_actions.ads:144:10: warning: use of an anonymous access type allocator ada_process_actions.ads:145:10: warning: use of an anonymous access type allocator ada_process_actions.ads:146:10: warning: use of an anonymous access type allocator ada_process_actions.ads:147:10: warning: use of an anonymous access type allocator ada_process_actions.ads:148:10: warning: use of an anonymous access type allocator ada_process_actions.ads:149:10: warning: use of an anonymous access type allocator ada_process_actions.ads:150:10: warning: use of an anonymous access type allocator ada_process_actions.ads:151:10: warning: use of an anonymous access type allocator ada_process_actions.ads:152:10: warning: use of an anonymous access type allocator ada_process_actions.ads:153:10: warning: use of an anonymous access type allocator ada_process_actions.ads:154:10: warning: use of an anonymous access type allocator ada_process_actions.ads:155:10: warning: use of an anonymous access type allocator ada_process_actions.ads:156:10: warning: use of an anonymous access type allocator ada_process_actions.ads:157:10: warning: use of an anonymous access type allocator ada_process_actions.ads:158:10: warning: use of an anonymous access type allocator ada_process_actions.ads:159:10: warning: use of an anonymous access type allocator ada_process_actions.ads:160:10: warning: use of an anonymous access type allocator ada_process_actions.ads:161:10: warning: use of an anonymous access type allocator ada_process_actions.ads:162:10: warning: use of an anonymous access type allocator ada_process_actions.ads:163:10: warning: use of an anonymous access type allocator ada_process_actions.ads:164:10: warning: use of an anonymous access type allocator ada_process_actions.ads:165:10: warning: use of an anonymous access type allocator ada_process_actions.ads:166:10: warning: use of an anonymous access type allocator ada_process_actions.ads:167:10: warning: use of an anonymous access type allocator ada_process_actions.ads:168:10: warning: use of an anonymous access type allocator ada_process_actions.ads:169:10: warning: use of an anonymous access type allocator ada_process_actions.ads:170:10: warning: use of an anonymous access type allocator ada_process_actions.ads:171:10: warning: use of an anonymous access type allocator ada_process_actions.ads:172:10: warning: use of an anonymous access type allocator ada_process_actions.ads:173:10: warning: use of an anonymous access type allocator ada_process_actions.ads:174:10: warning: use of an anonymous access type allocator ada_process_actions.ads:175:10: warning: use of an anonymous access type allocator ada_process_actions.ads:176:10: warning: use of an anonymous access type allocator ada_process_actions.ads:177:10: warning: use of an anonymous access type allocator ada_process_actions.ads:178:10: warning: use of an anonymous access type allocator ada_process_actions.ads:179:10: warning: use of an anonymous access type allocator ada_process_actions.ads:180:10: warning: use of an anonymous access type allocator ada_process_actions.ads:181:10: warning: use of an anonymous access type allocator ada_process_actions.ads:182:10: warning: use of an anonymous access type allocator ada_process_actions.ads:183:10: warning: use of an anonymous access type allocator ada_process_actions.ads:184:10: warning: use of an anonymous access type allocator ada_process_actions.ads:185:10: warning: use of an anonymous access type allocator ada_process_actions.ads:186:10: warning: use of an anonymous access type allocator ada_process_actions.ads:187:10: warning: use of an anonymous access type allocator ada_process_actions.ads:188:10: warning: use of an anonymous access type allocator ada_process_actions.ads:189:10: warning: use of an anonymous access type allocator ada_process_actions.ads:190:10: warning: use of an anonymous access type allocator ada_process_actions.ads:191:10: warning: use of an anonymous access type allocator ada_process_actions.ads:192:10: warning: use of an anonymous access type allocator ada_process_actions.ads:193:10: warning: use of an anonymous access type allocator ada_process_actions.ads:194:10: warning: use of an anonymous access type allocator ada_process_actions.ads:195:10: warning: use of an anonymous access type allocator ada_process_actions.ads:196:10: warning: use of an anonymous access type allocator ada_process_actions.ads:197:10: warning: use of an anonymous access type allocator ada_process_actions.ads:198:10: warning: use of an anonymous access type allocator ada_process_actions.ads:199:10: warning: use of an anonymous access type allocator ada_process_actions.ads:200:10: warning: use of an anonymous access type allocator ada_process_actions.ads:201:10: warning: use of an anonymous access type allocator ada_process_actions.ads:202:10: warning: use of an anonymous access type allocator ada_process_actions.ads:203:10: warning: use of an anonymous access type allocator ada_process_actions.ads:204:10: warning: use of an anonymous access type allocator ada_process_actions.ads:205:10: warning: use of an anonymous access type allocator ada_process_actions.ads:206:10: warning: use of an anonymous access type allocator ada_process_actions.ads:207:10: warning: use of an anonymous access type allocator ada_process_actions.ads:208:10: warning: use of an anonymous access type allocator ada_process_actions.ads:209:10: warning: use of an anonymous access type allocator ada_process_actions.ads:210:10: warning: use of an anonymous access type allocator ada_process_actions.ads:211:10: warning: use of an anonymous access type allocator ada_process_actions.ads:212:10: warning: use of an anonymous access type allocator ada_process_actions.ads:213:10: warning: use of an anonymous access type allocator ada_process_actions.ads:214:10: warning: use of an anonymous access type allocator ada_process_actions.ads:215:10: warning: use of an anonymous access type allocator ada_process_actions.ads:216:10: warning: use of an anonymous access type allocator ada_process_actions.ads:217:10: warning: use of an anonymous access type allocator ada_process_actions.ads:218:10: warning: use of an anonymous access type allocator ada_process_actions.ads:219:10: warning: use of an anonymous access type allocator ada_process_actions.ads:220:10: warning: use of an anonymous access type allocator ada_process_actions.ads:221:10: warning: use of an anonymous access type allocator ada_process_actions.ads:222:10: warning: use of an anonymous access type allocator ada_process_actions.ads:223:10: warning: use of an anonymous access type allocator ada_process_actions.ads:224:10: warning: use of an anonymous access type allocator ada_process_actions.ads:225:10: warning: use of an anonymous access type allocator ada_process_actions.ads:226:10: warning: use of an anonymous access type allocator ada_process_actions.ads:227:10: warning: use of an anonymous access type allocator ada_process_actions.ads:228:10: warning: use of an anonymous access type allocator ada_process_actions.ads:229:10: warning: use of an anonymous access type allocator ada_process_actions.ads:230:10: warning: use of an anonymous access type allocator ada_process_actions.ads:231:10: warning: use of an anonymous access type allocator ada_process_actions.ads:232:10: warning: use of an anonymous access type allocator ada_process_actions.ads:233:10: warning: use of an anonymous access type allocator ada_process_actions.ads:234:10: warning: use of an anonymous access type allocator ada_process_actions.ads:235:10: warning: use of an anonymous access type allocator ada_process_actions.ads:236:10: warning: use of an anonymous access type allocator ada_process_actions.ads:237:10: warning: use of an anonymous access type allocator ada_process_actions.ads:238:10: warning: use of an anonymous access type allocator ada_process_actions.ads:239:10: warning: use of an anonymous access type allocator ada_process_actions.ads:240:10: warning: use of an anonymous access type allocator ada_process_actions.ads:241:10: warning: use of an anonymous access type allocator ada_process_actions.ads:242:10: warning: use of an anonymous access type allocator ada_process_actions.ads:243:10: warning: use of an anonymous access type allocator ada_process_actions.ads:244:10: warning: use of an anonymous access type allocator ada_process_actions.ads:245:10: warning: use of an anonymous access type allocator ada_process_actions.ads:246:10: warning: use of an anonymous access type allocator ada_process_actions.ads:247:10: warning: use of an anonymous access type allocator ada_process_actions.ads:248:10: warning: use of an anonymous access type allocator ada_process_actions.ads:249:10: warning: use of an anonymous access type allocator ada_process_actions.ads:250:10: warning: use of an anonymous access type allocator ada_process_actions.ads:251:10: warning: use of an anonymous access type allocator ada_process_actions.ads:252:10: warning: use of an anonymous access type allocator ada_process_actions.ads:253:10: warning: use of an anonymous access type allocator ada_process_actions.ads:254:10: warning: use of an anonymous access type allocator ada_process_actions.ads:255:10: warning: use of an anonymous access type allocator ada_process_actions.ads:256:10: warning: use of an anonymous access type allocator ada_process_actions.ads:257:10: warning: use of an anonymous access type allocator ada_process_actions.ads:258:10: warning: use of an anonymous access type allocator ada_process_actions.ads:259:10: warning: use of an anonymous access type allocator ada_process_actions.ads:260:10: warning: use of an anonymous access type allocator ada_process_actions.ads:261:10: warning: use of an anonymous access type allocator ada_process_actions.ads:262:10: warning: use of an anonymous access type allocator ada_process_actions.ads:263:10: warning: use of an anonymous access type allocator ada_process_actions.ads:264:10: warning: use of an anonymous access type allocator ada_process_actions.ads:265:10: warning: use of an anonymous access type allocator ada_process_actions.ads:266:10: warning: use of an anonymous access type allocator ada_process_actions.ads:267:10: warning: use of an anonymous access type allocator ada_process_actions.ads:268:10: warning: use of an anonymous access type allocator ada_process_actions.ads:269:10: warning: use of an anonymous access type allocator ada_process_actions.ads:270:10: warning: use of an anonymous access type allocator ada_process_actions.ads:271:10: warning: use of an anonymous access type allocator ada_process_actions.ads:272:10: warning: use of an anonymous access type allocator ada_process_actions.ads:273:10: warning: use of an anonymous access type allocator ada_process_actions.ads:274:10: warning: use of an anonymous access type allocator ada_process_actions.ads:275:10: warning: use of an anonymous access type allocator ada_process_actions.ads:276:10: warning: use of an anonymous access type allocator ada_process_actions.ads:277:10: warning: use of an anonymous access type allocator ada_process_actions.ads:278:10: warning: use of an anonymous access type allocator ada_process_actions.ads:279:10: warning: use of an anonymous access type allocator ada_process_actions.ads:280:10: warning: use of an anonymous access type allocator ada_process_actions.ads:281:10: warning: use of an anonymous access type allocator ada_process_actions.ads:282:10: warning: use of an anonymous access type allocator ada_process_actions.ads:283:10: warning: use of an anonymous access type allocator ada_process_actions.ads:284:10: warning: use of an anonymous access type allocator ada_process_actions.ads:285:10: warning: use of an anonymous access type allocator ada_process_actions.ads:286:10: warning: use of an anonymous access type allocator ada_process_actions.ads:287:10: warning: use of an anonymous access type allocator ada_process_actions.ads:288:10: warning: use of an anonymous access type allocator ada_process_actions.ads:289:10: warning: use of an anonymous access type allocator ada_process_actions.ads:290:10: warning: use of an anonymous access type allocator ada_process_actions.ads:291:10: warning: use of an anonymous access type allocator ada_process_actions.ads:292:10: warning: use of an anonymous access type allocator ada_process_actions.ads:293:10: warning: use of an anonymous access type allocator ada_process_actions.ads:294:10: warning: use of an anonymous access type allocator ada_process_actions.ads:295:10: warning: use of an anonymous access type allocator ada_process_actions.ads:296:10: warning: use of an anonymous access type allocator ada_process_actions.ads:297:10: warning: use of an anonymous access type allocator ada_process_actions.ads:298:10: warning: use of an anonymous access type allocator ada_process_actions.ads:299:10: warning: use of an anonymous access type allocator ada_process_actions.ads:300:10: warning: use of an anonymous access type allocator ada_process_actions.ads:301:10: warning: use of an anonymous access type allocator ada_process_actions.ads:302:10: warning: use of an anonymous access type allocator ada_process_actions.ads:303:10: warning: use of an anonymous access type allocator ada_process_actions.ads:304:10: warning: use of an anonymous access type allocator ada_process_actions.ads:305:10: warning: use of an anonymous access type allocator ada_process_actions.ads:306:10: warning: use of an anonymous access type allocator ada_process_actions.ads:307:10: warning: use of an anonymous access type allocator ada_process_actions.ads:308:10: warning: use of an anonymous access type allocator ada_process_actions.ads:309:10: warning: use of an anonymous access type allocator ada_process_actions.ads:310:10: warning: use of an anonymous access type allocator ada_process_actions.ads:311:10: warning: use of an anonymous access type allocator ada_process_actions.ads:312:10: warning: use of an anonymous access type allocator ada_process_actions.ads:313:10: warning: use of an anonymous access type allocator ada_process_actions.ads:314:10: warning: use of an anonymous access type allocator ada_process_actions.ads:315:10: warning: use of an anonymous access type allocator ada_process_actions.ads:316:10: warning: use of an anonymous access type allocator ada_process_actions.ads:317:10: warning: use of an anonymous access type allocator ada_process_actions.ads:318:10: warning: use of an anonymous access type allocator ada_process_actions.ads:319:10: warning: use of an anonymous access type allocator ada_process_actions.ads:320:10: warning: use of an anonymous access type allocator ada_process_actions.ads:321:10: warning: use of an anonymous access type allocator ada_process_actions.ads:322:10: warning: use of an anonymous access type allocator ada_process_actions.ads:323:10: warning: use of an anonymous access type allocator ada_process_actions.ads:324:10: warning: use of an anonymous access type allocator ada_process_actions.ads:325:10: warning: use of an anonymous access type allocator ada_process_actions.ads:326:10: warning: use of an anonymous access type allocator ada_process_actions.ads:327:10: warning: use of an anonymous access type allocator ada_process_actions.ads:328:10: warning: use of an anonymous access type allocator ada_process_actions.ads:329:10: warning: use of an anonymous access type allocator ada_process_actions.ads:330:10: warning: use of an anonymous access type allocator ada_process_actions.ads:331:10: warning: use of an anonymous access type allocator ada_process_actions.ads:332:10: warning: use of an anonymous access type allocator ada_process_actions.ads:333:10: warning: use of an anonymous access type allocator ada_process_actions.ads:334:10: warning: use of an anonymous access type allocator ada_process_actions.ads:335:10: warning: use of an anonymous access type allocator ada_process_actions.ads:336:10: warning: use of an anonymous access type allocator ada_process_actions.ads:337:10: warning: use of an anonymous access type allocator ada_process_actions.ads:338:10: warning: use of an anonymous access type allocator ada_process_actions.ads:339:10: warning: use of an anonymous access type allocator ada_process_actions.ads:340:10: warning: use of an anonymous access type allocator ada_process_actions.ads:341:10: warning: use of an anonymous access type allocator ada_process_actions.ads:342:10: warning: use of an anonymous access type allocator ada_process_actions.ads:343:10: warning: use of an anonymous access type allocator ada_process_actions.ads:344:10: warning: use of an anonymous access type allocator ada_process_actions.ads:345:10: warning: use of an anonymous access type allocator ada_process_actions.ads:346:10: warning: use of an anonymous access type allocator ada_process_actions.ads:347:10: warning: use of an anonymous access type allocator ada_process_actions.ads:348:10: warning: use of an anonymous access type allocator ada_process_actions.ads:349:10: warning: use of an anonymous access type allocator ada_process_actions.ads:350:10: warning: use of an anonymous access type allocator ada_process_actions.ads:351:10: warning: use of an anonymous access type allocator ada_process_actions.ads:352:10: warning: use of an anonymous access type allocator ada_process_actions.ads:353:10: warning: use of an anonymous access type allocator ada_process_actions.ads:354:10: warning: use of an anonymous access type allocator ada_process_actions.ads:355:10: warning: use of an anonymous access type allocator ada_process_actions.ads:356:10: warning: use of an anonymous access type allocator ada_process_actions.ads:357:10: warning: use of an anonymous access type allocator ada_process_actions.ads:358:10: warning: use of an anonymous access type allocator ada_process_actions.ads:359:10: warning: use of an anonymous access type allocator ada_process_actions.ads:360:10: warning: use of an anonymous access type allocator ada_process_actions.ads:361:10: warning: use of an anonymous access type allocator ada_process_actions.ads:362:10: warning: use of an anonymous access type allocator ada_process_actions.ads:363:10: warning: use of an anonymous access type allocator ada_process_actions.ads:364:10: warning: use of an anonymous access type allocator ada_process_actions.ads:365:10: warning: use of an anonymous access type allocator ada_process_actions.ads:366:10: warning: use of an anonymous access type allocator ada_process_actions.ads:367:10: warning: use of an anonymous access type allocator ada_process_actions.ads:368:10: warning: use of an anonymous access type allocator ada_process_actions.ads:369:10: warning: use of an anonymous access type allocator ada_process_actions.ads:370:10: warning: use of an anonymous access type allocator ada_process_actions.ads:371:10: warning: use of an anonymous access type allocator ada_process_actions.ads:372:10: warning: use of an anonymous access type allocator ada_process_actions.ads:373:10: warning: use of an anonymous access type allocator compilation of ada_process_actions.adb failed compilation of gpr_process_actions.adb failed gprbuild: *** compilation phase failed -- Ludovic Brenta. From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 04 12:53:57 2019 Received: (at 35924) by debbugs.gnu.org; 4 Jun 2019 16:53:57 +0000 Received: from localhost ([127.0.0.1]:45714 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hYChA-0005Yw-O6 for submit@debbugs.gnu.org; Tue, 04 Jun 2019 12:53:57 -0400 Received: from gproxy4-pub.mail.unifiedlayer.com ([69.89.23.142]:44315) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hYCh8-0005Yf-AO for 35924@debbugs.gnu.org; Tue, 04 Jun 2019 12:53:55 -0400 Received: from cmgw12.unifiedlayer.com (unknown [10.9.0.12]) by gproxy4.mail.unifiedlayer.com (Postfix) with ESMTP id BBA92178E27 for <35924@debbugs.gnu.org>; Tue, 4 Jun 2019 10:32:54 -0600 (MDT) Received: from host114.hostmonster.com ([74.220.207.114]) by cmsmtp with ESMTP id YCMoht5ylmds9YCMohRTez; Tue, 04 Jun 2019 10:32:54 -0600 X-Authority-Reason: nr=8 X-Authority-Analysis: $(_cmae_reason Received: from [76.77.182.20] (port=49617 helo=Takver4) by host114.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.91) (envelope-from ) id 1hYCMo-001Ovw-Fb for 35924@debbugs.gnu.org; Tue, 04 Jun 2019 10:32:54 -0600 From: Stephen Leake To: 35924@debbugs.gnu.org Subject: patch to fix Date: Tue, 04 Jun 2019 08:32:46 -0800 Message-ID: <86y32htioh.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host114.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1hYCMo-001Ovw-Fb X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:49617 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDExNC5ob3N0bW9uc3Rlci5jb20= X-Local-Domain: yes X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 35924 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --- wisitoken.ads +++ wisitoken.ads @@ -85,7 +85,8 @@ package WisiToken is Invalid_Token_ID : constant Token_ID := Token_ID'Last; - type Token_ID_Array_String is array (Token_ID range <>) of access constant String; + type String_Access_Constant is access constant String; + type Token_ID_Array_String is array (Token_ID range <>) of String_Access_Constant; type Token_ID_Array_Natural is array (Token_ID range <>) of Natural; type Descriptor -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Sun Aug 18 12:56:16 2019 Received: (at 35924) by debbugs.gnu.org; 18 Aug 2019 16:56:16 +0000 Received: from localhost ([127.0.0.1]:58433 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hzOTX-0000qx-OC for submit@debbugs.gnu.org; Sun, 18 Aug 2019 12:56:15 -0400 Received: from gateway20.websitewelcome.com ([192.185.4.169]:25074) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hzOTV-0000qn-Ix for 35924@debbugs.gnu.org; Sun, 18 Aug 2019 12:56:13 -0400 Received: from cm10.websitewelcome.com (cm10.websitewelcome.com [100.42.49.4]) by gateway20.websitewelcome.com (Postfix) with ESMTP id 6A6E6400C4C1A for <35924@debbugs.gnu.org>; Sun, 18 Aug 2019 10:51:43 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id zOTUh0IPT2PzOzOTVh0o9H; Sun, 18 Aug 2019 11:56:13 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=eA0iDaBZeRqRhddC8PwAU5KquiCetiMZVufTqnuEH98=; b=AdRaFJ0HgWMapvSs16AIUkIEiO mWbwS/cPJGYSyQzpzk0qcQ9VFEED6B4YPdTz2+FeOMnBD+iJtHqlE2Yl/vhi6hx2K018EdGsESMhy mIxT7SaWH5yIvU9RF45rFumVNF9a/S9Q8T82PONJEwNuHYwU+LxURAV961dvJG6+kzHbMWO8byxV5 O/cROaWRwyIzT9o+LHKukQyuNbYUGO1akfXRNyxs7JeM7ejvya1s532JstlZ9wU4NSQohav0+G6lm /1hGZzHj9fw8mF3n2+Aq7+Ww/fnlGyBBVU7M3F27WiR0ALENXuI9+LehAXcABOqWZ4s4K6xBoeiVj eJZ27MwA==; Received: from [76.77.182.20] (port=52654 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1hzOTU-003SwS-Lx for 35924@debbugs.gnu.org; Sun, 18 Aug 2019 10:56:12 -0600 From: Stephen Leake To: 35924@debbugs.gnu.org Subject: Fixed in ada-mode 6.1.1 Date: Sun, 18 Aug 2019 09:56:11 -0700 Message-ID: <86r25itntg.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1hzOTU-003SwS-Lx X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:52654 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 8 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 35924 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) Fixed in ada-mode 6.1.1 -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Sun Aug 18 12:57:08 2019 Received: (at 35924) by debbugs.gnu.org; 18 Aug 2019 16:57:08 +0000 Received: from localhost ([127.0.0.1]:58437 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hzOUO-0000t9-3h for submit@debbugs.gnu.org; Sun, 18 Aug 2019 12:57:08 -0400 Received: from gateway24.websitewelcome.com ([192.185.50.91]:16136) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hzOUL-0000t1-RJ for 35924@debbugs.gnu.org; Sun, 18 Aug 2019 12:57:06 -0400 Received: from cm12.websitewelcome.com (cm12.websitewelcome.com [100.42.49.8]) by gateway24.websitewelcome.com (Postfix) with ESMTP id 1A57156E9 for <35924@debbugs.gnu.org>; Sun, 18 Aug 2019 11:57:05 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id zOUKhlfymiQerzOUKh71Kp; Sun, 18 Aug 2019 11:57:05 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=lNaTBibSrzXLHIbgm2UxwVsmovhv4RNKAWNGEY+mK4c=; b=BHFZriPy79ixWhyXxtcAWm0H18 +XeqeAR3fhYgO7zzT35BYw5fqMUcmav9s/0v8IlC61SEPwz8jjGWTLa+a60MvzxxxlhD69s5HESCA QUVbR6jCHQC3/UK9inusWRiozQ7BfBPQOqpB428alPdvjgx38pkz5EcIT8PRYMQwK4XXlPAWVb5Dv dJfEiSSkbzA0rzetHg6NVxujHFhNibPl+T4U1X0DfPaYvtXIwd8PeIU8dKghXPC6RNcZbXIX3A1EX Pco+pZfD4L1SJKbhXV4ORuo9trxy1t8P8oxZ8RPgR8D3Ev3SPCJWysHK0QqSd8DYqYqbDsjO4dEOX jAtBw6Jw==; Received: from [76.77.182.20] (port=52656 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1hzOUK-003TGd-Fv for 35924@debbugs.gnu.org; Sun, 18 Aug 2019 10:57:04 -0600 From: Stephen Leake To: 35924@debbugs.gnu.org Subject: Fixed in ada-mode 6.1.1 Date: Sun, 18 Aug 2019 09:57:02 -0700 Message-ID: <86mug6tns1.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1hzOUK-003TGd-Fv X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:52656 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 9 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 35924 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) Fixed in ada-mode 6.1.1; see the new user option ada-which-func-parse-size. -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 10 10:10:06 2019 Received: (at 35924-close) by debbugs.gnu.org; 10 Dec 2019 15:10:06 +0000 Received: from localhost ([127.0.0.1]:56395 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ieh9K-0005yP-0j for submit@debbugs.gnu.org; Tue, 10 Dec 2019 10:10:06 -0500 Received: from webmail.bookmyname.com ([88.191.249.153]:50956 helo=webmail.free.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ieh9I-0005yH-1s for 35924-close@debbugs.gnu.org; Tue, 10 Dec 2019 10:10:05 -0500 Received: from 153.98.68.208 (unknown [127.0.1.3]) by webmail.free.org (Postfix) with ESMTP id 832D93F0BA for <35924-close@debbugs.gnu.org>; Tue, 10 Dec 2019 16:10:03 +0100 (CET) Received: from [153.98.68.208] by webmail.ludovic-brenta.org with HTTP (HTTP/1.1 POST); Tue, 10 Dec 2019 16:10:03 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 10 Dec 2019 16:10:03 +0100 From: Ludovic Brenta To: 35924-close@debbugs.gnu.org Subject: 26.1; ada-mode 6.2.1 partial parsing occasionally hangs while moving point Message-ID: <07a407d29320fd16817a257f755d415d@ludovic-brenta.org> X-Sender: ludovic@ludovic-brenta.org X-Complaints-To: abuse_at_bookmyname.com X-Abuse-Info: Please be sure to forward a copy of ALL headers X-Origin-Web-Site: webmail.ludovic-brenta.org X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 35924-close X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Verified fixed. -- Ludovic Brenta. From unknown Sat Jun 21 10:42:59 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 08 Jan 2020 12:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator