March 2002 - Haskell-Cafe

http://haskell.org
by Christine Hall 24 Mar '02

24 Mar '02

Hi I visited http://haskell.org, and noticed that you're not listed on some search engines! I think we can offer you a service which can help you increase traffic and the number of visitors to your website. I would like to introduce you to TrafficMagnet.net. We offer a unique technology that will submit your website to over 300,000 search engines and directories every month. You'll be surprised by the low cost, and by how effective this website promotion method can be. To find out more about TrafficMagnet and the cost for submitting your website to over 300,000 search engines and directories, visit www.TrafficMagnet.net. I would love to hear from you. Best Regards, Christine Hall Sales and Marketing E-mail: christine(a)trafficmagnet.net http://www.TrafficMagnet.net This email was sent to haskell-cafe(a)haskell.org. I understand that you may NOT wish to receive information from me by email. To be removed from this and other offers, simply go to the link below: http://emaserver.trafficmagnet.net/trafficmagnet/www/optoutredirect?UC=Lead…

1 0

literal haskell mode (nice :)
by Jorge Adriano 22 Mar '02

22 Mar '02

I got some tips from some people at #xemacs in openprojects.org and cam up with the file in attachment. I know nothing about e-lisp so beware!! I just have one major problem now. I wanted it to load x-symbol instead of just LaTeX mode (and x-symbol-fontify after loading the mode). If anyone can do that I'd be really gratefull :-) J.A. P.S.: put the attached file in the directory wher you have the ".el" and add to you ~/.emacs (or ~/.xemacs/init.el), (require 'two-mode-mode). (I think :)

1 2

literate haskell (again)
by Jan-Willem Maessen 22 Mar '02

22 Mar '02

Jorge Adriano <jadrian(a)mat.uc.pt> writes: > Tried using Andrew Cookes haskell.sty and liked it a lot, but seems like the > (X)emacs haskell mode doesn't support the \begin{code} \end{code} literate > programming style, just the one where code is preceded by '> '. > > Anyone has got an hack available for this? According to my haskell-mode.el: ------------snip ;; Default literate style for ambiguous literate buffers. (defvar haskell-literate-default 'bird "*If the style of a literate buffer is ambiguous, then this variable gives the default value for `haskell-literate'. This variable should be set to the preferred literate style. For example, place within .emacs: (setq haskell-literate-default 'latex)") ------------snip So you probably want to change this as per the instructions. I use Ralf Hinze's lhs2TeX and an ancient version of the Utrecht attribute grammar tool, and have therefore hacked my haskell-mode.el to do the appropriate thing with the other literate code markers for both of these files: ------------snip (defvar haskell-latex-begin "^\\\\\$begin{code}$\\|begin{spec}$\\|BC$\\|BT{.*}$\$" "Regexp distinguishing start of LaTeX code regions.") (defvar haskell-latex-start "\\\\\$begin{code}\\|begin{spec}\\|BC\\|BT{.*}\$" "Regexp distinguishing just LaTeX start text.") (defvar haskell-latex-end "^\\\\\$end{code}$\\|end{spec}$\\|EC$\\|ET$\$" "Regexp distinguishing end of LaTeX code regions.") (defvar haskell-latex-finish "\\\\\$end{code}\\|end{spec}\\|EC\\|ET\$" "Regexp distinguishing just LaTeX end text.") (defvar haskell-latex-boundary "^\\\\\$\\(begin{code}$\\|begin{spec}$\\|BC$\\|BT{.*}$\$\\|\$end{code}$\\|end{spec}$\\|EC$\\|ET$\$\\)" "Regexp finding boundaries in LaTeX code") ------------snip -Jan-Willem Maessen

2 1

literate haskell (again)
by Jorge Adriano 22 Mar '02

22 Mar '02

Tried using Andrew Cookes haskell.sty and liked it a lot, but seems like the (X)emacs haskell mode doesn't support the \begin{code} \end{code} literate programming style, just the one where code is preceded by '> '. Anyone has got an hack available for this? J.A.

1 0

Membership
by Pradeep Arora 22 Mar '02

22 Mar '02

Dear Madam/sir, I want to become a member of your newsgroup. I want to know more about Haskell. My name is 'Pradeep' and I am working with Aptech Computers. Kindly send me the details asap. rgds, Pradeep __________________________________________________ Do You Yahoo!? Yahoo! Movies - coverage of the 74th Academy Awards� http://movies.yahoo.com/

1 0

literate haskell
by Jorge Adriano 21 Mar '02

21 Mar '02

Why is it necessary to leave a blank line between comments and code? I'm using LaTeX in my lhs files, with the code inside a verbatim environment, and I'd rather start writing my code right after the \begin{verbatim}. I'd also like to know if anyone as changed is xemacs configuration file in such a way that is easy to change from haskell to LaTeX mode from within lhs files, and compile (latex compile) them. I always have to change to latex mode, the change the syntax highlight, and even then I can't compile the from the included lhs files - it always calls view instead of compile, even if I specify the correct Master file. Thanks in advance J.A.

5 5

Re: Haskell slicing tool?
by Richard Uhtenwoldt 20 Mar '02

20 Mar '02

Olaf Chitil writes: >Sengan.Baring-Gould(a)nsc.com wrote: >> >> > > Are there any tools to perform program slicing on Haskell? >> > > I often find myself wanting to find all "fromJusts" invoked >> > > from the current function, or all functions that use a >> > > particular member of my monad's ADT. > >> Actually I was hoping for a static tool. > >I'd be interested to learn for what purpose you want this kind of >information and also more precisely what you would like such a static >tool to do for you. I do not know Sengan but, from reading that one paragraph I will venture that he is one of those programmers who refactors his code a lot and wants the information to to facilitate refactoring. (by refactoring I mean changing interface boundaries, eg, introducing and eliminating functions.) -- Richard Uhtenwoldt

1 0

Re: finding ....
by Pixel 20 Mar '02

20 Mar '02

Lennart Augustsson <lennart(a)augustsson.net> writes: > Thank you for making my point. All these are indeed examples of broken code. > (Not because it's Perl. :) ok, sorry for trying. I won't change my code and you won't change your mind.

3 2

Re: finding ....
by D. Tweed 20 Mar '02

20 Mar '02

[Moved to haskell-cafe] On Tue, 19 Mar 2002, David Sankel wrote: > > *everytime* about race conditions. (of course using > > this existFile before > > creating a temporary file is wrong, but existFile > > has *many* other > > applications) > > Could someone post an example of the creation of a > temporary file where race conditions are important? IIRC one of the classic issues is --------- myscript wants to create a temporary file called /tmp/storedStuff being half-careful, checks file doesn't exist (*) miniscule delay occurs creates a new file called /tmp/storedStuff --------- creating a new file generally deletes a file of the same without causing any errors since this is often the desired semantics All this is ok until a malicious person manages to get ln -s /home/sankel/reallyImportantUnbackedupData /tmp/storedStuff in the interval denoted by (*) ___cheers,_dave_________________________________________________________ www.cs.bris.ac.uk/~tweed/|`...heat generated by its microprocessors will email:tweed@cs.bris.ac.uk|slope upward exponentially, reaching the power work tel:(0117) 954-5250 |density of a nuclear reactor before 2010'-Intel

2 1

RE: finding ....
by Konst Sushenko 19 Mar '02

19 Mar '02

Moved to haskell café I do not have a code example, but how about a system that compiles different (and say independent) software projects in parallel, and which uses the same code to create temporary files needed for compilation? konst > -----Original Message----- > From: David Sankel [mailto:camio@yahoo.com] > Sent: Tuesday, March 19, 2002 6:38 PM > To: Pixel; Lennart Augustsson > Cc: haskell(a)haskell.org > Subject: Re: finding .... > > > --- Pixel <pixel(a)mandrakesoft.com> wrote: > > Lennart Augustsson <lennart(a)augustsson.net> writes: > > > > > > Diego Yanivello wrote: > > > > > > > > > hi, is there (in Haskell) a function like > > existFile :: FilePath -> > > > > > IO (Bool) ? Thanks! > > > > > > Using such a function is generally a bad idea > > because of race conditions. > > > > however, real world programs use those tests since > > you don't need to care > > *everytime* about race conditions. (of course using > > this existFile before > > creating a temporary file is wrong, but existFile > > has *many* other > > applications) > > Could someone post an example of the creation of a > temporary file where race conditions are important? > > Thanks, > > David J. Sankel > > __________________________________________________ > Do You Yahoo!? > Yahoo! Sports - live college hoops coverage > http://sports.yahoo.com/ > _______________________________________________ > Haskell mailing list > Haskell(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell >

1 0