Re: loop performance bug
Hi again, A first hint is to never try to guess what kind of code ghc generates. If you're in need of performance you need to look at some lower level code. I recommend the -fext-core flag to produce external core, a sort-of-readable output of ghc's internal representation of the program. One can learn a lot from that. Although when I do I don't necessarily understand what I see! I see 'let' (ie allocating forms) where I would have hoped there would not be but it doesn't help me to figure out why the code I've written ends up producing allocations. Reading core programs can indeed be confusing and difficult. It's an art that has to be mastered. All I can say is that in situations like this it can be rewarding. I'm very much surprised that this program was slower than the one without arrays. You mean the one without lists. Yes :-) Since all lists are produced and consumed with good producers and consumers (as in section 7.10.3 in the User's Guide) they should really go away. This seems to be a real bug. This is what Simon M thought when I brought this up previously. He suggested I use explicit recursion (which I thought I was doing with my second version though it doesn't do much better!) And I suggest Simon M tries to fix ghc so that you don't have to write the program using explicit recursion :-) I was hoping that if the array reading was inlined that the calculation of the index would also be inlined and so the Pos constructor need never be allocated. I think this is a fair assumption. But apparently ghc doesn't remove the overhead. Maybe ghc's optimizer needs to be beefed up. BTW have you thought about picking up hIDE development again? I might go back to it after Gtk2Hs hits version 1.0 You're confusing me with Jonas Svensson. I don't blame you, it's an easy mistake to do if you're not a swede. So the answer is no, I'm not going to develop hIDE any further :-) I should mention though that there is a group of students here at Chalmers working on a Haskell IDE. I don't know the status of their project though. /Josef ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: FW: ghc, linux
I installed a very old version of GHC in the same laptop in 2001 and it was working well (no matter how big the program was). Now, I upgraded it to version 6.2.2, but it becomes very slow and asks more Memory or Space. I know, 64M memory is not big at all nowadays, but I don't think GHC should ask more than that and force me to throw away my old laptop -:). In fact, most of my work can be done within 64M except GHC. Yong On Monday 14 March 2005 11:11, Malcolm Wallace wrote: But if Main.hs is big, it will give me a message, Killed , after a long time running. PIII, 64M memory Anyone know what is going on here? The message Killed means your machine ran out of virtual memory. Since you have only 64M real memory, I would guess your virtual (=real+swap) memory is probably only about 128M? Ghc tends to need quite a lot of memory when compiling certain constructions - I can't offhand remember the details of which constructs give most trouble, but there were a few reports to the mailing list a while back. Solution: if you have a lot of other processes running on your machine, you could try shutting them off before running ghc. A few years ago I even needed to shutdown the X11 windowing environment and proceed using only a simple console, in order to free up enough virtual memory to compile a particularly large application. HTH, Malcolm ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
RE: GPF WinXP GHCi 6.4
This is caused by a clash between the new Win32 package and the old win32 package. The Windows installer contains both, but unfortunately they clash on the name of the libraries. I think the new Win32 library is ready to replace the old one (Ross?). If that's the case, Sigbjorn, would you mind re-rolling the installer without hslibs/win32? Thanks. Simon From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Nick MainSent: 12 March 2005 20:04To: glasgow-haskell-bugs@haskell.orgSubject: Bug: GPF WinXP GHCi 6.4 GHC 6.4 Final Release - tried the sample code for Graphics.HGL, i.e.module Main where { import Graphics.HGL; main :: IO (); main = runGraphics $ withWindow_ "Hello World Window" (300, 200) $ \ w - do drawInWindow w $ text (100, 100) "Hello World" drawInWindow w $ ellipse (100, 80) (200, 180) getKey w;}WindowsXP Home. First attempt in GHCi is as below. Retrying main causes a GPF error box.c:\tempghci Main ___ ___ _ / _ \ /\ /\/ __(_)/ /_\// /_/ / / | | GHC Interactive, version 6.4, for Haskell 98./ /_\\/ __ / /___| | http://www.haskell.org/ghc/\/\/ /_/\/|_| Type :? for help.Loading package base-1.0 ... linking ... done.Compiling Main ( Main.hs, interpreted )Ok, modules loaded: Main.*Main mainLoading package Win32-1.0 ... interactive: Not x86 PEi386ghc.exe: panic! (the `impossible' happened, GHC version 6.4): loadObj: failedPlease report it as a compiler bug to glasgow-haskell-bugs@haskell.org,or http://sourceforge.net/projects/ghc/.*Main mainLoading package Win32-1.0 ... linking ...c:\temp ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: GPF WinXP GHCi 6.4
On Tue, Mar 15, 2005 at 10:47:07AM -, Simon Marlow wrote: This is caused by a clash between the new Win32 package and the old win32 package. The Windows installer contains both, but unfortunately they clash on the name of the libraries. I think the new Win32 library is ready to replace the old one (Ross?). The System part seems to work OK, but On Fri, 11 Feb 2005 at 09:33:05 -, Simon Marlow wrote: If I compile with -threaded, then the HelloWorld program pops up a window, but the cursor is an hour glass and it doesn't do anything else. The other two either hang, or if I use -threaded they re-enter the scheduler. which I take as a no. I suspect it just needs one big push from a Windows expert. ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
RE: FW: ghc, linux
On 14 March 2005 16:04, Yong Luo wrote: I installed a very old version of GHC in the same laptop in 2001 and it was working well (no matter how big the program was). Now, I upgraded it to version 6.2.2, but it becomes very slow and asks more Memory or Space. I know, 64M memory is not big at all nowadays, but I don't think GHC should ask more than that and force me to throw away my old laptop -:). In fact, most of my work can be done within 64M except GHC. I'm afraid, GHC has become a bit more of a hog recently due to lack of attention in the performance department. I hope we'll be able to improve things for later 6.4 patchlevels. Cheers, Simon ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
RE: GPF WinXP GHCi 6.4
On 15 March 2005 10:58, Ross Paterson wrote: On Tue, Mar 15, 2005 at 10:47:07AM -, Simon Marlow wrote: This is caused by a clash between the new Win32 package and the old win32 package. The Windows installer contains both, but unfortunately they clash on the name of the libraries. I think the new Win32 library is ready to replace the old one (Ross?). The System part seems to work OK, but On Fri, 11 Feb 2005 at 09:33:05 -, Simon Marlow wrote: If I compile with -threaded, then the HelloWorld program pops up a window, but the cursor is an hour glass and it doesn't do anything else. The other two either hang, or if I use -threaded they re-enter the scheduler. which I take as a no. I suspect it just needs one big push from a Windows expert. We need a quick solution for 6.4. Should the new Win32 library be removed, and presumably HGL too? They can come back in 6.4.1 or as Cabal packages. Cheers, Simon ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: GPF WinXP GHCi 6.4
On Tue, Mar 15, 2005 at 11:37:48AM -, Simon Marlow wrote: We need a quick solution for 6.4. Should the new Win32 library be removed, and presumably HGL too? They can come back in 6.4.1 or as Cabal packages. Removing them both would be the quick solution, though HGL should be retained for X11 systems, where it works fine. ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
url problem, missing GLUT, and building package ghc
perhaps some items got lost from my last mail: - url problem on http://www.haskell.org/ghc/ Mailing Lists points to non-existent http://www.haskell.org/ghc/docs/latest/html/users_guide/introduction-ghc.html#MAILING-LISTS-GHC - missing GLUT the building guide might want to mention that one has to add GLUT to the MSYS (in section 13.4), or configure will exclude the corresponding package from the build. in particular, the ghc 6.4 msi bundle I got seems to lack the GLUT-2.0 package - package ghc I now seem to have a ghc from cvs head, and a package ghc in ghc/compiler. From Simon's comment, it seems that trying to build the package will not depend on a compiler build, so the package is presumably built with the pre-installed ghc (6.4), but from the sources of the cvs head. Is that correct, meaning that I should register the package with the pre-installed ghc? Cheers, Claus old message: http://www.haskell.org//pipermail/glasgow-haskell-bugs/2005-March/004778.html ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
RE: more GADT surprises
Thanks. Both this and your earlier message are fixed in the HEAD; and tests added. Keep them coming Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:glasgow-haskell-bugs- | [EMAIL PROTECTED] On Behalf Of Andres Loeh | Sent: 15 March 2005 13:45 | To: glasgow-haskell-bugs@haskell.org | Subject: more GADT surprises | | Surprisingly, the attached Haskell module loads successfully in ghci-6.4: | | Ok, modules loaded: Main. | *Main :t A | A :: A | *Main :t B | B :: B [] | *Main :t B' | B' :: B [Int] | *Main [B,B'] | ghc-6.4: panic! (the `impossible' happened, GHC version 6.4): | Unify.unifyTauTyLists: mismatched type lists! | | Please report it as a compiler bug to | glasgow-haskell-bugs@haskell.org, | or http://sourceforge.net/projects/ghc/. | | | Best, | Andres ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[ ghc-Bugs-1163018 ] Profiling broken under windows for ghc-6.4?
Bugs item #1163018, was opened at 2005-03-14 14:16 Message generated for change (Comment added) made by simonpj You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1163018group_id=8032 Category: Profiling Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Profiling broken under windows for ghc-6.4? Initial Comment: If I compile a program with -prof -auto-all every start of the program results in an popup that informs me of a security break and program termination. My email is [EMAIL PROTECTED] Attached is a copy of what Dr. Watson records. -- Comment By: Simon Peyton Jones (simonpj) Date: 2005-03-15 15:51 Message: Logged In: YES user_id=50165 I've just installed GHC 6.4 from the download site, and compiled hello-world with it, with -prof -auto-all. Works fine. So I can't reproduce your problem. Perhaps you can upload a particular failing program? Or try on a different machine? Has anyone else seen this? -- You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1163018group_id=8032 ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[ ghc-Bugs-1161624 ] Scoping error in lambda expressions in arrow code
Bugs item #1161624, was opened at 2005-03-11 20:17 Message generated for change (Comment added) made by simonpj You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1161624group_id=8032 Category: Compiler Group: 6.2.2 Status: Closed Resolution: Fixed Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Scoping error in lambda expressions in arrow code Initial Comment: GHC 6.2.2 with the -farrows switch erroneously reports errors when lambda expressions appear in commands. The error looks like the following: Command-bound variable `y' is not in scope here Reason: it is used in the left argument of (-) This will produce the error: foo = proc x - arr (\y - y-1) - x This will not produce the error: bar = (\y - y-1) foo = proc x - arr bar - x Email: [EMAIL PROTECTED] -- Comment By: Simon Peyton Jones (simonpj) Date: 2005-03-15 16:06 Message: Logged In: YES user_id=50165 Ralf Paterson has fixed this (in the HEAD) Thanks for the report -- You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1161624group_id=8032 ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Object IO problem
Are there any Object-IO folk out there who'd like to fix (or otherwise resolve) this sourceforge bug? https://sourceforge.net/tracker/index.php?func=detailaid=1145315group_ id=8032atid=108032 Simon Problem 1: When using the ObjectIO library, setting the view domain of a compund control does not correctly adjust the min/max settings of the corresponding scroll-sliders. Problem 2: When trying to work around this bug, it turns out that you can only set the scroll function for Horizontal scrolling but not for Vertical scrolling. Do you need an example programs for the bugs? [SLPJ: yes, pls upload an example] ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[ ghc-Bugs-1163018 ] Profiling broken under windows for ghc-6.4?
Bugs item #1163018, was opened at 2005-03-14 15:16 Message generated for change (Comment added) made by andreas-haskell You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1163018group_id=8032 Category: Profiling Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Profiling broken under windows for ghc-6.4? Initial Comment: If I compile a program with -prof -auto-all every start of the program results in an popup that informs me of a security break and program termination. My email is [EMAIL PROTECTED] Attached is a copy of what Dr. Watson records. -- Comment By: Andreas (andreas-haskell) Date: 2005-03-15 21:38 Message: Logged In: YES user_id=1239874 Hi! I just downloaded ghc-6.4 again and installed it again. I also installed it in an VMWare. The operating system is win2k with service pack 4. Both time even the Hallo world program crashed. Any help welcome. Thanks, Andreas PS: My program is: main :: IO () main = do putStr Hello World! and the resulting entry in the Dr. Watson log is: Anwendungsausnahme aufgetreten: Anwendung: (pid=492) Wann: 15.03.05 @ 21:26:55.454 Ausnahmenummer: c005 (Zugriffsverletzung) * Systeminformationen * Computername: WORKATHOME Benutzername: Administrator Prozessoranzahl: 1 Prozessortyp: x86 Family 6 Model 7 Stepping 1 Windows 2000-Version: 5.0 Aktuelles Build: 2195 Service Pack: 4 Aktueller Typ: Uniprocessor Free Firma: Besitzer: * Taskliste * 0 Idle.exe 8 System.exe 136 smss.exe 164 csrss.exe 184 winlogon.exe 212 services.exe 224 lsass.exe 404 svchost.exe 432 SPOOLSV.exe 464 svchost.exe 488 mdm.exe 544 regsvc.exe 568 mstask.exe 620 winmgmt.exe 648 svchost.exe 296 explorer.exe 780 rundll32.exe 972 atiptaxx.exe 980 winampa.exe 992 realsched.exe 1020 CTFMON.exe 1080 taskmgr.exe 748 msiexec.exe 996 cmd.exe 492 main.exe 532 drwtsn32.exe 0 _Total.exe (0040 - 00469000) (7788 - 77901000) (77E7 - 77F36000) (7800 - 78045000) (77E0 - 77E65000) (77F4 - 77F7C000) (74FC - 74FC9000) (74FA - 74FB4000) (7935 - 793B2000) (77D2 - 77D91000) (74F9 - 74F98000) (6C92 - 6C928000) (664B - 66504000) Statusabbild für Threadkennung 0x29c eax=00445e54 ebx=0044b3c8 ecx=00445e54 edx= esi=00446590 edi=00ac108c eip= esp=0022dec0 ebp=00abf384 iopl=0 nv up ei pl nz na po nc cs=001b ss=0023 ds=0023 es=0023 fs=0038 gs= efl=0206 Funktion: nosymbols FEHLER - ??? 0001 ??? 0002 ??? 0003 ??? * Stack Back Trace * FramePtr ReturnAd Param#1 Param#2 Param#3 Param#4 Function Name 0022DEBC 0001 0001 !nosymbols * Raw Stack Dump * 0022dec0 00 00 00 00 01 00 00 00 - 01 00 00 00 00 00 00 00 0022ded0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dee0 01 00 00 00 00 00 00 00 - 01 00 00 00 00 00 00 00 0022def0 00 00 00 00 84 50 44 00 - 05 00 00 00 00 00 00 00 .PD. 0022df00 00 00 00 00 84 50 44 00 - 00 00 00 00 00 00 00 00 .PD. 0022df10 00 00 00 00 00 00 00 00 - 64 17 40 00 00 00 00 00 [EMAIL PROTECTED] 0022df20 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df30 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df40 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df50 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df60 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df70 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df80 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df90 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfa0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfb0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfc0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfd0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfe0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dff0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 Statusabbild für Threadkennung 0x17c eax= ebx=10afff44 ecx=0101 edx= esi=77894086 edi=03b4 eip=77894091 esp=10afff28 ebp=10afff4c iopl=0 nv up ei ng nz ac po cy cs=001b ss=0023 ds=0023 es=0023 fs=0038 gs= efl=0297 Funktion: ZwWaitForSingleObject 77894086 b8ea00 mov
[ ghc-Bugs-1163018 ] Profiling broken under windows for ghc-6.4?
Bugs item #1163018, was opened at 2005-03-14 15:16 Message generated for change (Comment added) made by andreas-haskell You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1163018group_id=8032 Category: Profiling Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Profiling broken under windows for ghc-6.4? Initial Comment: If I compile a program with -prof -auto-all every start of the program results in an popup that informs me of a security break and program termination. My email is [EMAIL PROTECTED] Attached is a copy of what Dr. Watson records. -- Comment By: Andreas (andreas-haskell) Date: 2005-03-15 21:48 Message: Logged In: YES user_id=1239874 Forget to mention: I also compiled with ghc -prof -auto-all again. Sorry, Andreas -- Comment By: Andreas (andreas-haskell) Date: 2005-03-15 21:38 Message: Logged In: YES user_id=1239874 Hi! I just downloaded ghc-6.4 again and installed it again. I also installed it in an VMWare. The operating system is win2k with service pack 4. Both time even the Hallo world program crashed. Any help welcome. Thanks, Andreas PS: My program is: main :: IO () main = do putStr Hello World! and the resulting entry in the Dr. Watson log is: Anwendungsausnahme aufgetreten: Anwendung: (pid=492) Wann: 15.03.05 @ 21:26:55.454 Ausnahmenummer: c005 (Zugriffsverletzung) * Systeminformationen * Computername: WORKATHOME Benutzername: Administrator Prozessoranzahl: 1 Prozessortyp: x86 Family 6 Model 7 Stepping 1 Windows 2000-Version: 5.0 Aktuelles Build: 2195 Service Pack: 4 Aktueller Typ: Uniprocessor Free Firma: Besitzer: * Taskliste * 0 Idle.exe 8 System.exe 136 smss.exe 164 csrss.exe 184 winlogon.exe 212 services.exe 224 lsass.exe 404 svchost.exe 432 SPOOLSV.exe 464 svchost.exe 488 mdm.exe 544 regsvc.exe 568 mstask.exe 620 winmgmt.exe 648 svchost.exe 296 explorer.exe 780 rundll32.exe 972 atiptaxx.exe 980 winampa.exe 992 realsched.exe 1020 CTFMON.exe 1080 taskmgr.exe 748 msiexec.exe 996 cmd.exe 492 main.exe 532 drwtsn32.exe 0 _Total.exe (0040 - 00469000) (7788 - 77901000) (77E7 - 77F36000) (7800 - 78045000) (77E0 - 77E65000) (77F4 - 77F7C000) (74FC - 74FC9000) (74FA - 74FB4000) (7935 - 793B2000) (77D2 - 77D91000) (74F9 - 74F98000) (6C92 - 6C928000) (664B - 66504000) Statusabbild für Threadkennung 0x29c eax=00445e54 ebx=0044b3c8 ecx=00445e54 edx= esi=00446590 edi=00ac108c eip= esp=0022dec0 ebp=00abf384 iopl=0 nv up ei pl nz na po nc cs=001b ss=0023 ds=0023 es=0023 fs=0038 gs= efl=0206 Funktion: nosymbols FEHLER - ??? 0001 ??? 0002 ??? 0003 ??? * Stack Back Trace * FramePtr ReturnAd Param#1 Param#2 Param#3 Param#4 Function Name 0022DEBC 0001 0001 !nosymbols * Raw Stack Dump * 0022dec0 00 00 00 00 01 00 00 00 - 01 00 00 00 00 00 00 00 0022ded0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dee0 01 00 00 00 00 00 00 00 - 01 00 00 00 00 00 00 00 0022def0 00 00 00 00 84 50 44 00 - 05 00 00 00 00 00 00 00 .PD. 0022df00 00 00 00 00 84 50 44 00 - 00 00 00 00 00 00 00 00 .PD. 0022df10 00 00 00 00 00 00 00 00 - 64 17 40 00 00 00 00 00 [EMAIL PROTECTED] 0022df20 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df30 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df40 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df50 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df60 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df70 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df80 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022df90 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfa0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfb0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfc0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfd0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dfe0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 0022dff0 00 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 Statusabbild für Threadkennung 0x17c eax= ebx=10afff44 ecx=0101 edx=
[ ghc-Bugs-1145315 ] ObjectIO-Lib: Problem scrolling compund control
Bugs item #1145315, was opened at 2005-02-21 20:20 Message generated for change (Comment added) made by mjthomas You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1145315group_id=8032 Category: libraries (other) Group: None Status: Open Resolution: None Priority: 5 Submitted By: Brassel (brassel) Assigned to: Nobody/Anonymous (nobody) Summary: ObjectIO-Lib: Problem scrolling compund control Initial Comment: Problem 1: When using the ObjectIO library, setting the view domain of a compund control does not correctly adjust the min/max settings of the corresponding scroll-sliders. Problem 2: When trying to work around this bug, it turns out that you can only set the scroll function for Horizontal scrolling but not for Vertical scrolling. Do you need an example programs for the bugs? -- Comment By: Mike Thomas (mjthomas) Date: 2005-03-16 10:45 Message: Logged In: YES user_id=492249 Yes, example programs exhibiting these problems would be a great start. We'll look into them, hopefully in the coming fortnight. Cheers Mike Thomas -- You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1145315group_id=8032 ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
RE: Object IO problem
Hi Simon. | Are there any Object-IO folk out there who'd like to fix (or otherwise | resolve) this sourceforge bug? | | https://sourceforge.net/tracker/index.php?func=detailaid=1145315group_ | id=8032atid=108032 I've posted a reply asking for examples and hopefully will get to the issue within the next fortnight (unless Krasimir gets there first). I'm curious about who is actually using ObjectIO. Anyone? Cheers Mike Thomas. ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[ ghc-Bugs-1164178 ] ghci fails to start, no GHCziBase_ZC_con_info
Bugs item #1164178, was opened at 2005-03-15 19:23 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1164178group_id=8032 Category: GHCi Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: ghci fails to start, no GHCziBase_ZC_con_info Initial Comment: I ([EMAIL PROTECTED]) installed GHC 6.2.2 on a 9.1 SuSE linux box and used ghc to compile a hello world test program. That worked. When I attempt to start ghci, the following happened, preventing ghci from ever starting: I already tried the libreadline hack and that didn't help. ghci -v ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.2.2, for Haskell 98. / /_\/ __ / /___| | http://www.haskell.org/ghc/ \/\/ /_/\/|_| Type :? for help. Glasgow Haskell Compiler, Version 6.2.2, for Haskell 98, compiled by GHC version 5.04.3 Using package config file: /usr/local/unison/lib/ghc-6.2.2/package.conf Packages Package {name = data, auto = False, import_dirs = [/usr/local/unison/lib/ghc-6.2.2/hslibs-imports/data], source_dirs = [], library_dirs = [/usr/local/unison/lib/ghc-6.2.2], hs_libraries = [HSdata], extra_libraries = [], include_dirs = [], c_includes = [], package_deps = [haskell98, lang, util], extra_ghc_opts = [], extra_cc_opts = [], extra_ld_opts = [], framework_dirs = [], extra_frameworks = []} Package {name = rts, auto = False, import_dirs = [], source_dirs = [], library_dirs = [/usr/local/unison/lib/ghc-6.2.2], hs_libraries = [HSrts], extra_libraries = [m, gmp, dl], include_dirs = [/usr/local/unison/lib/ghc-6.2.2/include], c_includes = [Stg.h], package_deps = [], extra_ghc_opts = [], extra_cc_opts = [], extra_ld_opts = [-u, GHCziBase_Izh_static_info, -u, GHCziBase_Czh_static_info, -u, GHCziFloat_Fzh_static_info, -u, GHCziFloat_Dzh_static_info, -u, GHCziPtr_Ptr_static_info, -u, GHCziWord_Wzh_static_info, -u, GHCziInt_I8zh_static_info, -u, GHCziInt_I16zh_static_info, -u, GHCziInt_I32zh_static_info, -u, GHCziInt_I64zh_static_info, -u, GHCziWord_W8zh_static_info, -u, GHCziWord_W16zh_static_info, -u, GHCziWord_W32zh_static_info, -u, GHCziWord_W64zh_static_info, -u, GHCziStable_StablePtr_static_info, -u, GHCziBase_Izh_con_info, -u, GHCziBase_Czh_con_info, -u, GHCziFloat_Fzh_con_info, -u, GHCziFloat_Dzh_con_info, -u, GHCziPtr_Ptr_con_info, -u, GHCziPtr_FunPtr_con_info, -u, GHCziStable_StablePtr_con_info, -u, GHCziBase_False_closure, -u, GHCziBase_True_closure, -u, GHCziPack_unpackCString_closure, -u, GHCziIOBase_stackOverflow_closure, -u, GHCziIOBase_heapOverflow_closure, -u, GHCziIOBase_NonTermination_closure, -u, GHCziIOBase_BlockedOnDeadMVar_closure, -u, GHCziIOBase_Deadlock_closure, -u, GHCziWeak_runFinalizzerBatch_closure, -u, __stginit_Prelude], framework_dirs = [], extra_frameworks = []} Package {name = base, auto = True, import_dirs = [/usr/local/unison/lib/ghc-6.2.2/imports], source_dirs = [], library_dirs = [/usr/local/unison/lib/ghc-6.2.2], hs_libraries = [HSbase], extra_libraries = [HSbase_cbits], include_dirs = [], c_includes = [HsBase.h], package_deps = [rts], extra_ghc_opts = [], extra_cc_opts = [], extra_ld_opts = [], framework_dirs = [], extra_frameworks = []} Package {name = haskell98, auto = True, import_dirs = [/usr/local/unison/lib/ghc-6.2.2/imports], source_dirs = [], library_dirs = [/usr/local/unison/lib/ghc-6.2.2], hs_libraries = [HShaskell98], extra_libraries = [], include_dirs = [], c_includes = [], package_deps = [base], extra_ghc_opts = [], extra_cc_opts = [], extra_ld_opts = [], framework_dirs = [], extra_frameworks = []} Package {name = haskell-src, auto = True, import_dirs = [/usr/local/unison/lib/ghc-6.2.2/imports], source_dirs = [], library_dirs = [/usr/local/unison/lib/ghc-6.2.2], hs_libraries = [HShaskell-src], extra_libraries = [], include_dirs = [], c_includes = [], package_deps = [base, haskell98], extra_ghc_opts = [],
RE: [Haskell] RE: ANNOUNCE: GHC version 6.4
On 14 March 2005 18:08, Cale Gibbard wrote: 4. It looks like Data.FiniteMap has been renamed Data.Map, or something. There's no Data.Map at http://haskell.org/haddock/libraries/, do these need to be updated? The right place for library documentation is http://haskell.org/ghc/docs/latest/html/libraries I should probably make the version you're looking at into a link to avoid confusion. Data.Map appears to be broken from there too. I get some sort of page with a menu as if the html file is a directory containing only the items HTML and using both of which are broken links, and then [an internal server error occured]. Fixed; it turns out that Apache was trying to interpret a file with a .map extension differently. Cheers, Simon ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
RE: [Haskell] RE: ANNOUNCE: GHC version 6.4
On 15 March 2005 00:46, Sebastian Sylvan wrote: I'm having trouble building this. I download the source, go to my source dir and run ./configure (which seems to run to completion without problems), then I run make and get the following: ./mk/config.mk, line 554: Need an operator ./mk/config.mk, line 554: Need an operator . Error expanding embedded variable This is on freeBSD 5.3 You need to use 'gmake' (GNU make). Cheers, Simon ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
How can I make a counter without Monad?
Greetings, In a program, I want to give a unique name to some structures. As it is the only imperative thing I need, I don't want to use a monad. I have played with two solutions and have some questions : * unsafePerformIO : I create a counter : counter :: IORef Int counter = unsafePerformIO (newIORef 0) {-# NOINLINE counter #-} and a function to give a unique name: newNode a = unsafePerformIO $ do i - readIORef counter writeIORef counter (i+1) return (i,a) {-# NOINLINE newNode #-} I now want to write a function : foo a = let n = newNode a in (n,n) How can I make sure ghc won't reduce it to foo a = (newNode a, newNode a) ? * linear implicit parameters instance Splittable Int where split n = (2*n,2*n+1) But I have a problem : the counter value increases exponentially. (I can only count up to 32 elements...) Is there another way to split Int? Are there other ways to implement a counter in Haskell? Thanks for your help, Best regards, Nicolas Oury ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
ghc-pkg too happy to create ~/.ghc
Hi, The Debian autobuilders don't let you write to ~ (which seems reasonable, as they are only compiling the software, not running it), so my builds are failing with -- ==fptools== /usr/bin/make boot -wr; in /build/buildd/ghc6-6.4/ghc/rts [...] ../utils/ghc-pkg/ghc-pkg-inplace --force --update-package package.conf.inplace Creating user package database in /org/buildd/.ghc/sparc-linux-6.4/package.conf Fail: createDirectory: permission denied (Permission denied) -- The patch below fixes it. I'm not sure I understand why the code is written as it is, though. It looks to me like if any config file given by a FlagConfig is missing then the readFile in readParseDatabase is going to fall over. I don't know what should happen when modifying if there are -f options, so can't suggest a complete replacement. Thanks Ian --- ghc6-6.4.orig/ghc/utils/ghc-pkg/Main.hs +++ ghc6-6.4/ghc/utils/ghc-pkg/Main.hs @@ -269,10 +269,6 @@ archdir = appdir `joinFileName` subdir user_conf = archdir `joinFileName` package.conf b - doesFileExist user_conf - when (not b) $ do - putStrLn (Creating user package database in ++ user_conf) - createDirectoryIfMissing True archdir - writeFile user_conf emptyPackageConfig let -- The semantics here are slightly strange. If we are @@ -281,20 +277,23 @@ -- If we are not modifying (eg. list, describe etc.) then -- the user database is included by default. databases - | modify = foldl addDB [global_conf] flags - | not modify = foldl addDB [user_conf,global_conf] flags + | modify || not b = foldl addDB [global_conf] flags + | not modify = foldl addDB [user_conf,global_conf] flags -- implement the following rules: -- --user means overlap with the user database -- --global means reset to just the global database -- -f file means overlap with file - addDB dbs FlagUser = if user_conf `elem` dbs - then dbs - else user_conf : dbs + addDB dbs FlagUser +| (modify || b) (user_conf `notElem` dbs) = user_conf : dbs addDB dbs FlagGlobal = [global_conf] addDB dbs (FlagConfig f) = f : dbs addDB dbs _ = dbs + when (not b user_conf `elem` databases) $ do + putStrLn (Creating user package database in ++ user_conf) + createDirectoryIfMissing True archdir + writeFile user_conf emptyPackageConfig db_stack - mapM readParseDatabase databases return db_stack ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
alpha problems with ghc 6.4
Hi, An alpha build of ghc 6.4 quickly fails because of the #if alpha_TARGET_ARCH import PrimRep ( getPrimRepSize, isFloatingRep ) import Type ( typePrimRep ) #endif in ghc/compiler/typecheck/TcForeign.lhs which no longer exist. Fortunately, the imported functions aren't used either. Unfortunately, the build then fails when it comes to try to compile this same file as the typeMachRepRep function, used in this piece of code: \begin{code} #include nativeGen/NCG.h #if alpha_TARGET_ARCH checkFEDArgs arg_tys = check (integral_args = 32) err where integral_args = sum [ machRepByteWidth rep | (rep,hint) - map typeMachRepRep arg_tys, hint /= FloatHint ] err = ptext SLIT(On Alpha, I can only handle 4 non-floating-point arguments to foreign export dynamic) #else checkFEDArgs arg_tys = returnM () #endif \end{code} doesn't exist. Is this fixable? Thanks Ian ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: How can I make a counter without Monad?
On Wed, Mar 16, 2005 at 01:17:51AM +0100, Nicolas Oury wrote: Greetings, In a program, I want to give a unique name to some structures. As it is the only imperative thing I need, I don't want to use a monad. You don't want to use the IO monad. Why not use some other monad? I have played with two solutions and have some questions : * unsafePerformIO : This is asking for trouble. You are using an IO monad in an unsafe way. Don't do it. * linear implicit parameters [...] Are there other ways to implement a counter in Haskell? Using a State monad? From some of my code: let enumeratedTree = (`evalState` (0::Int)) $ (`mapTreeM` t) $ \x - do n - next return (n, x) next = do a - get; put $! succ a; return a where mapTreeM :: Monad m = (a - m b) - Tree a - m (Tree b) mapTreeM f (Node a ts) = do b - f a ts' - mapM (mapTreeM f) ts return (Node b ts') (which could also be an instance of a popular non-standard FunctorM class) Best regards Tomasz ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
[Haskell] Re: ANNOUNCE: GHC version 6.4
Sebastian Sylvan [EMAIL PROTECTED] schrieb: I'm having trouble building this. I download the source, go to my source dir and run ./configure (which seems to run to completion without problems), then I run make and get the following: ./mk/config.mk, line 554: Need an operator ./mk/config.mk, line 554: Need an operator . Error expanding embedded variable This is on freeBSD 5.3 It looks like you have had more luck than me. I could not get configure finish correctly till now. The above error indicates the wrong make program. Try gmake (GNU make) instead. -- Dipl.-Math. Wilhelm Bernhard Kloke Institut fuer Arbeitsphysiologie an der Universitaet Dortmund Ardeystrasse 67, D-44139 Dortmund, Tel. 0231-1084-257 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
RE: [Haskell] RE: ANNOUNCE: GHC version 6.4
On 14 March 2005 18:08, Cale Gibbard wrote: 4. It looks like Data.FiniteMap has been renamed Data.Map, or something. There's no Data.Map at http://haskell.org/haddock/libraries/, do these need to be updated? The right place for library documentation is http://haskell.org/ghc/docs/latest/html/libraries I should probably make the version you're looking at into a link to avoid confusion. Data.Map appears to be broken from there too. I get some sort of page with a menu as if the html file is a directory containing only the items HTML and using both of which are broken links, and then [an internal server error occured]. Fixed; it turns out that Apache was trying to interpret a file with a .map extension differently. Cheers, Simon ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Cfp : ICSM 2005 submission deadline extension
We would like to inform you that the submission deadline for research papers for ICSM 2005, the 21st IEEE International Conference on Software Maintenance has been extended from March 21, 2005 to Sunday, April 3, 2005 - 12.00 PM. This new date will be the final deadline, so submissions after this date cannot be accepted for the reviewing process. Research papers should describe original and significant work in the research and practice of software maintenance and evolution. Case studies, empirical research, and well-designed experiments are particularly welcome. Research papers must not exceed 10 pages in final printed form. Submit to http://www.rcost.unisannio.it/~icsm2005papers by 3 April 2005. The 21st IEEE International Conference on Software Maintenance (ICSM 2005), with associated SCAM, STEP, VISSOFT, WSE and Evolvability will be held 25-30 September 2005 in Budapest, Hungary. It is the world's major international conference for software and systems maintenance, evolution, and management. We invite Research Papers, Industrial Applications, Panels, Tool Demonstrations, Dissertation Forum, and Tutorials. There will be special sections of IEEE Transactions on Software Engineering and Journal of Software Maintenance and Evolution featuring selected papers of the conference. The submission deadline for Research Papers is 3 April 2005 and for all other presentations 30 April 2005. More information including the Call for Papers is available at the conference website: http://www.inf.u-szeged.hu/icsm2005 Sincerely, Tibor Gyimothy and Vaclav Rajlich Program Co-Chairs ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] [ICAPS 2005] Workshop The Role of Ontologies in AI Planning and Scheduling - Extended Deadline
ICAPS 2005 Workshop Call for Papers -- E X T E N D E D D E A D L I N E S New date for subissions: MARCH 21ST Workshop on The Role of Ontologies in AI Planning and Scheduling http://decsai.ugr.es/~faro/workshop/Workshop.htm ICAPS 2005 - The International Conference on Automated Planning Scheduling June 5-10, 2005, Monterey, California, U.S.A. http://icaps05.icaps-conference.org/ == Overview == Ontologies are becoming increasingly important in several AI fields (such as knowledge management and integration, cooperative problem solving, knowledge acquisition and knowledge-based systems, e-commerce and the Semantic Web) and, at present, there is also an increasing interest about their use in Planning and Scheduling (PS) systems. In the field of PS ontologies allow , on the one hand, knowledge exchange between intelligent processes (performed both by humans and other intelligent systems) in real world applications. On the other hand they allow to describe more complex domains and problems, since they are based on very rich representation languages (for example, semantic web languages as RDF, OWL,OWL-S). These languages are more expressive than those presently used in PS, since they use the Open World Assumption rather than the planner-friendly Closer World Assumption. However, they are really ``static'' languages and do not include (generally) knowledge about states and state change, what prevents their ``direct'' application in current PS systems. In any case, the way the use of ontologies and such languages impact the field of AI PS needs to be investigated. In summary, the integration between ontologies and PS techniques is demanding more attention both from theorists and practitioners, and there are many different approaches in the literature on this issue. Therefore, one of the main topics of this workshop will be the study of the benefits that an ontology-based knowledge representation could bring into current PS technologies. = Scope The goal of the workshop consists in trying to understand and discuss different ways of integration between ontologies techniques and intelligent planning. This can be seen as a different, general approach to bridge the gap that currently exists between the very efficient PS technology and its application to real world. Papers submitted should either present theoretical / practical work or report experiences with applications (describing projects or applications, the difficulties they had to overcome, some lessons learned, etc.) on the following topics: * Definition of planning ontologies that overcome drawbacks detected on the real application of standard planning languages (such as PDDL) * Use of ontologies as the basis for knowledge exchange between different components of intelligent systems, where planning is a core technology * Planning applications that use ontology concepts for their development * Integration of ontology editing tools with planning systems * Deriving planning domain models from existing ontological knowledge * Planning and Scheduling ontologies for the Semantic Web - Ontologies for web services discovery and composition - Ontologies for the definition of ubiquitous services = Workshop format = The workshop will be structured to allow ample time for discussion and interactions, with the following format: * An invited talk will be given by a person with recognized experience in the interdisciplinary field of ``Ontologies applied to Planning and Scheduling''. * In order to foster interaction, selected papers accepted by the program committee will be coupled with commentaries aimed at raising different, complementary or possibly opposing viewpoints. = Important dates = * Deadline for submission of papers: Mars 21st, 2005 * Notification of acceptance/rejection: April 11th, 2005 * Deadline for receipt of camera-ready copy: Mars 18th, 2005 * Whorkshop date: June 6 or 7, 2005 == Organizing committee = Workshop Chairs --- Eva Onaindía, Technical University of Valencia, [EMAIL PROTECTED] Juan Fdez-Olivares, University of Granada, [EMAIL PROTECTED] Program Committee - * Jose Luis Ambite, University of Southern California (USA) * Jim Blythe, University of Southern California (USA) * Luis Castillo, University of Granada (Spain) * Lee McCluskey, University of Huddersfield (U.K.) * Christoph Lenzen, German Space Operation Center (Germany) * Falk Mrowka, German Space Operation Center (Germany) * Angelo Oddi, ISTC-CNR (Italy) *
[Haskell] [ICAPS 2005] Workshop Plan Execution: A Reality Check - Extended Deadline
Plan Execution: A Reality Check Bridging the gap between plans and their execution. A workshop held in conjunction with The 15th International Conference on Planning and Scheduling ICAPS 2005 Monterey, California, USA. Planning for realistic domains presents a varied set of challenges. Key among those challenges is understanding and representing the execution time behavior of the generated plans. Recent experiences in designing and deploying planning systems provide significant insight into the execution of plans generated by automated planners. This experience strongly suggests the presence of a gap between how plan execution is treated in the plan generation process, and what happens when the resulting plan is actually executed. For automated planning systems to be successful in the real world, it is essential that the nature of this gap be understood and some techniques for bridging it be developed. Some of the relevant issues include the following questions: 1. Is there a fundamental problem in our understanding of what planning is versus what execution is? 2. What is the range of possible semantics for execution? Are current domain modeling languages adequate to the task of representing execution? 3. How do planning systems fit architecturally with executives and hardware controllers? What are the strengths and weaknesses of current implementations,and where is more work needed? 4. How do planners cope with the mismatch between their representation of the domain and reality? (in terms of time latency, inaccuracies in modeling etc..) Is there a fundamental difference between how this prediction uncertainty is handled in control, and how it should be handled for planning? 5. What tools and practices may be adopted to bridge the gap? What can we learn from case studies, deployment experiences and other associated areas (such as hybrid controller design, real-time controls etc). This workshop will bring together researchers who are working on answering these questions to discuss these issues as well as real systems that are under development. Those wishing to attend are encouraged to submit either a long paper of up to 8 pages in AAAI format, or a short position paper of up to 3 pages. Please email pdf or ps versions of the papers to sailesh at email.arc.nasa.gov Important Dates: Submissions due: March 21, 2005. Notifications of acceptance: April 11, 2005 Camera-ready copy due: April 18, 2005. Organizing Committee: Michael Beetz, Technical University Munich. Gautam Biswas, Vanderbilt University. Mark Boddy, Adventium Labs. Felix Ingrand, LAAS. Nicola Muscettola, NASA Ames. Issa A. D. Nesnas, JPL. Sailesh Ramakrishnan, QSS Group Inc, NASA Ames. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] LPNMR'05: Submission Deadline Approaching
[Apologies if you receive this more than once] Call for Papers 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05) Diamante, Cosenza, Italy September 5-8, 2005 http://www.mat.unical.it/lpnmr05/ LPNMR'05 is the eighth in the series of international meetings on logic programming and nonmonotonic reasoning. Seven previous meetings were held in Washington, D.C., (1991), in Lisbon, Portugal (1993), in Lexington, Kentucky (1995), in Dagstuhl, Germany (1997), in El Paso, Texas (1999), in Vienna, Austria (2001), and in Fort Lauderdale, Florida (2004). LPNMR'05 will be organized by the Department of Mathematics of University of Calabria (Italy), and will be co-located with the INFOMIX Workshop on Data Integration. The proceedings of the conference will be published by Springer - Lecture Notes in Artificial Intelligence series (to be verified). AIMS AND SCOPE -- LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the conference is to facilitate interactions between researchers interested in the design and implementation of logic based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass these theoretical and exprimental studies that lead to the construction of practical systems for declarative programming and knowledge representation. Authors are invited to submit papers presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage papers on application of LPNMR techniques to build significant applications. A non-exhaustive list of topics of interest includes: 1. Development and mathematical studies of logical systems with nonmonotonic entailment relations: - Semantics of new and existing languages; - Relationships between formalisms; - Complexity and expressive power; - Development of inference algorithms and search heuristics for LPNMR systems; - Extensions of ''classical'' LPNMR languages by new logical connectives and new inference capabilities such as abduction, reasoning by cases, etc; - Updates and other operations on LPNMR systems; - Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: - system descriptions, comparisons, evaluations; - LPNMR benchmarks. 3. Applications of LPNMR systems: - LPNMR languages and algorithms in planning, diagnosis, software engineering, decision making, and other domains; - Applications of LPNMR languages in Data Integration and Exchange systems; - Methodology of representing knowledge in LPNMR languages: theory and practice; - Integration of LPNMR systems with other computational paradigms; - Embedded LPNMR systems: Systems using LPNMR subsystems. SYSTEM AND APPLICATION DEMONSTRATION TRACKS --- As part of the technical program, we also plan a special session devoted to presentations and demonstrations of implemented nonmonotonic reasoning systems. Systems and application demonstration tracks will be announced in a distinct call. IMPORTANT DATES --- Abstract Submission Deadline March 22, 2005, 23:59:59 GMT Paper Submission Deadline March 25, 2005, 23:59:59 GMT Notification (Accept/Reject) May 16, 2005 Conference Schedule June 6, 2005 Final Conference Papers June 10, 2005 Early Registration Deadline July 4, 2005 ConferenceSeptember 5-8, 2005 SUBMISSION OF PAPERS Papers must not exceed thirteen (13) pages including title page, references and figures, and must be formatted according to the Springer LNCS/LNAI authors' instructions (see URL:http://www.springer.de/comp/lncs/authors.html). Papers must be written in English and present original research. Paper submission is electronic via the conference home page http://www.mat.unical.it/lpnmr05/. Papers must be registered (title, abstract, keywords, authors, contact information) by March 22, 2005, 23:59:59 GMT; the full paper must be uploaded by March 25, 2005, 23:59:59 GMT. PROGRAM CO-CHAIRS - Chitta Baral (Arizona State University, USA) Nicola Leone (University of Calabria, Italy) PROGRAM COMMITTEE - Jose Alferes (New University of Lisbon, Portugal) Leopoldo Bertossi(Carleton University, Canada) Pedro Cabalar(Corunna University, Spain) Gerhard Brewka (Leipzig University, Germany) Juergen
Re: [Haskell-cafe] invalid character encoding
On Mon, Mar 14, 2005 at 07:38:09PM -0600, John Goerzen wrote: I've got some gzip (and Ian Lynagh's Inflate) code that breaks under the new hugs with: handle: IO.getContents: protocol error (invalid character encoding) What is going on, and how can I fix it? A Haskell 98 Handle is a character stream, and doesn't support binary I/O. This would have bitten you sooner or later on systems that do CRLF conversion, but Hugs is now much stricter, because character streams now use the encoding determined by the current locale (for the C locale, that means ASCII only). You can select binary I/O using the openBinaryFile and hSetBinaryMode functions from System.IO. After that, the Chars you get from that Handle are actually bytes. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Parser question
Hi folks, I have a parser problem. I have a basic calculator program (Graham Hutton's from Nottingham) which contains the following code: -- Define a parser to handle the inputexpr :: Parser Intexpr = do t - term do symbol "+" e - expr return (t + e) +++ return t term :: Parser Intterm = do f - factor do symbol "*" e - expr return (f * t) +++ return f factor :: Parser Intfactor = do symbol "(" e - expr symbol ")" return e +++ natural symbol and natural are defined elsewhere and work fine, but when I compile it I get the error ERROR "C:/HUGS/Calculator.hs":66 - Undefined variable "t" I suspect I'm missing something obvious, but for the life of me I can't see it. Any suggestions? Thanks, Nik (Trying to keep a couple of weeks ahead of her students) Dr Nik Freydís Whitehead University of Akureyri, Iceland * Having the moral high ground is good. Having the moral high ground and an FGMP-15 is better. * ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Parser question
On Tue, 15 Mar 2005, Nicola Whitehead wrote: Hi folks, I have a parser problem. I have a basic calculator program (Graham Hutton's from Nottingham) which contains the following code: -- Define a parser to handle the input expr :: Parser Int expr = do t - term do symbol + e - expr return (t + e) +++ return t I assume that the nested 'do' (before 'symbol') is too much. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Parser question
On Tue, 15 Mar 2005, Nicola Whitehead wrote: (snip) term :: Parser Int term = do f - factor do symbol * e - expr return (f * t) +++ return f (snip) symbol and natural are defined elsewhere and work fine, but when I compile it I get the error ERROR C:/HUGS/Calculator.hs:66 - Undefined variable t I suspect I'm missing something obvious, but for the life of me I can't see it. Any suggestions? (snip) You are missing something obvious. (-: t appears indeed to be undefined in term. Did you mean return (f * e)? Variables (although why they're called that in Haskell I'm not sure) defined with - in do are only in scope later in that do, not anywhere else. Mark -- Haskell vacancies in Columbus, Ohio, USA: see http://www.aetion.com/jobs.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Parity of the number of inversions of a permutation
Henning Thielemann wrote: I' searching for a function which sorts the numbers and determines the parity of the number of inversions. I assume that there are elegant and fast algorithms for this problem (n * log n time steps), e.g. a merge sort algorithm. This is a rather nice little problem. I think this works: countInversions :: (Ord a) = [a] - Int countInversions [] = 0 countInversions xs = snd $ foldb merge [([x],0) | x - xs] merge :: (Ord a) = ([a],Int) - ([a],Int) - ([a],Int) merge (xs,a) (ys,b) = case merge' (length xs) xs ys of (zs,c) - (zs,a+b+c) merge' 0 [] ys = (ys,0) merge' n xs [] = (xs,0) merge' n (x:xs) (y:ys) = case compare x y of LT - case merge' (n-1) xs (y:ys) of (zs,c) - (x:zs,c) GT - case merge' n (x:xs) ys of (zs,c) - (y:zs,c+n) EQ - undefined foldb :: (a - a - a) - [a] - a foldb f [] = undefined foldb f [x] = x foldb f xs = foldb f (foldb' f xs) foldb' f (x1:x2:xs) = f x1 x2 : foldb' f xs foldb' f xs = xs -- Ben ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Parser question
On 15 Mar 2005, at 12:38, Mark Carroll wrote: Variables (although why they're called that in Haskell I'm not sure) Because the value that they denote can vary between different calls of the same function? Jules ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] invalid character encoding
On Tue, Mar 15, 2005 at 10:44:28AM +, Ross Paterson wrote: On Mon, Mar 14, 2005 at 07:38:09PM -0600, John Goerzen wrote: I've got some gzip (and Ian Lynagh's Inflate) code that breaks under the new hugs with: handle: IO.getContents: protocol error (invalid character encoding) What is going on, and how can I fix it? A Haskell 98 Handle is a character stream, and doesn't support binary I/O. This would have bitten you sooner or later on systems that do CRLF Yes, probably so.. conversion, but Hugs is now much stricter, because character streams now use the encoding determined by the current locale (for the C locale, that means ASCII only). Hmm, this seems to be completely undocumented. So yes, I'll try using openBinaryFile, but the docs I have seen still talk only about CRLF and ^Z. Anyway, I'm intrested in this new feature (I assume GHC 6.4 has it as well?) Would it, for instance, automatically convert from Latin-1 to UTF-16 on read, and the inverse on write? Or to/from UTF-8? Thanks, -- John ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] invalid character encoding
On Tue, Mar 15, 2005 at 08:12:48AM -0600, John Goerzen wrote: [...] but Hugs is now much stricter, because character streams now use the encoding determined by the current locale (for the C locale, that means ASCII only). Hmm, this seems to be completely undocumented. It's mentioned in the release history in the User's Guide, which refers to section 3.3 for (some) more details. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Parity of the number of inversions of a permutation
On Tue, 15 Mar 2005, Ben Rudiak-Gould wrote: Henning Thielemann wrote: I' searching for a function which sorts the numbers and determines the parity of the number of inversions. I assume that there are elegant and fast algorithms for this problem (n * log n time steps), e.g. a merge sort algorithm. This is a rather nice little problem. I think this works: countInversions :: (Ord a) = [a] - Int countInversions [] = 0 countInversions xs = snd $ foldb merge [([x],0) | x - xs] Yes, zipping together one-node lists is a nice idea to prevent dividing as in the classic divideconquere scheme. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] wxHaskell htmlWindow usage
Good day all, I am attempting to display html pages using wxHaskell's HtmlWindow functions. I am hoping that it is indeed possible for me to do just that and that I haven't misunderstood what HtmlWindow is used for. My code so far will create a frame, a button and an HtmlWindow and other assorted things. I would like an html file to be displayed in the window when the button is clicked. At the moment, only the path (a string) of the html file that I would like to display is printed in the window when the button is clicked. Here is some of the code i've been trying to get to do this: do -- the main frame f - frame [text := Browser, fullRepaintOnResize := False] -- create html window hw - htmlWindowCreate f 1 (Rect 50 150 50 150) 5 theWindow -- 'load page' button go - button f [text := Load Page, on command := htmlWindowSetPage hw c:/example.html] (I've left out the layout part here) htmlWindowSetPage might be the wrong function to use for this or I might just be using it incorrectly. This may well be more complicated than I'm hoping it is too! Thankyou to whoever has a look at this. bye all David ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Parser problem continued
Curiouser and curiouser... expr :: Parser Intexpr = do t - term do symbol "+"e - expr return (t + e) +++ return t solves the undefined variable problem but introduces a new 'Last operator in do {...} must be an _expression_' error, which then disappears if I explicitly return e expr :: Parser Intexpr = do t - term do symbol "+" e - expr return e return (t + e) +++ return t to give me the original undefined variable t error at the line expr = do t - term . It looks in scope to me... :( Thanks, Nik Dr Nik Freydís Whitehead University of Akureyri, Iceland * Having the moral high ground is good. Having the moral high ground and an FGMP-15 is better. * ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Parser problem continued
expr :: Parser Int expr = do t - term do symbol + e - expr return e return (t + e) +++ return t- 't' is not in scope at the arrow. t only exists inside the do block, and your code parses like this ( do t - return (t+e) ) +++ ( return t ) perhaps like this: expr = do t - term (do symbol + e - expr return (t+e) ) +++ (return t) although I think you may also want a 'try' before the first alternative. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
RE: [Haskell-cafe] Parser problem continued
perhaps like this: expr = do t - term (do symbol + e - expr return (t+e) ) +++ (return t) although I think you may also want a 'try' before the first alternative. No, that still gives the same undefined variable error. :( Nik Dr Nik Freydís Whitehead University of Akureyri, Iceland * Having the moral high ground is good. Having the moral high ground and an FGMP-15 is better. * ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Parser problem continued
On Tue, Mar 15, 2005 at 03:44:55PM -, Nicola Whitehead wrote: perhaps like this: expr = do t - term (do symbol + e - expr return (t+e) ) +++ (return t) although I think you may also want a 'try' before the first alternative. No, that still gives the same undefined variable error. :( Sometimes I prefer to write such code in a lispy way: expr = do t - term ((+++) (do symbol + e - expr return (t+e)) (return t)) Best regards Tomasz ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Parser problem continued
The layout of your code is very important when writing haskell code: Your code : expr = do t - term do symbol + e - expr return e return (t + e) +++ return t is equivalent to: expr = do { t - term ; do { symbol + ; e - expr ; return e } ; return (t + e) -- e is not in scope } +++ return t -- t is not in scope Both t and e are not in scope: * e is in a nested do-block * the expression 'return t' is outside the do-block What you probably mean is: expr = do t - term do symbol + e - expr return (t + e) +++ return t which is equivalent to: expr = do { t - term ; do { symbol + ; e - expr -- (dropped the return e line) ; return (t + e) } +++ return t } Now t and e are in scope. The parser 'expr' will first recognize a 'term' and then try to recognize a '+' symbol followed by an expression. If that fails it returns 't'. Cheers, Arthur On 15-mrt-05, at 16:28, Nicola Whitehead wrote: Curiouser and curiouser... expr :: Parser Int expr = do t - term do symbol + e - expr return (t + e) +++ return t solves the undefined variable problem but introduces a new 'Last operator in do {...} must be an expression' error, which then disappears if I explicitly return e expr :: Parser Int expr = do t - term do symbol + e - expr return e return (t + e) +++ return t to give me the original undefined variable t error at the line expr = do t - term . It looks in scope to me... :( Thanks, Nik Dr Nik Freydís Whitehead University of Akureyri, Iceland * Having the moral high ground is good. Having the moral high ground and an FGMP-15 is better. * ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
RE: [Haskell-cafe] Parser problem continued
Thanks folks! Writing it in a lispy manner seems to work. I see what Arthur means about the layout - I think I'm still thinking too much in C. :) Nik Dr Nik Freydís Whitehead University of Akureyri, Iceland * Having the moral high ground is good. Having the moral high ground and an FGMP-15 is better. * ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] wxHaskell htmlWindow usage
Hi, When I use the htmlWindowLoadPage hw ./test.html function, everything works fine and I see the content of the test.html page. Cheers Patrick On Tuesday 15 March 2005 15:51, David Owen wrote: Good day all, I am attempting to display html pages using wxHaskell's HtmlWindow functions. I am hoping that it is indeed possible for me to do just that and that I haven't misunderstood what HtmlWindow is used for. My code so far will create a frame, a button and an HtmlWindow and other assorted things. I would like an html file to be displayed in the window when the button is clicked. At the moment, only the path (a string) of the html file that I would like to display is printed in the window when the button is clicked. Here is some of the code i've been trying to get to do this: do -- the main frame f - frame [text := Browser, fullRepaintOnResize := False] -- create html window hw - htmlWindowCreate f 1 (Rect 50 150 50 150) 5 theWindow -- 'load page' button go - button f [text := Load Page, on command := htmlWindowSetPage hw c:/example.html] (I've left out the layout part here) htmlWindowSetPage might be the wrong function to use for this or I might just be using it incorrectly. This may well be more complicated than I'm hoping it is too! Thankyou to whoever has a look at this. bye all David ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] re parser question
term :: Parser Int term = do f - factor do symbol "*" e - expr return (f * t)--- replace t with e +++ return f I hope that helps, Carter Schonwald ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] invalid character encoding
On Tue, Mar 15, 2005 at 10:44:28AM +, Ross Paterson wrote: On Mon, Mar 14, 2005 at 07:38:09PM -0600, John Goerzen wrote: I've got some gzip (and Ian Lynagh's Inflate) code that breaks under the new hugs with: handle: IO.getContents: protocol error (invalid character encoding) What is going on, and how can I fix it? A Haskell 98 Handle is a character stream, and doesn't support binary I/O. This would have bitten you sooner or later on systems that do CRLF conversion, but Hugs is now much stricter, because character streams now use the encoding determined by the current locale (for the C locale, that means ASCII only). Do you have a list of functions which behave differently in the new release to how they did in the previous release? (I'm not interested in changes that will affect only whether something compiles, not how it behaves given it compiles both before and after). Simons, Malcolm, are there any such functions in the new ghc/nhc98? Also, are you all agreed that the hugs interpretation of the report is correct, and thus ghc at least is buggy in this respect? (I'm afraid I haven't been able to test nhc98 yet). Finally, the hugs behaviour seems a little odd to me. The below shows 4 cases where iconv complains when asked to convert utf8 to utf8, but hugs only gives an error in one of them. In the others it just truncates the input. Is this really correct? It also seems to behave the same for me regardless of whether I export LC_CTYPE to en_GB.UTF-8 or C. Thanks Ian printf \x00\x7F inp1 printf \x00\x80 inp2 printf \x00\xC4 inp3 printf \xFF\xFF inp4 printf \xb1\x41\x00\x03\x65\x6d\x70\x74\x79\x00\x03\x00\x00\x00\x00\x00 inp5 echo 'main = do xs - getContents; print xs' run.hs for i in `seq 1 5`; do runhugs run.hs inp$i; done for i in `seq 1 5`; do runghc6 run.hs inp$i; done for i in `seq 1 5`; do echo $i; iconv -f utf8 -t utf8 inp$i; done which gives me the following output: $ for i in `seq 1 5`; do runhugs run.hs inp$i; done \NUL\DEL \NUL \NUL Program error: stdin: IO.getContents: protocol error (invalid character encoding) $ for i in `seq 1 5`; do runghc6 run.hs inp$i; done \NUL\DEL \NUL\128 \NUL\196 \255\255 \177A\NUL\ETXempty\NUL\ETX\NUL\NUL\NUL\NUL\NUL $ for i in `seq 1 5`; do echo $i; iconv -f utf8 -t utf8 inp$i; done 1 2 iconv: illegal input sequence at position 1 3 iconv: incomplete character or shift sequence at end of buffer 4 iconv: illegal input sequence at position 0 5 iconv: illegal input sequence at position 0 $ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe