April 2005 - Haskell-Cafe

How to debug GHC
by Monique Louise de Barros Monteiro 10 Sep '05

10 Sep '05

Hi, all, I'm developing a back end for GHC and I have the following problem: my program is throwing an "empty list exception" due to head [] and I need to compile GHC with -prof -auto-all in order to see the stack trace when running it with +RTS -xc -RTS. I changed the makefile but the option +RTS -xc -RTS was not recognized as an available RTS option Does anyone have any idea about how I can do that ? Thanks in advance, __________________________________________________ Monique Louise Monteiro Mestranda em Ciencia da Computacao Centro de Informatica - CIn - UFPE

14 21

RE: [Haskell-cafe] RFE: Extensible algebraic user-defined data types?
by Simon Peyton-Jones 26 May '05

26 May '05

| Regarding reusing constructor names across several datatypes: is it | possible to qualify them with their enclosing datatype name, like | Maybe.Nothing where there is a name conflict? Then I might reuse | Nothing in my hypothetical data type, and it would be NEither.Nothing | if conflicting with Maybe.Nothing Yes, this'd occasionally be useful regardless of extensible data types, particularly constructor fields too. E.g. "T.x" could mean "field x from type T". There's a difficulty about parsing the name though. Does Neither.Nothing mean the constructor imported from module Neither or the constructor Nothing from type Neither In these days of lazy ambiguity resolution, though, it's not so bad. We could just say that "Neither.Nothing" names *both* of those things, and if both exist in the current scope, you need to disambiguate by adding further module qualifiers. This is one of those features that's hard to evaluate: modest gain in expressiveness, and modest increase in complexity. Simon

3 2

fptools in darcs now available
by John Goerzen 16 May '05

16 May '05

Hello, I am pleased to announce that I have used tailor.py to successfully convert the entire history of fptools HEAD branch, dating back to 1996, from CVS to darcs. For those of you that don't know, fptools represents the development area for the GHC Haskell compiler as well as many other related projects. It contains 21,949 changesets. You may check out the darcs repository by running: darcs get --partial http://darcs.complete.org/fptools *IMPORTANT REQUEST* PLEASE use --partial when you download this. If you really want a full copy of the repo to play with, contact me offline and I can give you a tar.bz2 somewhere. This server is not really set up to handle requests for 21,000 individual files. Currently, there is one checkpoint, made near the present time. I am going to try to add some more at various points in history if that would be useful. I'm not quite sure how to checkpoint old versions in a repo yet, though, so if anyone has tips... send 'em my way. Anyway, comments welcome. I intend to sync this up with the CVS sources every few days until either 1) the fptools people adopt darcs, or 2) it becomes apparent that it's not being useful for people. -- John

2 3

RE: [Haskell-cafe] fptools in darcs now available
by Simon Marlow 02 May '05

02 May '05

On 28 April 2005 04:52, John Goerzen wrote: > I am pleased to announce that I have used tailor.py to successfully > convert the entire history of fptools HEAD branch, dating back to > 1996, from CVS to darcs. For those of you that don't know, fptools > represents the development area for the GHC Haskell compiler as well > as many other related projects. It contains 21,949 changesets. Great news, thanks John. Is it possible to set up a two-way synch so we can move over to darcs gradually? It's not really practical for us to move over in one go, we've simply accumulated too many dependencies on CVS, and there are lots of people using the repo with CVS. If we had a two-way synch, we can experiment with darcs non-destructively. Off the top of my head, a few other things we need before we can even think of switching over: - split up the full fptools repo into pieces (as we discussed on #haskell). - a web interface to the repo - commit mails to the cvs-<blah>@haskell.org lists Cheers, Simon

9 11

RE: [Haskell-cafe] fptools in darcs now available
by Simon Marlow 01 May '05

01 May '05

On 28 April 2005 16:02, John Goerzen wrote: >>> 3. Rename the smaller project's files as appropriate >>> >>> 4. Checkpoint here >> >> Won't that leave a lot of useless history in each individual project? >> When I do 'darcs get' locally to check out a few sub-repositories, >> won't I get N copies of all the old history? > > Yes, but they'll all be hardlinked together, so no matter how many > copies you get, the old history is only stored on disk once. If I do 'darcs get' to get a bunch of different repositories from cvs.haskell.org to my local filesystem, they won't all end up hard-linked together, surely? > I bet some darcs hacker could come up with a script that would even > let us remove the patches from a descended repo that don't apply > anymore. Now that sounds like a plan. > I know it's not ideal, but trying to manually convert each part of the > CVS repo, one at a time, is far, far less ideal. Not something I care > to attempt, anyway :-) I don't understand why converting each part of the repo separately is so hard? (but I've never used the tools - I'm just curious about why it's so difficult). > The other thing is that having a big repo in darcs may turn out to be > not as bad as we all thought at first. The only really annoying thing > there is how long it takes to do an initial darcs get (~5 min for me > if I use --partial). Other than that, darcs performs quite nicely. I agree with your list of pros/cons, and just to be clear, I'm not stuck on the idea of having a split repo. In fact, the simplicity of a single repo is very attractive. But what worries me is: if I just want to check out e.g. Haddock, I have to get the entire fptools repo (350M+, wasn't it?). I can build a source distribution with just the bits I want, but I can't get a darcs tree with anything but the whole lot. So, here's two potential solutions: 1. Make it possible to 'darcs get' just part of a tree. Patches that don't touch any files in the "live" parts of the tree are discarded. (I don't know if this is possible, or how difficult it is). 2. Create separate repositories for GHC, Happy, Haddock etc., and duplicate the shared fptools structure in each project. Each time we modify something in the shared part of the tree, we pull the patch into the other trees. (is it possible to cherry-pick from a tree that doesn't have a common ancestor? If not, can we make the repositories appear to have common ancestry?). Cheers, Simon

7 9

combining HUnit and QuickCheck
by Lemming 30 Apr '05

30 Apr '05

I want to run randomized tests and others and I thought it would be a good idea to run QuickCheck tests in the HUnit framework. Eventually if a test fails the program shall fail. I couldn't figure out how to obtain the test result and a meaningful diagnostic message from QuickCheck. The functions I've found (quickCheck, test, runTests) report everything to the standard output. There is also QuickCheck.Batch.run which returns a TestResult. I wonder if there is already a function which decides whether the TestResult is a success or not and a function which turns the TestResult into a error string.

2 1

Writing functions in Haskell.
by Daniel Carrera 29 Apr '05

29 Apr '05

Hello, I'm trying to get started with Haskell. I must say that as good as the language must be, the documentation was been a source of frustration. Only one document actually showed me how to get started (ie. run hugs or ghci), and I was asked to give out my email address before getting it. Sigh... Well, in any event, I did get that document in the end and I've been reading through it. I've compiled Hugs on my Solaris workstation. There were no errors at compilation. Yet, I think there's something seriously wrong with my installation. I can't seem to be able to defin functions: my/prompt $ hugs .... Hugs.Base> fibs 1 = 1 ERROR - Syntax error in input (unexpected `=') And some functions seem to be missing. Hugs.Base> Char.toUpper 'a' ERROR - Undefined qualified variable "Char.toUpper" I was hoping that someone could confirm or deny that my Hugs installation is broken. Thank you for your time. Cheers, Daniel.

6 8

RE: [Haskell-cafe] RFE: Extensible algebraic user-defined data types?
by Simon Peyton-Jones 29 Apr '05

29 Apr '05

| Suppose I want to extend this datatype to the one including | possibility of neither Left or Right (i. e. None). Currently I have to | use Maybe Either, so my options are: | | Just (Left a) | Just (Right b) | Nothing | | If I could extend the Either datatype I might have (syntax may be | different, this is just an example) | | data NEither a b = <Either a b> | None As Ben says, this is altogether a bigger deal. You can imagine two main approaches 1. NEither simply "macro-includes" the constructors of Either in NEither, but they are different constructors. So Either.Left and NEither.Left would be different, and incompatible constructors. This is simple, but clunky; for example, now you'd need to use a qualified name to disambiguate which you meant, whenever you used Left. 2. Use sub-typing, so that a value (Left x) is *both* in type Either and in type NEither. This opens a very large and complicated design space, as Ben mentioned. Simon

3 2

RFE: Extensible algebraic user-defined data types?
by Dimitry Golubovsky 29 Apr '05

29 Apr '05

Hi, Is it possible to have such a feature in the future versions of the Haskell language? For example, there is an Either datatype which is Left a| Right b. Suppose I want to extend this datatype to the one including possibility of neither Left or Right (i. e. None). Currently I have to use Maybe Either, so my options are: Just (Left a) Just (Right b) Nothing If I could extend the Either datatype I might have (syntax may be different, this is just an example) data NEither a b = <Either a b> | None where datatype in angles is a parent datatype, and all its possible data constructors are included, and their list is extended with None. which gave me possibilities: Left a | Right b | None Probably I wouldn't expect to be able to reuse Nothing here (although I might want to) because Nothing already has been defined to be of the type Maybe. This is just a suggestion, that's why it is posted in the Cafe. PS Or is there a similar feature in the language already? Regarding reusing constructor names across several datatypes: is it possible to qualify them with their enclosing datatype name, like Maybe.Nothing where there is a name conflict? Then I might reuse Nothing in my hypothetical data type, and it would be NEither.Nothing if conflicting with Maybe.Nothing PPS I may be missing something again, as always ;) -- Dimitry Golubovsky Anywhere on the Web

5 4

about Ghci
by SCOTT J. 29 Apr '05

29 Apr '05

Hi, I use Windows XP and I like to start Ghci in extended mode. What do I have to do in order not having to type always :set -fglasgow-exts thanks Jan

6 5