--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Wed Feb 16 11:52:08 1994 --* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03) --* id AA11902; Wed, 16 Feb 1994 11:52:08 -0500 --* X-External-Networks: yes --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 3127; Wed, 16 Feb 94 11:58:13 EST --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Wed, 16 Feb 94 11:58:11 -0500 --* Received: from ganesa.inria.fr by watson.ibm.com (IBM VM SMTP V2R3) with TCP; --* Wed, 16 Feb 94 11:58:07 EST --* Received: by ganesa.inria.fr --* (5.65/IDA-1.2.8) id AA05059; Wed, 16 Feb 1994 18:02:31 +0100 --* Date: Wed, 16 Feb 1994 18:02:31 +0100 --* From: Marc Gaetano --* Message-Id: <9402161702.AA05059@ganesa.inria.fr> --* To: themos@nag.co.uk, asbugs@watson.ibm.com --* Subject: Bug report and comments --@ Fixed by: SSD Thu May 11 10:50:21 EDT 1995 --@ Tested by: none --@ Summary: Thanks for the comments and bug reports. Sorry its been so long before someone could look at these. Here is a summary of our experience with A# as a beta-test site (INRIA Sophia-Antipolis, SAFIR project, coordinated by Marc Gaetano). We apologize for not having sent this message before but Marc was very busy teaching and we had some work to finish with Axiom. Let us know if you wish a more complete (written) report. Our architecture is Sun4, running SunOS 4.1.3, with "cc" as the C compiler. Our remarks : - No installation problems were found (installation is easy). - there is a "dangling link" in the distribution : base/suncc/src - We were unable to locate the "xasharp" program mentionned in the documentation (UserGuide). - The documentation is very poor (to say the least...). It is very hard to report a bug when you can find nowhere what a legal program is supposed to do... Of course, we were warned, and our experience with Scratchpad helped a lot. Maybe the differences with the Axiom (Scratchpad) language should have been given to ease the porting of code. We are very interested in getting updated documentation. Maybe the newest documentation could be made available by "ftp" (or gopher) at NAG (as well as more examples of A# code)? - the main inconvenience found (except the few bugs we discovered...) is the speed of the compiler, including the C generation and compilation. We don't know what is meant by "lines per minute" as given with the "-v" option, but this has clearly (and unfortunately...) no connection with the speed of the compiler... In the 3 following messages, we send you 3 files that exhibit annoying bugs : - a little variation of the "xmandel" program (given as example in the user guide) causes the compiler to generate bad C code. - in certain circonstances the compiler generates 2 C files for one A# source and link "asmain" with only one of the corresponding object, causing some symbols to remain undefined (when we link "by hand" with the two files, it works alright). - the compiler can generate a segmentation fault in "gen0FindDefs" (file "../src/genfoam.c") which seems to be due to a null pointer (the gdb trace is included). Here are the mail addresses of the people working (or directly interested) in A# at our site (should it be of any interest to you) : marc.gaetano@sophia.inria.fr noelle.stolfi@sophia.inria.fr christele.faure@sophia.inria.fr bernard.mourrain@sophia.inria.fr stephane.dalmas@sophia.inria.fr Is there any mailing list for A# programmers (beta-testers) ? We will be very interested in sharing our (little) experience. Marc Gaetano & Ste'phane Dalmas.