From tatd2 at kent.ac.uk Fri Nov 3 11:01:56 2006 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Fri Nov 3 11:01:48 2006 Subject: [Hat] Hat hasn't installed properly Message-ID: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> Something's up with hat-2.05 on my system. It hasn't installed its package correctly. ./configure, make, sudo make install reported no errors, but trying to build using 'hmake -hat' produces this error: hat-trans goodFib.hs Creating directories Hat Wrote Hat/goodFib.hs ghc -c -package hat -o Hat/goodFib.o Hat/goodFib.hs ghc-6.6: unknown package: hat Running ghc-pkg list reveals that no such package is installed: LappyBob:~/Documents/Work/Hat test cases/goodFib tatd2$ ghc-pkg list /usr/local/lib/ghc-6.6/package.conf: Cabal-1.1.6, GLUT-2.0, HGL-3.1, HUnit-1.1, OpenGL-2.1, QuickCheck-1.0, X11-1.1, base-2.0, cgi-2006.9.6, fgl-5.2, (ghc-6.6), haskell-src-1.0, haskell98-1.0, html-1.0, mtl-1.0, network-2.0, parsec-2.0, readline-1.0, regex-base-0.71, regex-compat-0.71, regex-posix-0.71, rts-1.0, stm-2.0, template-haskell-2.0, time-1.0, unix-1.0, xhtml-2006.9.13 Any ideas why the package isn't getting installed correctly? Bob From tatd2 at kent.ac.uk Fri Nov 3 11:22:29 2006 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Fri Nov 3 11:22:20 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> Message-ID: <03BBE758-1EC2-4362-9A32-AA8F9C36271E@kent.ac.uk> It appears that the install script hasn't copied any of the hat-libs (none of the hi files, and not the .a file either). I'm wondering if it has got the wrong directory to copy the files to, but I can't figure out where the configures script actually does that install/copy. Bob On 3 Nov 2006, at 16:01, Thomas Davie wrote: > Something's up with hat-2.05 on my system. It hasn't installed its > package correctly. ./configure, make, sudo make install reported > no errors, but trying to build using 'hmake -hat' produces this error: > > hat-trans goodFib.hs > Creating directories Hat > Wrote Hat/goodFib.hs > ghc -c -package hat -o Hat/goodFib.o Hat/goodFib.hs > ghc-6.6: unknown package: hat > > Running ghc-pkg list reveals that no such package is installed: > LappyBob:~/Documents/Work/Hat test cases/goodFib tatd2$ ghc-pkg list > /usr/local/lib/ghc-6.6/package.conf: > Cabal-1.1.6, GLUT-2.0, HGL-3.1, HUnit-1.1, OpenGL-2.1, > QuickCheck-1.0, X11-1.1, base-2.0, cgi-2006.9.6, fgl-5.2, > (ghc-6.6), haskell-src-1.0, haskell98-1.0, html-1.0, mtl-1.0, > network-2.0, parsec-2.0, readline-1.0, regex-base-0.71, > regex-compat-0.71, regex-posix-0.71, rts-1.0, stm-2.0, > template-haskell-2.0, time-1.0, unix-1.0, xhtml-2006.9.13 > > Any ideas why the package isn't getting installed correctly? > > Bob > _______________________________________________ > Hat mailing list > Hat@haskell.org > http://www.haskell.org/mailman/listinfo/hat From Malcolm.Wallace at cs.york.ac.uk Fri Nov 3 11:22:21 2006 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Fri Nov 3 11:25:18 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> Message-ID: <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> Thomas Davie wrote: > Something's up with hat-2.05 on my system. It hasn't installed its > package correctly. ./configure, make, sudo make install reported no > errors, but trying to build using 'hmake -hat' produces this error: > > ghc-6.6: unknown package: hat I don't know why the hat package is not installed on your system. But I did find some packaging errors that mean, even it hat was installed, it would not work with ghc-6.6. Essentially, ghc now needs to know both the package name _and version_ when building the library, otherwise the linker gets confused and can't resolve names. I've pushed a fix to the darcs repo, and will probably re-roll the 2.05 distribution as well. Regards, Malcolm From tatd2 at kent.ac.uk Fri Nov 3 11:43:47 2006 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Fri Nov 3 11:43:38 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> Message-ID: The reason that the package is not there I have discovered is that ghc-pkg register quits out because libHShat.a does not exist. Putting that in the appropriate place causes ghc-pkg register to work, but then you get errors because the hat-libs aren't in the right places. I'm not quite sure where the hat libs should be going. Bob On 3 Nov 2006, at 16:22, Malcolm Wallace wrote: > Thomas Davie wrote: > >> Something's up with hat-2.05 on my system. It hasn't installed its >> package correctly. ./configure, make, sudo make install reported no >> errors, but trying to build using 'hmake -hat' produces this error: >> >> ghc-6.6: unknown package: hat > > I don't know why the hat package is not installed on your system. > But I > did find some packaging errors that mean, even it hat was > installed, it > would not work with ghc-6.6. > > Essentially, ghc now needs to know both the package name _and version_ > when building the library, otherwise the linker gets confused and > can't > resolve names. I've pushed a fix to the darcs repo, and will probably > re-roll the 2.05 distribution as well. > > Regards, > Malcolm > _______________________________________________ > Hat mailing list > Hat@haskell.org > http://www.haskell.org/mailman/listinfo/hat From tatd2 at kent.ac.uk Fri Nov 3 12:02:01 2006 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Fri Nov 3 12:01:53 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> Message-ID: Further update to this - the latest patch did not succed with fixing at least my complaint. Where exactly should the various hi files get copied to? Where in the install script is the code that should do this? Bob On 3 Nov 2006, at 16:43, Thomas Davie wrote: > The reason that the package is not there I have discovered is that > ghc-pkg register quits out because libHShat.a does not exist. > Putting that in the appropriate place causes ghc-pkg register to > work, but then you get errors because the hat-libs aren't in the > right places. > > I'm not quite sure where the hat libs should be going. > > Bob > > On 3 Nov 2006, at 16:22, Malcolm Wallace wrote: > >> Thomas Davie wrote: >> >>> Something's up with hat-2.05 on my system. It hasn't installed its >>> package correctly. ./configure, make, sudo make install reported no >>> errors, but trying to build using 'hmake -hat' produces this error: >>> >>> ghc-6.6: unknown package: hat >> >> I don't know why the hat package is not installed on your system. >> But I >> did find some packaging errors that mean, even it hat was >> installed, it >> would not work with ghc-6.6. >> >> Essentially, ghc now needs to know both the package name _and >> version_ >> when building the library, otherwise the linker gets confused and >> can't >> resolve names. I've pushed a fix to the darcs repo, and will >> probably >> re-roll the 2.05 distribution as well. >> >> Regards, >> Malcolm >> _______________________________________________ >> Hat mailing list >> Hat@haskell.org >> http://www.haskell.org/mailman/listinfo/hat > > _______________________________________________ > Hat mailing list > Hat@haskell.org > http://www.haskell.org/mailman/listinfo/hat From Malcolm.Wallace at cs.york.ac.uk Fri Nov 3 12:35:14 2006 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Fri Nov 3 12:39:53 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> Message-ID: <20061103173514.6906e27b.Malcolm.Wallace@cs.york.ac.uk> Thomas Davie wrote: > Further update to this - the latest patch did not succed with fixing > at least my complaint. Where exactly should the various hi files get > copied to? Where in the install script is the code that should do > this? script/confhat does all copying of files, and calls ghc-pkg to register the library package. Regards, Malcolm From tatd2 at kent.ac.uk Fri Nov 3 16:05:36 2006 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Fri Nov 3 16:05:29 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: <20061103173514.6906e27b.Malcolm.Wallace@cs.york.ac.uk> References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> <20061103173514.6906e27b.Malcolm.Wallace@cs.york.ac.uk> Message-ID: On 3 Nov 2006, at 17:35, Malcolm Wallace wrote: > Thomas Davie wrote: > >> Further update to this - the latest patch did not succed with fixing >> at least my complaint. Where exactly should the various hi files get >> copied to? Where in the install script is the code that should do >> this? > > script/confhat does all copying of files, and calls ghc-pkg to > register > the library package. That file never appears to try to copy anything to /usr/local/lib/ ghc-6.6/imports/Hat (which is where I would expect hi files to end up) or /usr/local/lib/ghc-6.6/ (which is where I'd expect libHShat.a to end up, and why ghc-pkg register fails)... Should it do this? Have I got an odd copy? Bob From Malcolm.Wallace at cs.york.ac.uk Mon Nov 6 06:57:22 2006 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Mon Nov 6 07:01:44 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> <20061103173514.6906e27b.Malcolm.Wallace@cs.york.ac.uk> Message-ID: <20061106115722.3c922415.Malcolm.Wallace@cs.york.ac.uk> Thomas Davie wrote: > That file never appears to try to copy anything to /usr/local/lib/ > ghc-6.6/imports/Hat (which is where I would expect hi files to end > up) or /usr/local/lib/ghc-6.6/ (which is where I'd expect libHShat.a > to end up, and why ghc-pkg register fails)... The libHShat.a library ends up in $DESTDIR$PREFIX/lib/hat-$HATVERSION/$MACHINE/ghc-$GHCSYM which should resolve in your case to /usr/local/lib/hat-2.05/x86-darwin/ghc-6.6/ and the interface files should go in $DESTDIR$PREFIX/imports/hat-$HATVERSION/ghc-$GHCSYM which again should resolve to /usr/local/imports/hat-2.05/ghc-6.6 These locations are then written into the hat-package.conf file, and ghc-pkg register is called using that file as input. I'm not sure how it can go wrong, unless for some reason your version of GHC is being detected wrongly as < 6.4. Regards, Malcolm From tom.davie at gmail.com Mon Nov 6 08:35:02 2006 From: tom.davie at gmail.com (Thomas Davie) Date: Mon Nov 6 08:35:13 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: <20061106115722.3c922415.Malcolm.Wallace@cs.york.ac.uk> References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> <20061103173514.6906e27b.Malcolm.Wallace@cs.york.ac.uk> <20061106115722.3c922415.Malcolm.Wallace@cs.york.ac.uk> Message-ID: <3E2EB14B-9953-4964-882D-5C696C7136E6@gmail.com> On 6 Nov 2006, at 11:57, Malcolm Wallace wrote: > Thomas Davie wrote: > >> That file never appears to try to copy anything to /usr/local/lib/ >> ghc-6.6/imports/Hat (which is where I would expect hi files to end >> up) or /usr/local/lib/ghc-6.6/ (which is where I'd expect libHShat.a >> to end up, and why ghc-pkg register fails)... > > The libHShat.a library ends up in > $DESTDIR$PREFIX/lib/hat-$HATVERSION/$MACHINE/ghc-$GHCSYM > which should resolve in your case to > /usr/local/lib/hat-2.05/x86-darwin/ghc-6.6/ > and the interface files should go in > $DESTDIR$PREFIX/imports/hat-$HATVERSION/ghc-$GHCSYM > which again should resolve to > /usr/local/imports/hat-2.05/ghc-6.6 Malcolm - problem solved! I'd missed one file on adding executable bits after the darcs get. Perhaps this needs a small script to set the permissions correctly after a get? Bob From Malcolm.Wallace at cs.york.ac.uk Mon Nov 6 09:04:32 2006 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Mon Nov 6 09:11:39 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: <3E2EB14B-9953-4964-882D-5C696C7136E6@gmail.com> References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> <20061103173514.6906e27b.Malcolm.Wallace@cs.york.ac.uk> <20061106115722.3c922415.Malcolm.Wallace@cs.york.ac.uk> <3E2EB14B-9953-4964-882D-5C696C7136E6@gmail.com> Message-ID: <20061106140432.46b929f4.Malcolm.Wallace@cs.york.ac.uk> Thomas Davie wrote: > Malcolm - problem solved! I'd missed one file on adding executable > bits after the darcs get. Perhaps this needs a small script to set > the permissions correctly after a get? You mean like sh start :-) Regards, Malcolm From tom.davie at gmail.com Mon Nov 6 09:34:34 2006 From: tom.davie at gmail.com (Thomas Davie) Date: Mon Nov 6 09:34:40 2006 Subject: [Hat] Hat hasn't installed properly In-Reply-To: <20061106140432.46b929f4.Malcolm.Wallace@cs.york.ac.uk> References: <9AF9B8C2-C8CC-4F87-ADD4-765D2F20517E@kent.ac.uk> <20061103162221.0bbb665b.Malcolm.Wallace@cs.york.ac.uk> <20061103173514.6906e27b.Malcolm.Wallace@cs.york.ac.uk> <20061106115722.3c922415.Malcolm.Wallace@cs.york.ac.uk> <3E2EB14B-9953-4964-882D-5C696C7136E6@gmail.com> <20061106140432.46b929f4.Malcolm.Wallace@cs.york.ac.uk> Message-ID: <33BFC5AA-D5DB-4D58-9BD9-C21E96F7F8BD@kent.ac.uk> Doh! Bob On 6 Nov 2006, at 14:04, Malcolm Wallace wrote: > Thomas Davie wrote: > >> Malcolm - problem solved! I'd missed one file on adding executable >> bits after the darcs get. Perhaps this needs a small script to set >> the permissions correctly after a get? > > You mean like > sh start > :-) > > Regards, > Malcolm > _______________________________________________ > Hat mailing list > Hat@haskell.org > http://www.haskell.org/mailman/listinfo/hat From tatd2 at kent.ac.uk Mon Nov 13 04:46:25 2006 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Mon Nov 13 04:46:04 2006 Subject: [Hat] How does the FFI work? Message-ID: <2B98B7E8-DAB8-49AD-9FBA-B27310707AD4@kent.ac.uk> I'm having problems with the FFI and GHC 6.6. Namely, I edited one of the tools files (Detect.hs) that contains FFI imports, and now I end up with generalised death when I try to compile. The source compiles fine, but on linking I get: /usr/bin/ld: Undefined symbols: _anySuspect _extendParentSet _findMainUse _newParentSet _nextChild The C and H files are hanging around as they should be. Any ideas what's going on? Bob From tom.davie at gmail.com Mon Nov 13 04:53:38 2006 From: tom.davie at gmail.com (Thomas Davie) Date: Mon Nov 13 04:53:26 2006 Subject: [Hat] How does the FFI work? In-Reply-To: <2B98B7E8-DAB8-49AD-9FBA-B27310707AD4@kent.ac.uk> References: <2B98B7E8-DAB8-49AD-9FBA-B27310707AD4@kent.ac.uk> Message-ID: Scratch that - it was an old Makefile bug that through make doing things in a different order hadn't bitten my bum before now. Bob On 13 Nov 2006, at 09:46, Thomas Davie wrote: > I'm having problems with the FFI and GHC 6.6. Namely, I edited one > of the tools files (Detect.hs) that contains FFI imports, and now I > end up with generalised death when I try to compile. The source > compiles fine, but on linking I get: > > /usr/bin/ld: Undefined symbols: > _anySuspect > _extendParentSet > _findMainUse > _newParentSet > _nextChild > > The C and H files are hanging around as they should be. > > Any ideas what's going on? > > Bob > _______________________________________________ > Hat mailing list > Hat@haskell.org > http://www.haskell.org/mailman/listinfo/hat From ndmitchell at gmail.com Thu Nov 16 04:14:48 2006 From: ndmitchell at gmail.com (Neil Mitchell) Date: Thu Nov 16 04:13:59 2006 Subject: [Hat] Fwd: [Haskell-cafe] Newbie; Can't Install Hat From Source In-Reply-To: References: Message-ID: <404396ef0611160114j15d6420by3623fb8eb8df30b0@mail.gmail.com> In case any Hat people miss this (pleaes cc Aditya) ---------- Forwarded message ---------- From: Aditya Siram Date: Nov 16, 2006 2:00 AM Subject: [Haskell-cafe] Newbie; Can't Install Hat From Source To: haskell-cafe@haskell.org Hi all, I have been trying to install Hat for the last couple of days but GHC does not recognize it as a package. I compiled 2.05 from source, but at the 'make install' step I see this error message: **Begin Output** ./configure --install Configuring for hat... [ 2.05 ] Starting with earlier config in targets/ix86-Linux/config.cache [ config: ix86-Linux/ by deech@ubuntu on 15 Nov 2006 ] (but cmdline options have precedence) -------- Looking for already-installed Haskell compilers: Looking for ghc... found 6.6 Looking for nhc98... (not found) Looking for hmake... found 3.13 You said you want to use ghc to build hat. Done. -------- Configuration report for hat. You are going to build hat with: ghc Executables need .exe suffix? no (detected) Testing for the glib library: no (using slower replacement) Installation directories are now created/checked. Install directory root is: /usr/local Hat interface files (.hx) go into: /usr/local/include/hat-2.05 (exists) Array.hx ...... Debug/Trace.hx Installing hat as a ghc package: Installing hat package for ghc under /usr/local/lib/hat-2.05/ix86-Linux/ghc-606 ghc-pkg: cannot find package hat <-----ERROR MESSAGE!!!!! Reading package info from stdin ... done. ghc-pkg: package hat-2.4 is already installed Scripts go into: /usr/local/bin (exists) hat-graph hat-trans hat-tools: hat-stack hat-check hat-observe hat-detect hat-delta hat-view hat-trail hat-anim hat-explore hat-cover black-hat hat-nonterm pretty-hat Executables go into: /usr/local/lib/hat-2.05/ix86-Linux (exists) config hat-anim hat-check hat-cover hat-delta hat-detect hat-explore hat-nonterm hat-observe hat-stack hat-trail hat-trans hat-view black-hat pretty-hat Man pages go into: /usr/local/man/man1 (exists) hat-anim.1 hat-delta.1 hat-detect.1 hat-observe.1 hat-stack.1 hat-trail.1 hat-trans.1 pretty-hat.1 Not (re-)installing html documents Saving current configuration in targets/ix86-Linux/config.cache Done. Please ensure /usr/local/bin is in your PATH variable. **End Of Output** The output of 'ghc-pkg list' is: /usr/local/lib/ghc-6.6/package.conf: Cabal-1.1.6, HUnit-1.1, QuickCheck-1.0, base-2.0, cgi-2006.9.6, fgl-5.2, (ghc-6.6), haskell-src-1.0, haskell98-1.0, html-1.0, mtl-1.0, network-2.0, parsec-2.0, readline-1.0, regex-base-0.71, regex-compat-0.71, regex-posix-0.71, rts-1.0, stm-2.0, template-haskell-2.0, time-1.0, unix-1.0, xhtml-2006.9.13 /home/deech/.ghc/i386-linux-6.6/package.conf: (hat-2.4) <----ERROR!!! For some reason it thinks that hat-2.4 is installed. I tried to run a test program saved in HatTest.hs: import Prelude main = do { print "Hello"; } When I compile it with 'hmake -hat HatTest' I get the following error: hat-trans HatTest.hs Wrote Hat/HatTest.hs ghc-6.6 -c -package hat -o Hat/HatTest.o Hat/HatTest.hs Hat/HatTest.hs:3:0: Bad interface file: /usr/local/imports/hat-2.05/ghc-606/Hat/PreludeBasic.hi Something is amiss; requested module hat-2.4:Hat.PreludeBasic differs from name found in the interface file hat:Hat.PreludeBasic I'm not really sure how to proceed. Any help is appreciated. BTW I get the ghc-package: cannot find package hat when I 'apt-get install' it too. Thanks.. Deech _________________________________________________________________ View Athlete's Collections with Live Search http://sportmaps.live.com/index.html?source=hmemailtaglinenov06&FORM=MGAC01 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe From tatd2 at kent.ac.uk Thu Nov 16 04:23:06 2006 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Thu Nov 16 04:22:41 2006 Subject: [Hat] Fwd: [Haskell-cafe] Newbie; Can't Install Hat From Source In-Reply-To: <404396ef0611160114j15d6420by3623fb8eb8df30b0@mail.gmail.com> References: <404396ef0611160114j15d6420by3623fb8eb8df30b0@mail.gmail.com> Message-ID: <1EC79ACF-5B75-4A2A-88C3-4CAD9D5F63A4@kent.ac.uk> Did you check it out from darcs? If so, did you run "sh start" -- this looks very like an error I got when I didn't do that. Bob On 16 Nov 2006, at 09:14, Neil Mitchell wrote: > In case any Hat people miss this (pleaes cc Aditya) > > ---------- Forwarded message ---------- > From: Aditya Siram > Date: Nov 16, 2006 2:00 AM > Subject: [Haskell-cafe] Newbie; Can't Install Hat From Source > To: haskell-cafe@haskell.org > > > Hi all, > I have been trying to install Hat for the last couple of days but > GHC does > not recognize it as a package. I compiled 2.05 from source, but at > the 'make > install' step I see this error message: > > **Begin Output** > ./configure --install > Configuring for hat... [ 2.05 ] > Starting with earlier config in targets/ix86-Linux/config.cache > [ config: ix86-Linux/ by deech@ubuntu on 15 Nov 2006 ] > (but cmdline options have precedence) > -------- > Looking for already-installed Haskell compilers: > Looking for ghc... found 6.6 > Looking for nhc98... (not found) > Looking for hmake... found 3.13 > You said you want to use ghc to build hat. > Done. > -------- > Configuration report for hat. > > You are going to build hat with: ghc > Executables need .exe suffix? no (detected) > Testing for the glib library: no (using slower > replacement) > > Installation directories are now created/checked. > Install directory root is: > /usr/local > Hat interface files (.hx) go into: > /usr/local/include/hat-2.05 (exists) > Array.hx > ...... > Debug/Trace.hx > Installing hat as a ghc package: > Installing hat package for ghc under > /usr/local/lib/hat-2.05/ix86-Linux/ghc-606 > ghc-pkg: cannot find package hat <-----ERROR MESSAGE!!!!! > Reading package info from stdin ... done. > ghc-pkg: package hat-2.4 is already installed > > Scripts go into: > /usr/local/bin (exists) > hat-graph > hat-trans > hat-tools: > hat-stack > hat-check > hat-observe > hat-detect > hat-delta > hat-view > hat-trail > hat-anim > hat-explore > hat-cover > black-hat > hat-nonterm > pretty-hat > > Executables go into: > /usr/local/lib/hat-2.05/ix86-Linux (exists) > config > hat-anim > hat-check > hat-cover > hat-delta > hat-detect > hat-explore > hat-nonterm > hat-observe > hat-stack > hat-trail > hat-trans > hat-view > black-hat > pretty-hat > > Man pages go into: > /usr/local/man/man1 (exists) > hat-anim.1 > hat-delta.1 > hat-detect.1 > hat-observe.1 > hat-stack.1 > hat-trail.1 > hat-trans.1 > pretty-hat.1 > > Not (re-)installing html documents > Saving current configuration in targets/ix86-Linux/config.cache > Done. > > Please ensure /usr/local/bin is in your PATH variable. > **End Of Output** > > The output of 'ghc-pkg list' is: > > /usr/local/lib/ghc-6.6/package.conf: > Cabal-1.1.6, HUnit-1.1, QuickCheck-1.0, base-2.0, cgi-2006.9.6, > fgl-5.2, (ghc-6.6), haskell-src-1.0, haskell98-1.0, html-1.0, > mtl-1.0, network-2.0, parsec-2.0, readline-1.0, regex-base-0.71, > regex-compat-0.71, regex-posix-0.71, rts-1.0, stm-2.0, > template-haskell-2.0, time-1.0, unix-1.0, xhtml-2006.9.13 > /home/deech/.ghc/i386-linux-6.6/package.conf: > (hat-2.4) <----ERROR!!! > > For some reason it thinks that hat-2.4 is installed. > > I tried to run a test program saved in HatTest.hs: > > import Prelude > > main = do { print "Hello"; } > > When I compile it with 'hmake -hat HatTest' I get the following error: > hat-trans HatTest.hs > Wrote Hat/HatTest.hs > ghc-6.6 -c -package hat -o Hat/HatTest.o Hat/HatTest.hs > > Hat/HatTest.hs:3:0: > Bad interface file: > /usr/local/imports/hat-2.05/ghc-606/Hat/PreludeBasic.hi > Something is amiss; requested module hat-2.4:Hat.PreludeBasic > differs from name found in the interface file hat:Hat.PreludeBasic > > I'm not really sure how to proceed. Any help is appreciated. > > BTW I get the ghc-package: cannot find package hat when I 'apt-get > install' > it too. > > Thanks.. > Deech > > _________________________________________________________________ > View Athlete's Collections with Live Search > http://sportmaps.live.com/index.html? > source=hmemailtaglinenov06&FORM=MGAC01 > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ > Hat mailing list > Hat@haskell.org > http://www.haskell.org/mailman/listinfo/hat From Malcolm.Wallace at cs.york.ac.uk Thu Nov 16 05:42:10 2006 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Thu Nov 16 05:43:38 2006 Subject: [Hat] Re: [Haskell-cafe] Newbie; Can't Install Hat From Source In-Reply-To: References: Message-ID: <20061116104210.215ef3d2.Malcolm.Wallace@cs.york.ac.uk> "Aditya Siram" wrote: > I have been trying to install Hat for the last couple of days but GHC > does not recognize it as a package. I compiled 2.05 from source, but > at the 'make install' step I see this error message: > > Installing hat package for ghc under > /usr/local/lib/hat-2.05/ix86-Linux/ghc-606 > ghc-pkg: cannot find package hat <-----ERROR MESSAGE!!!!! This error message can be safely ignored - it comes from a requirement to support several different versions of ghc, each of which has a different interface to the package manager ghc-pkg. > ghc-pkg: package hat-2.4 is already installed > > /usr/local/lib/ghc-6.6/package.conf: > ... > /home/deech/.ghc/i386-linux-6.6/package.conf: > (hat-2.4) <----ERROR!!! > > For some reason it thinks that hat-2.4 is installed. This is one of a couple of bugs in the 2.05 package. The .cabal file simply had the wrong version number in it. > Bad interface file: > /usr/local/imports/hat-2.05/ghc-606/Hat/PreludeBasic.hi > Something is amiss; requested module hat-2.4:Hat.PreludeBasic > differs from name found in the interface file hat:Hat.PreludeBasic And this is the other bug: the Hat library package was built using "-package-name hat" instead of "-package-name hat-2.05" (as now required by ghc-6.6 and above). I have re-rolled the Hat-2.05 distribution package with these two very minor bugfixes. Please try downloading it again, and re-building. Regards, Malcolm From barzille at googlemail.com Fri Nov 17 07:30:55 2006 From: barzille at googlemail.com (Maik Barz) Date: Fri Nov 17 07:29:58 2006 Subject: [Hat] Hat-Observe N+M Counter? Message-ID: <3ac7eec00611170430h2691ef2qcb894153a796003f@mail.gmail.com> Hi, I am wondering if there's no more M+N Counter. In the documentation is an explanation that it shows the number of evaluated and nonevaluated functions when using :info. Is there an option to set this option? I am using hat 2.04 Maik -- Maik Barz Wilhelmplatz 4 - 24116 Kiel www.Barzille.de -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/hat/attachments/20061117/4b5889c6/attachment.htm From colin at cs.york.ac.uk Fri Nov 17 08:57:45 2006 From: colin at cs.york.ac.uk (Colin Runciman) Date: Fri Nov 17 08:59:04 2006 Subject: [Hat] Hat-Observe N+M Counter? In-Reply-To: <3ac7eec00611170430h2691ef2qcb894153a796003f@mail.gmail.com> References: <3ac7eec00611170430h2691ef2qcb894153a796003f@mail.gmail.com> Message-ID: <455DBFD9.4040601@cs.york.ac.uk> Maik, > I am wondering if there's no more M+N Counter. In the documentation is > an explanation that it shows the number of evaluated and nonevaluated > functions when using :info. Is there an option to set this option? I > am using hat 2.04 The M+N counts in the :info tables of hat-observe are still shown just as before. You mention 'evaluated and nonevaluated' applications, but that is not what M+N counts represent: counts of this form are used to indicate M applications that were demanded but not successfully reduced; and N reduced applications. Applications whose results are never demanded are not counted at all. Regards Colin R From Malcolm.Wallace at cs.york.ac.uk Fri Nov 17 09:00:20 2006 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Fri Nov 17 09:04:27 2006 Subject: [Hat] Hat-Observe N+M Counter? In-Reply-To: <3ac7eec00611170430h2691ef2qcb894153a796003f@mail.gmail.com> References: <3ac7eec00611170430h2691ef2qcb894153a796003f@mail.gmail.com> Message-ID: <20061117140020.3112e413.Malcolm.Wallace@cs.york.ac.uk> "Maik Barz" wrote: > I am wondering if there's no more M+N Counter. In the documentation is > an explanation that it shows the number of evaluated and nonevaluated > functions when using :info. Is there an option to set this option? You are right, the (m+n) count of (reduced applications + unevaluated apps) has been removed. I could not find anything in the commit log messages to say why. Would this be a useful feature to re-instate? There are actually three counts available: * reduced applications * applications entered but never completed (blackholes) * applications that were never demanded The original (m+n) count included the first two of these. We reasoned that the third count was uninteresting, because if a value was never demanded, then it had absolutely no effect on the computation. Regards, Malcolm From aditya_siram at hotmail.com Fri Nov 17 15:24:59 2006 From: aditya_siram at hotmail.com (Aditya Siram) Date: Fri Nov 17 15:24:00 2006 Subject: [Hat] Program Compiles With GHC 6.6 but not Hat Message-ID: The following program compiles and runs on GHC 6.6 but fails to compile with the '-hat' option to hmake. The error message is: **Begin Output** hat-trans HatTest.hs Wrote Hat/HatTest.hs ghc-6.6 -c -package hat -o Hat/HatTest.o Hat/HatTest.hs Hat/HatTest.hs:40:50: Ambiguous type variable `a' in the constraint: `Integral a' arising from use of `htakeodds' at Hat/HatTest.hs:40:50-58 Probable fix: add a type signature that fixes these type variable(s) **End Output** The program source is: import Prelude takeodds xs = [ x | x <- xs, (mod x 2) ==0] main = do { print (takeodds [1 ..7]); } Thanks... Deech _________________________________________________________________ Talk now to your Hotmail contacts with Windows Live Messenger. http://clk.atdmt.com/MSN/go/msnnkwme0020000001msn/direct/01/?href=http://get.live.com/messenger/overview From O.Chitil at kent.ac.uk Fri Nov 17 15:43:54 2006 From: O.Chitil at kent.ac.uk (Olaf Chitil) Date: Fri Nov 17 15:43:02 2006 Subject: [Hat] Program Compiles With GHC 6.6 but not Hat In-Reply-To: References: Message-ID: <455E1F0A.9000405@kent.ac.uk> This is caused by a limitation of Hat: Hat cannot handle defaulting of numeric classes. Your Haskell program makes use of defaulting: The main function could work with numbers of either type Int or Integer. The Haskell defaulting rule says that in such a case it should choose Integer. To help Hat add a type annotation, e.g. main = do { print (takeodds [(1::Integer) ..7]); } To get a better error message, you could compile your original program without -hat but with the additonal line default() which turns defaulting off and thus will yield an error message about an ambiguous type variable referring to your original program. In real programs we have hardly ever come across uses of defaulting. Ciao, Olaf Aditya Siram wrote: > The following program compiles and runs on GHC 6.6 but fails to > compile with the '-hat' option to hmake. The error message is: > **Begin Output** > hat-trans HatTest.hs > Wrote Hat/HatTest.hs > ghc-6.6 -c -package hat -o Hat/HatTest.o Hat/HatTest.hs > > Hat/HatTest.hs:40:50: > Ambiguous type variable `a' in the constraint: > `Integral a' > arising from use of `htakeodds' at Hat/HatTest.hs:40:50-58 > Probable fix: add a type signature that fixes these type variable(s) > **End Output** > > The program source is: > > import Prelude > > takeodds xs = [ x | x <- xs, (mod x 2) ==0] > > main = do { print (takeodds [1 ..7]); } > > > Thanks... > Deech > > _________________________________________________________________ > Talk now to your Hotmail contacts with Windows Live Messenger. > http://clk.atdmt.com/MSN/go/msnnkwme0020000001msn/direct/01/?href=http://get.live.com/messenger/overview > > > _______________________________________________ > Hat mailing list > Hat@haskell.org > http://www.haskell.org/mailman/listinfo/hat From tatd2 at kent.ac.uk Fri Nov 17 19:14:55 2006 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Fri Nov 17 19:14:03 2006 Subject: [Hat] Program Compiles With GHC 6.6 but not Hat In-Reply-To: <455E1F0A.9000405@kent.ac.uk> References: <455E1F0A.9000405@kent.ac.uk> Message-ID: Olaf, This brings up something that's been niggling me for a while. Why can Hat not deal with defaulting? Surely it could be handled by the first stage of hat-trans being inserting explicit type signatures based on the standard defaulting rules? Bob On 17 Nov 2006, at 20:43, Olaf Chitil wrote: > > This is caused by a limitation of Hat: Hat cannot handle defaulting > of numeric classes. > > Your Haskell program makes use of defaulting: The main function > could work with numbers of either type Int or Integer. The Haskell > defaulting rule says that in such a case it should choose Integer. > > To help Hat add a type annotation, e.g. > > main = do { print (takeodds [(1::Integer) ..7]); } > > To get a better error message, you could compile your original > program without -hat but with the additonal line > > default() > > which turns defaulting off and thus will yield an error message > about an ambiguous type variable referring to your original program. > > In real programs we have hardly ever come across uses of defaulting. > > Ciao, > Olaf > > > Aditya Siram wrote: > >> The following program compiles and runs on GHC 6.6 but fails to >> compile with the '-hat' option to hmake. The error message is: >> **Begin Output** >> hat-trans HatTest.hs >> Wrote Hat/HatTest.hs >> ghc-6.6 -c -package hat -o Hat/HatTest.o Hat/HatTest.hs >> >> Hat/HatTest.hs:40:50: >> Ambiguous type variable `a' in the constraint: >> `Integral a' >> arising from use of `htakeodds' at Hat/HatTest.hs:40:50-58 >> Probable fix: add a type signature that fixes these type >> variable(s) >> **End Output** >> >> The program source is: >> >> import Prelude >> >> takeodds xs = [ x | x <- xs, (mod x 2) ==0] >> >> main = do { print (takeodds [1 ..7]); } >> >> >> Thanks... >> Deech >> >> _________________________________________________________________ >> Talk now to your Hotmail contacts with Windows Live Messenger. >> http://clk.atdmt.com/MSN/go/msnnkwme0020000001msn/direct/01/? >> href=http://get.live.com/messenger/overview >> >> _______________________________________________ >> Hat mailing list >> Hat@haskell.org >> http://www.haskell.org/mailman/listinfo/hat > > > _______________________________________________ > Hat mailing list > Hat@haskell.org > http://www.haskell.org/mailman/listinfo/hat From Malcolm.Wallace at cs.york.ac.uk Sat Nov 18 05:31:14 2006 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Sat Nov 18 05:29:55 2006 Subject: [Hat] defaulting (was: Program Compiles With GHC 6.6 but not Hat) In-Reply-To: References: <455E1F0A.9000405@kent.ac.uk> Message-ID: <20061118103114.6dd8b036.Malcolm.Wallace@cs.york.ac.uk> Thomas Davie writes: > This brings up something that's been niggling me for a while. Why > can Hat not deal with defaulting? Surely it could be handled by the > first stage of hat-trans being inserting explicit type signatures > based on the standard defaulting rules? We made a deliberate design decision that hat-trans should be entirely syntax-directed - it does not do type inference. There are good reasons for this decision. * In a well-designed language, you would not need type information for the tracing transformation. And indeed, Haskell is so well designed that you do not, except for this one very small (but very annoying) instance. * Implementing type inference is difficult enough that we did not consider the effort worthwhile for the tiny benefit of being able to handle defaulting. * In order to be able to handle all the many experimental type-system extensions accepted by a compiler like ghc, hat-trans would need to replicate ghc's type inference as exactly as possible. Given the number of papers written about this very topic, that would not be an easy task! But in fact, apart from defaulting, it is only necessary to _syntactically_ transform type signatures (where they are used), and the ghc type system can infer the rest. Regards, Malcolm From ndmitchell at gmail.com Sat Nov 18 16:30:23 2006 From: ndmitchell at gmail.com (Neil Mitchell) Date: Sat Nov 18 16:29:20 2006 Subject: [Hat] defaulting (was: Program Compiles With GHC 6.6 but not Hat) In-Reply-To: <20061118103114.6dd8b036.Malcolm.Wallace@cs.york.ac.uk> References: <455E1F0A.9000405@kent.ac.uk> <20061118103114.6dd8b036.Malcolm.Wallace@cs.york.ac.uk> Message-ID: <404396ef0611181330p29385796na45cd99f7d1cf9a6@mail.gmail.com> Hi > > This brings up something that's been niggling me for a while. Why > > can Hat not deal with defaulting? Surely it could be handled by the > > first stage of hat-trans being inserting explicit type signatures > > based on the standard defaulting rules? > > We made a deliberate design decision that hat-trans should be entirely > syntax-directed - it does not do type inference. There are good reasons > for this decision. I have a plan to get round this :) Yhc currently generates Core, which is a nice abstract Haskell like language, close enough to the original to allow debugging in a reasonable similar environment. If Yhc.Core was converted to Hat traced Haskell then you'd get numeric defaulting for free. It's not perfect, but it might be worth it to get more reliable (but less accurate) Hat trace generation. I plan to do this sometime soon - its probably a few hours work at maximum. Thanks Neil From bjpop at csse.unimelb.edu.au Fri Nov 17 20:40:34 2006 From: bjpop at csse.unimelb.edu.au (Bernie Pope) Date: Sat Nov 18 18:04:35 2006 Subject: [Hat] Program Compiles With GHC 6.6 but not Hat In-Reply-To: References: <455E1F0A.9000405@kent.ac.uk> Message-ID: <3D93A1EB-C30C-463E-936E-9479EEFFCB5A@csse.unimelb.edu.au> On 18/11/2006, at 11:14 AM, Thomas Davie wrote: > Olaf, > This brings up something that's been niggling me for a while. > Why can Hat not deal with defaulting? Surely it could be handled > by the first stage of hat-trans being inserting explicit type > signatures based on the standard defaulting rules? > > Bob That would require hat-trans to do type checking, wouldn't it? Bernie. From ndmitchell at gmail.com Sat Nov 18 18:07:29 2006 From: ndmitchell at gmail.com (Neil Mitchell) Date: Sat Nov 18 18:06:25 2006 Subject: [Hat] Program Compiles With GHC 6.6 but not Hat In-Reply-To: <3D93A1EB-C30C-463E-936E-9479EEFFCB5A@csse.unimelb.edu.au> References: <455E1F0A.9000405@kent.ac.uk> <3D93A1EB-C30C-463E-936E-9479EEFFCB5A@csse.unimelb.edu.au> Message-ID: <404396ef0611181507k1e0c3699q440dfaa6d7fd9a1a@mail.gmail.com> Hi > > This brings up something that's been niggling me for a while. > > Why can Hat not deal with defaulting? Surely it could be handled > > by the first stage of hat-trans being inserting explicit type > > signatures based on the standard defaulting rules? > > > > Bob > > That would require hat-trans to do type checking, wouldn't it? One idea that _might_ work is to translate Int -> Integer, then you get rid of defaulting integers, at the cost of changing the program semantics ever so slightly. Personally I'd say the cost is more than worth it, but I know some of the Hat developers disagree with me on that. Thanks Neil From bjpop at csse.unimelb.edu.au Sun Nov 19 03:57:28 2006 From: bjpop at csse.unimelb.edu.au (Bernie Pope) Date: Sun Nov 19 03:55:24 2006 Subject: [Hat] Program Compiles With GHC 6.6 but not Hat In-Reply-To: <404396ef0611181507k1e0c3699q440dfaa6d7fd9a1a@mail.gmail.com> References: <455E1F0A.9000405@kent.ac.uk> <3D93A1EB-C30C-463E-936E-9479EEFFCB5A@csse.unimelb.edu.au> <404396ef0611181507k1e0c3699q440dfaa6d7fd9a1a@mail.gmail.com> Message-ID: On 19/11/2006, at 10:07 AM, Neil Mitchell wrote: > Hi > >> > This brings up something that's been niggling me for a while. >> > Why can Hat not deal with defaulting? Surely it could be handled >> > by the first stage of hat-trans being inserting explicit type >> > signatures based on the standard defaulting rules? >> > >> > Bob >> >> That would require hat-trans to do type checking, wouldn't it? > > One idea that _might_ work is to translate Int -> Integer, then you > get rid of defaulting integers, at the cost of changing the program > semantics ever so slightly. Personally I'd say the cost is more than > worth it, but I know some of the Hat developers disagree with me on > that. > > Thanks > > Neil Hi Neil, I would also argue strongly against that approach. It is important that debugging tools preserve the semantics of the underlying program as closely as possible. You might remove a slightly inconvenient problem, but at the cost of introducing subtle and difficult-to-explain changes in program behaviour. Probably the best solution is to lobby various compiler writers to generalise the defaulting mechanism, but that may be easier said than done :) Cheers, Bernie. From ndmitchell at gmail.com Sun Nov 19 08:27:20 2006 From: ndmitchell at gmail.com (Neil Mitchell) Date: Sun Nov 19 08:26:13 2006 Subject: [Hat] Program Compiles With GHC 6.6 but not Hat In-Reply-To: References: <455E1F0A.9000405@kent.ac.uk> <3D93A1EB-C30C-463E-936E-9479EEFFCB5A@csse.unimelb.edu.au> <404396ef0611181507k1e0c3699q440dfaa6d7fd9a1a@mail.gmail.com> Message-ID: <404396ef0611190527x244fdalb54c84a7c3d25b4d@mail.gmail.com> Hi Bernie, > I would also argue strongly against that approach. > > It is important that debugging tools preserve the semantics of the > underlying program as closely as possible. Yes, but if the alternative is to make debugging so annoying that no one uses the debugging tool, then its probably a worthwhile trade off. Currently I don't use Hat, as when I am ready to debug a Haskell program (i.e. its broken) I can be pretty much 100% certain that it won't work with Hat without several changes. At the point I am trying to solve a complex bug, I don't want to go and do something else. > Probably the best solution is to lobby various compiler writers to > generalise the defaulting mechanism, but that may be easier said than > done :) If you came up with a concrete proposal, that was a generalisation of the existing defaulting method, and provided an implementation for GHC, you might have a lot more success at your attempts. (Certainly if you implement in for Yhc, we'd accept it) Thanks Neil