- Hat - Haskell.org

Move from CVS to darcs.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Dear Hat developers, I have now successfully converted the entire repository for Hat from CVS to darcs. For those with commit access, it is now at darcs get --partial darcs.haskell.org:/home/darcs/hat and for those without commit access, it is available read-only at darcs get --partial http:/darcs.haskell.org/hat The first thing to do after downloading a copy is sh start to make various scripts executable, then ./configure make as normal. For those who still have uncommitted changes in CVS, don't panic. You can continue to commit to CVS for a short time, several weeks perhaps, and I will copy the patches across to the main darcs repo. Regards, Malcolm P.S. For those of you on the cvs-nhc98 mailing list, I apologise again for the spam of 1396 old commit messages ever since the history of the world, but I believe the problem is now fixed.

2 1

Broken hat mirror
by Neil Mitchell 08 Oct '06

08 Oct '06

Hi, I got told about this site by a person: http://mathematik.htwm.de/cgi-bin/dwww?type=file&location=/usr/share/doc/ha… They found this with the google search: http://www.google.com/search?q=hat-stack%20haskell They were deeply confused, because all the documentation links were broken, so they didn't have a clue how to generate a .hat file. It would be best if this mirror site was removed, turned into a redirect to the main Haskell site, or fixed to be a complete mirror. Thanks Neil

1 0

Re: Packages & hat-trans output
by Michael McDermott 08 Oct '06

08 Oct '06

What version of ghc? Were there any linking errors when the hat package was built? GHC 6.4.2 and no linking errors that I know of. GHC gave a few compilation warnings, but that is all. The output from ghc-pkg describe hat shows the following: exposed: True exposed-modules: [list of hat modules...] hidden-modules: import-dirs: /usr/lib/ghc-6.4.2/imports/hat library-dirs: /usr/lib/ghc-6.4.2 No other directory settings are set. Is this correct?

1 0

Re: Packages & hat-trans output
by Michael McDermott 07 Oct '06

07 Oct '06

I have been working on a Gentoo ebuild for Hat and ran across a few issues. First, it is the cabal package (not hat-package.conf) that needs to be piped to ghc-pgk register - to register the package (which is easy enough to work around). Futhermore, the file is somewhat incomplete. For example, if the import-dirs field is not added, then GHC is unable to find Hat's classes. Secondly, once I was able to get past that issue, the output from hat-trans fails to compile. Here is a sample of the output: ghc -package hat -o Insert Hat/Insert.o Hat/Insert.o: In function `r2iZ_info': : undefined reference to `HatziHat_mkModule_closure' Hat/Insert.o: In function `HatziInsert_asort_info': : undefined reference to `HatziHat_mkVariable_closure' Hat/Insert.o: In function `HatziInsert_ainsert_info': .... I am presuming that HatziInsert_ainsert_info, etc. are functions in libraries or headers that should be linked to the program, but, if so, where are they? Since I don't know, it has been hard to add this to the Cabal package or GHC's config files. The output was virtually the same for both programs I tried to run hat on. The first was Insert.hs, the example on the tutorial page and the second was a basic hello world: module Main where main = do putStrLn "Hello, world" Both programs appear to work 100% when run through GHC vanilla. If you could give me some insight into these errors, it would be greatly appreciated. Sincerely, Michael McDermott

2 1

Errors building hat 2.04
by Yang 04 Oct '06

04 Oct '06

hi all, after running configure on the latest release of hat, 'make' gives me: >>> /export/home/yang/tmp/pkg/hat-2.04/lib/ix86-Linux/config:11: *** missing separator. Stop. >>> that config file contains: >>> BUILDWITH=ghc BUILDOPTS="" INSTALLVER="2.04" INSTALLINFO="config: ix86-Linux/ by yang(a)harvard.csail.mit.edu on 1 Oct 2006" BUILDBASEDIR=/home/yang/tmp/pkg/hat-2.04/targets LIBCOMPAT="" EXE= CC=gcc GHCSYM= 604 TRUE=/bin/true GLIB=glib >>> i thought maybe the whitespace before 604 needed to be removed. doing that, 'make' continues fine, until... >>> ... ghc -package-name hat -fglasgow-exts -package base -package parsec -package mtl -fno-warn-overlapping-patterns -fno-warn-missing-methods -fno-warn-duplicate-exports -i/home/yang/tmp/pkg/hat-2.04/targets/ix86-Linux/obj/hatlib/ghc -I. -I/export/home/yang/tmp/pkg/hat-2.04/include '-#include "hat-c.h"' -cpp -c -o /home/yang/tmp/pkg/hat-2.04/targets/ix86-Linux/obj/hatlib/ghc/Hat/Hack.o Hat/Hack.hs mv Hat/Hack.hi /home/yang/tmp/pkg/hat-2.04/targets/ix86-Linux/obj/hatlib/ghc/Hat/Hack.hi ghc -package-name hat -fglasgow-exts -package base -package parsec -package mtl -fno-warn-overlapping-patterns -fno-warn-missing-methods -fno-warn-duplicate-exports -i/home/yang/tmp/pkg/hat-2.04/targets/ix86-Linux/obj/hatlib/ghc -I. -I/export/home/yang/tmp/pkg/hat-2.04/include '-#include "hat-c.h"' -cpp -c -o /home/yang/tmp/pkg/hat-2.04/targets/ix86-Linux/obj/hatlib/ghc/Hat/PreludeBuiltinTypes.o Hat/PreludeBuiltinTypes.hs mv Hat/PreludeBuiltinTypes.hi /home/yang/tmp/pkg/hat-2.04/targets/ix86-Linux/obj/hatlib/ghc/Hat/PreludeBuiltinTypes.hi /export/home/yang/tmp/pkg/hat-2.04/script/hat-trans -P. -I. -trusted -prelude -D__GLASGOW_HASKELL__= 604 PreludeBuiltin.hs Can't open 604 make[1]: *** [/home/yang/tmp/pkg/hat-2.04/targets/ix86-Linux/obj/hatlib/ghc/Hat/PreludeBuiltin.o] Error 1 make[1]: Leaving directory `/export/home/yang/tmp/pkg/hat-2.04/src/hatlib' make: *** [targets/ix86-Linux/hat-lib-ghc] Error 2 >>> how do i fix this build problem? i read this thread: http://www.haskell.org/pipermail/hat/2006-February/000256.html but that patch was already applied in the release i downloaded. thanks in advance for any help.

3 4

Parsing issue with 1e12
by Neil Mitchell 29 Sep '06

29 Sep '06

Hi Hat and Yhc people (and I guess nhc people as well), Both GHC and Hugs parse 1e12 as a number, but Hat and Yhc don't. For example, test = print 1e12 gives: yhc: -- during when renaming Error: Identifier e12 used at 7:15-7:17 is not defined. I have also been told that Hat leads to an error. So: 1) Is this an error, what does the Haskell spec say? 2) Should the parser be fixed in all the right places? (does this impact Colin's hpc as well?) Thanks Neil

2 1

Re: [Hat] Documentation on trace file format?
by malcolm＠cs.york.ac.uk 16 Sep '06

16 Sep '06

> My biggest problem (at the moment) is that the trace file format is > under-documented. I've written my new back-end by reverse-engineering > existing back-ends, but that's too error-prone for comfort. Is there any > unpublished documentation on the trace file format and its correct > interpretation that might help me ensure I'm not missing anything crucial? Indeed, there is a lot of unpublished documentation about Hat. We had a series of internal memos covering lots of design issues including the file format. Up until now, these have been private, but I can't think of a good reason for them to remain that way, especially if other people are developing on top of Hat and need to understand such issues. So have a look at http://www.cs.york.ac.uk/fp/hat/Memos Bearing in mind that many of the memos may now be superseded or out of date, I hope that nevertheless you manage to find something useful here. (There are two separate memos about the file format, one by me, another by Olaf.) Regards, Malcolm

1 0

Documentation on trace file format?
by John DeTreville 15 Sep '06

15 Sep '06

Hello, I'm in the middle of a small research project that analyzes execution traces of large Haskell programs. I'm currently using Hat as an infrastructure for generating traces (same hat-trans, same libraries, same trace files, custom back-end). I'd first like to thanks the Hat authors and maintainers for their fine work. I've tried or considered a few other ways to generate such traces, and Hat provides a great combination of broad language and library coverage with accurate traces and the ability to trace long executions. Thank you! My biggest problem (at the moment) is that the trace file format is under-documented. I've written my new back-end by reverse-engineering existing back-ends, but that's too error-prone for comfort. Is there any unpublished documentation on the trace file format and its correct interpretation that might help me ensure I'm not missing anything crucial? Cheers, John

1 0

building hat with ghc 6.4.2 under debian testing/unstable
by cb224＠cs.york.ac.uk 11 Sep '06

11 Sep '06

hello, cpp from gcc 4.1.2 appears to output more whitespace than expected when generating ghcsym.out. this results in the following error during build: ~/src/other/hat-2.04.orig$ make src/other/hat-2.04.orig/lib/ix86-Linux/config:11: *** missing separator. Stop. the attached patch appears to fix this.

2 1

Feature request/wish list - library support
by patc＠cse.unsw.edu.au 11 Sep '06

11 Sep '06

Hi, I don't know how you update your web pages and so on, but I'd like to make a feature request (wish!) for support of all the standard haskell libraries. The couple of times I've tried using Hat this has been an issue. ST related libraries are the ones I really want. Also the first time I tried using Hat (this was about a week after I started using Haskell) I got desparately confused by its lack of library support. If I recall, I had a little bit of toy code which used Data.Queue, and tried re-installing Hat several times with different options, each time getting an erro message like "Data.Queue: Does not exist". Could you change the error message to read? Data.Queue: Does not exist; check http://<something> for a list of supported libraries. Thanks all the same for all your work! Regards, Patrick.

2 1