- Hat - Haskell.org

hmake -hat looks for file in /usr/include, not PWD
by David Morse 24 Oct '06

24 Oct '06

"hmake -hat -package GLUT Main" fails with: "Fail: /usr/include/hat/DoublyLinked.hx: openFile: does not exist (No such file or directory)". DoublyLinked.hs is sitting right in the directory from which I'm compiling, I'm not sure why the -hat flag causes this digging in /usr/include. Deleting "-hat" causes successful compilation. The directory tree looks like this: lanes/ ByKey.hs DoublyLinked.hs IfPrime.hs Main.hs MaybeBool.hs Traffic.hs Traffic/ lanes/Traffic/ Data.hs Sim.hs Units.hs This is hat 2.02-12 and hmake-3.09-3 on Debian stable x86. This is the full text of the build: _______________________________________________________________________________ abu ~/sync/lanes hmake -hat -package GLUT Main hat-trans MaybeBool.hs Creating directories Hat Wrote Hat/MaybeBool.hs /usr/bin/haskell-compiler -package GLUT -c -package hat -o Hat/MaybeBool.o Hat/MaybeBool.hs hat-trans Traffic/Units.hs Creating directories Hat Hat/Traffic Wrote Hat/Traffic/Units.hs /usr/bin/haskell-compiler -package GLUT -c -package hat -o Hat/Traffic/Units.o Hat/Traffic/Units.hs hat-trans DoublyLinked.hs Wrote Hat/DoublyLinked.hs /usr/bin/haskell-compiler -package GLUT -c -package hat -o Hat/DoublyLinked.o Hat/DoublyLinked.hs hat-trans ByKey.hs Wrote Hat/ByKey.hs /usr/bin/haskell-compiler -package GLUT -c -package hat -o Hat/ByKey.o Hat/ByKey.hs hat-trans IfPrime.hs Wrote Hat/IfPrime.hs /usr/bin/haskell-compiler -package GLUT -c -package hat -o Hat/IfPrime.o Hat/IfPrime.hs hat-trans Traffic/Sim.hs Fail: /usr/include/hat/DoublyLinked.hx: openFile: does not exist (No such file or directory) _______________________________________________________________________________ in Traffic/Sim.hs the line including DoublyLinked looks like this: "import qualified DoublyLinked as DL"

3 3

Doom!
by Thomas Davie 24 Oct '06

24 Oct '06

Error while trying to get the new darcs version... LappyBob:~/Documents/Work tatd2$ darcs get darcs.haskell.org:/home/ darcs/hat Applying patch 332 of 1401... Unapplicable patch: Thu Jul 5 17:45:57 BST 2001 thorsten * - Hatobserve made primary "observation" tool. hat-observe.c now obsolete. - Heavily improved interactive mode for Hatobserve. - First integration of Hatobserve and hat-detect: Algorithmic Debugging Sessions can immediately be started on an observed equation. darcs failed: Error applying hunk to file ./src/hattools/Hatobserve.hs At a guess - this will be down to not having a case-sensitive file system. Bob

2 1

Interim release: Hat-2.05
by Malcolm Wallace 24 Oct '06

24 Oct '06

Several people have reported that Hat does not compile without errors on ghc-6.4.1, and now that ghc-6.6 is available, the Hat-2.04 release certainly does not compile there either. As an interim measure, I have just made available a 'snapshot' release of Hat-2.05, specifically to ensure that it compiles with ghc-6.6. This is very much a stop-gap. There have been huge changes in the standard base library package since the last full release of Hat, which are not reflected in 2.05. (For example, Parsec and Data.FiniteMap are no longer in base, whilst Data.Map, Data.Set and so on have been added. Hat still has the older API.) The Hat team is planning to rectify these problems shortly, but we are unlikely to be able to make a full release before the end of the year. I hope the 2.05 release is sufficient to meet at least some people's needs in the meantime. Regards, Malcolm

1 0

Committing changes
by Thomas Davie 23 Oct '06

23 Oct '06

I have a few changes to commit to the hat repo, but I'm unsure if I should or not, Malcolm, what state is the repo in, should I commit now, or wait until post-darcs? Bob

3 2

hat-trail: attempt to read beyond end of file
by Barzille 18 Oct '06

18 Oct '06

Hi there, I just started to use HAT. After Installation, which was hell ^^, I tried Tutorial Part 1. After compiling $ hmake -hat Insort the output is >hat-trans Insort.hs >Creating directories Hat >Wrote Hat/Insort.hs >ghc -c -package hat -o Hat/Insort.o Hat/Insort.hs > >Hat/Insort.hs:16:0: > Warning: Pattern match(es) are overlapped > In the definition of `hsort': hsort _ p = ... > >Hat/Insort.hs:30:0: > Warning: Pattern match(es) are overlapped > In the definition of `hinsert': hinsert _ _ p = ... >ghc -package hat -o Insort Hat/Insort.o After that I run: $ ./Insort >agmoprr Thats nice, I think. But when I start hat-trail $ hat-trail Insort the output is: >hat-trail: attempt to read beyond end of file >hat-trail: offset = 0x9012cc02, filesize = 0x2008 >hat-trail: errno = 0 (Success) I don't think that this is nice, is it? Has anybody some hints for me? Thanks in advance -- View this message in context: http://www.nabble.com/hat-trail%3A-attempt-to-read-beyond-end-of-file-tf243… Sent from the Haskell - Hat mailing list archive at Nabble.com.

4 14

Failed to load interface for `Hat.PreludeBasic'
by David Morse 17 Oct '06

17 Oct '06

This appears to be a Hat installation problem. Running the command "hmake -v -hat Test" yields the results: ------------------------------------------------------------------------------------ hat-trans DoublyLinked.hs Wrote Hat/DoublyLinked.hs /usr/bin/haskell-compiler -v -c -package hat -o Hat/DoublyLinked.o Hat/Doub lyLinked.hs Glasgow Haskell Compiler, Version 6.4.1, for Haskell 98, compiled by GHC version 6.4.1 Using package config file: /usr/lib/ghc-6.4.1/package.conf Hsc static flags: -static -funregisterised *** Checking old interface for Hat.DoublyLinked: *** Parser: *** Renamer/typechecker: Hat/DoublyLinked.hs:11:0: Failed to load interface for `Hat.PreludeBasic': Could not find module `Hat.PreludeBasic': locations searched: Hat/PreludeBasic.hi Hat/PreludeBasic.hi-boot *** Deleting temp files Deleting: /tmp/ghc7184.hc Warning: deleting non-existent /tmp/ghc7184.hc ------------------------------------------------------------------------------------- I have explicitly enabled hat via ghc-pkg -l lists "hat" not in parenthesis, so I think the package is enabled. ---------------------------------------------------------------- When apt-getting hat for ubuntu 6.06, note the troubling output of the package manager "ghc-pkg: cannot find package hat" - this was before the hat package was enabled -- could this be the problem? If so, should I more properly ask the package maintainers about this? Setting up hmake (3.10-1.1) ... Setting up hat (2.04-0ubuntu2) ... Setting up hat-ghc6 (2.04-0ubuntu2) ... ghc-pkg: cannot find package hat Reading package info from stdin ... done. Saving old package config file... done. Writing new package config file... done. ------------------------------------------------------------------------------------ Possibly related: "[Hat] hat installation problem" http://www.haskell.org/pipermail/hat/2006-February/000255.html ------------------------------------------------------------------------------------- Any idea what the problem could be? CC me in the reply please, I don't subscribe.

2 1

using Hat with unsafeCoerce
by roconnor＠theorem.ca 16 Oct '06

16 Oct '06

I have a program that is standalone expect for a dependency on unsafeCoerce. Is it possible to use Hat to trace through this program? -- Russell O'Connor <http://r6.ca/> ``All talk about `theft,''' the general counsel of the American Graphophone Company wrote, ``is the merest claptrap, for there exists no property in ideas musical, literary or artistic, except as defined by statute.''

2 1

Using Hat with HUnit
by Katerina Barone-Adesi 11 Oct '06

11 Oct '06

I'm trying to run hat on some unit tests. They use HUnit-1.0, which I have under the tests directory, in tests/HUnit-1.0/; I've been interpreting the tests using runhaskell. When I run hmake -package parsec -i.. -iHUnit-1.0 RunTests; ./RunTests, everything works exactly as it does when I'm interpreting. When I add a -hat to the options, I get the following error: hat-trans -i.. -iHUnit-1.0 HUnit-1.0/HUnitLang.lhs Wrote Hat/HUnit-1.0/HUnitLang.hs /usr/bin/ghc -package parsec -i.. -iHUnit-1.0 -c -package hat -o HUnit-1.0/Hat/HUnitLang.o HUnit-1.0/Hat/HUnitLang.hs ghc-6.4.2: error: directory portion of "HUnit-1.0/Hat/HUnitLang.o" does not exist (used with "-o" option.) If I manually create HUnit-1.0/Hat: hat-trans -i.. -iHUnit-1.0 HUnit-1.0/HUnitLang.lhs Wrote Hat/HUnit-1.0/HUnitLang.hs /usr/bin/ghc -package parsec -i.. -iHUnit-1.0 -c -package hat -o HUnit-1.0/Hat/HUnitLang.o HUnit-1.0/Hat/HUnitLang.hs ghc-6.4.2: file `HUnit-1.0/Hat/HUnitLang.hs' does not exist If I switch into the HUnit-1.0 directory and run "hmake -hat HUnitLang.lhs": hmake -hat HUnitLang.lhs hat-trans HUnitLang.lhs Wrote Hat/HUnitLang.hs /usr/bin/ghc -c -package hat -o Hat/HUnitLang.o Hat/HUnitLang.hs Hat/HUnitLang.hs:52:38: Could not find module `Hat.PreludeBuiltin': use -v to see a list of the files searched for In the fourth argument of `Hat.Hat.uapp1', namely `aioError' In the definition of `hassertFailure': hassertFailure fmsg p = Hat.Hat.uapp1 p59v23v59v60 p59v23v59v29 p aioError hioError (Hat.Hat.uapp1 p59v32v59v60 p59v32v59v40 p auserError huserError (Hat.Hat.uapp2 p59v43v59v60 p59v55v59v56 p (+++) (*++) (ghunitPrefix p59v43v59v53 p) fmsg)) I'd like to be able to trace my code; I'm indifferent to whether or not I trace the code within HUnit. Any suggestions on how I can do this? Katerina Barone-Adesi

2 1

Proposal, Heirarchical module structure for tools
by Neil Mitchell 11 Oct '06

11 Oct '06

Hi, The current hattools directory has 38 Haskell files in it, and 34 .h/.c files. It would be nice if these were split so it was easy to determine the files in one program, and what is a tool versus what is a library. The following is a draft proposal: Hat - global module in which all Hat stuff resides (this clashes with the hat-trans output, does this matter?) Hat.Lib - directory for libraries, which export a nice API for using in the tools - for example HatCover as Hat.Lib.Cover. Hat.Tool - directory for the tools, for example HatCoverText, as Hat.Tool.Cover Hat.Common - Common functions which are unrelated to Hat tracing, but are used by the Tools, for example HighlightStyle as Hat.Common.HighlightStyle Within Hat.Tool, I would expect some simpler (one module) tools to be Hat.Tool.ToolName, but more complex tools would be Hat.Tool.ToolName.Modules, with a single Hat.Tool.ToolName module which imports the others. To keep the structure of having a Main module at the root which is the tool for each given tool, for each tool a file would be created: -- file HatCover.hs import Hat.Tool.Cover This file gives an easy module Main to be located for each tool. The advantages of this scheme: * Easier to differentiate between libraries and tools * Easier to find a particular tool and all its given code * Clearer separation of Hat code vs general Haskell Thanks Neil

5 16

CVS is broken
by Thomas Davie 10 Oct '06

10 Oct '06

Having just done a CVS update, I got the following error compiling hat: ../compiler98/OsOnly.hs:46:28: Not in scope: `isPrefixOf' make[1]: *** [/Users/tatd2/Documents/Work/hat/lib/ix86-Darwin8/hat- trans] Error 1 I don't really want to fix it and check in, because some of my copy is equally broken at the moment. Would love it if someone fixed it. Thanks Bob

2 2