Received: from nldi16.nag.co.uk by nags2.nag.co.uk (4.1/UK-2.1) id AA19312; Sun, 17 Sep 95 17:48:54 BST From: Peter Broadbery Date: Sun, 17 Sep 95 17:45:30 +0100 Message-Id: <2870.9509171645@nldi16.nag.co.uk> Received: by nldi16.nag.co.uk (920330.SGI/NAg-1.0) id AA02870; Sun, 17 Sep 95 17:45:30 +0100 Subject: fixbug By: PAB Fixed: bug981.as Apparently-To: ax-bugs@nag.co.uk From asbugs@com.ibm.watson Thu Jun 1 18:49:09 1995 Date: Thu, 1 Jun 1995 13:19:20 -0400 From: asbugs@com.ibm.watson (S Watt) To: adk@edu.fsu.scri, dooley@com.ibm.watson, iglio@it.unipi.dm.posso, peterb@uk.co.nag, smwatt@com.ibm.watson Subject: Received A# bug981 Sender: asbugs@com.ibm.watson Reporter: adk@scri.fsu.edu Number: bug981 Description: [4] `never' too taciturn Thank you for your bug report. It has been assigned bug number bug981. If you wish to discuss this bug via E-mail, please direct your messages to specific people and include the bug number. ------------------------------ bug981.as --------------------------------- --* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Thu Jun 1 13:19:17 1995 --* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311) --* id AA18140; Thu, 1 Jun 1995 13:19:17 -0400 --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 7395; Thu, 01 Jun 95 13:19:16 EDT --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Thu, 01 Jun 95 13:19:16 -0400 --* Received: from mailer.scri.fsu.edu by watson.ibm.com (IBM VM SMTP V2R3) --* with TCP; Thu, 01 Jun 95 13:17:52 EDT --* Received: from ibm12.scri.fsu.edu by mailer.scri.fsu.edu with SMTP id AA19431 --* (5.67b/IDA-1.4.4 for ); Thu, 1 Jun 1995 13:14:59 -0400 --* From: Tony Kennedy --* Received: by ibm12.scri.fsu.edu (5.67b) id AA41258; Thu, 1 Jun 1995 13:15:17 -0400 --* Date: Thu, 1 Jun 1995 13:15:17 -0400 --* Message-Id: <199506011715.AA41258@ibm12.scri.fsu.edu> --* To: adk@scri.fsu.edu, asbugs@watson.ibm.com, infodesk@nag.co.uk --* Subject: [4] `never' too taciturn --@ Bug Number: bug981.as --@ Fixed by: PAB --@ Tested by: none --@ Summary: Added description of return codes into interpreter -- Command line: none -- Version: 1.1.0 -- Original bug file name: /dev/null --+ In the cases where the compiler does not completely optimize a `never' --+ out of existence it would be nice if it would print an informative --+ message as well as a traceback (making `never' effectively into an --+ assertion). Something along the lines of `you promised to never reach --+ 1.1.3 does the following: --+ --+ $ axiomxl -gloop --+ %1 >> --+ %2 >> #include "axllib" --+ f(): () == { print "oops~n"; never } --+ Comp: 5580 msec, Interp: 270 msec --+ %3 >> f()Defined f @ () -> () --+ Comp: 200 msec, Interp: 1050 msec --+ %4 >> --+ oops --+ #0 10064168 in at unit [top-level] --+ #1 33 in <--[0]> at unit [main] --+ #2 0 in <--[0]> at unit [main] --+ ... --+ User error: Reached a "never" --+ Comp: 50 msec, Interp: 1020 msec --+ %5 >> g(): () == f() --+ Defined g @ () -> () --+ Comp: 50 msec, Interp: 0 msec --+ %6 >> g() --+ oops --+ #0 100641b8 in at unit [top-level] --+ #1 33 in <--[0]> at unit [main] --+ #2 0 in <--[0]> at unit [main] --+