- Hugs-Bugs - Haskell.org

Bad links on http://cvs.haskell.org/Hugs/pages/downloading.htm
by Christian Stapfer 08 Aug '02

08 Aug '02

In the section titled "Addiitonal documentation" (orange bar), the links labeled "gzipped Postscript" and "gzipped tar-ed html" point to invalid URLs. Perhaps you wan't do either change these URLs - or remove those links altogether? Regards (and with many thanks for your excellent compiler) Christian Stapfer chstapfer(a)swissonline.ch

1 0

W97M.Sherlock.G File infector
by MSN Hotmail 07 Aug '02

07 Aug '02

This is an auto-generated response designed to answer your question as quickly as possible. Please note that you will not receive a reply if you respond directly to this message. We hope the directions below answer your question. If after following the directions your problem is still unresolved, please click the link to the Hotmail Customer Support form at the end of this message to submit your issue and a Customer Support Representative will help you. MSN Hotmail WebCourier is an online content delivery service that enables you to request that rich, graphical e-mail messages be delivered daily to your Inbox. Check regularly for additions because Hotmail constantly adds new titles to this list. For your convenience, we've divided current WebCourier services into these categories: - Business & Investing - Entertainment & Music - Games - Health & Fitness - News & Sports - Personal Interests - Shopping - Teens & Young Adults - Women >>> To subscribe to WebCourier 1. On the right navigation bar under "Hotmail Services", click the "Free Newsletters" link. The "WebCourier FREE Subscriptions" page appears. 2. Scroll down to see the list of possible subscriptions. 3. Select the check box next to each service to which you want to subscribe. 4. Click "OK" to subscribe to these services. >>> To unsubscribe from WebCourier 1. On the right navigation bar under "Hotmail Services", click the "Free Newsletters" link. The "WebCourier FREE Subscriptions" page appears. 2. Clear the check box next to each service to which you're subscribed. 3. Click "OK" to unsubscribe to these services. ************************* Still Didn't Solve Your Problem? Complete the Hotmail Customer Support request form at: http://www.hotmail.com/cgi-bin/support Remember that MSN Hotmail also has comprehensive online help available--just click "Help" in the upper right corner.

1 0

old and new hugs online sites creates confusion
by Greg Wanish 05 Aug '02

05 Aug '02

The old site is still up and running and proclaiming that Feb 2001 version is here. Nowhere on the page does it say that that a new version is online at the new site. The "download" link on the old site doesn't match the "download" link on the new site. - Greg

2 1

Your message to Hugs-Users awaits moderator approval
by hugs-users-admin＠haskell.org 05 Aug '02

05 Aug '02

Your mail to 'Hugs-Users' with the subject Hello,hugs-users,congratulations Is being held until the list moderator can review it for approval. The reason it is being held: Message body is too big: 128035 bytes but there's a limit of 40 KB Either the message will get posted to the list, or you will receive notification of the moderator's decision.

1 0

FFI for SPARC [was: FFI testers wanted]
by Sven Panne 03 Aug '02

03 Aug '02

Using cut-n-paste from GHC's sources (esp. Adjustor.c) quite generously, I've hacked together the missing FFI parts for SPARC. Attached is a torture test, too, which is again based on GHC stuff (ffi009.hs). Cheers, S. diff -r -u hugs98-ffi-09072002c.orig/src/builtin.c hugs98-ffi-09072002c/src/builtin.c --- hugs98-ffi-09072002c.orig/src/builtin.c Tue Jul 9 13:05:26 2002 +++ hugs98-ffi-09072002c/src/builtin.c Tue Jul 23 13:04:30 2002 @@ -2239,6 +2239,8 @@ HugsStablePtr stable; #if defined(__ppc__) char code[13*4]; +#elif defined(__sparc__) && defined(__GNUC__) + char code[44]; #else char code[16]; #endif @@ -2324,6 +2326,65 @@ } __asm__ volatile ("sync\n\tisync"); } + } +#elif defined(__sparc__) && defined(__GNUC__) + /* Mostly cut-n-pasted from GHC's Adjustor.c: + + <00>: 9C23A008 sub %sp, 8, %sp ! make room for %o4/%o5 in caller's frame + <04>: DA23A060 st %o5, [%sp + 96] ! shift registers by 2 positions + <08>: D823A05C st %o4, [%sp + 92] + <0C>: 9A10000B mov %o3, %o5 + <10>: 9810000A mov %o2, %o4 + <14>: 96100009 mov %o1, %o3 + <18>: 94100008 mov %o0, %o2 + <1C>: 13000000 sethi %hi(app), %o1 ! load up app (1 of 2) + <20>: 11000000 sethi %hi(s), %o0 ! load up s (1 of 2) + <24>: 81C26000 jmp %o1 + %lo(app) ! jump to app (load 2 of 2) + <28>: 90122000 or %o0, %lo(), %o0 ! load up s (2 of 2, delay slot) + + ccall'ing on SPARC is easy, because we are quite lucky to push a + multiple of 8 bytes (1 word stable pointer + 1 word dummy arg) in front + of the existing arguments (note that %sp must stay double-word aligned at + all times, see ABI spec at http://www.sparc.org/standards/psABI3rd.pdf) + To do this, we extend the *caller's* stack frame by 2 words and shift + the output registers used for argument passing (%o0 - %o5, we are a + *leaf* procedure because of the tail-jump) by 2 positions. This makes + room in %o0 and %o1 for the additinal arguments, namely the stable + pointer and a dummy (used for destination addr of jump on SPARC). This + shouldn't cause any problems for a C-like caller: alloca is implemented + similarly, and local variables should be accessed via %fp, not %sp. In + a nutshell: This should work! (Famous last words! :-) + */ + { + unsigned long *adj_code = (unsigned long *)pc; + adj_code[ 0] = 0x9C23A008UL; /* sub %sp, 8, %sp */ + adj_code[ 1] = 0xDA23A060UL; /* st %o5, [%sp + 96] */ + adj_code[ 2] = 0xD823A05CUL; /* st %o4, [%sp + 92] */ + adj_code[ 3] = 0x9A10000BUL; /* mov %o3, %o5 */ + adj_code[ 4] = 0x9810000AUL; /* mov %o2, %o4 */ + adj_code[ 5] = 0x96100009UL; /* mov %o1, %o3 */ + adj_code[ 6] = 0x94100008UL; /* mov %o0, %o2 */ + adj_code[ 7] = 0x13000000UL; /* sethi %hi(app), %o1 */ + adj_code[ 7] |= ((unsigned long)app) >> 10; + adj_code[ 8] = 0x11000000UL; /* sethi %hi(s), %o0 */ + adj_code[ 8] |= ((unsigned long)s) >> 10; + adj_code[ 9] = 0x81C26000UL; /* jmp %o1 + %lo(app) */ + adj_code[ 9] |= ((unsigned long)app) & 0x000003FFUL; + adj_code[10] = 0x90122000UL; /* or %o0, %lo(s), %o0 */ + adj_code[10] |= ((unsigned long)s) & 0x000003FFUL; + + /* flush cache */ + asm("flush %0" : : "r" (adj_code )); + asm("flush %0" : : "r" (adj_code + 2)); + asm("flush %0" : : "r" (adj_code + 4)); + asm("flush %0" : : "r" (adj_code + 6)); + asm("flush %0" : : "r" (adj_code + 10)); + + /* max. 5 instructions latency, and we need at >= 1 for returning */ + asm("nop"); + asm("nop"); + asm("nop"); + asm("nop"); } #else ERRMSG(0) "Foreign import wrapper is not supported on this architecture" diff -r -u hugs98-ffi-09072002c.orig/src/ffi.c hugs98-ffi-09072002c/src/ffi.c --- hugs98-ffi-09072002c.orig/src/ffi.c Sat Jul 6 12:52:00 2002 +++ hugs98-ffi-09072002c/src/ffi.c Tue Jul 23 11:54:05 2002 @@ -412,7 +412,13 @@ } fprintf(out,"("); if (extraArg) { +#ifdef __sparc__ + /* On SPARC we need an additional dummy argument due to stack alignment + restrictions, see the comment in mkThunk in builtin.c. */ + fprintf(out,"HugsStablePtr fun1, void* unusedArg"); +#else fprintf(out,"HugsStablePtr fun1"); +#endif if (nonNull(argTys)) { fprintf(out,", "); } import Foreign import Random -------------------------------------------------------------------------------- foreign import ccall "dynamic" callFun5I :: FunPtr (Int -> Int -> Int -> Int -> Int -> Int) -> (Int -> Int -> Int -> Int -> Int -> Int) foreign import ccall "wrapper" mkFun5I :: (Int -> Int -> Int -> Int -> Int -> Int) -> IO (FunPtr (Int -> Int -> Int -> Int -> Int -> Int)) manyArgs5I :: (Int -> Int -> Int -> Int -> Int -> Int) manyArgs5I a1 a2 a3 a4 a5 = (((a1 * 31 + a2) * 31 + a3) * 31 + a4) * 31 + a5 test5I :: IO () test5I = do a1 <- randomIO a2 <- randomIO a3 <- randomIO a4 <- randomIO a5 <- randomIO funAddr <- mkFun5I manyArgs5I print (callFun5I funAddr a1 a2 a3 a4 a5 == manyArgs5I a1 a2 a3 a4 a5) freeHaskellFunPtr funAddr -------------------------------------------------------------------------------- foreign import ccall "dynamic" callFun6D :: FunPtr (Double -> Double -> Double -> Double -> Double -> Double -> Double) -> (Double -> Double -> Double -> Double -> Double -> Double -> Double) foreign import ccall "wrapper" mkFun6D :: (Double -> Double -> Double -> Double -> Double -> Double -> Double) -> IO (FunPtr (Double -> Double -> Double -> Double -> Double -> Double -> Double)) manyArgs6D :: Double -> Double -> Double -> Double -> Double -> Double -> Double manyArgs6D a1 a2 a3 a4 a5 a6 = ((((a1 * 31 + a2) * 31 + a3) * 31 + a4) * 31 + a5) * 31 + a6 test6D :: IO () test6D = do a1 <- randomIO a2 <- randomIO a3 <- randomIO a4 <- randomIO a5 <- randomIO a6 <- randomIO funAddr <- mkFun6D manyArgs6D print (callFun6D funAddr a1 a2 a3 a4 a5 a6 == manyArgs6D a1 a2 a3 a4 a5 a6) freeHaskellFunPtr funAddr -------------------------------------------------------------------------------- foreign import ccall "dynamic" callFun11M :: FunPtr (Int -> Double -> Float -> Char -> Int -> Int -> Float -> Int -> Char -> Double -> Int -> Double) -> (Int -> Double -> Float -> Char -> Int -> Int -> Float -> Int -> Char -> Double -> Int -> Double) foreign import ccall "wrapper" mkFun11M :: (Int -> Double -> Float -> Char -> Int -> Int -> Float -> Int -> Char -> Double -> Int -> Double) -> IO (FunPtr (Int -> Double -> Float -> Char -> Int -> Int -> Float -> Int -> Char -> Double -> Int -> Double)) manyArgs11M :: Int -> Double -> Float -> Char -> Int -> Int -> Float -> Int -> Char -> Double -> Int -> Double manyArgs11M a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 = (((((((((fromIntegral a1 * 31 + a2) * 31 + realToFrac a3) * 31 + fromIntegral (fromEnum a4)) * 31 + fromIntegral a5) * 31 + fromIntegral a6) * 31 + realToFrac a7) * 31 + fromIntegral a8) * 31 + fromIntegral (fromEnum a9)) * 31 + a10) * 31 + fromIntegral a11 test11M :: IO () test11M = do a1 <- randomIO a2 <- randomIO a3 <- randomIO a4 <- randomIO a5 <- randomIO a6 <- randomIO a7 <- randomIO a8 <- randomIO a9 <- randomIO a10 <- randomIO a11 <- randomIO funAddr <- mkFun11M manyArgs11M print (callFun11M funAddr a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 == manyArgs11M a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11) freeHaskellFunPtr funAddr -------------------------------------------------------------------------------- rep :: String -> IO () -> IO () rep msg tst = do putStrLn ("Testing " ++ msg ++ "...") sequence_ (replicate 10 tst) main :: IO () main = do setStdGen (mkStdGen 4711) rep "5 Int arguments" test5I rep "6 Double arguments" test6D rep "11 mixed arguments" test11M

2 1

preprocessor & file not found
by Ross Paterson 01 Aug '02

01 Aug '02

If I ask Hugs to read a non-existent file, e.g. "hugs Foo", I get Reading file "/usr/local/share/hugs/lib/Prelude.hs": Reading file "Foo": ERROR "Foo" - Unable to open file "Foo" Prelude> But if I say "hugs -Fcat Foo", I get Reading file "/usr/local/share/hugs/lib/Prelude.hs": Reading file "Foo": Parsingcat: Foo: No such file or directory Hugs session for: /usr/local/share/hugs/lib/Prelude.hs Foo Type :? for help Main> This is because findPathname() returns the original name if it couldn't find a file, relying on fileInput() to fail in that situation, but popen() always succeeds. The preprocessor is executed with the name as argument and fails in its own way, and Hugs doesn't know it failed. (It thinks it read an empty module, hence Main.) This patch is one way of fixing that. Index: src/input.c =================================================================== RCS file: /home/cvs/root/hugs98/src/input.c,v retrieving revision 1.47 diff -u -r1.47 input.c --- src/input.c 2002/07/19 22:13:48 1.47 +++ src/input.c 2002/08/01 13:20:02 @@ -407,8 +407,9 @@ static Bool local fileInput(nm,len) /* prepare to input characters from*/ String nm; /* named file (specified length is */ Long len; { /* used to set target for reading) */ + inputStream = fopen(nm,FOPEN_MODE); #if SUPPORT_PREPROCESSOR - if (preprocessor) { + if (preprocessor && inputStream) { Int reallen = strlen(preprocessor) + 1 + strlen(nm) + 1; char *cmd = malloc(reallen+1); if (cmd == NULL) { @@ -423,13 +424,10 @@ } else { cmd[reallen] = '\0'; } + fclose(inputStream); inputStream = popen(cmd,"r"); free(cmd); - } else { - inputStream = fopen(nm,FOPEN_MODE); } -#else - inputStream = fopen(nm,FOPEN_MODE); #endif if (inputStream) { reading = SCRIPTFILE;

1 0

(no subject)
by TewCottage＠aol.com 31 Jul '02

31 Jul '02

Dear Sir/Madam Please could you give me the web address of where I would be able to find Haskell 1.3. Yours faithfully Andrew McLennan

2 1

Your message to Hugs-Users awaits moderator approval
by hugs-users-admin＠haskell.org 30 Jul '02

30 Jul '02

Your mail to 'Hugs-Users' with the subject A special funny website Is being held until the list moderator can review it for approval. The reason it is being held: Message body is too big: 130909 bytes but there's a limit of 40 KB Either the message will get posted to the list, or you will receive notification of the moderator's decision.

1 0

round doesn't seem to work correctly
by Martin Erwig 30 Jul '02

30 Jul '02

Hi, I am using Hugs (Version: December 2001) on Unix (Solaris). I think that round might not be working correctly for numbers that end with "2.5". For example, Prelude> round 2.5 2 Prelude> round 72.500 72 Prelude> round 11112.5 11112 Thanks, Martin

2 1

input.c: nextLine EOF bug + patch
by Sven M. Hallberg 29 Jul '02

29 Jul '02

Moin, I've just stumbled across a bug in Hugs98 Dec2001 on my PowerPC running Debian GNU/Linux. The bug is in src/input.c, line 516: arctic:~/build/deb/hugs98-98.200112/src% make input.o gcc -c -g -O2 input.c input.c: In function `nextLine': input.c:516: warning: comparison is always false due to limited range of data type arctic:~/build/deb/hugs98-98.200112/src% gcc --version 2.95.4 The comparison in question is the check for EOF, which is #defined as -1 in my stdio.h. This sent my Hugs into an infinite loop when loading the Prelude. The attached patch fixes the problem by storing the result of fgetc() in an int and using that for the comparison with EOF. Happy hacking, Sven Moritz

1 0