- Hugs-Bugs - Haskell.org

[Hugs-bugs] Re: fromInt
by Bob Tennent 24 Jan '05

24 Jan '05

> >| If I enter fromInt 5 at the hugs prompt, I get 5. If I use fromInt 5 >in >a module and try to load the | module, I'm told that fromInt is >undefined, >unless I explicitly import Hugs.Prelude. > > >Same with toInt, fromDouble. Evidently a mismatch between the exports of > >Hugs.Prelude and the imports of Prelude.hs. >These are internal functions of the Hugs implementation of the Prelude, >and not part of standard Haskell. It's a bug that they're visible when >no module is loaded. (The names in scope are always those in scope >inside the current module, and in this case that's the Prelude.) Then it's very unfortunate that a standard textbook such as Thompson uses fromInt and doesn't even mention fromIntegral, which I presume is the politically correct alternative.

2 1

[Hugs-bugs] Help building on Mac OS X
by Adam 23 Jan '05

23 Jan '05

Hi there, any help as to what's going wrong for me would be greatly appreciated... I'm trying to build hugs on Mac OS X 10.3.7. The configure script runs ok, then when I do 'make' I get the following: ~/Desktop/hugs98-Nov2003/src $ make gcc -c -g -O2 hugs.c gcc -c -g -O2 edit.c gcc -c -g -O2 observe.c gcc -c -g -O2 builtin.c 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 /usr/include/dlfcn.h:35: warning: #warning "You are using dlopen(), a legacy API. Please use the Mach- O dylib loading APIs if at all possible" gcc -c -g -O2 machine.c machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1649: illegal expression, found `&&' machine.c:1673: illegal statement, missing `identifier' after `goto' machine.c:1673: syntax error, missing `;' after `*' machine.c:1677: illegal statement, missing `identifier' after `goto' machine.c:1677: syntax error, missing `;' after `*' machine.c:1681: illegal statement, missing `identifier' after `goto' machine.c:1681: syntax error, missing `;' after `*' machine.c:1685: illegal statement, missing `identifier' after `goto' machine.c:1685: syntax error, missing `;' after `*' machine.c:1689: illegal statement, missing `identifier' after `goto' machine.c:1689: syntax error, missing `;' after `*' machine.c:1694: illegal statement, missing `identifier' after `goto' machine.c:1694: syntax error, missing `;' after `*' machine.c:1698: illegal statement, missing `identifier' after `goto' machine.c:1698: syntax error, missing `;' after `*' machine.c:1707: illegal statement, missing `identifier' after `goto' machine.c:1707: syntax error, missing `;' after `*' machine.c:1715: illegal statement, missing `identifier' after `goto' machine.c:1715: syntax error, missing `;' after `*' machine.c:1729: illegal statement, missing `identifier' after `goto' machine.c:1729: syntax error, missing `;' after `*' machine.c:1738: illegal statement, missing `identifier' after `goto' machine.c:1738: syntax error, missing `;' after `*' machine.c:1742: illegal statement, missing `identifier' after `goto' machine.c:1742: syntax error, missing `;' after `*' machine.c:1748: illegal statement, missing `identifier' after `goto' machine.c:1748: syntax error, missing `;' after `*' machine.c:1756: illegal statement, missing `identifier' after `goto' machine.c:1756: syntax error, missing `;' after `*' machine.c:1759: illegal statement, missing `identifier' after `goto' machine.c:1759: syntax error, missing `;' after `*' machine.c:1763: illegal statement, missing `identifier' after `goto' machine.c:1763: syntax error, missing `;' after `*' machine.c:1771: illegal statement, missing `identifier' after `goto' machine.c:1771: syntax error, missing `;' after `*' machine.c:1791: illegal statement, missing `identifier' after `goto' machine.c:1791: syntax error, missing `;' after `*' machine.c:1814: illegal statement, missing `identifier' after `goto' machine.c:1814: syntax error, missing `;' after `*' cpp-precomp: warning: errors during smart preprocessing, retrying in basic mode gcc -c -g module.c gcc -c -g -O2 opts.c gcc -c -g -O2 output.c gcc -c -g -O2 plugin.c gcc -c -g -O2 script.c gcc -c -g static.c gcc -c -g -O2 storage.c gcc -c -g -O2 strutil.c gcc -c -g subst.c gcc -c -g type.c gcc hugs.o edit.o observe.o builtin.o compiler.o errors.o evaluator.o ffi.o goal.o input.o machdep.o machine.o module.o opts.o output.o plugin.o script.o static.o storage.o strutil.o subst.o type.o version.o -lncurses -o hugs /usr/bin/ld: Undefined symbols: _doubleFromParts _part1Double _part2Double make: *** [hugs] Error 1 Many thanks, Adam

4 3

[Hugs-bugs] Re: fromInt
by Bob Tennent 23 Jan '05

23 Jan '05

>| If I enter fromInt 5 at the hugs prompt, I get 5. If I use fromInt 5 in >a module and try to load the | module, I'm told that fromInt is undefined, >unless I explicitly import Hugs.Prelude. Same with toInt, fromDouble. Evidently a mismatch between the exports of Hugs.Prelude and the imports of Prelude.hs.

2 1

[Hugs-bugs] fromInt
by Bob Tennent 21 Jan '05

21 Jan '05

I'm using the hugs98-Nov2003-2 rpm on Linux. If I enter fromInt 5 at the hugs prompt, I get 5. If I use fromInt 5 in a module and try to load the module, I'm told that fromInt is undefined, unless I explicitly import Hugs.Prelude. Is this a bug or a feature?

1 0

[Hugs-bugs] Bug evaluating boolean expresion
by Pepe Gallardo 13 Jan '05

13 Jan '05

After loading the following script, b = b' && True b' = (if True then f else odd) 1 f _ = True I get the following session: || || || || || || ||__ 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 Reading file "c:\program files\hugs98\libraries\Hugs\Prelude.hs": Reading file "c:\program files\hugs98\libraries\Prelude.hs": Reading file "C:\Documents and Settings\pepe gallardo\Desktop\pepe.hs": Hugs session for: c:\program files\hugs98\libraries\Hugs\Prelude.hs c:\program files\hugs98\libraries\Prelude.hs C:\Documents and Settings\pepe gallardo\Desktop\pepe.hs Type :? for help Main> b False :: Bool Main> b' Program error: pattern match failure: instShow_v89_v1324 0 b' Regards, Pepe Gallardo

2 2

[Hugs-bugs] trying to build hugs98-20041101 on Linux
by Victor Secarin 10 Nov '04

10 Nov '04

Hello, all: I have been trying to build hugs on varoius RedHat platforms. While hugs98-Nov2002 works for me, anything newer fails. I am currently playing with hugs98-20041101. It seems to configure well (with ./configure ), and then tells me to do "make ; make install'. That however always breaks, ending in the following: cd .. ; env HUGSDIR='hugsdir' HUGSFLAGS=' ' src/ffihugs +G +L'hugsdir/libraries/Hugs/Storable_aux.c' Hugs.Storable make[1]: *** [../hugsdir/libraries/Hugs/Storable.so] Error 1 This seems like it should be the last step in the libraries/Makefile That is, the src is built, it also seems that the convert_libraries finishes, and then it tries to build Storable.so under hugsdir/libraries/Hugs/ and there ffihugs fails. The debugger revealed that ffihugs first tries to open Hugs.Prelude, which it finds, as hugsdir/libraries/Hugs/Prelude.hs, and then it also tries to find Prelude , which ought to be hugsdir/libraries/Prelude.hs (or something); it fails to find that file and it bails returning error code 1. In the hugs98-Nov2002, there is both a libraries/Hugs/Prelude.hs (large) and a libraries/Prelude.hs (small, includes the former). Is there a file missing? Am I doing something wrong? Please help, Victor Secarin

1 0

[Hugs-bugs] monomorphism bug
by Ross Paterson 01 Nov '04

01 Nov '04

I can't track this one down, so I'll post it: Prelude> :t let f = const 1 in let g = f in g let {...} in (let {...} in g) :: Num a => b -> c The error here is that a and c should be identified. In larger examples, this can cause real trouble. More detail: f is subject to the Monomorphism Restriction, so its return type should be monomorphic. Hugs gets this right, as seen in Prelude> :t let f = const 1 in (f,f) let {...} in (f,f) :: Num a => (b -> a,c -> a) However it loses the constraint on the type of g, as seen in Prelude> :t let f = const 1 in let g :: a -> b; g = f in g let {...} in (let {...} in g) :: Num a => b -> c (which it should reject). It seems essential that the type of f contain fully polymorphic variables as well as the constrained one.

1 0

[Hugs-bugs] Suggested change
by Alwyn 26 Oct '04

26 Oct '04

This is the third time I've broached this subject over a period of time: I get a linking error when making shared libraries for Hugs; the linker complains of the absence of the '_environ' symbol. I suggest the maintainer should make the following change: $ diff configure.ac.old configure.ac 709c709 < HUGS_TRY_DYNLINK(-bundle) --- > HUGS_TRY_DYNLINK(-flat_namespace -bundle -undefined suppress) 712c712 < HUGS_TRY_DYNLINK([-bundle -lc]) --- > HUGS_TRY_DYNLINK(-bundle) Alwyn

2 1

[Hugs-bugs] [snapshot 20041022] Shared object "libX11.so.6" not found
by fool＠sdf-eu.org 26 Oct '04

26 Oct '04

$ cat libraries/BuildFFI [...] cd /udd/f/fool/hugs98-20041022 [...] echo 'Compiling hugsdir/packages/X11/Graphics/X11/Xlib/Atom.hs' src/ffihugs +G -98 -Phugsdir/packages/X11: +L-Ihugsdir/packages/X11/Graphics/X11/Xlib +L-Ifptools/libraries/X11/include +L-L/usr/X11R6/lib +L-I/usr/X11R6/include +L-lX11 Graphics.X11.Xlib.Atom [...] $ ls -l /usr/X11R6/lib/libX11.so.6 lrwxr-xr-x 1 root wheel 13 Feb 27 2003 /usr/X11R6/lib/libX11.so.6 -> libX11.so.6.1 $ ls -l /usr/X11R6/lib/libX11.so.6.1 -r-xr-xr-x 1 root wheel 1117472 Feb 27 2003 /usr/X11R6/lib/libX11.so.6.1 $ file /usr/X11R6/lib/libX11.so.6.1 /usr/X11R6/lib/libX11.so.6.1: ELF 64-bit LSB shared object, Alpha (unofficial), version 1 (SYSV), not stripped $ make [...] cd ..; env HUGSDIR=hugsdir HUGSFLAGS='' libraries/BuildFFI [...] Compiling hugsdir/packages/X11/Graphics/X11/Xlib/Atom.hs runhugs: Error occurred ERROR "hugsdir/packages/X11/Graphics/X11/Xlib/Atom.hs" - Error while importing DLL "/udd/f/fool/hugs98-20041022/hugsdir/packages/X11/Graphics/X11/Xlib/Atom.so": Shared object "libX11.so.6" not found [... some errors omitted ...] make[1]: *** [../hugsdir/libraries/Hugs/Storable.so] Error 1 make[1]: Leaving directory `/udd/f/fool/hugs98-20041022/libraries' make: *** [all] Error 2 $

1 0

[Hugs-bugs] [snapshot 20041022] tools/hugs-package doesn't know X11 include dir
by fool＠sdf-eu.org 26 Oct '04

26 Oct '04

$ ./configure --prefix=$HOME/inst/hugs-snapshot [...] checking for X... libraries /usr/X11R6/lib, headers /usr/X11R6/include [...] *** NOW DO: make ; make install ************************************************ $ make [...] make[1]: Entering directory `/udd/f/fool/hugs98-20041022/libraries' cd ..; libraries/tools/convert_libraries fptools hugsdir [...] Converting Graphics/X11/Types In file included from Types.hsc:790: fptools/libraries/X11/include/HsXlib.h:13: X11/X.h: No such file or directory fptools/libraries/X11/include/HsXlib.h:14: X11/X.h: No such file or directory fptools/libraries/X11/include/HsXlib.h:15: X11/Xlib.h: No such file or directory fptools/libraries/X11/include/HsXlib.h:16: X11/Xatom.h: No such file or directory fptools/libraries/X11/include/HsXlib.h:17: X11/Xutil.h: No such file or directory fptools/libraries/X11/include/HsXlib.h:21: X11/keysymdef.h: No such file or directory libraries/tools/hugs-package: hugsdir/packages/X11/Graphics/X11/Types_hsc_make: not found rm: hugsdir/packages/X11/Graphics/X11/Types_hsc_make: No such file or directory [... some errors omitted ...] Compiling hugsdir/packages/X11/Graphics/X11/Xlib/Screen.hs runhugs: Error occurred ERROR "hugsdir/packages/X11/Graphics/X11/Xlib/Types.hs" - Module "Main" already loaded Compiling hugsdir/packages/X11/Graphics/X11/Xlib/Window.hs runhugs: Error occurred ERROR "hugsdir/packages/X11/Graphics/X11/Xlib/Types.hs" - Module "Main" already loaded make[1]: *** [../hugsdir/libraries/Hugs/Storable.so] Error 1 make[1]: Leaving directory `/udd/f/fool/hugs98-20041022/libraries' make: *** [all] Error 2 $

1 0