Re: [Haskell-cafe] lambdabot check
Hi Mark, Thanks for your wonderfully lucid, concise and complete explanation of the problem and its solution (included below). When I apply your patch and reinstall lambabot, I now get the following problem: lambdabot check True Could not find module `ShowIO`: It is a member of the hidden package `show-0.3.4`. Use -v to see a list of the files searched for. I recognize the message about -v as a ghci one. How could I inject this -v into lambabot ? I get the same error on both of the machines on which I am trying this. On one of them I already have show-0.3.4 and show-0.4.1.1, on the other I have only show-0.4.1.1. Any suggestions? On 2011 May 25, at 06:06, Mark Wright wrote: Hi Jacek and Gwern, In the upgrade from mueval from 0.8 to 0.8.1, some of the mueval command line options were changed: --loadfile = --load-file --noimports = --no-imports For Plugins/Check.hs I change --loadfile to -l. To convince lambdabot to run on gentoo, I patch it to use --no- imports to avoid this problem: % mueval -e '1 + 2' Ambiguous module name `Control.Monad.Cont': it was found in multiple packages: monads-fd-0.1.0.2 mtl-2.0.1.0 monads-tf-0.1.0.0 % And I patch the lambdabot /usr/share/lambdabot-4.2.3.2/ghc-7.0.3/ State/L.hs to used -XPackageImports. Then mueval works: % mueval --no-imports -l ~/.lambdabot/State/L.hs -e '1 + 2' 3 % And lambdabot works: % lambdabot Initialising plugins ... done. lambdabot @check True +++ OK, passed 100 tests. OK, passed 100 tests. lambdabot The patch is here: https://github.com/markwright/gentoo-haskell/blob/master/dev-haskell/lambdabot/files/lambdabot-4.2.3.2-eval.patch Regards, Mark ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] lambdabot check
On Wed, 25 May 2011 13:20:19 +0200, Jacek Generowicz jacek.generow...@cern.ch
wrote:
Hi Mark,
Thanks for your wonderfully lucid, concise and complete explanation of
the problem and its solution (included below).
When I apply your patch and reinstall lambabot, I now get the
following problem:
lambdabot check True
Could not find module `ShowIO`:
It is a member of the hidden package `show-0.3.4`.
Use -v to see a list of the files searched for.
I recognize the message about -v as a ghci one. How could I inject
this -v into lambabot ?
Hi Jacek,
I don't know how to inject the -v into lambdabot, I guess I must
of debugged this earlier by grep'ing in the lambdabot and show source
files for ShowIO.
I get the same error on both of the machines on which I am trying
this. On one of them I already have show-0.3.4 and show-0.4.1.1, on
the other I have only show-0.4.1.1.
Any suggestions?
The show module names were changed in the upgrade from show 0.3.4 to
show 0.4.1.1. On gentoo I conditionally sed lambdabot to account
for this, then print out a note that the user may need to copy
the State/* files, in particular L.hs and Pristine.hs for this problem,
to ~/.lambdabot/State.
src_prepare() {
cd ${S}
epatch ${FILESDIR}/${P}-eval.patch
if has_version dev-haskell/mtl-2.0.0.0; then
epatch ${FILESDIR}/${P}-mtl-1.patch
fi
if has_version =dev-haskell/show-0.4.1.1; then
sed -e 's@import ShowIO@import ShowFun@' \
-i ${S}/State/L.hs \
-i ${S}/State/Pristine.hs \
|| die Could patch State/L.hs and State/Pristine.hs
for show upgrade
fi
}
pkg_postinst() {
ghc-package_pkg_postinst
elog It may be necessary to: mkdir -p ~/.lambdabot/State cp
/usr/share/lambdabot-*/ghc-*/State/* ~/.lambdabot/State
}
Thanks, Mark
PS the lambdabot gentoo ebuild is here:
https://github.com/gentoo-haskell/gentoo-haskell/blob/57501a585edd8587d89ed64b43f6b4876316e6f7/dev-haskell/lambdabot/lambdabot-4.2.3.2.ebuild
On 2011 May 25, at 06:06, Mark Wright wrote:
Hi Jacek and Gwern,
In the upgrade from mueval from 0.8 to 0.8.1, some of the mueval
command
line options were changed:
--loadfile = --load-file
--noimports = --no-imports
For Plugins/Check.hs I change --loadfile to -l.
To convince lambdabot to run on gentoo, I patch it to use --no-
imports to
avoid this problem:
% mueval -e '1 + 2'
Ambiguous module name `Control.Monad.Cont':
it was found in multiple packages:
monads-fd-0.1.0.2 mtl-2.0.1.0 monads-tf-0.1.0.0
%
And I patch the lambdabot /usr/share/lambdabot-4.2.3.2/ghc-7.0.3/
State/L.hs
to used -XPackageImports. Then mueval works:
% mueval --no-imports -l ~/.lambdabot/State/L.hs -e '1 + 2'
3
%
And lambdabot works:
% lambdabot
Initialising
plugins ... done.
lambdabot @check True
+++ OK, passed 100 tests.
OK, passed 100 tests.
lambdabot
The patch is here:
https://github.com/markwright/gentoo-haskell/blob/master/dev-haskell/lambdabot/files/lambdabot-4.2.3.2-eval.patch
Regards, Mark
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] lambdabot check
On 2011 May 25, at 16:09, Mark Wright wrote: Hi Jacek, Hi Mark, Thanks once again for your excellent answer. The show module names were changed in the upgrade from show 0.3.4 to show 0.4.1.1. OK, I see that in show.cabal, ShowIO disappears from the exposed- modules section. This is confirmed by the fact that Show.hs has disappeared from the source. The contents of the latter were just a single instance declaration which now appears in ShowFun.hs. From all this I infer that lambdabot uses show, and in the process wants to import ShowIO: Such imports are indeed found in State/L.hs and State/Pristine.hs. Given that everything that used to live in ShowIO has been swallowed by ShowFun, we could just import ShowFun at those to place instead. On gentoo I conditionally sed lambdabot to account for this, then print out a note that the user may need to copy the State/* files, in particular L.hs and Pristine.hs for this problem, With you so far .. to ~/.lambdabot/State. Huh? is ~/.packagename/ some sort of cabal convention? Or are you using it as a shorthand for ~/.cabal/packages/yaddayadda/packagename ? Or is it some way in which you *could* organize your Cabal packages which happens to be different from what I have on my systems (by default)? Ah, it is nothing to do with cabal, it's just lambdabot's personal data! (Which needs to have State/L.hs in it. It seems to work without Pristine.hs. Fine, at this stage I'm just prepared to accept this directory as magic). I seem to have a working lambabot check. (i.e. 'lambdabot check True' claims to pass 100 tests.) Thank you. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] lambdabot check
I've installed lambdabot, but check within it seems to be broken: the only answer it ever gives is Terminated. For example: lambdabot check True Terminated lambdabot quickCheck works just fine in a GHCi session: Prelude :m + Test.QuickCheck [...] Prelude quickCheck True [...] +++ OK, passed 100 tests. (GHC 7.0.3 on Ubuntu Natty, everything freshly installed with cabal install as far as possible.) Any advice? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] lambdabot check
On Tue, May 24, 2011 at 7:00 AM, Jacek Generowicz jacek.generow...@cern.ch wrote: I've installed lambdabot, but check within it seems to be broken: the only answer it ever gives is Terminated. For example: lambdabot check True Terminated lambdabot quickCheck works just fine in a GHCi session: Prelude :m + Test.QuickCheck [...] Prelude quickCheck True [...] +++ OK, passed 100 tests. @check these days goes through mueval. Are you sure mueval is installed working? You can try running the tests.sh script which will exercise the QuickCheck functionality among other things. -- gwern http://www.gwern.net ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] lambdabot check
On 2011 May 24, at 22:30, Gwern Branwen wrote: @check these days goes through mueval. Are you sure mueval is installed working? Au contraire: I am sure that mueval was *not* installed. (Am I justified to be a just a little bit annoyed that it was not installed as a dependency by cabal install? Or that there was no indication whatsoever that mueval's absence was the cause of the problem?) Now that I have installed it explicitly myself, I do seem to make some more progress, but it's still far short of the ideal: lambdabot check True unrecognized option `--loadfile=' Usage: mueval [OPTION...] --expression EXPRESSION... -p PASSWORD--password=PASSWORD The password for the mubot account. If this is set, mueval will attempt to setuid to the mubot user. This is optional, as it requires the mubot user to be set up properly. (Currently a null-op.) [etc. etc.] You can try running the tests.sh script which will exercise the QuickCheck functionality among other things. This, AFAICT, seems to go just fine. There's lots of output with which I won't spam you, other than to say that it includes the text OK, all the valid expressions worked out well. Now let's test various misbehaved expressions. The last line of the output is IO . So, it seems that I am now faced with the problem of getting lambdabot and mueval to talk to each other sensibly. Any pointers would be gratefully received. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] lambdabot check
On Wed, 25 May 2011 02:15:12 +0200, Jacek Generowicz jacek.generow...@cern.ch wrote: On 2011 May 24, at 22:30, Gwern Branwen wrote: @check these days goes through mueval. Are you sure mueval is installed working? Au contraire: I am sure that mueval was *not* installed. (Am I justified to be a just a little bit annoyed that it was not installed as a dependency by cabal install? Or that there was no indication whatsoever that mueval's absence was the cause of the problem?) Now that I have installed it explicitly myself, I do seem to make some more progress, but it's still far short of the ideal: lambdabot check True unrecognized option `--loadfile=' Usage: mueval [OPTION...] --expression EXPRESSION... -p PASSWORD--password=PASSWORD The password for the mubot account. If this is set, mueval will attempt to setuid to the mubot user. This is optional, as it requires the mubot user to be set up properly. (Currently a null-op.) [etc. etc.] You can try running the tests.sh script which will exercise the QuickCheck functionality among other things. This, AFAICT, seems to go just fine. There's lots of output with which I won't spam you, other than to say that it includes the text OK, all the valid expressions worked out well. Now let's test various misbehaved expressions. The last line of the output is IO . So, it seems that I am now faced with the problem of getting lambdabot and mueval to talk to each other sensibly. Any pointers would be gratefully received. Hi Jacek and Gwern, In the upgrade from mueval from 0.8 to 0.8.1, some of the mueval command line options were changed: --loadfile = --load-file --noimports = --no-imports For Plugins/Check.hs I change --loadfile to -l. To convince lambdabot to run on gentoo, I patch it to use --no-imports to avoid this problem: % mueval -e '1 + 2' Ambiguous module name `Control.Monad.Cont': it was found in multiple packages: monads-fd-0.1.0.2 mtl-2.0.1.0 monads-tf-0.1.0.0 % And I patch the lambdabot /usr/share/lambdabot-4.2.3.2/ghc-7.0.3/State/L.hs to used -XPackageImports. Then mueval works: % mueval --no-imports -l ~/.lambdabot/State/L.hs -e '1 + 2' 3 % And lambdabot works: % lambdabot Initialising plugins ... done. lambdabot @check True +++ OK, passed 100 tests. OK, passed 100 tests. lambdabot The patch is here: https://github.com/markwright/gentoo-haskell/blob/master/dev-haskell/lambdabot/files/lambdabot-4.2.3.2-eval.patch Regards, Mark ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
