From trac at galois.com Sun Nov 12 23:11:15 2006 From: trac at galois.com (Hugs) Date: Sun Nov 12 23:10:30 2006 Subject: [Hugs] #46: Records aren't working properly when declared using 'newtype' syntax. Message-ID: <061.7722dd72bb853e784fd31069313fc88a@localhost> #46: Records aren't working properly when declared using 'newtype' syntax. ----------------------------+----------------------------------------------- Reporter: Elifant | Owner: nobody Type: defect | Status: new Priority: major | Milestone: next release Component: hugs | Version: 200609 Keywords: newtype record | ----------------------------+----------------------------------------------- Test code: {{{ newtype Test = Test { var :: String } main = print (var x) where x = Test { var = "a" } }}} Output: {{{ " Program error: pattern match failure: instShow_v16_v1443 (Test_Test "a") }}} Records update is also broken: {{{ newtype Test = Test { var :: String } main = print (var x{var="b"}) where x = Test "a" }}} Output: {{{ " Program error: pattern match failure: instShow_v16_v1443 (Test_Test "b") }}} It I change "newtype" with "data", all is OK. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Mon Nov 13 02:42:29 2006 From: trac at galois.com (Hugs) Date: Mon Nov 13 02:41:44 2006 Subject: [Hugs] #47: Hugs segfaults on black hole. Message-ID: <061.c7ce6fbce72fca616151818307298028@localhost> #47: Hugs segfaults on black hole. ---------------------------------+------------------------------------------ Reporter: guest | Owner: nobody Type: defect | Status: new Priority: major | Milestone: next release Component: hugs | Version: 200609 Keywords: segfault black hole | ---------------------------------+------------------------------------------ Hugs.Base> let s = 1 + s in s zsh: illegal hardware instruction (core dumped) hugs -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Mon Nov 13 08:26:06 2006 From: trac at galois.com (Hugs) Date: Mon Nov 13 08:25:19 2006 Subject: [Hugs] #47: Hugs segfaults on black hole. In-Reply-To: <061.c7ce6fbce72fca616151818307298028@localhost> References: <061.c7ce6fbce72fca616151818307298028@localhost> Message-ID: <070.28489a4333fdd099758fedf11b781807@localhost> #47: Hugs segfaults on black hole. ---------------------+------------------------------------------------------ Reporter: guest | Owner: nobody Type: defect | Status: new Priority: major | Milestone: next release Component: hugs | Version: 200609 Resolution: | Keywords: segfault black hole ---------------------+------------------------------------------------------ Comment (by neil): On Windows this gives a stack overflow, so I guess on Linux this gives an uncaught stack overflow before executing random stuff (and core dumping). -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Tue Nov 14 04:03:32 2006 From: trac at galois.com (Hugs) Date: Tue Nov 14 04:02:45 2006 Subject: [Hugs] #48: record patterns fail on newtypes Message-ID: <061.288ac7cacc510c0a6a543dc7d7cd4aec@localhost> #48: record patterns fail on newtypes --------------------+------------------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Keywords: | --------------------+------------------------------------------------------- Given the declaration {{{ newtype T = C { f :: String } }}} Hugs exhibits the following misbehaviour: {{{ Newtype> case C "abc" of C { f = v } -> v "bc" Newtype> case undefined of C {} -> True Program error: Prelude.undefined }}} The non-record versions are fine: {{{ Newtype> case C "abc" of C v -> v "abc" Newtype> case undefined of C _ -> True True }}} The internal representation of `newtype`s elides the data constructor, but the record pattern-matching code treats them like `data` types (see also #46). -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Tue Nov 14 04:11:22 2006 From: trac at galois.com (Hugs) Date: Tue Nov 14 04:10:33 2006 Subject: [Hugs] #46: Records aren't working properly when declared using 'newtype' syntax. In-Reply-To: <061.7722dd72bb853e784fd31069313fc88a@localhost> References: <061.7722dd72bb853e784fd31069313fc88a@localhost> Message-ID: <070.938ce9222ba95b95df13a79bef4333c4@localhost> #46: Records aren't working properly when declared using 'newtype' syntax. ----------------------+----------------------------------------------------- Reporter: Elifant | Owner: nobody Type: defect | Status: closed Priority: major | Milestone: next release Component: hugs | Version: 200609 Resolution: fixed | Keywords: newtype record ----------------------+----------------------------------------------------- Changes (by ross): * resolution: => fixed * status: new => closed Comment: now fixed in CVS (but see #48). -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Tue Nov 14 04:17:50 2006 From: trac at galois.com (Hugs) Date: Tue Nov 14 04:17:03 2006 Subject: [Hugs] #47: Hugs segfaults on black hole. In-Reply-To: <061.c7ce6fbce72fca616151818307298028@localhost> References: <061.c7ce6fbce72fca616151818307298028@localhost> Message-ID: <070.3ba6d9b4aaba08e2a31f1318ad943a7c@localhost> #47: Hugs segfaults on black hole. ---------------------+------------------------------------------------------ Reporter: guest | Owner: nobody Type: defect | Status: closed Priority: major | Milestone: next release Component: hugs | Version: 200609 Resolution: fixed | Keywords: segfault black hole ---------------------+------------------------------------------------------ Changes (by ross): * resolution: => fixed * status: new => closed Comment: I see you're using an old version of Hugs. The September 2006 version has a workaround that avoids this [http://cvs.haskell.org/Hugs/pages/users_guide/haskell98.html#OTHER-BUGS known bug] most of the time. The development version has a proper fix, provided it's compiled with `libsigsegv`. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Tue Nov 14 04:39:35 2006 From: trac at galois.com (Hugs) Date: Tue Nov 14 04:38:45 2006 Subject: [Hugs] #31: Cnfigure script of Hugs98-May2006 source build doesn't check for useable sgml-tools installation In-Reply-To: <061.02a5aa71d3e99b2b3967cb218cef41d4@localhost> References: <061.02a5aa71d3e99b2b3967cb218cef41d4@localhost> Message-ID: <070.cd74c8979dab5bdf37c8cadfc90b796d@localhost> #31: Cnfigure script of Hugs98-May2006 source build doesn't check for useable sgml-tools installation ---------------------------+------------------------------------------------ Reporter: guest | Owner: nobody Type: defect | Status: closed Priority: minor | Milestone: Component: build system | Version: 200605 Resolution: fixed | Keywords: ---------------------------+------------------------------------------------ Changes (by ross): * resolution: => fixed * component: hugs => build system * status: new => closed Comment: Removed the DTD URL from the SGML file, so it should now work with older versions of the docbook tools. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From ndmitchell at gmail.com Thu Nov 23 22:09:13 2006 From: ndmitchell at gmail.com (Neil Mitchell) Date: Thu Nov 23 22:07:53 2006 Subject: maximum [] complains about an empty list Message-ID: <404396ef0611231909pfe1f2e5r74aa0c75f39898ea@mail.gmail.com> Hi, In GHC: Prelude> maximum [] *** Exception: Prelude.maximum: empty list In Hugs: Prelude> maximum [] Program error: pattern match failure: foldl1 (Ord_max instOrd_v29) [] Obviously this is because foldl1 is used to define maximum, but it would be nice if the equation maximum [] = error "pattern match failure in maximum" was issued, otherwise people might end up grepping for foldl1 which doesn't ever occur in their code. Thanks Neil From trac at galois.com Fri Nov 24 05:30:16 2006 From: trac at galois.com (Hugs) Date: Fri Nov 24 05:28:54 2006 Subject: [Hugs] #49: LDFLAGS and hugs packages on OS X 10.4 Message-ID: <061.6f983ee3564210bc8765cf2f31ca7408@localhost> #49: LDFLAGS and hugs packages on OS X 10.4 ----------------------------------+----------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: minor | Milestone: Component: build system | Version: 200609 Keywords: LDFLAGS X11 packages | ----------------------------------+----------------------------------------- The value of the environnment variable LDFLAGS is not used to compile hug's packages. Consequently, make fails to build X11 package (on OS X 10.4.8) ; here is the make output : Preprocessing library X11-1.2... ../../libraries/tools/hsc2hs -D__HUGS__ -Iinclude -I/usr/X11R6/include --lflag=-lX11 -o Graphics/X11/Types.hs Graphics/X11/Types.hsc /usr/bin/ld: can't locate file for: -lX11 collect2: ld returned 1 exit status linking Graphics/X11/Types_hsc_make.o failed command was: /usr/bin/gcc -lX11 Graphics/X11/Types_hsc_make.o -o Graphics/X11/Types_hsc_make ../../packages/Cabal/examples/hapax.hs: got error code while preprocessing: Graphics.X11.Types Skipping X11 package My LDFLAGS variable whose value is "-L/usr/X11R6/lib -L/Users/julien/local/lib" has not been used. Simply add -L/usr/X11R6/lib to the gcc command and it compile fine. Another work around is to create a symbolic link : sudo ln -s /usr/X11R6/lib/libX11.a /usr/lib/libX11.a -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Nov 24 05:32:51 2006 From: trac at galois.com (Hugs) Date: Fri Nov 24 05:31:27 2006 Subject: [Hugs] #49: LDFLAGS and hugs packages on OS X 10.4 In-Reply-To: <061.6f983ee3564210bc8765cf2f31ca7408@localhost> References: <061.6f983ee3564210bc8765cf2f31ca7408@localhost> Message-ID: <070.4c7f42e385a34b8ff03bef48e2ab7547@localhost> #49: LDFLAGS and hugs packages on OS X 10.4 ---------------------------+------------------------------------------------ Reporter: guest | Owner: nobody Type: defect | Status: new Priority: minor | Milestone: Component: build system | Version: 200609 Resolution: | Keywords: LDFLAGS X11 packages ---------------------------+------------------------------------------------ Changes (by guest): * cc: jmontmartin@gmail.com => -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Wed Nov 29 02:12:38 2006 From: trac at galois.com (Hugs) Date: Wed Nov 29 02:11:00 2006 Subject: [Hugs] #50: Disparity between GHCi and Hugs: Outstanding context : Show b Message-ID: <061.5c3f6832814b20bb09a2a5d787e489a3@localhost> #50: Disparity between GHCi and Hugs: Outstanding context : Show b -----------------------------------+---------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: minor | Milestone: next release Component: hugs | Version: 200503 Keywords: top level overloading | -----------------------------------+---------------------------------------- Possibly Hugs bug, or possible GHCi feature? {{{ showln = (++ "\n") . show main = interact (showln . length) }}} In GHCi: {{{ $ ghci Z.hs *Main> :t showln showln :: Int -> [Char] }}} In Hugs (Version: March 2005): {{{ ERROR "Z.hs":1 - Unresolved top-level overloading *** Binding : showln *** Outstanding context : Show b }}} I'm not sure which is right. -- Don -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Wed Nov 29 03:53:10 2006 From: trac at galois.com (Hugs) Date: Wed Nov 29 03:51:32 2006 Subject: [Hugs] #50: Hugs's implementation of defaulting does not conform to Haskell 98 In-Reply-To: <061.5c3f6832814b20bb09a2a5d787e489a3@localhost> References: <061.5c3f6832814b20bb09a2a5d787e489a3@localhost> Message-ID: <070.12e413ee219da001d3d4707dd83b1c83@localhost> #50: Hugs's implementation of defaulting does not conform to Haskell 98 --------------------------+------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: minor | Milestone: Component: type system | Version: current Resolution: | Keywords: top level overloading --------------------------+------------------------------------------------- Changes (by ross): * milestone: next release => * component: hugs => type system * summary: Disparity between GHCi and Hugs: Outstanding context : Show b => Hugs's implementation of defaulting does not conform to Haskell 98 * version: 200503 => current Comment: This is a divergence of Hugs from Haskell 98 (documented in the User's Guide): Haskell 98 says to apply defaulting to the whole module, but Hugs applies it to binding groups. In the binding group {{{ showln = (++ "\n") . show }}} the MR applies. Hugs attempts to apply defaulting at this point, but fails because the constraint `Show a` is not defaultable under the Haskell 98 rules (section 4.3.4). Haskell 98 (and GHC) defer defaulting until after typing `main`, at which point `a` has been instantiated to `Int`, so defaulting is no longer required. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Wed Nov 29 21:18:58 2006 From: trac at galois.com (Hugs) Date: Wed Nov 29 21:17:17 2006 Subject: [Hugs] #51: The WinHugs uninstaller.exe doesn't work! Message-ID: <061.f364392819283d9dd8a5cbf642c957e1@localhost> #51: The WinHugs uninstaller.exe doesn't work! -----------------------------+---------------------------------------------- Reporter: guest | Owner: neil Type: defect | Status: new Priority: major | Milestone: Component: winhugs | Version: current Keywords: setup uninstall | -----------------------------+---------------------------------------------- Hi guys! I was trying to uninstall WinHugs in order to install a newer version, and I found that the uninstaller.exe program doesn't work. I opened the uninstaller.exe with a hex editor, and I found that it's not a valid executable file. It's some weird combination of HTML and executable code. These are the first 15 lines of the uninstaller.exe file: {{{ 
 
  
 Build Log
 
  
 
------- Build started: Project: Uninstaller, Configuration:
 Release|Win32 -------
 

 

 Command Lines
 
  
Uninstaller - up-to-date.

 

 }}}

 I hope this is not difficult to fix.

 Greetings,
 -- L e a n d r o   < c a f e s o l o [at] g m a i l  [dot] c o m >

-- 
Ticket URL: 
Hugs 
Hugs 98, an interpreter for Haskell