- Hugs-Bugs - Haskell.org

[Hugs] #65: depth cutoff reports the wrong constraint
by Hugs 20 Apr '07

20 Apr '07

#65: depth cutoff reports the wrong constraint -------------------------+-------------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: type system | Version: 200609 Keywords: | -------------------------+-------------------------------------------------- Given the following: {{{ class C a where f :: a -> a instance (Eq a, C a) => C a test = f True }}} hugs -98 reports {{{ ERROR "Silly.hs" - *** The type checker has reached the cutoff limit while trying to *** determine whether: *** Eq Bool *** can be deduced from: *** () *** This may indicate that the problem is undecidable. However, *** you may still try to increase the cutoff limit using the -c *** option and then try again. (The current setting is -c40) }}} when in fact it is trying to solve `C Bool`. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/65> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 1

Crashing Hugs for fun and profit
by Neil Mitchell 20 Apr '07

20 Apr '07

Hi I've attached 3 separate bugs in the Hugs compiler, they are all a bit perplexing, and all seem to ruffle similar areas. I suspect there is an underlying memory bug, such as overwriting areas of memory or something. * Silly fails to derive something that should be obvious, as sent in a previous mail to hugs-users@ * Nonterm generates: > hugs Nonterm.hs -98 ERROR "Nonterm.hs":56 - Unresolved top-level overloading *** Binding : test *** Outstanding context : (Play b, Typeable b, Play ((bad type) ((bad type) ((ba d type) ((bad type) (bad type)))) ((bad type) ((bad type) ((bad type) ((bad type ) ((bad type) ((bad type) ((bad type) (bad type)))) ((bad type) ((bad type) ((ba Running with WinHugs causes an immediate shutdown. * Segfault generates: > hugs Segfault.hs -98 Unexpected signal With WinHugs I get an immediate shutdown. Thanks Neil

2 4

[Hugs] #42: WinHugs uninstaller crashes
by Hugs 18 Apr '07

18 Apr '07

#42: WinHugs uninstaller crashes ------------------------+--------------------------------------------------- Reporter: briansmith | Owner: neil Type: defect | Status: new Priority: major | Milestone: Component: winhugs | Version: 200609 Keywords: | ------------------------+--------------------------------------------------- I will attach a screenshot of the error. The error is: {{{ 16 bit MS-DOS Subsystem C:\PROGRA~1\WINHUG~1\UNINST~1.EXE The NTVDM CPU has encountered an illegal instruction. }}} I am using Windows XP SP2 using NTFS. My "Program Files" directory has very strict ACL permissions (only Administrators can modify anything). It seems strange that the uninstaller is a 16-bit console application. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/42> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 5

[Hugs] #62: Unable to uninstall
by Hugs 18 Apr '07

18 Apr '07

#62: Unable to uninstall ---------------------+------------------------------------------------------ Reporter: adam | Owner: neil Type: defect | Status: new Priority: major | Milestone: Component: winhugs | Version: 200609 Keywords: | ---------------------+------------------------------------------------------ I've seen this error a couple of times but still have not seen a solution. I am trying to uninstall winhugs but get this error: The NTVDM CPU has encountered an illegal instruction. CS:0dc6 IP:0130 OP:63 6f 6e 74 65 Any ideas on how I can go about uninstalling winhugs? -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/62> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 3

[Hugs] #64: hugs crashes upon module reload
by Hugs 18 Apr '07

18 Apr '07

#64: hugs crashes upon module reload ----------------------+----------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: critical | Milestone: Component: hugs | Version: 200609 Keywords: | ----------------------+----------------------------------------------------- A common occurence is the following failure when loading dll modules. with the latest release of hugs. This only occurs upon a reload. i.e. the initial load is fine. a reload from the hugs command line will cause the error. Database.HSQL> :load Database.HSQL ../../gcc/gcc/config/i386/w32-shared-ptr.c:234: failed assertion `w32_sharedptr- >size == sizeof(W32_EH_SHARED)' -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/64> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 4

[Hugs] #59: missing and/or erroneous output in deteministic function run from WinHUGS cmd line!
by Hugs 16 Apr '07

16 Apr '07

#59: missing and/or erroneous output in deteministic function run from WinHUGS cmd line! ------------------------------------------------+--------------------------- Reporter: ettinger(a)elmgate.eclipse.co.uk | Owner: neil Type: defect | Status: new Priority: critical | Milestone: Component: winhugs | Version: 200609 Keywords: inconsistent expression evaluation | ------------------------------------------------+--------------------------- --(Output showing the bug is appended below. It isn't part of the program). --PLEASE run the function called bug. It will tell you to type a --short expression at the WinHUGS command line. --Retry the expression ten times. I do not get the same result every time! --Do you find the same problem? Please, please let me know either way. --See below for printout of my "impossible" results. --The functions os and s below will be used to demonstrate the WinHUGS bug: os :: Int -> Int -> Double os i j = -22.0/7.1 s :: [[Int]] -> [[Double]] s dat = [[ sum [ fromIntegral (dat!!i!!j) * os i x * os j y | i <-[0..7] , j <-[0..7] ] | x <- [0..7] ] | y <- [0..7] ] -- The following functions produce the bug test data: insig :: [Int] insig = [0 | i <-[0..7]] signif :: [Int] signif = [ 1 ] ++ [0 | i <-[1..7]] i = [insig] ++ [signif | i <- [1..7]] --For instructions on demonstrating the bug, please run the function below: bug = "Please type the following to demonstrate the bug: (take 4.s)i " Main> (take 4.s)i [[67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703],[67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703],[67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703],[67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703]] Main> (take 4.s)i [[67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703],[67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703],[67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703],[67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703,67.2088871255703]] Main> -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/59> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 4

[Hugs] #63: hugs cabal incomplete
by Hugs 15 Apr '07

15 Apr '07

#63: hugs cabal incomplete --------------------------------+------------------------------------------- Reporter: jvlask(a)hotmail.com | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Keywords: cabal | --------------------------------+------------------------------------------- Two things 1) hugs cabal does not take any notice of additional C files specified in the cabal config 2) hugs cabal passes libraries using mingw conventions and does not support a build process using msvc. i.e. libraries passed as -lodbc 3) I used to be able to generate the C stub for seporate compilation with the following command ffihugs -98 +G -Pbuild: +L"-D_WIN32_" +L"-Dmingw32_HOST_OS" +L"-I./HSQL" +L"./ODBC/Database/HSQL/HsODBC.o" +L"odbc32.lib" +L"-I./ODBC/Database/HSQL" $< this worked fine and achieved what was desired:- generating a C file compiling and specifying additional link libraries and include path. this can be done with the new hugs like so ffihugs -98 $< -D_WIN32_ -Dmingw32_HOST_OS -I./HSQL ./ODBC/Database/HSQL/HsODBC.o odbc32.lib -I./ODBC/Database/HSQL The current cabal setup for hugs does not support the generation/specification of such a command, so I am left with no option but to use a hybrid of cabal and make files ... very unsatisfactory. 4) you should really think about linking hugs against the multithreaded library /MD by default many external gnu etc libraries (actually all that I have come accross) link against msvcrt.lib. Having two different rtl being called can cause problems. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/63> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 1

Re: [Hugs] #16: hiding T(..) doesn't hide the fields
by Hugs 06 Apr '07

06 Apr '07

#16: hiding T(..) doesn't hide the fields ----------------------------+----------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: module system | Version: current Resolution: | Keywords: ----------------------------+----------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/16> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 0

Re: [Hugs] #15: semicolons in nested layout
by Hugs 06 Apr '07

06 Apr '07

#15: semicolons in nested layout ----------------------+----------------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: parsing | Version: current Resolution: | Keywords: ----------------------+----------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/15> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 0

Re: [Hugs] #11: monomorphism and generalization
by Hugs 06 Apr '07

06 Apr '07

#11: monomorphism and generalization --------------------------+------------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: type system | Version: Resolution: | Keywords: --------------------------+------------------------------------------------- Comment (by zlgdgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/article.asp?id=82 gold wow][http://www.makegamegold.com/default.asp?cateid=6 wow gold] -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/11> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 0