June 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] #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

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

[Hugs] #29: WinHugs: $$ last value doesn't work
by Hugs 07 Sep '06

07 Sep '06

#29: WinHugs: $$ last value doesn't work ---------------------+------------------------------------------------------ Reporter: neil | Owner: neil Type: defect | Status: new Priority: major | Milestone: next release Component: winhugs | Version: 200605 Keywords: | ---------------------+------------------------------------------------------ I just installed the May 2006 release of Hugs. When I use the command-line version, the '$$' symbol to reference the last expression works fine. It does not work in WinHugs, but yields 'ERROR - Syntax error in expression (unexpected symbol "$$")'. I typed ':set' to verify the '-r$$' option was set properly. It works with hugs on Windows, and with Hugs on Linux, just not winhugs. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/29> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 4

Floating point issues
by Neil Mitchell 08 Jun '06

08 Jun '06

Hi, I had the following issue reported to me by Albert (please CC him on responses), which if it is correct is certainly very confusing. Consider the following examples: Hugs> 3 ** 2 9.0 Hugs> 3 ** 2 :: Float 9.0 Hugs> 3 ** 2 :: Double 9.0 Hugs> 3 ** 2 == 9 False Hugs> 3 ** 2 == (9::Double) False Hugs> 3 ** 2 == (9::Float) True Note that GHC gets the sensible answer of True for all these cases. I also tested this on Linux Hugs with the same results as WinHugs. This doesn't seem that logical - I know floating point == is just asking for trouble, but why is the less precise one keeping the correct answer? Also it seems weird not to have the property that read . show = id and that show a == show b => a == b Thanks Neil

2 1

Bug: instances from non-imported files used
by Neil Mitchell 04 Jun '06

04 Jun '06

Hi, With the following setup: -- module A where data A = A -- module B where import A b = show A -- module C where import A instance Show A where show A = "A" -- import B import C main = print "hello" -- :load B fails, complaining that there is no Show instance for A, which is correct. However, :load Main succeeds, even though the module B that it imports is valid. It seems that the show instance of C is used in B, even though the module B does not import (even transitively) C. GHC fails with: ./B.hs:6:4: No instance for (Show A) arising from use of `show' at ./B.hs:6:4-7 Probable fix: add an instance declaration for (Show A) In the definition of `b': b = show A Using Hugs May 2006 on Windows. Thanks Neil

1 0