- Haskell-Cafe - Haskell.org

RE: [Haskell-cafe] Problem with Hyperlinking Haddock-documentation
by Simon Marlow 28 Jan '05

28 Jan '05

On 27 January 2005 09:03, Daniel Fischer wrote: > Am Mittwoch, 26. Januar 2005 21:49 schrieben Sie: >> On Wed, 26 Jan 2005, Daniel Fischer wrote: >>> Maybe somebody can enlighten me. >>> >>> When I run haddock and put the html files e.g. in directory >>> ~/bar/foo, any references to things defined in the Prelude or the >>> libraries are linked to, say ~/bar/foo/Prelude.html#t%3AFractional, >>> which of course does not exist, because the documentation for the >>> Prelude is elsewhere. >>> >>> How can I tell haddock to link such references to where Prelude.html >>> actually is? >> >> I add an option like >> >> -i /usr/local/share/ghc-6.2/html/libraries/base/base.haddock >> > The problem still stands, the link is to ~/bar/foo/Prelude.html, > not to /usr/local/.... > where Prelude.html is. > > Does anybody know what to do? You probably want to invoke Haddock like this: haddock -i/usr/share/ghc-6.2.2/html/libraries/base,/usr/share/ghc-6.2.2/librarie s/base/base.haddock (all on one line). The first path specifies the directory of the HTML for the base package, the second path specifies the .haddock file for the base package. Cheers, Simon

2 1

RE: [Haskell-cafe] Re: library documentation
by Simon Marlow 27 Jan '05

27 Jan '05

On 27 January 2005 10:46, Peter Simons wrote: > Isaac Jones writes: > > > http://www.haskell.org/hawiki/LibraryDocsNeedingHelp > > This is a great idea. > > I have been thinking .... you know what would make > contribution to the library efforts even simpler? If they > were available in a Darcs repository. > > Saying "darcs push" after you've spontaneously added a > three-line explanation into a standard library is a lot more > attractive than "cvs diff", cutting and pasting that diff > into an editor, and e-mailing it to the -libraries list. > (Who submits a diff for three lines of documentation?) > > One of the reasons why Darcs is great is that it makes > submitting changes very simple for _everybody_. This would be great, but unfortunately the activation energy is quite high: we're already pretty committed to CVS, so we either move over to darcs wholesale, or we keep GHC in CVS and libraries in darcs. Neither is particularly attractive right now - darcs isn't ready for projects the size of GHC (at least, last I looked), and having a split repository would be a nightmare. Cheers, Simon

2 2

RE: [Haskell-cafe] Convert to unboxed value? How?
by Simon Marlow 27 Jan '05

27 Jan '05

On 27 January 2005 12:36, Dimitry Golubovsky wrote: > What function should be used to convert an integer value to Int#? This function: f :: Int -> Int# f (I# x) = x > A character to Char#? Similarly: f :: Char -> Char# f (C# c) = c there aren't any library functions that do this for you. Cheers, Simon

1 0

Convert to unboxed value? How?
by Dimitry Golubovsky 27 Jan '05

27 Jan '05

Hi, What function should be used to convert an integer value to Int#? A character to Char#? Dimitry Golubovsky Middletown, CT

1 0

RE: [Haskell-cafe] Question on "case x of g" when g is a function
by Bayley, Alistair 27 Jan '05

27 Jan '05

Another way of looking at it: case peforms pattern matching; it is _not_ an equality test. If you want equality tests, use if-then-else, or something like this (using guards): f x = case () of _ | x == bit0 -> 0 | x == bit1 -> 1 The behaviour that initially threw me was that case works for various literals (numbers and strings), but that's just pattern matching (see 3.17.2, item 7): http://www.haskell.org/onlinereport/exps.html#pattern-matching Another shorthand for f, using guards: f x | x == bit0 = 0 | x == bit1 = 1 > -----Original Message----- > From: Salvador Lucas [mailto:slucas@dsic.upv.es] > Sent: 27 January 2005 09:59 > To: yeoh(a)cs.wisc.edu > Cc: haskell-cafe(a)haskell.org > Subject: Re: [Haskell-cafe] Question on "case x of g" when g > is a function > > Because both bit0 and bit1 are free *local* variables > within the case expression. So, they have nothing > to do with your defined functions bit0 and bit1. > > Best regards, > > Salvador. > > yeoh(a)cs.wisc.edu wrote: > > >Can a kind soul please enlighten me on why f bit0 and f bit1 > >both return 0? > > > > > > > >>bit0 = False > >>bit1 = True > >>f x = case x of > >> bit0 -> 0 > >> bit1 -> 1 > >> ----------------------------------------- ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************

1 0

Problem with Hyperlinking Haddock-documentation
by Daniel Fischer 27 Jan '05

27 Jan '05

Maybe somebody can enlighten me. When I run haddock and put the html files e.g. in directory ~/bar/foo, any references to things defined in the Prelude or the libraries are linked to, say ~/bar/foo/Prelude.html#t%3AFractional, which of course does not exist, because the documentation for the Prelude is elsewhere. How can I tell haddock to link such references to where Prelude.html actually is? Please be aware of the fact that I know ///very/// little about html, hyperlinks and such, so be detailed and don't presuppose much. Thanks, Daniel

2 3

List manipulation
by Dmitri Pissarenko 27 Jan '05

27 Jan '05

Hello! I have two lists of Double with equal length and want to create a third one, in which each element is the sum of the corresponding element of the first list and the second list. If list1 is [1, 2, 100] and list2 is [2, 3, 500], then the result of the operation I desire is [3, 5, 600]. I wrote this function <function> add2Img :: [Double] -> [Double] -> [Double] add2Img summand1 summand2 = sum where sum = [ (x+y) | x <- summand1, y <- summand2 ] </function>, but I'm getting [3.0,4.0,501.0,4.0,5.0,502.0,102.0,103.0,600.0] instead of [1, 2, 100]. What is wrong with the function above? TIA Dmitri Pissarenko -- Dmitri Pissarenko Software Engineer http://dapissarenko.com

7 9

QuickCheck properties for Haskell98 Libraries?
by John Meacham 27 Jan '05

27 Jan '05

I was curious if anyone had a collection of QuickCheck rules for testing the Haskell98 Prelude and libraries? It seems like it would be a useful thing to exist as a common resource. In particular, if there were overloaded rules for the various class properties then it would be easier to test whether the instances one writes for standard classes were correct. In fact, it would be nice if the author of every class provided some quickcheck rules for testing the laws instances should obey. John -- John Meacham - ⑆repetae.net⑆john⑈

1 0

What are the MonadPlus laws?
by Jules Bean 27 Jan '05

27 Jan '05

So, anyone? What are the laws that MonadPlus is supposed to satisfy? The obvious ones are that if MonadPlus m then for all types a, (m a) should be a monoid. But, what about the others, because IO does not appear to satisfy a >> mzero == mzero Jules

8 11

RE: [Haskell-cafe] Re: Hugsvs GHC (again)was: Re: Somerandomnewbiequestions
by Simon Marlow 27 Jan '05

27 Jan '05

On 19 January 2005 16:58, Keean Schupke wrote: > Simon Marlow wrote: >> This is what GHC does, if I understand you correctly. The thread >> running select() does so in its own OS thread, while another OS >> thread runs the Haskell code. As long as you use -threaded, that >> is. Oh, and before GHC 6.4 it was done a different way - the >> scheduler used to do the select() between running Haskell threads. >> >> Cheers, >> Simon >> >> > So this means even though the IO calls block, the other Haskell > threads (when run with -threaded) keep running? Yes, unless the IO is to/from disk on a Unix system. Cheers, Simon

8 11