October 2008 - Hat - Haskell.org

Fw: another wish for Hat
by Malcolm Wallace 16 Oct '08

16 Oct '08

Anthony's original message, containing his wish list for Hat: "A technical document defining the format of Hat traces, so that implementors of Haskell can add native support for Hat to their respective systems." It also solves the problems of: * maintaining and distributing a separate tracing version of the Haskell codebase; * maintaining a separate Haskell source-source transformer and front-end. Some extra benefits: * Traces coming from Haskell implementations would be from well-typed programs; * The somewhat-invasive nature of Hat on a Haskell codebase could be considered a deterrent to its widespread use; this would no longer be the case. I understand that native support for Hat will be part of yhc; this would be a good opportunity for "Hat insiders" to put together such a document - the implemetation in yhc could then be used to vaildate it. Regards, Anthony

2 1

Re: another wish for Hat
by Malcolm Wallace 16 Oct '08

16 Oct '08

Anthony Travers wished for: > "A technical document defining the format of Hat traces, so > that implementors of Haskell can add native support for Hat > to their respective systems." Great idea! Do the documents at http://www.cs.york.ac.uk/fp/hat/Memos/ come close? Especially these ones: 14 Hat File Format 19 A Better Hat File Format 31 The Definition of the Augmented Redex Trail Regards, Malcolm

1 0

Help with hat's gentoo ebuild
by sebasmagri＠gmail.com 05 Oct '08

05 Oct '08

Hi friends... I'm writing an ebuild for hat to get it into the gentoo's haskell overlay for testing and then pull it into the portage tree. I can see that actually you use autotools to build it, but I found hat.cabal in the lib dir. I suppose that this .cabal file is used to build only the libs. We in gentoo make use of some especial functions that make the things more easier to mantain when are cabalized, don't you have a way to build hat using only cabal?. If not, is there any reason that I must have in consideration? There is an ebuild for hat yet in our bugzilla, but we are searching or ways to improve it and make it available for auo gentoo-haskell users... Greetings..

1 0