- Hugs-Bugs - Haskell.org

[Hugs-bugs] cast from pointer to integer losing bits
by fool＠sdf-eu.org 23 Oct '04

23 Oct '04

$ make cd src; make all make[1]: Entering directory `/udd/f/fool/hugs98-20041022/src' gcc -c -DNDEBUG=1 -g -O2 hugs.c gcc -c -DNDEBUG=1 -g -O2 edit.c gcc -c -DNDEBUG=1 -g -O2 observe.c gcc -c -DNDEBUG=1 -g -O2 builtin.c builtin.c: In function `primPtrToInt': builtin.c:1268: warning: cast from pointer to integer of different size In file included from builtin.c:1409: iomonad.c: In function `primCastSPToP': iomonad.c:1903: warning: cast to pointer from integer of different size iomonad.c: In function `primCastPToSP': iomonad.c:1909: warning: cast from pointer to integer of different size builtin.c: In function `putStablePtr4': builtin.c:1772: warning: cast from pointer to integer of different size builtin.c: In function `getStablePtr4': builtin.c:1777: warning: cast to pointer from integer of different size builtin.c: In function `freeStablePtr4': builtin.c:1781: warning: cast from pointer to integer of different size I don't know if this causes trouble, but it looks like a bad omen. On the system here (NetBSD/alpha 1.6.2, gcc 2.95.3 or 3.3.4) I have sizeof(int)==4, sizeof(void*)==8.

1 0

[Hugs-bugs] internal error
by fool＠sdf-eu.org 22 Oct '04

22 Oct '04

$ cat bug.hs bla = (if True then (+) else (+)) 0 0 $ hugs bug.hs __ __ __ __ ____ ___ _________________________________________ || || || || || || ||__ Hugs 98: Based on the Haskell 98 standard ||___|| ||__|| ||__|| __|| Copyright (c) 1994-2003 ||---|| ___|| World Wide Web: http://haskell.org/hugs || || Report bugs to: hugs-bugs(a)haskell.org || || Version: November 2003 _________________________________________ Haskell 98 mode: Restart with command line option -98 to enable extensions Type :? for help Main> bla primPlusInteger Main> bla+0 INTERNAL ERROR: Bignum expected Main>

2 1

[Hugs-bugs] building hugs98-20041008.tar.gz requires GNU find
by fool＠sdf-eu.org 21 Oct '04

21 Oct '04

I don't know if this is a bug. It just doesn't compile out-of-the-box on BSD systems. The script hugs98-20041008/src/unix/convert_libraries uses GNU find's -iname and -maxdepth.

2 2

[Hugs-bugs] Compiling Hugs on Cygwin
by Koen Claessen 14 Oct '04

14 Oct '04

Hi there, I just got a new computer in my office with Windows XP on it. I freshly installed Cygwin, and then downloaded the Hugs UNIX sources. "configure" works fine, but when I try to "make", this is what happens: <<< [off/src] -: make install gcc -c -g -O2 hugs.c gcc -c -g -O2 edit.c gcc -c -g -O2 observe.c gcc -c -g -O2 builtin.c builtin.c: In function `mkThunk': builtin.c:1981: warning: use of cast expressions as lvalues is deprecated builtin.c:1985: warning: use of cast expressions as lvalues is deprecated builtin.c:1989: warning: use of cast expressions as lvalues is deprecated gcc -c -g compiler.c gcc -c -g -O2 errors.c gcc -c -g -O2 evaluator.c gcc -c -g -O2 ffi.c gcc -c -g -O2 goal.c gcc -c -g -O2 input.c gcc -c -g -O2 machdep.c machdep.c: In function `scanSubDirs': machdep.c:562: error: storage size of `findInfo' isn't known machdep.c:577: error: `_A_SUBDIR' undeclared (first use in this function) machdep.c:577: error: (Each undeclared identifier is reported only once machdep.c:577: error: for each function it appears in.) make: *** [machdep.o] Error 1 >>> I attach the full output of the making process. Thanks, /Koen PS. A previous version of this mail never made it to the list. I don't know why and I hope I do not offend anyone by resending it. ---- checking build system type... i686-pc-cygwin checking host system type... i686-pc-cygwin checking target system type... i686-pc-cygwin checking directory ../../fptools... looks ok checking for bison... bison -y checking for gcc... gcc checking for C compiler default output... a.exe checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... .exe checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ANSI C... none needed checking how to run the C preprocessor... gcc -E checking for egrep... grep -E checking whether gcc needs -traditional... no checking for rm... /usr/bin/rm checking for cp... /usr/bin/cp checking for ld... ld checking for perl... perl checking whether make sets $(MAKE)... yes checking for hp2ps... 0 checking for docbook2html... no checking for db2html... no checking for docbook2dvi... no checking for db2dvi... no checking for docbook2pdf... no checking for db2pdf... no checking for docbook2ps... no checking for db2ps... no checking for find... /usr/bin/find checking for sort... /usr/bin/sort checking for diff... /usr/bin/diff checking whether to use "diff -c1" or "diff -C 1"... /usr/bin/diff -C 1 checking for function_dlopen... yes checking for function_shl_load... no checking for library_dld... no checking for function_atan... yes checking for X... no checking for ANSI C header files... yes checking for sys/wait.h that is POSIX.1 compatible... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking stdarg.h usability... yes checking stdarg.h presence... yes checking for stdarg.h... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking assert.h usability... yes checking assert.h presence... yes checking for assert.h... yes checking ctype.h usability... yes checking ctype.h presence... yes checking for ctype.h... yes checking for string.h... (cached) yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking fcntl.h usability... yes checking fcntl.h presence... yes checking for fcntl.h... yes checking sgtty.h usability... no checking sgtty.h presence... no checking for sgtty.h... no checking termio.h usability... yes checking termio.h presence... yes checking for termio.h... yes checking termios.h usability... yes checking termios.h presence... yes checking for termios.h... yes checking signal.h usability... yes checking signal.h presence... yes checking for signal.h... yes checking arpa/inet.h usability... yes checking arpa/inet.h presence... yes checking for arpa/inet.h... yes checking netdb.h usability... yes checking netdb.h presence... yes checking for netdb.h... yes checking netinet/tcp.h usability... yes checking netinet/tcp.h presence... yes checking for netinet/tcp.h... yes checking for sys/stat.h... (cached) yes checking for sys/types.h... (cached) yes checking sys/ioctl.h usability... yes checking sys/ioctl.h presence... yes checking for sys/ioctl.h... yes checking sys/resource.h usability... yes checking sys/resource.h presence... yes checking for sys/resource.h... yes checking sys/param.h usability... yes checking sys/param.h presence... yes checking for sys/param.h... yes checking sys/socket.h usability... yes checking sys/socket.h presence... yes checking for sys/socket.h... yes checking sys/timers.h usability... no checking sys/timers.h presence... no checking for sys/timers.h... no checking sys/uio.h usability... yes checking sys/uio.h presence... yes checking for sys/uio.h... yes checking sys/un.h usability... yes checking sys/un.h presence... yes checking for sys/un.h... yes checking sys/utsname.h usability... yes checking sys/utsname.h presence... yes checking for sys/utsname.h... yes checking console.h usability... no checking console.h presence... no checking for console.h... no checking pascal.h usability... no checking pascal.h presence... no checking for pascal.h... no checking Files.h usability... no checking Files.h presence... no checking for Files.h... no checking errno.h usability... yes checking errno.h presence... yes checking for errno.h... yes checking stat.h usability... no checking stat.h presence... no checking for stat.h... no checking nlist.h usability... no checking nlist.h presence... no checking for nlist.h... no checking ftw.h usability... no checking ftw.h presence... no checking for ftw.h... no checking direct.h usability... no checking direct.h presence... no checking for direct.h... no checking grp.h usability... yes checking grp.h presence... yes checking for grp.h... yes checking pwd.h usability... yes checking pwd.h presence... yes checking for pwd.h... yes checking dirent.h usability... yes checking dirent.h presence... yes checking for dirent.h... yes checking utime.h usability... yes checking utime.h presence... yes checking for utime.h... yes checking vfork.h usability... no checking vfork.h presence... no checking for vfork.h... no checking whether time.h and sys/time.h may both be included... yes checking time.h usability... yes checking time.h presence... yes checking for time.h... yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking sys/timeb.h usability... yes checking sys/timeb.h presence... yes checking for sys/timeb.h... yes checking sys/times.h usability... yes checking sys/times.h presence... yes checking for sys/times.h... yes checking float.h usability... yes checking float.h presence... yes checking for float.h... yes checking values.h usability... no checking values.h presence... no checking for values.h... no checking dos.h usability... no checking dos.h presence... no checking for dos.h... no checking conio.h usability... no checking conio.h presence... no checking for conio.h... no checking io.h usability... yes checking io.h presence... yes checking for io.h... yes checking std.h usability... no checking std.h presence... no checking for std.h... no checking windows.h usability... yes checking windows.h presence... yes checking for windows.h... yes checking winsock.h usability... no checking winsock.h presence... yes configure: WARNING: winsock.h: present but cannot be compiled configure: WARNING: winsock.h: check for missing prerequisite headers? configure: WARNING: winsock.h: proceeding with the preprocessor's result configure: WARNING: ## ------------------------------------ ## configure: WARNING: ## Report this to bug-autoconf(a)gnu.org. ## configure: WARNING: ## ------------------------------------ ## checking for winsock.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking dl.h usability... no checking dl.h presence... no checking for dl.h... no checking mach-o/dyld.h usability... no checking mach-o/dyld.h presence... no checking for mach-o/dyld.h... no checking alloc.h usability... no checking alloc.h presence... no checking for alloc.h... no checking for valloc... yes checking regex.h usability... yes checking regex.h presence... yes checking for regex.h... yes checking for regcomp... yes checking netinet/in.h usability... yes checking netinet/in.h presence... yes checking for netinet/in.h... yes checking for in_addr_t in netinet/in.h... yes checking for SIGPOLL... yes checking whether gcc supports long long types... yes checking for msg_accrights in struct msghdr... yes checking for msg_control in struct msghdr... no checking for char... yes checking size of char... 1 checking for double... yes checking size of double... 8 checking for float... yes checking size of float... 4 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 4 checking for long long... yes checking size of long long... 8 checking for short... yes checking size of short... 2 checking for unsigned char... yes checking size of unsigned char... 1 checking for unsigned int... yes checking size of unsigned int... 4 checking for unsigned long... yes checking size of unsigned long... 4 checking for unsigned long long... yes checking size of unsigned long long... 8 checking for unsigned short... yes checking size of unsigned short... 2 checking for void *... yes checking size of void *... 4 checking for char... (cached) yes checking alignment of char... 1 checking for double... (cached) yes checking alignment of double... 8 checking for float... (cached) yes checking alignment of float... 4 checking for int... (cached) yes checking alignment of int... 4 checking for long... (cached) yes checking alignment of long... 4 checking for long long... (cached) yes checking alignment of long long... 8 checking for short... (cached) yes checking alignment of short... 2 checking for unsigned char... (cached) yes checking alignment of unsigned char... 1 checking for unsigned int... (cached) yes checking alignment of unsigned int... 4 checking for unsigned long... (cached) yes checking alignment of unsigned long... 4 checking for unsigned long long... (cached) yes checking alignment of unsigned long long... 8 checking for unsigned short... (cached) yes checking alignment of unsigned short... 2 checking for void *... (cached) yes checking alignment of void *... 4 checking Haskell type for char... Int8 checking Haskell type for signed char... Int8 checking Haskell type for unsigned char... Word8 checking Haskell type for short... Int16 checking Haskell type for unsigned short... Word16 checking Haskell type for int... Int32 checking Haskell type for unsigned int... Word32 checking Haskell type for long... Int32 checking Haskell type for unsigned long... Word32 checking Haskell type for long long... Int64 checking Haskell type for unsigned long long... Word64 checking Haskell type for float... Float checking Haskell type for double... Double checking Haskell type for ptrdiff_t... Int32 checking Haskell type for size_t... Word32 checking Haskell type for wchar_t... Word16 checking Haskell type for sig_atomic_t... Int32 checking Haskell type for clock_t... Word32 checking Haskell type for time_t... Int32 checking Haskell type for dev_t... Word32 checking Haskell type for ino_t... Word64 checking Haskell type for mode_t... Word32 checking Haskell type for off_t... Int64 checking Haskell type for pid_t... Int32 checking Haskell type for gid_t... Word32 checking Haskell type for uid_t... Word32 checking Haskell type for cc_t... Word8 checking Haskell type for speed_t... Word32 checking Haskell type for tcflag_t... Word32 checking Haskell type for nlink_t... Word16 checking Haskell type for ssize_t... Int32 checking Haskell type for rlim_t... Word32 checking value of E2BIG... 7 checking value of EACCES... 13 checking value of EADDRINUSE... 112 checking value of EADDRNOTAVAIL... 125 checking value of EADV... 68 checking value of EAFNOSUPPORT... 106 checking value of EAGAIN... 11 checking value of EALREADY... 120 checking value of EBADF... 9 checking value of EBADMSG... 77 checking value of EBADRPC... -1 checking value of EBUSY... 16 checking value of ECHILD... 10 checking value of ECOMM... 70 checking value of ECONNABORTED... 113 checking value of ECONNREFUSED... 111 checking value of ECONNRESET... 104 checking value of EDEADLK... 45 checking value of EDESTADDRREQ... 121 checking value of EDIRTY... -1 checking value of EDOM... 33 checking value of EDQUOT... 132 checking value of EEXIST... 17 checking value of EFAULT... 14 checking value of EFBIG... 27 checking value of EFTYPE... 79 checking value of EHOSTDOWN... 117 checking value of EHOSTUNREACH... 118 checking value of EIDRM... 36 checking value of EILSEQ... 138 checking value of EINPROGRESS... 119 checking value of EINTR... 4 checking value of EINVAL... 22 checking value of EIO... 5 checking value of EISCONN... 127 checking value of EISDIR... 21 checking value of ELOOP... 92 checking value of EMFILE... 24 checking value of EMLINK... 31 checking value of EMSGSIZE... 122 checking value of EMULTIHOP... 74 checking value of ENAMETOOLONG... 91 checking value of ENETDOWN... 115 checking value of ENETRESET... 126 checking value of ENETUNREACH... 114 checking value of ENFILE... 23 checking value of ENOBUFS... 105 checking value of ENODATA... 61 checking value of ENODEV... 19 checking value of ENOENT... 2 checking value of ENOEXEC... 8 checking value of ENOLCK... 46 checking value of ENOLINK... 67 checking value of ENOMEM... 12 checking value of ENOMSG... 35 checking value of ENONET... 64 checking value of ENOPROTOOPT... 109 checking value of ENOSPC... 28 checking value of ENOSR... 63 checking value of ENOSTR... 60 checking value of ENOSYS... 88 checking value of ENOTBLK... 15 checking value of ENOTCONN... 128 checking value of ENOTDIR... 20 checking value of ENOTEMPTY... 90 checking value of ENOTSOCK... 108 checking value of ENOTTY... 25 checking value of ENXIO... 6 checking value of EOPNOTSUPP... 95 checking value of EPERM... 1 checking value of EPFNOSUPPORT... 96 checking value of EPIPE... 32 checking value of EPROCLIM... 130 checking value of EPROCUNAVAIL... -1 checking value of EPROGMISMATCH... -1 checking value of EPROGUNAVAIL... -1 checking value of EPROTO... 71 checking value of EPROTONOSUPPORT... 123 checking value of EPROTOTYPE... 107 checking value of ERANGE... 34 checking value of EREMCHG... 82 checking value of EREMOTE... 66 checking value of EROFS... 30 checking value of ERPCMISMATCH... -1 checking value of ERREMOTE... -1 checking value of ESHUTDOWN... 110 checking value of ESOCKTNOSUPPORT... 124 checking value of ESPIPE... 29 checking value of ESRCH... 3 checking value of ESRMNT... 69 checking value of ESTALE... 133 checking value of ETIME... 62 checking value of ETIMEDOUT... 116 checking value of ETOOMANYREFS... 129 checking value of ETXTBSY... 26 checking value of EUSERS... 131 checking value of EWOULDBLOCK... 11 checking value of EXDEV... 18 checking value of O_BINARY... 65536 checking for strcasecmp... yes checking for _stricmp... no checking for stricmp... no checking for strcmpi... no checking for strcmp... yes checking for rindex... yes checking for strrchr... yes checking for canonicalize_file_name... no checking for realpath... yes checking for _fullpath... no checking for PBHSetVolSync... no checking for macsystem... no checking for fgetpos... yes checking for fsetpos... yes checking for fseek... yes checking for ftell... yes checking for vsnprintf... yes checking for _vsnprintf... yes checking for snprintf... yes checking for _snprintf... yes checking for popen... yes checking for _popen... yes checking for pclose... yes checking for _pclose... yes checking for setenv... yes checking for unsetenv... yes checking for sigprocmask... yes checking for getrusage... yes checking for times... yes checking for isatty... yes checking for fstat... yes checking for lstat... yes checking for select... yes checking for getclock... no checking for gettimeofday... yes checking for ftime... yes checking for time... yes checking for localtime... yes checking for gmtime... yes checking for mktime... yes checking for readdir_r... no checking for dup... yes checking whether struct tm is in sys/time.h or time.h... time.h checking for struct tm.tm_zone... no checking for tzname... yes checking timezone... no checking altzone... no checking for working alloca.h... yes checking for alloca... yes checking for _alloca... yes checking for stime... no checking for poly... no checking for an ANSI C-conforming const... yes checking prototypes... yes checking for arrays of jmp_bufs... yes checking labels as values... yes checking whether struct tm is in sys/time.h or time.h... (cached) time.h checking return type of signal handlers... void checking for tputs in -lncurses... yes checking for readline in -lreadline... yes checking for int... (cached) yes checking size of int... (cached) 4 checking for float... (cached) yes checking size of float... (cached) 4 checking for double... (cached) yes checking size of double... (cached) 8 checking for int*... yes checking size of int*... 4 building large hugs checking if '/LD' builds loadable libraries... checking if '/LD /ML /nologo' builds loadable libraries... checking if '-shared' builds loadable libraries... -shared checking if '-shared -fPIC' builds loadable libraries... (cached) -shared checking if '-bundle' builds loadable libraries... (cached) -shared checking if '-bundle -lc' builds loadable libraries... (cached) -shared checking if '-r' builds loadable libraries... (cached) -shared configure: creating ./config.status config.status: creating ../Makefile config.status: creating ../platform.h config.status: creating ../../docs/Makefile config.status: creating ../../docs/users_guide/Makefile config.status: creating ../../docs/hugs.1 config.status: creating hugs-package config.status: creating ../config.h config.status: creating ../options.h ************************************************ *** NOW DO: cd .. ; make ; make install ************************************************ [off/unix] -: cd .. [off/src] -: make install gcc -c -g -O2 hugs.c gcc -c -g -O2 edit.c gcc -c -g -O2 observe.c gcc -c -g -O2 builtin.c builtin.c: In function `mkThunk': builtin.c:1981: warning: use of cast expressions as lvalues is deprecated builtin.c:1985: warning: use of cast expressions as lvalues is deprecated builtin.c:1989: warning: use of cast expressions as lvalues is deprecated gcc -c -g compiler.c gcc -c -g -O2 errors.c gcc -c -g -O2 evaluator.c gcc -c -g -O2 ffi.c gcc -c -g -O2 goal.c gcc -c -g -O2 input.c gcc -c -g -O2 machdep.c machdep.c: In function `scanSubDirs': machdep.c:562: error: storage size of `findInfo' isn't known machdep.c:577: error: `_A_SUBDIR' undeclared (first use in this function) machdep.c:577: error: (Each undeclared identifier is reported only once machdep.c:577: error: for each function it appears in.) make: *** [machdep.o] Error 1

2 2

[Hugs-bugs] Error compiling hugs98-20040917
by Alwyn 04 Oct '04

04 Oct '04

I get an error while building the latest Hugs snapshot on Mac OS X 10.3.5 with Apple's version of GCC 3.3 as follows: Compiling hugsdir/libraries/System/Posix/Env.hs ld: Undefined symbols: _environ runhugs: Error occurred ERROR "hugsdir/libraries/System/Posix/Env.hs" - Error while running compilation command 'gcc -DNDEBUG=1 -g -no-cpp-precomp -flat_namespace -bundle -D__HUGS__ "-Ihugsdir/include" "hugsdir/libraries/System/Posix/Env.c" -o "hugsdir/libraries/System/Posix/Env.so" -Ihugsdir/libraries/System/Posix -Ifptools/libraries/unix/include -ldl' It's no big deal, but it would be nice if it could be resolved. Alwyn

1 0

[Hugs-bugs] Source corrections
by Per Johansson 30 Sep '04

30 Sep '04

Hello. I have compiled HUGS ( hugs98-Nov2003.tar.gz) using GCC 3.2.2 on OS/2. It was rather easy, but there are two declarations (vsnprintf, snprintf) in the source that don't conform with ISO C, since int is used instead of size_t (which is unsigned int). I had make the following changes to compile. Replaced lines marked // PJ. In prelude.h: // PJ extern int snprintf Args((char*, int, const char*, ...)); extern int snprintf Args((char*, size_t, const char*, ...)); // PJ extern int vsnprintf Args((char*, int, const char*, va_list)); extern int vsnprintf Args((char*, size_t, const char*, va_list)); In machdep.c: // PJ int vsnprintf(char* buffer, int count, const char* fmt, va_list ap); int vsnprintf(char* buffer, size_t count, const char* fmt, va_list ap); // PJ int count; size_t count; // PJ int snprintf(char* buffer, int count, const char* fmt, ...); int snprintf(char* buffer, size_t count, const char* fmt, ...); // PJ int snprintf(char* buffer, int count, const char* fmt, ...) int snprintf(char* buffer, size_t count, const char* fmt, ...) { -- Mr Per Johansson mail: Oljekvarnsgatan 14B, SE-414 65 Göteborg, Suede mobile phone: int +46 70 796 08 48 uri: http://per.johansson.name/ "it's a great idea, but possibly not, and I'm not being indecisive"

1 0

[Hugs-bugs] Internal eror in Hugs, trying to read a non existing file
by Henk-Jan.van.Tuyl＠hotpop.com 30 Sep '04

30 Sep '04

L.S., The attached program reads a filename ("x.x") from file "filenames.dat"; then the program tries to read file "x.x"; this file does not exist, in the first call to "main", an internal error message is displayed; the second time, a "file does not exist" message is displayed. The following shows what happens: __ __ __ __ ____ ___ _______________________________________________ || || || || || || ||__ Hugs 98: Based on the Haskell 98 standard ||___|| ||__|| ||__|| __|| Copyright (c) 1994-2003 ||---|| ___|| World Wide Web: http://haskell.org/hugs || || Report bugs to: hugs-bugs(a)haskell.org || || Version: Nov 2003 _______________________________________________ Haskell 98 mode: Restart with command line option -98 to enable extensions Type :? for help Prelude> Prelude> :l "C:\\Mijn documenten\\SoftwareOntwikkeling\\Haskell\\ReadALot\\Error InGraph.lhs" Main> main Program error: Program error: pattern match failure (181 reductions, 528 cells, 1 garbage collection) INTERNAL ERROR: Error in graph Main> Main> main Program error: x.x: IO.openFile: does not exist (file does not exist) (197 reductions, 499 cells) Main> -- Met vriendelijke groet, Herzliche Grüße, Best regards, Henk-Jan van Tuyl

2 1

[Hugs-bugs] Fatal error
by Paqui Lucio 23 Sep '04

23 Sep '04

Hi, I have installed Hugs98 Nov2003 on Windows XP. WinHugs opens with the message: __ __ __ __ ____ ___ _______________________________________________ || || || || || || ||__ Hugs 98: Based on the Haskell 98 standard ||___|| ||__|| ||__|| __|| Copyright (c) 1994-2003 ||---|| ___|| World Wide Web: http://haskell.org/hugs || || Report bugs to: hugs-bugs(a)haskell.org || || Version: Nov 2003 _______________________________________________ Hugs mode: Restart with command line option +98 for Haskell 98 mode ERROR ".\Prelude.hs" - Module "Hugs.Prelude" already loaded Hugs.Prelude> Moreover, when I try to load a .hs file, a fatal error occurs and the aplication is closed inmediatly. I have uninstalled, download again and installed again. The problem persist. Please, could you help me. Thanks in advance, Paqui --------------------------------- Paqui Lucio Dpto de LSI Facultad de Informática Paseo Manuel de Lardizabal, 1 20080-San Sebastián SPAIN --------------------------------- Tfn: (+34) (9)43 015049 Fax: (+34) (9)43 015590 ---------------------------------

1 0

[Hugs-bugs] RE: Enum Int problem
by Simon Peyton-Jones 20 Aug '04

20 Aug '04

| The arithmetic overflow occurs as part of an intermediate result in the | implementation of the arithmetic sequence, and not in the elements of the | sequence itself. It seems to me that it is worthwhile to fix this, and | clarify the definition in the Haskell report so that an Int arithmetic | sequence [start, next .. end] corresponds to the subsequence of the Integer | sequence that are actually Ints in the natural inclusion of Int in Integer. I do rather agree with this, and I'm fixing GHC to agree with it. (A nice displacement activity.) Malcolm: something for the report errata? Simon | In terms of the implementation, it is an inexpensive check and does not | involve doing the intermediate computation in the Integer type. For example, | for ascending sequences (next >= start) where step = next - start >= 0, one | just checks if element + step < element to check for overflow and thus stop | the sequence at element. | | Bo | | | -----Original Message----- | From: Alastair Reid [mailto:alastair@reid-consulting-uk.ltd.uk] | Sent: Wednesday, August 18, 2004 3:59 AM | To: Bo Ilic | Cc: hugs-bugs(a)haskell.org; glasgow-haskell-bugs(a)haskell.org | Subject: Re: Enum Int problem | | | [copied to hugs-bugs] | | You shouldn't hope to get any useful results from Int after an arithmetic | overflow since the Haskell report explicitly says that the results are | unspecified. If you want predictable results, you should use Integer or | Foreign.Int32. The latter is part of the foreign interface extension which | is implemented by nhc, ghc and Hugs. | | I believe that Hugs is giving a correct answer in this case in that nothing | strange happens until after the overflow occurs. Of course the answer is | not | _useful_ but, as I said, you shouldn't expect useful results after an | overflow occurs. | | I think that GHC may be giving an incorrect answer because I think the 0 | should appear in the list but it would take a very careful examination of | how | the Haskell report specifies the Enum Int instance to be sure. | | -- | Alastair Reid | | ps When I say 'after an overflow', what I mean is that the value of X is | undefined if the value of X depends on the value of Y and Y overflowed. | | On Friday 13 August 2004 19:39, you wrote: | > Using GHC 6.2.1 interpreter, the fragment [minBound :: Int, 0 ..] returns | > [-2147483648]. | > | > Using Hugs, the returned value is the infinite list [-2147483648, 0, | > -2147483648, 0, ...]. | > | > However, I would expect to get [-2147483648, 0]. Similar problems occur | > with the other arithmetic sequence functions for Int when the increment is | > greater than what is representable in the type. | _______________________________________________ | Glasgow-haskell-bugs mailing list | Glasgow-haskell-bugs(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

1 0

[Hugs-bugs] Re: Enum Int problem
by Alastair Reid 18 Aug '04

18 Aug '04

> It seems to me that it is worthwhile to fix [problems caused by overflow] But what's the point? If your code is going that close to the limits, it is already non-portable. If you really do need to go that close to the limits, use a datatype whose behaviour is precisely specified and portable like Int32 or use one with no overflow issues like Integer. Int is the wrong tool for the job so it's no wonder it does badly. -- Alastair Reid

1 0