- Hugs-Bugs - Haskell.org

Garbage collection does not fully recover from error
by Raymond Boute 18 Jul '02

18 Jul '02

L.S., Consider the module definition: // module Infinite where x = 1 : map (+1) x y = 1 : map (+1) y \\ and the following session // Hugs session for: C:\hugs98\lib\Prelude.hs D:\TopFolder\Haskexper\Misc\Infinite.hs Type :? for help Infinite> take 5 x [1,2,3,4,5] Infinite> take 5 x == take 5 y True Infinite> x == y ERROR - Garbage collection fails to reclaim sufficient space Infinite> take 5 x == take 5 y True ERROR - Garbage collection fails to reclaim sufficient space Infinite> \\ The first evaluation of take 5 x == take 5 y causes no problems, but after the stack overflow caused by evaluating x == y the second evaluation of take 5 x == take 5 y returns the correct answer but also an error message. Please let me know (i) whether this should be expected, (ii) if so, why, (iii) if not, how this can be corrected. Regards, Raymond Boute

2 1

semicolons
by Ross Paterson 16 Jul '02

16 Jul '02

Haskell 98 allows things separated by semicolons to be empty, unlike earlier versions. Hugs implements this for decls and ldecls, but not other contexts, e.g. it rejects stuff like module Foo where {import A;;x = 1;;y = 2;} do {;;;x <- [1];;;return x;;} The attached patch fixes this for impDecls, topDecls and stmts. That leaves alts, I think. ------------------------------------------------------------------- Index: src/parser.y =================================================================== RCS file: /cvs/hugs98/src/parser.y,v retrieving revision 1.33 diff -u -r1.33 parser.y --- src/parser.y 2002/06/14 14:41:10 1.33 +++ src/parser.y 2002/07/15 11:21:15 @@ -163,7 +163,8 @@ } } ; -modBody : topDecls {$$ = $1;} +modBody : /* empty */ {$$ = gc0(NIL);} + | topDecls {$$ = gc1($1);} | impDecls chase {$$ = gc2(NIL);} | impDecls ';' chase topDecls {$$ = gc4($4);} ; @@ -203,6 +204,7 @@ /*- Import declarations: --------------------------------------------------*/ impDecls : impDecls ';' impDecl {imps = cons($3,imps); $$=gc3(NIL);} + | impDecls ';' {$$=gc2(NIL);} | impDecl {imps = singleton($1); $$=gc1(NIL);} ; chase : /* empty */ {if (chase(imps)) { @@ -260,13 +262,9 @@ /*- Top-level declarations: -----------------------------------------------*/ -topDecls : /* empty */ {$$ = gc0(NIL);} - | ';' {$$ = gc1(NIL);} - | topDecls1 {$$ = $1;} - | topDecls1 ';' {$$ = gc2($1);} - ; -topDecls1 : topDecls1 ';' topDecl {$$ = gc2($1);} - | topDecls1 ';' decl {$$ = gc3(cons($3,$1));} +topDecls : topDecls ';' {$$ = gc2($1);} + | topDecls ';' topDecl {$$ = gc2($1);} + | topDecls ';' decl {$$ = gc3(cons($3,$1));} | topDecl {$$ = gc0(NIL);} | decl {$$ = gc1(cons($1,NIL));} ; @@ -879,11 +877,9 @@ | guardAlt {$$ = gc1(cons($1,NIL));} ; guardAlt : '|' exp0 ARROW exp {$$ = gc4(pair($3,pair($2,$4)));} - ; -stmts : stmts1 ';' {$$ = gc2($1);} - | stmts1 {$$ = $1;} ; -stmts1 : stmts1 ';' stmt {$$ = gc3(cons($3,$1));} +stmts : stmts ';' stmt {$$ = gc3(cons($3,$1));} + | stmts ';' {$$ = gc2($1);} | stmt {$$ = gc1(cons($1,NIL));} ; stmt : exp_err FROM exp {$$ = gc3(ap(FROMQUAL,pair($1,$3)));}

2 1

Hugs doesn't follow latest layout specification
by Mark Tullsen 15 Jul '02

15 Jul '02

In the following code snippet: f (x:xs) = "a" where f [] = "b" We have f [] => "b" -- in ghc and nhc98 and /latest/ Report f [] => Program error: {f []} -- in hugs It appears that Hugs has not been updated to follow the most current Haskell98 Report which explicates the layout rules in more detail. (Which specifies that the above 'where' construct should bind nothing rather than binding the "f [] = ...".) - Mark

2 1

Darling
by iSrerOECmtblt 13 Jul '02

13 Jul '02

1 0

A very powful tool
by jstiles 13 Jul '02

13 Jul '02

1 0

Mutual benefit
by Dr. Anna Okainame 12 Jul '02

12 Jul '02

Dear Friend, First, I must solicit your strictest confidence in this ransaction,this is by virtue of it's nature as being utterly confidential and top secret. Study this portion carefully and advice categorically,if you will be able to handle, as I might not want to be exposed of the information considering the source and reputation of my name. I am the Director of project and the newly appointed chairman, contract reviewing committee(CRC) of the Federal ministry of Works and Housing (FMW&H) in Lagos, Nigeria. I am seeking your assistance to enable me transfer the sum of US $17,000,000.00 into your account for mutual benefits. This money came about as a result of a contract executed on behalf of my Ministry, the (Federal Ministry of Works and Housing). This contract was officially assigned to be awarded and executed by two foreign contractors at the tune of US$80,500,000.00, but in the course of our negotiation, we bargained with only one foreign contractor, a Bulgarian firm which now executed the contract at the cost of US$63,500,000.00. Thus leaving the remaining US$17M to our (members of the CRP ) benefits unknown to the contractor and any other person in my Ministry. This contract has been satisfactorily executed and inspected as the Bulgarian firm is presently securing his payment from my Ministry. It is however to this effect that I seek your maximum assistance and approval to present your company name alongside with the Bulgarian contractor as the second foreign contractor to enable me transfer the difference(US$17M) into your account for further investment depending on your advice. On actualization of the transaction,the funds will be shared thus: 1. 30% of the money go to you for acting as the beneficiary of the funds. 2. 10% for reimbursement to both parties for incidental expenses that may be incurred in the course of the transaction for insurance, phone bills, documentation etc 3. 60%to me. All logistics are in place and all modalities worked out for the smooth actualization of the transaction within fourteen working days of commencement after receiving the following information by fax: Your company�s name, address, phone/fax numbers and the activities of your company. The above information will enable me make application and lodge claims to concerned Ministries in favour of your company or name and it is pertinent to state here that this deal is entirely based on trust and the fear of God. If you are able to handle this,feel free to reach at anna_works(a)37.com for perfect understanding of the transaction. Thanks in anticipation of your positive response. Yours faithfully Dr.Anna Okainame

1 0

FFI testers wanted
by Alastair Reid 09 Jul '02

09 Jul '02

Over the last month or so I've been rewriting Hugs' support for the Foreign Function Interface Extension to bring it into line with the current specification (release candidate 4): http://www.cse.unsw.edu.au/~chak/haskell/ffi/ The bulk of that code I could write and test myself (with some help from Sigbjorn Finne and Johan Nordlander) but to port it to other platforms and test it on other platforms I need some help. I have put a snapshot of the CVS repository at http://www.reid-consulting-uk.ltd.uk/downloads/hugs98-ffi-06072002-src.tar.… I'm looking for volunteers on Unix-like platforms to download this file (832 kB) and try to configure, build and test Hugs according to the attached script. I'm hoping to get many reports of success and failure (with information about the platform and C compiler used). This should take about 5-10 minutes for people with a fast internet connection. I'm also hoping that a few Brave Souls will mail me minor fixes for problems turned up in the process and that a few Heroes will find the time and cunningness to port the ffi to whole new architectures (i.e., not x86 or PowerPC). Please mail reports to hugs-bugs as a convenient way of keeping others informed about your progress. -- Alastair Reid alastair(a)reid-consulting-uk.ltd.uk Reid Consulting (UK) Limited http://www.reid-consulting-uk.ltd.uk/alastair/ ps This snapshot is for testing the ffi only. Other parts of Hugs are in a state of flux and probably work but may not. Unless you routinely track Hugs' CVS commits, I'd recommend deleting this snapshot once you've tested the ffi. Here's how to test this version of Hugs on Unix-like platforms. The instructions are in 4 stages and take the form of a series of Unix shell commands so the simplest thing to do is to cut and paste the commands for each stage into a shell window and check things work ok. # first download hugs98-ffi-06072002-src.tar.gz to /tmp cd /tmp tar zxvf hugs98-ffi-06072002-src.tar.gz echo << EOF ******************************************************************* Stage 1: Checking platform and compiler - for use in any reports of success/ failure. ******************************************************************* EOF uname -a cc -v echo << EOF On my machine this generates output like this: Linux bbb 2.4.19-pre10 #4 Mon Jun 10 22:20:35 BST 2002 i686 unknown Reading specs from /usr/lib/gcc-lib/i386-linux/2.95.4/specs gcc version 2.95.4 20011002 (Debian prerelease) EOF echo << EOF ******************************************************************* Stage 2: Configuring Hugs ******************************************************************* EOF cd hugs98/src/unix ./configure --prefix=/tmp/test echo << EOF The last 20 lines or so of output should contain something like this. ... checking if '/LD' builds loadable libraries... checking if '-shared' builds loadable libraries... -shared checking if '-bundle' builds loadable libraries... (cached) -shared checking if '-bundle -lc' builds loadable libraries... (cached) -shared checking if '-shared -nostdlib' builds loadable libraries... (cached) -shared checking if '-r' builds loadable libraries... (cached) -shared checking if '-rdynamic' builds loadable libraries... (cached) -shared checking if '-G' builds loadable libraries... (cached) -shared checking if '-Aa +z' builds loadable libraries... (cached) -shared ... This shows that configure successfully found a way to build dynamically loadable files using the -shared flag. We can check what effect this had on configuration by examining hugs98/src/config.h: EOF grep DLL ../config.h grep UNDERSCORE ../config.h echo << EOF On my machine this produces: #define MKDLL_CMD "gcc -shared" /* #undef LEADING_UNDERSCORE */ EOF echo << EOF ******************************************************************* Stage 3: Building Hugs ******************************************************************* EOF cd .. make install_ffi echo << EOF ******************************************************************* Stage 4: Testing Hugs ******************************************************************* EOF cd ../tests sh testScript ffi echo << EOF This should generate output like this: ---------------------------------------------------------------- -- Testing foreign function interface. ---------------------------------------------------------------- -- !!! Testing marshalling of all the basic types -- !!! Testing all the different forms of foreign import -- !!! Testing static, dynamic and wrapped import of trig function -- !!! Testing static, dynamic and wrapped import of trig function -- !!! Testing marshalling of strings -- !!! Testing marshalling of strings -- !!! Testing system calls -- !!! Testing system calls ---------------------------------------------------------------- EOF The most likely problems are during configuration since this code has only been very lightly tested. If it fails at this point, those with a little time on their hands and some mild hacking skills could try one of the following: 1) If you have GNU autoconf on your machine, and you know how to build shared libraries on your machine, try adding an appropriate test to hugs98/src/configure.in, rerun autoconf and rerun from 'configure' onwards. The part of configure.in to change is around like 599 and reads: dnl Try the MS Visual C flags HUGS_TRY_DYNLINK("/LD") dnl Try the gcc flags HUGS_TRY_DYNLINK("-shared") dnl Try the MacOS X flags HUGS_TRY_DYNLINK("-bundle") dnl Try the MacOS X flags HUGS_TRY_DYNLINK("-bundle -lc") dnl Try the gcc flags HUGS_TRY_DYNLINK("-shared -nostdlib") dnl Some other gcc flags HUGS_TRY_DYNLINK("-r") dnl Some other gcc flags HUGS_TRY_DYNLINK("-rdynamic") dnl Try the SunOS flags HUGS_TRY_DYNLINK("-G") dnl Try the HPUX flags HUGS_TRY_DYNLINK("-Aa +z") Each of the HUGS_TRY_DYNLINK lines tests whether passing those flags to the C compiler will successfully compile and link a file built with the dynamic loading/linking mechanism on that platform. 2) If you know how to build shared libraries on your machine, try modifying the settings of DLL_FLAGS and LEADING_UNDERSCORE in hugs98/src/config.h and rerun from 'make install_ffi' onwards. The other likely source of problems is in the implementation of foreign import wrappers which are currently only implemented for the x86 and PowerPC architectures. This may fail in three ways: 1) You have an x86 or PowerPC but Hugs fails to recognize this. Those with some mild porting skills could fix this by improving the current #ifdef tests in mkThunk (hugs98/src/builtin.c line 2266) which are: #if defined(__i386__) ... #elif defined(__ppc__) && defined(__GNUC__) ... #endif 2) You have some other architecture. The following is not for the timid. Those with assembly language and machine code skills could read - the implementation of mkThunk (hugs98/src/builtin.c lines 2206-2334) - the bottom half of hugs98/doc/ffi-notes.txt - the code used by GHC (fptools/ghc/rts/Adjustor.c) http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/rts/Adjustor.c?rev=1.… and extend the implementation of mkThunk in Hugs appropriately. Although the amount of code required is quite small, the amount of trickery required is quite high so it would be best to coordinate any effort. If your platform is not a 32-bit platform, there will probably be problems with the marshalling libraries (Storable in particular) as well. The configuration script contains some tests to determine the size and alignment of various types but this information is not currently used in the compiler or in the libraries.

5 16

Re: FFI testers wanted
by Alistair Cloete 09 Jul '02

09 Jul '02

Hello, I tried the seond test release (hugs98-ffi-09072002b-src.tar.gz) on Mac OS X 10.1.5 with the April 2002 Developer Tools. I found a typo in machdep.c (a wrong parameter name) and a typo in the aclocal.m4 script (SYMBOL1 was used twice in the Mac test). Also the test for a leading underscore in aclocal.m4 does not work (the return value $? gets clobbered by 'test'). I've attached a patch for these bugs, and after applying this patch I could successfully build and test Hugs. Regards, Alistair Cloete. > uname -a Darwin lambda 5.5 Darwin Kernel Version 5.5: Thu May 30 14:51:26 PDT 2002; root: xnu/xnu-201.42.3.obj~1/RELEASE_PPC Power Macintosh powerpc > cc -v Reading specs from /usr/libexec/gcc/darwin/ppc/2.95.2/specs Apple Computer, Inc. version gcc-937.2, based on gcc version 2.95.2 19991024 (re lease) > ./configure --prefix=/tmp/test ... checking if '-bundle' builds loadable libraries... -bundle ... > grep DLL ../config.h #define MKDLL_CMD "gcc -bundle" > grep UNDERSCORE ../config.h #define LEADING_UNDERSCORE 1 > cd .. > make install_ffi OK > cd ../tests > sh testScript ffi OK ---------------------8<--------------------------------- --- src/machdep.c.orig Fri Jul 5 07:21:26 2002 +++ src/machdep.c Tue Jul 9 22:35:30 2002 @@ -1952,7 +1952,7 @@ return instance; } -static void* local getDLLSymbol(dll,symbol) /* lookup dll symbol */ +static void* local getDLLSymbol(instance,symbol) /* lookup dll symbol */ void* instance; String symbol; { void *sym; --- src/unix/aclocal.m4.orig Tue Jul 9 13:08:31 2002 +++ src/unix/aclocal.m4 Tue Jul 9 22:35:19 2002 @@ -543,7 +543,7 @@ sym = NSLookupSymbolInModule(handle, SYMBOL1); if (sym != 0) exit(SYM1_OK); - sym = NSLookupSymbolInModule(handle, SYMBOL1); + sym = NSLookupSymbolInModule(handle, SYMBOL2); if (sym != 0) exit(SYM2_OK); exit(CANTFIND); @@ -585,11 +585,12 @@ then dnl compiling and linking loader succeeded ./conftest 2>/dev/null - if test $? = 3; then + ac_result=$? + if test $ac_result = 3; then ac_cv_dll_flags=$1 ac_cv_leading_underscore=no fi - if test $? = 4; then + if test $ac_result = 4; then ac_cv_dll_flags=$1 ac_cv_leading_underscore=yes fi

2 1

FFI testers wanted
by Sven Panne 09 Jul '02

09 Jul '02

Apart from the missing SPARC parts, two files had to be changed on Solaris: > uname -a SunOS neptun 5.7 Generic_106541-18 sun4u sparc SUNW,Ultra-Enterprise > gcc -v [...] Thread model: posix gcc version 3.0.2 In configure.in, change if (test "`basename ${YACC}`x" == "byaccx"); then to if test "`basename ${YACC}`x" = "byaccx" ; then After this, configure works well. > grep DLL ../config.h #define MKDLL_CMD "gcc -r" > grep UNDERSCORE ../config.h /* #undef LEADING_UNDERSCORE */ > cd .. ; make install_ffi OK. But why are some files compiled with -O2 and others not? In testScript, change source config to . ./config > cd ../tests ; sh testScript ffi ---------------------------------------------------------------- -- Testing foreign function interface. ---------------------------------------------------------------- -- !!! Testing marshalling of all the basic types -- !!! Testing all the different forms of foreign import -- !!! Testing static, dynamic and wrapped import of trig function -- !!! Testing static, dynamic and wrapped import of trig function /home/spanne/tmp/test/bin/hugs +q +w -pHugs: ffi/Sin.hs < ffi/Sin.input expected stdout not matched by reality *** ffi/Sin.output Tue Jun 18 22:02:08 2002 --- /tmp/runtest17728.3 Tue Jul 9 10:17:01 2002 *************** *** 7,13 **** Testing sin==IO wrapped_sin (should return lots of Trues) - [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True] - - Testing sin==Id wrapped_sin (should return lots of Trues) - [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True] Hugs:[Leaving Hugs] --- 7,10 ---- Testing sin==IO wrapped_sin (should return lots of Trues) + ERROR - Foreign export dynamic is not supported on this architecture Hugs:[Leaving Hugs] -- !!! Testing marshalling of strings -- !!! Testing marshalling of strings -- !!! Testing system calls -- !!! Testing system calls /home/spanne/tmp/test/bin/hugs +q +w -pHugs: ffi/FileIO.hs < ffi/FileIO.input expected stdout not matched by reality *** ffi/FileIO.output Sat Jun 22 01:22:01 2002 --- /tmp/runtest17813.3 Tue Jul 9 10:17:10 2002 *************** *** 16,17 **** --- 16,20 ---- + IO Error: User error + Reason: open2: (-1,2) + Hugs:[Leaving Hugs] ---------------------------------------------------------------- Cheers, S.

2 5

Are YOU looking for a new website, to develop an existing website, for cheaper hosting or domain names?
by Look at This 09 Jul '02

09 Jul '02

Are YOU looking for a new website, to develop an existing website, for cheaper hosting or domain names? We are a UK based company who would like to offer you our considerable experience and expertise in the field of website design, eCommerce, web hosting, domain name facilities and search engine positioning. We can offer you cheaper solutions with domain name registration from £10 per year, website design both new and updated sites undertaken from £100, website hosting from £60 per year, full professional after sales service and website maintenance from £10 per month, secure server space and security certificates from £50 per year, marketing tips and advice free to our clients, top ranking search engine positioning available. All of our designs are custom made for our client's requirements and are our best advert. We are independently tested on a daily basis and are consistently in the top of the performance listings of all the major ISP hosting companies in the UK. So, whether you want to advertise your business more effectively, reach a larger catchment area or sell in the global market; WE have the BEST solution for you. Due to the bespoke nature of our website development most of our clients prefer to discuss their requirements by telephone, please send us a contact phone number and we will contact you shortly to discuss your needs in more detail. Alternatively, please ask for more details by replying to this email for a prompt response. We look forward to hearing from you. This is NOT spam. You are receiving this message because your email address was used on one of our web sites. If your email address was used without your permission or you no longer want to receive email from us, we apologise for any inconvenience caused and ask that you simply reply to this email putting remove as the subject.

1 0