From trac at galois.com Sun Apr 1 05:21:58 2007 From: trac at galois.com (Hugs) Date: Sun Apr 1 05:20:56 2007 Subject: [Hugs] #61: [Patch] Readline command completion for everything In-Reply-To: <061.56df0421129ca8fa7ff463d95be3b432@localhost> References: <061.56df0421129ca8fa7ff463d95be3b432@localhost> Message-ID: <070.92967f30c5a2a7553e026b9b2742fe72@localhost> #61: [Patch] Readline command completion for everything --------------------------+------------------------------------------------- Reporter: gsauthof | Owner: nobody Type: enhancement | Status: closed Priority: major | Milestone: Component: hugs | Version: 200609 Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by ross): * resolution: => fixed * status: new => closed Comment: Thanks. I've committed it to our shiny new darcs repository, though it does have some limitations: * the names include things that aren't in scope (:names has the same problem) * the names don't include qualified names * the words completed are space-delimited, rather than being Haskell ids * completion for :load works for filenames only, not modules Still, it's a start, and better than nothing. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:23:27 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:22:10 2007 Subject: [Hugs] #37: Equal Ints are not equal In-Reply-To: <061.3f7e7dcda32b7ef8727b146e8e470e73@localhost> References: <061.3f7e7dcda32b7ef8727b146e8e470e73@localhost> Message-ID: <070.07045e101b6a8231c238c31043811ee5@localhost> #37: Equal Ints are not equal ----------------------+----------------------------------------------------- Reporter: guest | Owner: ross Type: defect | Status: assigned Priority: blocker | Milestone: Component: hugs | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:30:29 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:29:11 2007 Subject: [Hugs] #9: WinHugs: :edit In-Reply-To: <061.ca270359a4a007357109e5c41685f2fa@localhost> References: <061.ca270359a4a007357109e5c41685f2fa@localhost> Message-ID: <070.2ed46d6d8b7aeb551011c684c0575b32@localhost> #9: WinHugs: :edit ----------------------+----------------------------------------------------- Reporter: neil | Owner: neil Type: defect | Status: new Priority: trivial | Milestone: Component: winhugs | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:30:51 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:29:33 2007 Subject: [Hugs] #36: Statistics modes does not give wall time elapsed In-Reply-To: <061.9d7a2314b9aa0e06264ae624a645e491@localhost> References: <061.9d7a2314b9aa0e06264ae624a645e491@localhost> Message-ID: <070.2deb4058854a372981f0a062946d5aa0@localhost> #36: Statistics modes does not give wall time elapsed --------------------------+------------------------------------------------- Reporter: neil | Owner: nobody Type: enhancement | Status: new Priority: minor | Milestone: Component: hugs | Version: 200605 Resolution: | Keywords: --------------------------+------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:31:06 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:29:48 2007 Subject: [Hugs] #23: Build FFI on Windows using Visual Studio In-Reply-To: <061.e8c103f20c8ff6fa9cfc3d56af7ee6e7@localhost> References: <061.e8c103f20c8ff6fa9cfc3d56af7ee6e7@localhost> Message-ID: <070.df6da8234852bce72addb9bd50d932cb@localhost> #23: Build FFI on Windows using Visual Studio --------------------------+------------------------------------------------- Reporter: neil | Owner: neil Type: enhancement | Status: new Priority: minor | Milestone: Component: winhugs | Version: current Resolution: | Keywords: --------------------------+------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:32:05 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:30:49 2007 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.292d3b67e9c69d21030575a702885f94@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 ---------------------------+------------------------------------------------ Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:32:19 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:31:01 2007 Subject: [Hugs] #28: Cannot make existential type instance of class with fundep In-Reply-To: <061.d5b37bcc11d8630ca32b58aea756286d@localhost> References: <061.d5b37bcc11d8630ca32b58aea756286d@localhost> Message-ID: <070.e139086866058ace7059669e415332a3@localhost> #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 Resolution: | Keywords: --------------------------+------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:32:32 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:31:14 2007 Subject: [Hugs] #14: WinHugs: Command history In-Reply-To: <061.84625f452ac8cbd0ed802b663f396887@localhost> References: <061.84625f452ac8cbd0ed802b663f396887@localhost> Message-ID: <070.69c72d818512f94a4f4d8923978f852b@localhost> #14: WinHugs: Command history ----------------------+----------------------------------------------------- Reporter: neil | Owner: neil Type: defect | Status: new Priority: minor | Milestone: Component: winhugs | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:32:46 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:31:29 2007 Subject: [Hugs] #13: WinHugs: Less verbose file listing In-Reply-To: <061.1b04e8230e5f2bf69716611842a60d61@localhost> References: <061.1b04e8230e5f2bf69716611842a60d61@localhost> Message-ID: <070.6eda5e78d270907def9d72754987b42d@localhost> #13: WinHugs: Less verbose file listing ----------------------+----------------------------------------------------- Reporter: neil | Owner: neil Type: defect | Status: new Priority: minor | Milestone: Component: winhugs | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:32:59 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:31:41 2007 Subject: [Hugs] #10: WinHugs: Package build In-Reply-To: <061.72bbfbb400cae87775bab70a14c65b28@localhost> References: <061.72bbfbb400cae87775bab70a14c65b28@localhost> Message-ID: <070.08e13ce7012c7b92640333a910d2c11a@localhost> #10: WinHugs: Package build ----------------------+----------------------------------------------------- Reporter: neil | Owner: neil Type: defect | Status: new Priority: minor | Milestone: Component: winhugs | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:33:11 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:31:53 2007 Subject: [Hugs] #5: WinHugs: Screen Clearing In-Reply-To: <061.0a1838384173c2ba61026d26d492230f@localhost> References: <061.0a1838384173c2ba61026d26d492230f@localhost> Message-ID: <070.ed4d928a943a451509e3aa5a21127a81@localhost> #5: WinHugs: Screen Clearing ----------------------+----------------------------------------------------- Reporter: neil | Owner: neil Type: defect | Status: new Priority: minor | Milestone: Component: winhugs | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:33:30 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:32:13 2007 Subject: [Hugs] #44: Hugs does not provide version numbers for installed packages In-Reply-To: <061.86b5d4dc9c9309ff732f2b78eb8ac878@localhost> References: <061.86b5d4dc9c9309ff732f2b78eb8ac878@localhost> Message-ID: <070.3b6d4b2d512089514e0ece3465d21362@localhost> #44: Hugs does not provide version numbers for installed packages --------------------------+------------------------------------------------- Reporter: briansmith | Owner: nobody Type: enhancement | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Resolution: | Keywords: --------------------------+------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:33:52 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:32:36 2007 Subject: [Hugs] #12: WinHugs: cpphs support In-Reply-To: <061.398f6ab53e5971030f6615d3a50d608b@localhost> References: <061.398f6ab53e5971030f6615d3a50d608b@localhost> Message-ID: <070.2673f3aba46417644d8e48c6e67e3ea2@localhost> #12: WinHugs: cpphs support --------------------------+------------------------------------------------- Reporter: neil | Owner: neil Type: enhancement | Status: new Priority: major | Milestone: Component: winhugs | Version: current Resolution: | Keywords: --------------------------+------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:34:08 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:32:51 2007 Subject: [Hugs] #51: The WinHugs uninstaller.exe doesn't work! In-Reply-To: <061.f364392819283d9dd8a5cbf642c957e1@localhost> References: <061.f364392819283d9dd8a5cbf642c957e1@localhost> Message-ID: <070.fb9c32ea5715e9af4d0d643ffc3b444c@localhost> #51: The WinHugs uninstaller.exe doesn't work! ----------------------+----------------------------------------------------- Reporter: guest | Owner: neil Type: defect | Status: new Priority: major | Milestone: Component: winhugs | Version: current Resolution: | Keywords: setup uninstall ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:34:23 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:33:05 2007 Subject: [Hugs] #45: parseInput internal error In-Reply-To: <061.a8b842947b6eca567efa23dd34bed16b@localhost> References: <061.a8b842947b6eca567efa23dd34bed16b@localhost> Message-ID: <070.6fe8034fc049fe8d3be0b0bc70c323bc@localhost> #45: parseInput internal error ----------------------+----------------------------------------------------- Reporter: neil | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: parsing | Version: 200609 Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:39:24 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:38:07 2007 Subject: [Hugs] #8: WinHugs: Editor spawning with DDE In-Reply-To: <061.10bd6b50c5c370571f7442592cef2a7e@localhost> References: <061.10bd6b50c5c370571f7442592cef2a7e@localhost> Message-ID: <070.4ce5ddf158c9a13c32d4f939e6b85872@localhost> #8: WinHugs: Editor spawning with DDE ----------------------+----------------------------------------------------- Reporter: neil | Owner: neil Type: defect | Status: new Priority: major | Milestone: Component: winhugs | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:39:35 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:38:18 2007 Subject: [Hugs] #11: monomorphism and generalization In-Reply-To: <061.048ea35f8f99c334acd4389a11c280d1@localhost> References: <061.048ea35f8f99c334acd4389a11c280d1@localhost> Message-ID: <070.d88d43d1d779d2e214f140cf860cd0ee@localhost> #11: monomorphism and generalization --------------------------+------------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: type system | Version: Resolution: | Keywords: --------------------------+------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:39:46 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:38:28 2007 Subject: [Hugs] #15: semicolons in nested layout In-Reply-To: <061.a9a064f5fdf3891f5433fe21fd78f2e8@localhost> References: <061.a9a064f5fdf3891f5433fe21fd78f2e8@localhost> Message-ID: <070.1d92486e933bc64187047af14c84bd18@localhost> #15: semicolons in nested layout ----------------------+----------------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: parsing | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:40:02 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:38:44 2007 Subject: [Hugs] #16: hiding T(..) doesn't hide the fields In-Reply-To: <061.e7e80d4c2b03db6b4c4beaab8880a930@localhost> References: <061.e7e80d4c2b03db6b4c4beaab8880a930@localhost> Message-ID: <070.91380434a2a516cc3b562f5b4f5f7a5f@localhost> #16: hiding T(..) doesn't hide the fields ----------------------------+----------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: module system | Version: current Resolution: | Keywords: ----------------------------+----------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Fri Apr 6 03:40:21 2007 From: trac at galois.com (Hugs) Date: Fri Apr 6 03:39:04 2007 Subject: [Hugs] #42: WinHugs uninstaller crashes In-Reply-To: <061.1ac9880f85491486f0c738ee7850e176@localhost> References: <061.1ac9880f85491486f0c738ee7850e176@localhost> Message-ID: <070.92ca086e29de68b92dfb6ccb012a1781@localhost> #42: WinHugs uninstaller crashes -------------------------+-------------------------------------------------- Reporter: briansmith | Owner: neil Type: defect | Status: assigned Priority: major | Milestone: Component: winhugs | Version: 200609 Resolution: | Keywords: -------------------------+-------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Thu Apr 12 19:12:36 2007 From: trac at galois.com (Hugs) Date: Thu Apr 12 19:10:58 2007 Subject: [Hugs] #63: hugs cabal incomplete Message-ID: <061.3f4d52d45103bcd701cdcfd588a2e519@localhost> #63: hugs cabal incomplete --------------------------------+------------------------------------------- Reporter: jvlask@hotmail.com | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Keywords: cabal | --------------------------------+------------------------------------------- Two things 1) hugs cabal does not take any notice of additional C files specified in the cabal config 2) hugs cabal passes libraries using mingw conventions and does not support a build process using msvc. i.e. libraries passed as -lodbc 3) I used to be able to generate the C stub for seporate compilation with the following command ffihugs -98 +G -Pbuild: +L"-D_WIN32_" +L"-Dmingw32_HOST_OS" +L"-I./HSQL" +L"./ODBC/Database/HSQL/HsODBC.o" +L"odbc32.lib" +L"-I./ODBC/Database/HSQL" $< this worked fine and achieved what was desired:- generating a C file compiling and specifying additional link libraries and include path. this can be done with the new hugs like so ffihugs -98 $< -D_WIN32_ -Dmingw32_HOST_OS -I./HSQL ./ODBC/Database/HSQL/HsODBC.o odbc32.lib -I./ODBC/Database/HSQL The current cabal setup for hugs does not support the generation/specification of such a command, so I am left with no option but to use a hybrid of cabal and make files ... very unsatisfactory. 4) you should really think about linking hugs against the multithreaded library /MD by default many external gnu etc libraries (actually all that I have come accross) link against msvcrt.lib. Having two different rtl being called can cause problems. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Thu Apr 12 19:42:28 2007 From: trac at galois.com (Hugs) Date: Thu Apr 12 19:40:51 2007 Subject: [Hugs] #64: hugs crashes upon module reload Message-ID: <061.1e547569d43f377a8cf520f5abae9f48@localhost> #64: hugs crashes upon module reload ----------------------+----------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: critical | Milestone: Component: hugs | Version: 200609 Keywords: | ----------------------+----------------------------------------------------- A common occurence is the following failure when loading dll modules. with the latest release of hugs. This only occurs upon a reload. i.e. the initial load is fine. a reload from the hugs command line will cause the error. Database.HSQL> :load Database.HSQL ../../gcc/gcc/config/i386/w32-shared-ptr.c:234: failed assertion `w32_sharedptr- >size == sizeof(W32_EH_SHARED)' -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Thu Apr 12 19:46:22 2007 From: trac at galois.com (Hugs) Date: Thu Apr 12 19:44:44 2007 Subject: [Hugs] #64: hugs crashes upon module reload In-Reply-To: <061.1e547569d43f377a8cf520f5abae9f48@localhost> References: <061.1e547569d43f377a8cf520f5abae9f48@localhost> Message-ID: <070.10bca9b1c0dcf992ce4688cbe00e58eb@localhost> #64: hugs crashes upon module reload -----------------------+---------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: critical | Milestone: Component: hugs | Version: 200609 Resolution: | Keywords: -----------------------+---------------------------------------------------- Comment (by guest): could be related to the modules being compile with msvc and latest release of hugs being compiled with mingw was it ? -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Thu Apr 12 20:37:53 2007 From: trac at galois.com (Hugs) Date: Thu Apr 12 20:36:16 2007 Subject: [Hugs] #64: hugs crashes upon module reload In-Reply-To: <061.1e547569d43f377a8cf520f5abae9f48@localhost> References: <061.1e547569d43f377a8cf520f5abae9f48@localhost> Message-ID: <070.dec3f13d1c173066e6f1792bb8d0094c@localhost> #64: hugs crashes upon module reload ----------------------+----------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: blocker | Milestone: Component: hugs | Version: 200609 Resolution: | Keywords: ----------------------+----------------------------------------------------- Changes (by guest): * priority: critical => blocker Comment: you can get this error straight out of the box Hugs> :load System.Directory System.Directory> :load System.Directory ../../gcc/gcc/config/i386/w32-shared-ptr.c:234: failed assertion `w32_sharedptr- >size == sizeof(W32_EH_SHARED)' -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Sun Apr 15 12:10:05 2007 From: trac at galois.com (Hugs) Date: Sun Apr 15 12:08:18 2007 Subject: [Hugs] #64: hugs crashes upon module reload In-Reply-To: <061.1e547569d43f377a8cf520f5abae9f48@localhost> References: <061.1e547569d43f377a8cf520f5abae9f48@localhost> Message-ID: <070.abf52ab8c0dd0f6fbb5c8791a6076c6f@localhost> #64: hugs crashes upon module reload ----------------------+----------------------------------------------------- Reporter: guest | Owner: neil Type: defect | Status: new Priority: major | Milestone: Component: winhugs | Version: 200609 Resolution: | Keywords: ----------------------+----------------------------------------------------- Changes (by ross): * component: hugs => winhugs * priority: blocker => major * owner: nobody => neil -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Sun Apr 15 12:22:05 2007 From: trac at galois.com (Hugs) Date: Sun Apr 15 12:20:17 2007 Subject: [Hugs] #63: hugs cabal incomplete In-Reply-To: <061.3f4d52d45103bcd701cdcfd588a2e519@localhost> References: <061.3f4d52d45103bcd701cdcfd588a2e519@localhost> Message-ID: <070.3eddf84b2cad6451afe6659ca86564c7@localhost> #63: hugs cabal incomplete ---------------------------------+------------------------------------------ Reporter: jvlask@hotmail.com | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Resolution: | Keywords: cabal ---------------------------------+------------------------------------------ Comment (by ross): (Multi-barrel bugs like this are a bit inconvenient to deal with.) 1) isn't a bug: Cabal uses a different method for Hugs, as documented in the Cabal User's Guide. 2) and 3) are the same thing, I think, because Cabal does pass -D and -I options. The problem is libraries. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Mon Apr 16 18:15:57 2007 From: trac at galois.com (Hugs) Date: Mon Apr 16 18:14:05 2007 Subject: [Hugs] #59: missing and/or erroneous output in deteministic function run from WinHUGS cmd line! In-Reply-To: <061.4a101cf71afe185e8653a3635fffaa15@localhost> References: <061.4a101cf71afe185e8653a3635fffaa15@localhost> Message-ID: <070.4d88b7353d595ae27bcc9deaf6c43c74@localhost> #59: missing and/or erroneous output in deteministic function run from WinHUGS cmd line! ---------------------------------------------+------------------------------ Reporter: ettinger@elmgate.eclipse.co.uk | Owner: Type: defect | Status: new Priority: critical | Milestone: Component: hugs | Version: 200609 Resolution: | Keywords: inconsistent expression evaluation ---------------------------------------------+------------------------------ Comment (by ross): Environment details from the original poster: {{{ The OS is: Microsoft Windows XP Home Edition Version 2002 Service pack 2 The hardware is: Dell Dimension DV051 Intel Pentium 4 CPU 3.00GHZ 2.99 GHZ, 504 MB of RAM Physical Address Extension The version of WinHUGS is: Sep 2006 }}} (I don't see how it can be a floating point problem, as the enumerations are all over Int or Integer.) -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Wed Apr 18 19:00:35 2007 From: trac at galois.com (Hugs) Date: Wed Apr 18 18:58:36 2007 Subject: [Hugs] #64: hugs crashes upon module reload In-Reply-To: <061.1e547569d43f377a8cf520f5abae9f48@localhost> References: <061.1e547569d43f377a8cf520f5abae9f48@localhost> Message-ID: <070.e97efee37c61066e59df444523accb86@localhost> #64: hugs crashes upon module reload ----------------------+----------------------------------------------------- Reporter: guest | Owner: neil Type: defect | Status: new Priority: major | Milestone: Component: winhugs | Version: 200609 Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by neil): I can't replicate this on my system, loading System.Directory repeatedly works just fine. I wouldn't be massively surprised if there were GCC vs VC issues with the FFI in places, but I can't trip them up out of the box. guest: Did you compile Hugs yourself, or any of the libraries? Does the installation of HSQL do something quirky? -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Wed Apr 18 19:03:21 2007 From: trac at galois.com (Hugs) Date: Wed Apr 18 19:01:24 2007 Subject: [Hugs] #62: Unable to uninstall In-Reply-To: <061.f90b2c386a9249f3fbb3f1b4cac350d6@localhost> References: <061.f90b2c386a9249f3fbb3f1b4cac350d6@localhost> Message-ID: <070.04ad142658bdc62f8caf4de6f7f760d8@localhost> #62: Unable to uninstall ------------------------+--------------------------------------------------- Reporter: adam | Owner: neil Type: defect | Status: closed Priority: major | Milestone: Component: winhugs | Version: 200609 Resolution: duplicate | Keywords: ------------------------+--------------------------------------------------- Changes (by neil): * resolution: => duplicate * status: new => closed Comment: Dupe of #42 -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Wed Apr 18 19:04:21 2007 From: trac at galois.com (Hugs) Date: Wed Apr 18 19:02:27 2007 Subject: [Hugs] #42: WinHugs uninstaller crashes In-Reply-To: <061.1ac9880f85491486f0c738ee7850e176@localhost> References: <061.1ac9880f85491486f0c738ee7850e176@localhost> Message-ID: <070.2ccdf3d5d6ac750357d4e0073393e671@localhost> #42: WinHugs uninstaller crashes -------------------------+-------------------------------------------------- Reporter: briansmith | Owner: neil Type: defect | Status: closed Priority: major | Milestone: Component: winhugs | Version: 200609 Resolution: duplicate | Keywords: -------------------------+-------------------------------------------------- Changes (by neil): * resolution: => duplicate * status: assigned => closed Comment: Dupe of 51 (which has the clearest details) -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Wed Apr 18 19:08:20 2007 From: trac at galois.com (Hugs) Date: Wed Apr 18 19:06:22 2007 Subject: [Hugs] #51: The WinHugs uninstaller.exe doesn't work! In-Reply-To: <061.f364392819283d9dd8a5cbf642c957e1@localhost> References: <061.f364392819283d9dd8a5cbf642c957e1@localhost> Message-ID: <070.b9cbd7ac4d4a9ef85fb180caf15cb81a@localhost> #51: The WinHugs uninstaller.exe doesn't work! -----------------------+---------------------------------------------------- Reporter: guest | Owner: neil Type: defect | Status: assigned Priority: critical | Milestone: Component: winhugs | Version: current Resolution: | Keywords: setup uninstall -----------------------+---------------------------------------------------- Changes (by neil): * priority: major => critical * status: new => assigned -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From ndmitchell at gmail.com Thu Apr 19 20:42:52 2007 From: ndmitchell at gmail.com (Neil Mitchell) Date: Thu Apr 19 20:40:52 2007 Subject: Crashing Hugs for fun and profit Message-ID: <404396ef0704191742i16d032bfnb06de75f08623e97@mail.gmail.com> Hi I've attached 3 separate bugs in the Hugs compiler, they are all a bit perplexing, and all seem to ruffle similar areas. I suspect there is an underlying memory bug, such as overwriting areas of memory or something. * Silly fails to derive something that should be obvious, as sent in a previous mail to hugs-users@ * Nonterm generates: > hugs Nonterm.hs -98 ERROR "Nonterm.hs":56 - Unresolved top-level overloading *** Binding : test *** Outstanding context : (Play b, Typeable b, Play ((bad type) ((bad type) ((ba d type) ((bad type) (bad type)))) ((bad type) ((bad type) ((bad type) ((bad type ) ((bad type) ((bad type) ((bad type) (bad type)))) ((bad type) ((bad type) ((ba Running with WinHugs causes an immediate shutdown. * Segfault generates: > hugs Segfault.hs -98 Unexpected signal With WinHugs I get an immediate shutdown. Thanks Neil -------------- next part -------------- A non-text attachment was scrubbed... Name: Silly.hs Type: text/x-haskell Size: 370 bytes Desc: not available Url : http://www.haskell.org/pipermail/hugs-bugs/attachments/20070420/61c676d7/Silly.bin -------------- next part -------------- A non-text attachment was scrubbed... Name: Nonterm.hs Type: text/x-haskell Size: 1014 bytes Desc: not available Url : http://www.haskell.org/pipermail/hugs-bugs/attachments/20070420/61c676d7/Nonterm.bin -------------- next part -------------- A non-text attachment was scrubbed... Name: Segfault.hs Type: text/x-haskell Size: 1027 bytes Desc: not available Url : http://www.haskell.org/pipermail/hugs-bugs/attachments/20070420/61c676d7/Segfault.bin From ross at soi.city.ac.uk Fri Apr 20 07:43:53 2007 From: ross at soi.city.ac.uk (Ross Paterson) Date: Fri Apr 20 07:42:05 2007 Subject: Crashing Hugs for fun and profit In-Reply-To: <404396ef0704191742i16d032bfnb06de75f08623e97@mail.gmail.com> References: <404396ef0704191742i16d032bfnb06de75f08623e97@mail.gmail.com> Message-ID: <20070420114353.GB3786@soi.city.ac.uk> On Fri, Apr 20, 2007 at 01:42:52AM +0100, Neil Mitchell wrote: > * Nonterm generates: > > >hugs Nonterm.hs -98 > > ERROR "Nonterm.hs":56 - Unresolved top-level overloading > *** Binding : test > *** Outstanding context : (Play b, Typeable b, Play ((bad type) ((bad type) > ((ba > d type) ((bad type) (bad type)))) ((bad type) ((bad type) ((bad type) ((bad > type > ) ((bad type) ((bad type) ((bad type) (bad type)))) ((bad type) ((bad type) > ((ba > > Running with WinHugs causes an immediate shutdown. > > > * Segfault generates: > > >hugs Segfault.hs -98 > > Unexpected signal > > With WinHugs I get an immediate shutdown. Under Linux, I get "Garbage collection fails to reclaim sufficient space" for both of these. From trac at galois.com Fri Apr 20 07:51:20 2007 From: trac at galois.com (Hugs) Date: Fri Apr 20 07:49:22 2007 Subject: [Hugs] #65: depth cutoff reports the wrong constraint Message-ID: <061.48b5a311704a50790dcf3ae6022ef413@localhost> #65: depth cutoff reports the wrong constraint -------------------------+-------------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: type system | Version: 200609 Keywords: | -------------------------+-------------------------------------------------- Given the following: {{{ class C a where f :: a -> a instance (Eq a, C a) => C a test = f True }}} hugs -98 reports {{{ ERROR "Silly.hs" - *** The type checker has reached the cutoff limit while trying to *** determine whether: *** Eq Bool *** can be deduced from: *** () *** This may indicate that the problem is undecidable. However, *** you may still try to increase the cutoff limit using the -c *** option and then try again. (The current setting is -c40) }}} when in fact it is trying to solve `C Bool`. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From ndmitchell at gmail.com Fri Apr 20 08:44:15 2007 From: ndmitchell at gmail.com (Neil Mitchell) Date: Fri Apr 20 08:42:13 2007 Subject: Crashing Hugs for fun and profit In-Reply-To: <20070420114353.GB3786@soi.city.ac.uk> References: <404396ef0704191742i16d032bfnb06de75f08623e97@mail.gmail.com> <20070420114353.GB3786@soi.city.ac.uk> Message-ID: <404396ef0704200544r311a9252g50c43977c6279e72@mail.gmail.com> Ross > > * Nonterm generates: > > * Segfault generates: > Under Linux, I get "Garbage collection fails to reclaim sufficient > space" for both of these. By tweaking the code a bit I was able to get GC messages, but the examples above crash. I suspect the crash is rather fragile - minor alternations like removing expressions that seemingly have no interaction fix this crash. I suspect it will be hard to replicate unless you use the actual binary from WinHugs. I have replicated this on my other Windows machine, with the same binaries, and the same result. Perhaps running this example under Valgrind will show up something? Thanks Neil From ross at soi.city.ac.uk Fri Apr 20 09:41:31 2007 From: ross at soi.city.ac.uk (Ross Paterson) Date: Fri Apr 20 09:39:35 2007 Subject: Crashing Hugs for fun and profit In-Reply-To: <404396ef0704200544r311a9252g50c43977c6279e72@mail.gmail.com> References: <404396ef0704191742i16d032bfnb06de75f08623e97@mail.gmail.com> <20070420114353.GB3786@soi.city.ac.uk> <404396ef0704200544r311a9252g50c43977c6279e72@mail.gmail.com> Message-ID: <20070420134131.GC3786@soi.city.ac.uk> On Fri, Apr 20, 2007 at 01:44:15PM +0100, Neil Mitchell wrote: > By tweaking the code a bit I was able to get GC messages, but the > examples above crash. I suspect the crash is rather fragile - minor > alternations like removing expressions that seemingly have no > interaction fix this crash. I suspect it will be hard to replicate > unless you use the actual binary from WinHugs. I wonder if this is related to the reason that optimization is turned off for certain files (search for "Modules to be compiled without optimization" in src/Makefile.in). During the static analysis and type checking phases, the mark phase of the Hugs garbage collector also looks for cells on the C stack (this is omitted during evaluation, because all the primitives are carefully written to ensure that everything is reachable from the Hugs stack). Optimization may obscure these cell references, which would certainly cause crashes. From ndmitchell at gmail.com Fri Apr 20 09:44:04 2007 From: ndmitchell at gmail.com (Neil Mitchell) Date: Fri Apr 20 09:41:59 2007 Subject: Crashing Hugs for fun and profit In-Reply-To: <20070420134131.GC3786@soi.city.ac.uk> References: <404396ef0704191742i16d032bfnb06de75f08623e97@mail.gmail.com> <20070420114353.GB3786@soi.city.ac.uk> <404396ef0704200544r311a9252g50c43977c6279e72@mail.gmail.com> <20070420134131.GC3786@soi.city.ac.uk> Message-ID: <404396ef0704200644v8b3a21cy792c86f1d7a30398@mail.gmail.com> Hi > I wonder if this is related to the reason that optimization is turned > off for certain files (search for "Modules to be compiled without > optimization" in src/Makefile.in). During the static analysis and type > checking phases, the mark phase of the Hugs garbage collector also looks > for cells on the C stack (this is omitted during evaluation, because > all the primitives are carefully written to ensure that everything is > reachable from the Hugs stack). Optimization may obscure these cell > references, which would certainly cause crashes. Oh, I had no idea that optimisation was turned off for certain files - with the Windows build its turned on for all files. I guess if something is that sensitive to optimisation, the Windows compiler could be doing anything to it... Thanks Neil From trac at galois.com Fri Apr 20 16:38:45 2007 From: trac at galois.com (Hugs) Date: Fri Apr 20 16:36:41 2007 Subject: [Hugs] #65: depth cutoff reports the wrong constraint In-Reply-To: <061.48b5a311704a50790dcf3ae6022ef413@localhost> References: <061.48b5a311704a50790dcf3ae6022ef413@localhost> Message-ID: <070.9d270d7677b859f424932792140f5719@localhost> #65: depth cutoff reports the wrong constraint --------------------------+------------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: closed Priority: major | Milestone: Component: type system | Version: 200609 Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by ross): * resolution: => fixed * status: new => closed Comment: Fixed by the patch {{{ Fri Apr 20 21:28:47 BST 2007 Ross Paterson * report the top-level goal when hitting the cutoff (fixes #65) }}} -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell From trac at galois.com Thu Apr 26 14:19:40 2007 From: trac at galois.com (Hugs) Date: Thu Apr 26 14:17:16 2007 Subject: [Hugs] #66: WinHugs should have a multi-line box for listing include paths Message-ID: <061.e44548f44fa0b05ba0e43d8580b5c641@localhost> #66: WinHugs should have a multi-line box for listing include paths ---------------------+------------------------------------------------------ Reporter: neil | Owner: neil Type: defect | Status: new Priority: minor | Milestone: Component: winhugs | Version: 200609 Keywords: | ---------------------+------------------------------------------------------ Currently, with WinHugs you have to specify all include paths in a single box which you can't see the end of. This is bad from a user interface perspective, and very hard to use correctly. -- Ticket URL: Hugs Hugs 98, an interpreter for Haskell