- Glasgow-haskell-users

Strange behavior with Network sockets
by mrd 20 Jan '07

20 Jan '07

This program listens on port 9000 and mirrors everything typed into the client onto stdout, IF it is working correctly. In GHC 6.6 (and HEAD), it seems to block unexpectedly, and this strange behavior is related to hIsOpen and hIsEOF, somehow. It acts like hIsOpen or hIsEOF is holding up the loop until input arrives, but it still blocks at hGetLine. The server ends up printing out lines that were typed into the client a while ago, as if it were stuck on some kind of backlog but could not catch up. Not sure how to explain this without showing it, maybe this: Client: Server: ------- ------- line1 handle isOpen = True; isEOF = False line2 line1 line3 handle isOpen = True; isEOF = False line4 line2 line5 line6 line7 Client has typed 7 lines and sent them to the server, but the server has only printed out 2 lines. If you remove the hIsOpen and hIsEOF calls, then the server will print out all 7 lines immediately as they are submitted. > import Control.Concurrent > import Control.Concurrent.STM > import System.IO > import Network > main = withSocketsDo $ do > sock <- listenOn $ PortNumber 9000 > (h,_,_) <- accept sock > ch <- atomically newTChan > -- thread which pumps lines read > -- from socket into channel > forkIO . sequence_ . repeat $ > hGetLine h >>= atomically . writeTChan ch > -- main thread just waits for data from channel > -- and prints it to screen > sequence_ . repeat $ > do isOpen <- hIsOpen h > isEOF <- hIsEOF h > putStrLn $ "handle isOpen = " ++ show isOpen > ++ "; isEOF = " ++ show isEOF > hFlush stdout > line <- atomically $ readTChan ch > putStrLn line > hFlush stdout Any idea what's going on? -- -- Matthew Danish -- user: mrd domain: cmu.edu -- OpenPGP public key: C24B6010 on keyring.debian.org

2 2

Final Call for Papers: TFP 2007, New York, USA
by TFP 2007 19 Jan '07

19 Jan '07

Dear Colleagues, The abstract submission deadline, February 1, is quickly approaching. We hope to see you at TFP 2007 in New York. NEW: Abstract submission is now open! Link: http://cs.shu.edu/tfp2007/submissions.html NEW: Invited Talk: John McCarthy, Standford University CALL FOR PAPERS Trends in Functional Programming 2007 New York, USA April 2-4, 2007 http://cs.shu.edu/tfp2007/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts. A formal post-symposium refereeing process then selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2007 is co-hosted by Seton Hall University and The City College of New York (CCNY) and will be held in New York, USA, April 2-4, 2007 at the CCNY campus. SCOPE OF THE SYMPOSIUM The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles leading-edge, previously unpublished research work Position Articles on what new trends should or should not be Project Articles descriptions of recently started new projects Evaluation Articles what lessons can be drawn from a finished project Overview Articles summarizing work with respect to a trendy subject Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Articles on the following subject areas are particularly welcomed: o Dependently Typed Functional Programming o Validation and Verification of Functional Programs o Debugging for Functional Languages o Functional Programming and Security o Functional Programming and Mobility o Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications o Functional Languages for Telecommunications Applications o Functional Languages for Embedded Systems o Functional Programming Applied to Global Computing o Functional GRIDs o Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse) o Interoperability with Imperative Programming Languages o Novel Memory Management Techniques o Parallel/Concurrent Functional Languages o Program Transformation Techniques o Empirical Performance Studies o Abstract/Virtual Machines and Compilers for Functional Languages o New Implementation Strategies o any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2007 program chair, Marco T. Morazan, at tfp2007(a)shu.edu. SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the review of extended abstracts (6 to 10 pages in length) by the program committee. Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings and on-line. Further details can be found at the TFP 2007 website. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we intend to continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. IMPORTANT DATES Abstract Submission: February 1, 2007 Notification of Acceptance: February 20, 2007 Registration Deadline: March 2, 2007 Camera Ready Full Paper Due: March 9, 2007 TFP Symposium: April 2-4, 2007 PROGRAMME COMMITTEE John Clements California Polytechnic State University, USA Marko van Eekelen Radboud Universiteit Nijmegen, The Netherlands Benjamin Goldberg New York University, USA Kevin Hammond University of St. Andrews, UK Patricia Johann Rutgers University, USA Hans-Wolfgang Loidl Ludwig-Maximilians Universität München, Germany Rita Loogen Philipps-Universität Marburg, Germany Greg Michaelson Heriot-Watt University, UK Marco T. Morazán (Chair) Seton Hall University, USA Henrik Nilsson University of Nottingham, UK Chris Okasaki United States Military Academy at West Point, USA Rex Page University of Oklahoma, USA Ricardo Pena Universidad Complutense de Madrid, Spain Benjamin C. Pierce University of Pennsylvania, USA John Reppy University of Chicago, USA Ulrik P. Schultz University of Southern Denmark, Denmark Clara Segura Universidad Complutense de Madrid, Spain Jocelyn Sérot Université Blaise Pascal, France Zhong Shao Yale University, USA Olin Shivers Georgia Institute of Technology, USA Phil Trinder Heriot-Watt University, UK David Walker Princeton University, USA ORGANIZATION Symposium Chair: Henrik Nilsson, University of Nottingham, UK Programme Chair: Marco T. Morazan, Seton Hall University, USA Treasurer: Greg Michaelson, Heriot-Watt University, UK Local Arrangements: Marco T. Morazan, Seton Hall University, USA ************************************************************************************ Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/

1 0

RE: [Haskell] A question about a possible bug in GHC regarding GADTs and type classes
by Simon Peyton-Jones 18 Jan '07

18 Jan '07

[redirecting to ghc-users] This code works with the HEAD, where I recently fixed the interaction between GADTs and type classes. You'll need to use a HEAD compiler (not 6.6) though. Someone else may help you with the TyRange stuff; I'm just referring to the Num constraint in your data type. Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Pablo Nogueira | Sent: 17 January 2007 15:36 | To: haskell(a)haskell.org | Subject: [Haskell] A question about a possible bug in GHC regarding GADTs and type classes | | Hi, | | I've been told the following short code is correct but it's GHC's | fault it does not type check. | Is that the case? | | -- | {-# OPTIONS -fglasgow-exts #-} | | -- An expression GADT: | | data Exp :: * -> * where | LitNum :: Num a => a -> Exp a | LitBool :: Bool -> Exp Bool | Plus :: Num a => Exp a -> Exp a -> Exp a | And :: Exp Bool -> Exp Bool -> Exp Bool | If :: Exp Bool -> Exp a -> Exp a -> Exp a | | -- An expression evaluator: | | evalExp :: Exp a -> a | evalExp (LitNum i) = i | evalExp (LitBool b) = b | evalExp (Plus x y) = evalExp x + evalExp y | evalExp (And x y) = evalExp x && evalExp y | evalExp (If c t e) = if (evalExp c) then (evalExp t) else (evalExp e) | -- | | The type checker complains that evalExp needs a Num constraint on its | type signature. | This can't be right, for Bool is not an instance of Num, right? | | Is it the case that the interaction between GADTs and type classes is | not fully worked out yet?

1 0

Re : HDirect and GHC-6.6
by Fernand Lacas 17 Jan '07

17 Jan '07

Hi, Here are some details on my building of HDirect with ghc-6.6, and where I am stuck. Skipping details about deprecated libs (such as IOExts) and some name conflicts (NativeInfo), I succeeded in building the "ihc.exe", the "hdirect" and "com" libs. I installed the "com" lib as a package on my system: $ ghc-pkg.exe list c:/ghc/ghc-6.6\package.conf: [...] com-0.22, fgl-5.2, (ghc-6.6), [...] $ ghc-pkg.exe describe com name: com version: 0.22 [...] exposed: True exposed-modules: AutoPrim Automation ClassFactory Com ComDll ComException ComPrim ComServ Connection ConnectionPoint EnumInterface ExeServer HDirect Pointer PointerPrim SafeArray StdDispatch StdTypes TypeLib WideString [...] extra-libraries: kernel32 user32 ole32 oleaut32 advapi32 From here, I tried to bootstrap the ihc compiler with the support for typelibs. $ cd ../src $ rm -f *.o $ make depend SUPPORT_TYPELIBS=YES $ make SUPPORT_TYPELIBS=YES But the "make depend" fails : $ make depend SUPPORT_TYPELIBS=YES ghc -M -optdep-f -optdep.depend -optdep-o -optdepo -cpp -DBEGIN_SUPPORT_TYPELIB S='-}' -DEND_SUPPORT_TYPELIBS='{-' -DBEGIN_NOT_SUPPORT_TYPELIBS='{-' -DEND_NOT_S UPPORT_TYPELIBS='-}' -package com -fglasgow-exts -static -fvia-C -Rghc-timing -Wall -package com AbsHUtils.lhs AbstractH.lhs Attribute.lhs Bag.lhs BasicT ypes.lhs CStubGen.lhs CgMonad.lhs CodeGen.lhs CoreIDL.lhs CoreUtils.lhs DefGen.l hs Desugar.lhs DsMonad.lhs Env.lhs FiniteMap.lhs GetOpt.lhs HugsCodeGen.lhs IDLS yn.lhs IDLToken.lhs IDLUtils.lhs ImportLib.lhs JavaProxy.lhs Lex.lhs LexM.lhs Li bUtils.lhs Literal.lhs Main.lhs MarshallAbstract.lhs MarshallAuto.lhs MarshallCo re.lhs MarshallDep.lhs MarshallEnum.lhs MarshallFun.lhs MarshallJNI.lhs Marshall JServ.lhs MarshallMethod.lhs MarshallMonad.lhs MarshallServ.lhs MarshallStruct.l hs MarshallType.lhs MarshallUnion.lhs MarshallUtils.lhs MkImport.lhs NameSupply. lhs NormaliseType.lhs Opts.lhs PP.lhs PpAbstractH.lhs PpCore.lhs PpIDLSyn.lhs Pr eProc.lhs Pretty.lhs Rename.lhs RnMonad.lhs Skeleton.lhs SrcLoc.lhs SymbolTable. lhs TLBWriter.lhs TypeInfo.lhs Utils.lhs Validate.lhs CustomAttributes.hs Parser .hs Version.hs OmgParser.hs NativeInfo.hs ImportLib.lhs:39:7: Could not find module `TypeLib': I do not understand why "TypeLib" is not found, as it is included in the "com" package. This may be a newbie's question, excuse me if it has been answered millions of time. Sincerely yours, Samuel PS : if I use the option in the src/Makefile, which consists in using "-i../comlib" and other flags instead of "-package com", the "make depend" works, but the following make fails as follows : ghc -fglasgow-exts -static -fvia-C -Rghc-timing -Wall -i../lib -L../lib -I../lib -i../comlib -lole32 -loleaut32 -ladvapi32 -c ../comlib/AutoPrim.hs -o ../comlib/AutoPrim.o -osuf o ../comlib/AutoPrim.hs:69:0: Invalid type signature Hope this helps. ___________________________________________________________________________ Découvrez une nouvelle façon d'obtenir des réponses à toutes vos questions ! Profitez des connaissances, des opinions et des expériences des internautes sur Yahoo! Questions/Réponses http://fr.answers.yahoo.com

1 0

RE: No intellisense in Visual Haskell
by Sittampalam, Ganesh 16 Jan '07

16 Jan '07

OK, I found the problem while trying to make a cut-down test case. I had a module called Main, but the file was called FooMain.hs - this was causing all the intellisense for every project in my solution to break. I've worked round it by renaming my module to FooMain and passing -main-is in the GHC options, but I'd be inclined to view this as a bug, as I think this is a fairly standard way of working with modules - what do you think? Cheers, Ganesh -----Original Message----- From: Krasimir Angelov [mailto:kr.angelov@gmail.com] Sent: 15 January 2007 16:48 To: Sittampalam, Ganesh Cc: Pepe Iborra; GHC users Subject: Re: No intellisense in Visual Haskell It could help if you can provide an example that breaks the intellisense of Visual Haskell. It doesn't depend on the project size but perhaps you have found a bug in it. Cheers, Krasimir On 1/15/07, Sittampalam, Ganesh <ganesh.sittampalam(a)credit-suisse.com> wrote: > Sorry, I forgot to make clear that the project builds fine from inside the IDE. > > -----Original Message----- > From: Pepe Iborra [mailto:mnislaih@gmail.com] > Sent: 15 January 2007 16:06 > To: Sittampalam, Ganesh > Cc: 'GHC users' > Subject: Re: No intellisense in Visual Haskell > > Ganesh, > > In my experience as a user, it seems that Intellisense stops working in presence of compilation errors. Have you checked this? > > Cheers > pepe > > On 15/01/2007, at 17:00, Sittampalam, Ganesh wrote: > > > Hi, > > > > I've installed Visual Haskell and am having some trouble with the > > Intellisense functionality. It works fine on a small project I start > > from scratch, but doesn't work at all for a bigger project (no > > tooltips, "Go to Definition" doesn't work, etc etc). Is there any way > > to debug this? > > > > Cheers, > > > > Ganesh > > > > ====================================================================== > > ======== > > Please access the attached hyperlink for an important electronic > > communications disclaimer: > > > > http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html > > ====================================================================== > > ======== > > > > _______________________________________________ > > Glasgow-haskell-users mailing list > > Glasgow-haskell-users(a)haskell.org > > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > > > ============================================================================== > Please access the attached hyperlink for an important electronic communications disclaimer: > > http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html > ============================================================================== > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users(a)haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

2 1

Matching word boundaries in Text.Regexp
by Bernd Holzmüller 16 Jan '07

16 Jan '07

I would like to match word boundaries in a regular expression but this doesn't seem to work with Text.Regex in GHC 6.4.2. The regular expression looks something like: "\\b(send|receive)\\b" to match either the keyword send or the keyword receive but not the word sending. Neither works \< and \> for matching the beginning and end of a word. Thanks for any help, Bernd

2 1

RE: No intellisense in Visual Haskell
by Sittampalam, Ganesh 15 Jan '07

15 Jan '07

Sorry, I forgot to make clear that the project builds fine from inside the IDE. -----Original Message----- From: Pepe Iborra [mailto:mnislaih@gmail.com] Sent: 15 January 2007 16:06 To: Sittampalam, Ganesh Cc: 'GHC users' Subject: Re: No intellisense in Visual Haskell Ganesh, In my experience as a user, it seems that Intellisense stops working in presence of compilation errors. Have you checked this? Cheers pepe On 15/01/2007, at 17:00, Sittampalam, Ganesh wrote: > Hi, > > I've installed Visual Haskell and am having some trouble with the > Intellisense functionality. It works fine on a small project I start > from scratch, but doesn't work at all for a bigger project (no > tooltips, "Go to Definition" doesn't work, etc etc). Is there any way > to debug this? > > Cheers, > > Ganesh > > ====================================================================== > ======== > Please access the attached hyperlink for an important electronic > communications disclaimer: > > http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html > ====================================================================== > ======== > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users(a)haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

2 1

No intellisense in Visual Haskell
by Sittampalam, Ganesh 15 Jan '07

15 Jan '07

Hi, I've installed Visual Haskell and am having some trouble with the Intellisense functionality. It works fine on a small project I start from scratch, but doesn't work at all for a bigger project (no tooltips, "Go to Definition" doesn't work, etc etc). Is there any way to debug this? Cheers, Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

2 1

ghc 6.6.1?
by C.M.Brown 15 Jan '07

15 Jan '07

Hi, I was wondering when ghc-6.6.1 will be released? I am asking because a patch has been made to the ghc repo to allow multple calls to the ghc.newSession within the API and HaRe depends on this. Regards, Chris.

2 1

IOExts problem
by jim burton 15 Jan '07

15 Jan '07

IOExts seems to be unavailable on my system, whereas I'm guessing it should be since the file /usr/lib/ghc-6.4.1/hslibs-imports/lang/IOExts.hi exists...(wrong guess?) Within ghci I get Prelude> :m IOExts Could not find module `IOExts': it is not a module in the current program, or in any known package. Prelude> I am trying to build the latest version of haskore with ghc 6.4.1 and have edited the Makefile to put in references to the location of IOExts.hi: HC_OPTS = -cpp -i/usr/lib/ghc-6.4.1/hslibs-imports/lang/IOExts.hi IOExtensions.o : /usr/lib/ghc-6.4.1/hslibs-imports/lang/IOExts.hi Now make gives the error: jim@unicorn:~/haskore/Src$ make ghc -c IOExtensions.hs -cpp -i/usr/lib/ghc-6.4.1/hslibs-imports/lang/IOExts.hi IOExtensions.hs:20:0: Failed to load interface for `IOExts': Could not find module `IOExts': use -v to see a list of the files searched for make: *** [IOExtensions.o] Error 1 Is IOExts installed as standard with GHC or do I have to tell it the path to the hi file somehow? -- View this message in context: http://www.nabble.com/IOExts-problem-tf2919193.html#a8158283 Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com.

2 1