September 2006 - Hugs-Bugs

[Hugs] #28: Cannot make existential type instance of class with fundep
by Hugs 06 Apr '07

06 Apr '07

#28: Cannot make existential type instance of class with fundep -------------------------+-------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: minor | Milestone: Component: type system | Version: 200605 Keywords: | -------------------------+-------------------------------------------------- There seems to be a problem when combining !FunDeps and Existential Types. The code below (works on ghci) causes an error: - ''ERROR "Existential.hs":8 - Existentially quantified variable escapes from pattern !FooObj a''. {{{ class Foo a b | a -> b where foo :: a -> (String,b) data FooA = A instance Foo FooA String where foo _ = ("tyA","A-specific") data FooObj = forall a b. Foo a b => FooObj a instance Foo FooObj () where foo (FooObj a) = (fst (foo a),()) -- !!! }}} best regards, benedikt -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/28> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 1

[Hugs] #36: Statistics modes does not give wall time elapsed
by Hugs 06 Apr '07

06 Apr '07

#36: Statistics modes does not give wall time elapsed -------------------------+-------------------------------------------------- Reporter: neil | Owner: nobody Type: enhancement | Status: new Priority: minor | Milestone: Component: hugs | Version: 200605 Keywords: | -------------------------+-------------------------------------------------- When statistics are turned on, it gives reduction count, memory useage count, and garbage collection time. However, it does not give the amount of time that was actually consumed, which would be nice to have. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/36> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 1

[Hugs] #31: Cnfigure script of Hugs98-May2006 source build doesn't check for useable sgml-tools installation
by Hugs 26 Mar '07

26 Mar '07

#31: Cnfigure script of Hugs98-May2006 source build doesn't check for useable sgml-tools installation --------------------+------------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: minor | Milestone: Component: hugs | Version: 200605 Keywords: | --------------------+------------------------------------------------------- I've been unable completely to build and install Hugs98 May2006 on Slackware Linux 10.1, thus: $ tar xvfz hugs98-plus-May2006.tar.gz $ cd hugs98-plus-May2006 $ ./configure --prefix=/usr/local/pkg/hugs98-plus.May2006 $ make because of the following build errors: ... mkdir users_guide /bin/cp hugs-ug.css users_guide /bin/cp winhugs.png users_guide test -z 'docbook2html' || \ docbook2html --dsl hugs-ug.dsl users_guide.sgml Using catalogs: /etc/sgml/catalog Using stylesheet: /local/d0p6/john/hugs98-plus-May2006/docs/users_guide /hugs-ug.dsl Working on: /local/d0p6/john/hugs98-plus- May2006/docs/users_guide/users_guide.sgml jade:/local/d0p6/john/hugs98-plus- May2006/docs/users_guide/users_guide.sgml:14:0:E: URL not supported by this version jade:/local/d0p6/john/hugs98-plus- May2006/docs/users_guide/users_guide.sgml:14:0:E: DTD did not contain element declaration for document type name jade:/local/d0p6/john/hugs98-plus- May2006/docs/users_guide/users_guide.sgml:15:9:E: there is no attribute "ID" jade:/local/d0p6/john/hugs98-plus- May2006/docs/users_guide/users_guide.sgml:15:22:E: element "BOOK" undefined jade:/local/d0p6/john/hugs98-plus- May2006/docs/users_guide/users_guide.sgml:16:9:E: element "BOOKINFO" undefined ... docbook2html comes from package sgml-tools, for which we have version 1.0.9. Shouldn't the hugs98 configure script check that the available versions of docbook2html and the commands that uses in turn are suitable (a sufficiently late version) to complete the Hugs98 build? For the minute, I'll just disable the build of the documentation, but this is disappointing. John A. Murdie (john(a)cs.york.ac.uk) Department of Computer Science University of York -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/31> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

3 6

[Hugs] #32: Compile of hugs98-plus-May2006.tar.gz fails on SPARC Solaris 8
by Hugs 21 Mar '07

21 Mar '07

#32: Compile of hugs98-plus-May2006.tar.gz fails on SPARC Solaris 8 --------------------+------------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200605 Keywords: | --------------------+------------------------------------------------------- My machine: {{{ straumli> uname -a SunOS straumli 5.8 Generic_117350-28 sun4u sparc SUNW,Sun-Blade-100 straumli> }}} After configuring (WTF is up with that "ultra-evil" comment anyway?), I compile, and get: {{{ straumli> make cd src; make all make[1]: Entering directory `/users/stremler/Work/Haskell/hugs98-plus- May2006/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 `mkThunk': builtin.c:2151: error: `pc' undeclared (first use in this function) builtin.c:2151: error: (Each undeclared identifier is reported only once builtin.c:2151: error: for each function it appears in.) make[1]: *** [builtin.o] Error 1 make[1]: Leaving directory `/users/stremler/Work/Haskell/hugs98-plus- May2006/src' make: *** [all] Error 2 straumli> }}} I eventually got it to compile: {{{ straumli> diff hugs98-plus-May2006/src/builtin.c hugs98-plus-May2006- modified/src/builtin.c 2151c2151,2152 < unsigned long *adj_code = (unsigned long *)pc; --- > /*unsigned long *adj_code = (unsigned long *)pc;*/ > unsigned long *adj_code = (unsigned long *)thunk->code; straumli> }}} Dunno if that's the _right_ fix. But it seems to work enough for HelloWorld.hs... hugs98-May06-bugreport (at) stremler (dot) net -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/32> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 2

[Hugs] #27: error building from src of May2006 version on Solaris 9 on SPARC
by Hugs 21 Mar '07

21 Mar '07

#27: error building from src of May2006 version on Solaris 9 on SPARC --------------------------------+------------------------------------------- Reporter: jhudson(a)dminfo.com | Owner: nobody Type: defect | Status: new Priority: minor | Milestone: Component: hugs | Version: 200605 Keywords: | --------------------------------+------------------------------------------- *** Error from Make *** gcc -c -DNDEBUG=1 -g -O2 builtin.c builtin.c: In function `mkThunk': builtin.c:2151: error: `pc' undeclared (first use in this function) builtin.c:2151: error: (Each undeclared identifier is reported only once builtin.c:2151: error: for each function it appears in.) make[1]: *** [builtin.o] Error 1 *** First 200 lines from "config.log" *** This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. It was created by Hugs98 configure 1.0, which was generated by GNU Autoconf 2.59. Invocation command line was $ ./configure --prefix=/h1/users/joe/Play/Haskell/hugs98-plus-May2006 ## --------- ## ## Platform. ## ## --------- ## hostname = taurus uname -m = sun4u uname -r = 5.9 uname -s = SunOS uname -v = Generic_117171-07 /usr/bin/uname -p = sparc /bin/uname -X = System = SunOS Node = taurus Release = 5.9 KernelID = Generic_117171-07 Machine = sun4u BusType = <unknown> Serial = <unknown> Users = <unknown> OEM# = 0 Origin# = 1 NumCPU = 1 /bin/arch = sun4 /usr/bin/arch -k = sun4u /usr/convex/getsysinfo = unknown hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /h1/DEV/Lisp/cmucl-19a/binary/bin PATH: /usr/perl5/bin PATH: . PATH: /mnt/flash/h1/users/joe/DEV PATH: /h1/users/joe/bin PATH: /usr/local/bin PATH: /usr/bin PATH: /usr/ucb PATH: /etc PATH: /usr/local/lib PATH: /usr/local/DM/bin PATH: /usr/local/DM/esi_bin PATH: /users/bdc PATH: /usr/local/samba/bin PATH: /usr/local/pgsql/bin PATH: /u3/Tcl/bin PATH: /usr/ccs/bin ## ----------- ## ## Core tests. ## ## ----------- ## configure:1383: checking build system type configure:1401: result: sparc-sun-solaris2.9 configure:1409: checking host system type configure:1423: result: sparc-sun-solaris2.9 configure:1431: checking target system type configure:1445: result: sparc-sun-solaris2.9 configure:1674: checking for bison configure:1703: result: no configure:1674: checking for byacc configure:1703: result: no configure:1768: checking for gcc configure:1784: found /usr/local/bin/gcc configure:1794: result: gcc configure:2038: checking for C compiler version configure:2041: gcc --version </dev/null >&5 gcc (GCC) 3.4.2 Copyright (C) 2004 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. configure:2044: $? = 0 configure:2046: gcc -v </dev/null >&5 Reading specs from /usr/local/lib/gcc/sparc-sun-solaris2.9/3.4.2/specs Configured with: ../configure --with-as=/usr/ccs/bin/as --with- ld=/usr/ccs/bin/ld --disable-nls --disable-libgcj --enable-languages=c,c+ : (reconfigured) ../configure --with-as=/usr/ccs/bin/as --with- ld=/usr/ccs/bin/ld --disable-nls --disable-libgcj --enable-languages=c,c++ Thread model: posix gcc version 3.4.2 configure:2049: $? = 0 configure:2051: gcc -V </dev/null >&5 gcc: `-V' option must have argument configure:2054: $? = 1 configure:2077: checking for C compiler default output file name configure:2080: gcc -g conftest.c >&5 configure:2083: $? = 0 configure:2129: result: a.out configure:2134: checking whether the C compiler works configure:2140: ./a.out configure:2143: $? = 0 configure:2160: result: yes configure:2167: checking whether we are cross compiling configure:2169: result: no configure:2172: checking for suffix of executables configure:2174: gcc -o conftest -g conftest.c >&5 configure:2177: $? = 0 configure:2202: result: configure:2208: checking for suffix of object files configure:2229: gcc -c -g conftest.c >&5 configure:2232: $? = 0 configure:2254: result: o configure:2258: checking whether we are using the GNU C compiler configure:2282: gcc -c -g conftest.c >&5 configure:2288: $? = 0 configure:2291: test -z || test ! -s conftest.err configure:2294: $? = 0 configure:2297: test -s conftest.o configure:2300: $? = 0 configure:2313: result: yes configure:2319: checking whether gcc accepts -g configure:2340: gcc -c -g conftest.c >&5 configure:2346: $? = 0 configure:2349: test -z || test ! -s conftest.err configure:2352: $? = 0 configure:2355: test -s conftest.o configure:2358: $? = 0 configure:2369: result: yes configure:2386: checking for gcc option to accept ANSI C configure:2456: gcc -c -g conftest.c >&5 configure:2462: $? = 0 configure:2465: test -z || test ! -s conftest.err configure:2468: $? = 0 configure:2471: test -s conftest.o configure:2474: $? = 0 configure:2492: result: none needed configure:2510: gcc -c -g conftest.c >&5 conftest.c:2: error: parse error before "me" configure:2516: $? = 1 configure: failed program was: | #ifndef __cplusplus | choke me | #endif configure:2652: checking how to run the C preprocessor configure:2687: gcc -E conftest.c configure:2693: $? = 0 configure:2725: gcc -E conftest.c conftest.c:9:28: ac_nonexistent.h: No such file or directory configure:2731: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "Hugs98" | #define PACKAGE_TARNAME "hugs98" | #define PACKAGE_VERSION "1.0" | #define PACKAGE_STRING "Hugs98 1.0" | #define PACKAGE_BUGREPORT "hugs-bugs(a)haskell.org" | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:2770: result: gcc -E configure:2794: gcc -E conftest.c configure:2800: $? = 0 configure:2832: gcc -E conftest.c conftest.c:9:28: ac_nonexistent.h: No such file or directory configure:2838: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "Hugs98" | #define PACKAGE_TARNAME "hugs98" | #define PACKAGE_VERSION "1.0" | #define PACKAGE_STRING "Hugs98 1.0" | #define PACKAGE_BUGREPORT "hugs-bugs(a)haskell.org" | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:2882: checking for egrep configure:2892: result: grep -E configure:2898: checking whether gcc needs -traditional configure:2940: result: no configure:3463: checking for rm configure:3481: found /usr/local/bin/rm configure:3493: result: /usr/local/bin/rm configure:3503: checking for cp configure:3521: found /usr/local/bin/cp configure:3533: result: /usr/local/bin/cp configure:3544: checking for ld configure:3560: found /usr/ucb/ld configure:3570: result: ld configure:3582: checking for perl configure:3598: found /usr/perl5/bin/perl configure:3608: result: perl configure:3617: checking whether make sets $(MAKE) configure:3637: result: yes configure:3648: checking for hp2ps configure:3675: result: 0 configure:3693: checking for docbook2html configure:3722: result: no configure:3693: checking for db2html configure:3722: result: no configure:3733: checking for docbook2dvi configure:3762: result: no configure:3733: checking for db2dvi -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/27> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 4

[Hugs] #30: Windows and Hugs, fails to complete build of base
by Hugs 21 Mar '07

21 Mar '07

#30: Windows and Hugs, fails to complete build of base ---------------------+------------------------------------------------------ Reporter: neil | Owner: nobody Type: defect | Status: new Priority: blocker | Milestone: next release Component: hugs | Version: 200605 Keywords: | ---------------------+------------------------------------------------------ Under Windows/Mingw32, building hugs and the base package gives the following issue: ..\..\src\ffihugs -98 -P..\..\hugsdir\packages\base; -i"HsBase.h" ..\..\hugsdir\packages\base\System\Process\Internals.hs -Iinclude -I..\..\ghc\includes cbits\execvpe.c Skipping base package This bug is probably related to: > ERROR "C:\Program > Files\WinHugs\packages\base\System\Process\Internals.hs":747 - > Undefined variable "addMVarFinalizer" Ross says: Hmm, it uses addMVarFinalizer under Windows, and Hugs doesn't have that. Have to think about that one. This build failure causes the Regex module not to be built, since it comes after in the list of builds. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/30> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 3

[Hugs] #35: WinHugs: foreground/background colours not from Windows
by Hugs 21 Mar '07

21 Mar '07

#35: WinHugs: foreground/background colours not from Windows ---------------------+------------------------------------------------------ Reporter: neil | Owner: neil Type: defect | Status: new Priority: minor | Milestone: Component: winhugs | Version: 200605 Keywords: | ---------------------+------------------------------------------------------ I just started using the new WinHugs GUI you developed and maintain, and I have a small issue with its appearance. I usually try to tone down all bright colors on the desktop, and hence the default window background color on my machines are not white but some shade of light gray. The issue is then that text portions seem to always have a white background while the rest of the WinHugs window conforms to the global color setting. I attach a window-shot for illustration. I suggest that it would be much nicer if the global background color setting was honored by the written text portion as well. --- Good point! The issue is to do with escape character, you can programatically change the background color of the text by outputting some magic, and this means that by default the background gets "forced" to white, rather than getting its default setting. I think the solution is to interpret white = the users background colour, black = the users foreground colour, and honour all other colours. I'll hack that up in the next few days and the next release should have this fixed. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/35> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 2

[Hugs] #37: Equal Ints are not equal
by Hugs 18 Mar '07

18 Mar '07

#37: Equal Ints are not equal ---------------------+------------------------------------------------------ Reporter: guest | Owner: nobody Type: defect | Status: new Priority: blocker | Milestone: Component: hugs | Version: current Keywords: | ---------------------+------------------------------------------------------ Hi, a few days ago I wrote a program which handles my own integers. Then I check my own implementation against the normal Int implementation in Hugs. Thereby I wonder about inequality of Ints which are definitely equal. This is a test program I wrote after I recognized that hugs has probably a bug in the inequality check of Ints. data MInt = Zero | Succ MInt | Pred MInt deriving Show tn :: Int -> MInt tn x | x<0 = Pred (tn (x+1)) tn 0 = Zero tn (n+1) = Succ (tn n) ti :: MInt -> Int ti Zero = 0 ti (Succ x) = 1+(ti x) ti (Pred x) = (ti x) -1 testi :: (MInt -> MInt -> MInt) -> (Int -> Int -> Int) -> Int -> Int -> Bool testi f g x y = (ti (f (tn x) (tn y))) /= (g x y) myMul x y = tn ((ti x) * (ti y)) test = [(x,y,ti (myMul (tn x) (tn y)),x * y)| x<-[-100..100], y<-([-100..(-1)]++[1..100]),(testi myMul (*) x y) ] the list "test" should be empty in any case but unfortunately hugs returns this (copy of the console): __ __ __ __ ____ ___ _________________________________________ || || || || || || ||__ 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> test [(-100,80,-8000,-8000),(-100,99,-9900,-9900), (-99,58,-5742,-5742),(-99,83,-8217,-8217), (-98,71,-6958,-6958),(-98,86,-8428,-8428), (-97,46,-4462,-4462),(-97,87,-8439,-8439), (-96,76,-7296,-7296),(-95,88,-8360,-8360),(-94,73,-6862,-6862) ERROR - Control stack overflow Main> I have checked this program with Hugs on different plattforms: Gentoo Linux x86 64-Bit and Suse Linux 32-Bit. On both plattforms the same bug occurs with different Ints for each run (i.e. the list contains different tuples). I have also checked my program with other Haskell implementations and there it returns an empty list as expected. Best regards, Stephan Swiderski (swiderski(a)informatik.rwth-aachen.de) P.S.: We have tested Sep2006 with similar results: __ __ __ __ ____ ___ _________________________________________ || || || || || || ||__ Hugs 98: Based on the Haskell 98 standard ||___|| ||__|| ||__|| __|| Copyright (c) 1994-2005 ||---|| ___|| World Wide Web: http://haskell.org/hugs || || Bugs: http://hackage.haskell.org/trac/hugs || || Version: September 2006 _________________________________________ Haskell 98 mode: Restart with command line option -98 to enable extensions Type :? for help Main> :e Main> test [(-100,90,-9000,-9000),(-98,40,-3920,-3920),(-97,63,-6111,-6111),(-97,69,-6693,- 6693) ERROR - Control stack overflow -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/37> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

2 7

Undefined variable bug
by John Tromp 27 Feb '07

27 Feb '07

I just found out that I can circumvent the problem by adding a line import Char to my loaded file. regards, -john

2 1

User preferences lost between Hugs upgrades on Windows
by Neil Mitchell 24 Sep '06

24 Sep '06

Hi, The settings on Windows are stored under a registry key for each specific release. This means that if you install WinHugs, carefully set up everything, then upgrade, you loose all your settings. I know that in the past this was done because successive versions of Hugs could choke on the options for the previous version. So can I make the suggestion: * We agree to make the options string consistent from now on, not changing its meaning. * We move to using the current registry key for all future releases. Thanks Neil

2 4