May 2006 - Hat - Haskell.org

Tracing a program that uses Control.Monad.ST
by Alexey Rodriguez Yakushev 15 May '06

15 May '06

Hi all, I am attempting to trace a program (Djinn) that uses library modules that are not supported by Hat, such as Control.Monad.ST . I was planning to add them to either add them to Hat before building or directly to the program itself. However, I fear that this and other modules were left out because there was some fundamental limitation of Hat when dealing with these. I don't want to discover this after hours of trying so I decided to ask here :). Cheers, Alexey P.S. Please cc me, I am not subscribed.

2 1

Is the CVS repo down?
by Thomas Davie 06 May '06

06 May '06

I've been getting "could not contact haskell.galois.com" errors when trying to do a cvs update... Is this a my connection issue, or a their connection issue? Bob

2 1

Hat-trans or hat-lib bug
by Thomas Davie 02 May '06

02 May '06

Odd bug here... The file lambda.hs contains: main = print ((\x -> x * x) (2.0 :: Float)) This is the output for compiling for hat, and not for hat: Looking at the traces, the recorded trace computes the correct answer (in fact, 16 can't be found anywhere in the trace), but the incorrect answer is output. alduruch:~/Documents/Work/Hat test cases/Lambda tatd2$ rm lambda.o alduruch:~/Documents/Work/Hat test cases/Lambda tatd2$ rm Hat/lambda.o alduruch:~/Documents/Work/Hat test cases/Lambda tatd2$ rm lambda alduruch:~/Documents/Work/Hat test cases/Lambda tatd2$ hmake lambda ghc -c -o lambda.o lambda.hs ghc -o lambda lambda.o alduruch:~/Documents/Work/Hat test cases/Lambda tatd2$ ./lambda 4.0 alduruch:~/Documents/Work/Hat test cases/Lambda tatd2$ rm lambda alduruch:~/Documents/Work/Hat test cases/Lambda tatd2$ hmake -hat lambda hat-trans lambda.hs Wrote Hat/lambda.hs ghc -c -package hat -o Hat/lambda.o Hat/lambda.hs ghc -package hat -o lambda Hat/lambda.o alduruch:~/Documents/Work/Hat test cases/Lambda tatd2$ ./lambda 16.0

1 0

hat: missing separator in generated config.
by David A. Mellis 02 May '06

02 May '06

I don't think this is a problem with hat (since the same thing happened when I built hmake), but since it breaks the hat build (at least on my machine), I thought I should report it. My generated config file (lib/powerpc-Darwin8/config) contains the three lines (9 through 11): GHCSYM= 604 and so when running "make", I get the error: /Users/dmellis/Desktop/hat-2.04/lib/powerpc-Darwin8/config:11: *** missing separator. Stop. This is on Mac OS X 10.4 (Tiger), with GNU Make 3.80. The file "targets/powerpc-Darwin8/ghcsym" has two blanks lines at the beginning, followed by a line with only "604" - perhaps this is the problem?

2 1