- Yhc - Haskell.org

Re: Issue 122 in project yhc
by Thorkil Naur 24 Feb '07

24 Feb '07

Hello, On Saturday 24 February 2007 19:28, Neil Mitchell wrote: > ... > > I've just added some code so it now reads: > > > > case (local,res) of > > ([x], _) -> return x > > (_, [x]) -> return x > > ([], []) -> raiseError $ ErrorFileNone noErrPos askMsg file rs > > (as, bs) -> > > -- ASSERTION TO DEBUG GHC 6.6 WITHOUT -O CODEGEN ON A MAC! > > assert (not $ null $ as ++ bs) $ > > raiseError $ ErrorFileMany noErrPos askMsg file (map anyOne (as ++ bs)) > > > > That (to me) looks like an assertion that should always be true, but > > which appears at first glance to be being violated by GHC 6.6 on a Mac > > when compiled without -O. Can you try that on your machine, and see if > > it does raise an assertion? If it does, we can then contact the GHC > > developers and let them get a minimal test case :) > ... To clarify: The yhc failure (i.e. erroneously reporting "multiple files found" instead of "no files found") occurs when yhc has been built with "scons build yhc type=release" so that Package.hs is compiled by ghc-6.6 with -O option. If I compile Package.hs without type=release (i.e. "scons build yhc" which then recompiles a lot, (all?) including Package.hs) so that Package.hs and the other .hs files are compiled without ghc-6.6 option -O, then the resulting yhc works, i.e. reports "no files found" as it should. So: Compiled with type=release (and therefore ghc-6.6 -O), yhc fails. And compiled without type=release (and therefore ghc-6.6 without -O) yhc works. And further: I have tried the above on my machine. Unfortunately, the bug (erroneous report) now disappears, i.e. after scons build yhc type=release, yhc correctly reports "not files found". And, if I remove the assert that you have inserted, the bug re-appears, i.e. yhc incorrectly reports "multiple files" when there are, in fact, none. Neat, eh? I am now trying to introduce the assert in Error.hs instead, don't know if this is a good idea. But in any case, I have the additional problem that (according to ghc documentation), -O (which we need to see the error) implies -fignore-asserts. So I am trying now with GHCFLAGS=-fno-ignore-asserts scons ... Best regards Thorkil

2 2

yhc build bug?
by charles blundell 24 Feb '07

24 Feb '07

Hi. Yhc doesn't like being built twice: $ scons configure && scons build # scons install $ scons clean $ scons build ... Checking whether byte ordering is bigendian... (cached) no Checking size of char... (cached) no Checking size of short... (cached) no Checking size of int... (cached) no Checking size of long... (cached) no Checking size of long long... (cached) no Checking size of float... (cached) no Checking size of double... (cached) no Checking size of void*... (cached) no Failed to check types sizes/endianness. You do have a working C compiler don't you? If so then please contact the Yhc developers for help. I had a C compiler a second ago. It seems the scons caching has gone awry: $ rm .sconsign.dblite $ scons build ... builds as usual. Charles.

3 3

buildbot failure in macosx_x86
by andrewjwilkinsonw＠gmail.com 24 Feb '07

24 Feb '07

The Buildbot has detected a new failure of macosx_x86. Full details are available at: http://www.indiegigs.co.uk:8010/macosx_x86/builds/88 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: macosxx86 Build Reason: Build Source Stamp: HEAD Blamelist: Neil Mitchell BUILD FAILED: failed Darcs sincerely, -The Buildbot

1 0

Re: Issue 122 in project yhc
by Neil Mitchell 24 Feb '07

24 Feb '07

Hi Thorkil, I looked at this code a few days ago, and I really couldn't figure out what was going on! As far as I can tell: Package.hs, line 64: case (local,res) of ([x], _) -> return x (_, [x]) -> return x ([], []) -> raiseError $ ErrorFileNone noErrPos askMsg file rs (as, bs) -> raiseError $ ErrorFileMany noErrPos askMsg file (map anyOne (as ++ bs)) The basic idea is that local and res are the local findings of a module, and res are the remote findings of a module. If there is one local module that comes first, if there is one remote module that comes second. If there are no modules this raises an error. The final branch is that one of as or bs must have a value. Your patch makes the last case demand (:) for both arguments - since case statements in Haskell match top to bottom, that means you'll just end up with a crash otherwise. The actual property is that one must be non-empty, not both. I really couldn't see what this is failing, but I'll have a quick Debug.Trace fest later. Thinking about it, if you have multiple local files, and one remote file, that makes it succeed. That's the wrong behaviour! I'll try and fix that while I'm there. Thanks Neil On 2/24/07, codesite-noreply(a)google.com <codesite-noreply(a)google.com> wrote: > > Issue 122: yhc reports "Found file multiple times" when file not found > http://code.google.com/p/yhc/issues/detail?id=122 > > New issue report by thorkilnaur: > What steps will reproduce the problem? > Here is a session that illustrates the problem: > > Thorkil-Naurs-Computer:~/tn/test/Yhc/multiple thorkilnaur$ cat T1.hs > -- T1.hs: Yhc test program > module Main where > import T2 > main = putStr ( "Hello Yhc\n" ) > Thorkil-Naurs-Computer:~/tn/test/Yhc/multiple thorkilnaur$ yhc T1 > yhc: Error: Found file multiple times, T2 > Reason: imported from Main > Found in: > > Thorkil-Naurs-Computer:~/tn/test/Yhc/multiple thorkilnaur$ ls > T1.hs > Thorkil-Naurs-Computer:~/tn/test/Yhc/multiple thorkilnaur$ > > What is the expected output? What do you see instead? > I would expect the message to be "yhc: Error: File not found, T2 ..." > > Please use labels and text to provide additional information. > I have attached a patch that changes the yhc message into: > > Thorkil-Naurs-Computer:~/tn/test/Yhc/multiple thorkilnaur$ yhc T1.hs > yhc: Error: File not found, T2 > Reason: imported from Main > Looked in: > /Users/thorkilnaur/tn/test/Yhc/multiple/ > . > /Users/thorkilnaur/tn/YhcDarcsRepository/yhc/inst/lib/yhc/packages/haskell98/1.0 > /Users/thorkilnaur/tn/YhcDarcsRepository/yhc/inst/lib/yhc/packages/yhc-base/1.0 > > Thorkil-Naurs-Computer:~/tn/test/Yhc/multiple thorkilnaur$ > > The patch removes a case of overlapping patterns in Package.getModule that causes the wrong > choice between "Not found" and "Found multiple times" to be taken. I seem to recall that patterns > are supposed to be tested in the order that they are mentioned, but a quick study of the relevant > material has not convinced me definitely. But if I do remember correctly, this could indicate an > error in the ghc-6.6 used to compile Package.hs. > > Attachments: > Found_file_multiple_times_message_fix.patch 47.1 KB > > > Issue attributes: > Status: New > Owner: ---- > Labels: Type-Defect Priority-Medium > > -- > You received this message because you are listed in the owner > or CC fields of this issue, or because you starred this issue. > You may adjust your issue notification preferences at: > http://code.google.com/hosting/settings > > --~--~---------~--~----~------------~-------~--~----~ > You received this message because you are subscribed to the Google Groups "yhc-bugtrack" group. > To post to this group, send email to yhc-bugtrack(a)googlegroups.com > To unsubscribe from this group, send email to yhc-bugtrack-unsubscribe(a)googlegroups.com > For more options, visit this group at http://groups.google.com/group/yhc-bugtrack?hl=en > -~----------~----~----~----~------~----~------~--~--- > >

2 4

buildbot failure in slack_x86
by andrewjwilkinsonw＠gmail.com 23 Feb '07

23 Feb '07

The Buildbot has detected a new failure of slack_x86. Full details are available at: http://www.indiegigs.co.uk:8010/slack_x86/builds/115 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: slackx86 Build Reason: Build Source Stamp: HEAD Blamelist: Tom Shackell <shackell(a)cs.york.ac.uk> BUILD FAILED: failed library sincerely, -The Buildbot

1 0

Recursively Dependent Modules
by Andrew Wilkinson 23 Feb '07

23 Feb '07

Hi, I've been trying to fix the dependency issues introduced through the changes to Control.Exception and we've got a loop in the dependencies. How should I handle this? Foreign.C -> System.IO -> System.IO.Error -> Control.Exception -> Data.Array-> Numeric -> Foreign.Word -> Foreign.C.Types -> Foreign.C a -> b means that b depends on a, i.e. has b an 'import a' statement. Andrew

2 1

buildbot failure in gentoo_amd64
by andrewjwilkinsonw＠gmail.com 23 Feb '07

23 Feb '07

The Buildbot has detected a new failure of gentoo_amd64. Full details are available at: http://www.indiegigs.co.uk:8010/gentoo_amd64/builds/80 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: gentooamd64 Build Reason: Build Source Stamp: HEAD Blamelist: Neil Mitchell BUILD FAILED: failed failed slave lost sincerely, -The Buildbot

1 0

buildbot failure in macosx_x86
by andrewjwilkinsonw＠gmail.com 22 Feb '07

22 Feb '07

The Buildbot has detected a new failure of macosx_x86. Full details are available at: http://www.indiegigs.co.uk:8010/macosx_x86/builds/78 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: macosxx86 Build Reason: Build Source Stamp: HEAD Blamelist: Andrew Wilkinson <aw(a)cs.york.ac.uk>,Neil Mitchell,Tom Shackell <shackell(a)cs.york.ac.uk>,golubovsky(a)gmail.com BUILD FAILED: failed tests sincerely, -The Buildbot

1 0

buildbot failure in windows
by andrewjwilkinsonw＠gmail.com 22 Feb '07

22 Feb '07

The Buildbot has detected a failed build of windows. Full details are available at: http://www.indiegigs.co.uk:8010/windows/builds/62 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: neilwindows Build Reason: The web-page 'force build' button was pressed by '': Build Source Stamp: HEAD Blamelist: BUILD FAILED: failed library sincerely, -The Buildbot

1 0

buildbot failure in linux_ppc
by andrewjwilkinsonw＠gmail.com 22 Feb '07

22 Feb '07

The Buildbot has detected a failed build of linux_ppc. Full details are available at: http://www.indiegigs.co.uk:8010/linux_ppc/builds/67 Buildbot URL: http://www.indiegigs.co.uk:8010/ Buildslave for this Build: linuxppc Build Reason: Build Source Stamp: HEAD Blamelist: Tom Shackell <shackell(a)cs.york.ac.uk> BUILD FAILED: failed yhc sincerely, -The Buildbot

1 0