- Hugs-Bugs - Haskell.org

Type checking (implict parameters) bug
by Iavor S. Diatchki 16 Jan '03

16 Jan '03

{- Hello, I seem to have run into a bug in the Hugs type checker. Bellow are three variations of the problem, with the errors that Hugs came up with. I used the version of Hugs from cvs (January 2003) (just checked it out), and it also seems to happen on the Nov 2002 version. The tests were done on a machine running Mandrake Linux 9.0. The 1st and the 3rd program are incorrect (GHC says unbound implicit parameter, as expected), while the 2nd one should be ok. bye Iavor -} -- Type checking -- INTERNAL ERROR: getKind -- -- f :: a -> ((?depth::Int) => b) -> b -- f x y = y -- Type checking -- ... loops ... -- -- f :: a -> ((?depth::Int) => b) -> b -- f x y = let ?depth = 1 in y -- Type checking -- ERROR "test.hs":16 - Inferred type is not general enough -- *** Expression : f -- *** Expected type : Show a => b -> ((?depth :: Int) => a) -> a -- *** Inferred type : Show a => a -> ((?depth :: Int) => a) -> a -- -- f :: Show b => a -> ((?depth::Int) => b) -> b -- f x y = y -- ================================================== | Iavor S. Diatchki, Ph.D. student | | Department of Computer Science and Engineering | | School of OGI at OHSU | | http://www.cse.ogi.edu/~diatchki | ==================================================

1 0

WinHugs installation
by Michael J Maher 16 Jan '03

16 Jan '03

Hi, I downloaded hugs98-Nov2002.msi and installed it today (in front of class) and WinHugs was not installed...at least it wasnt appearing on the Start menu. Is it not included in this distribution? Michael

1 0

Some questions
by snnisrne 14 Jan '03

14 Jan '03

1 0

Worm Klez.E immunity
by zerin 14 Jan '03

14 Jan '03

1 0

A very new game
by bigluvr 12 Jan '03

12 Jan '03

WARNING!!! (from m3.bezeqint.net) The following message attachments were flagged by the antivirus scanner: Attachment [2.2] demo.exe, virus infected: W32/Klez-H. Action taken: deleted VIRUS WARNING Message (from m3.bezeqint.net) The virus W32/Klez-H was detected in email attachment [2.2] demo.exe. The infected attachment has been deleted.

1 0

Hugs build error
by R. Legere 12 Jan '03

12 Jan '03

Greetings, I should have mentioned this before, but I wanted to check it out further... when I build hugs (either from cvs or from tarball) on cygwin, the build fails with: ERROR "Text.Regex.Posix" - Unable to open file "Text.Regex.Posix" make: *** [../hugsdir/libraries/Text/Regex/Posix.so] Error 1 If I remove EXTRA_FFI_LIBRARIES by hadn from the make file, it builds. --- Also, alignPtr and sizeOf 1.0::CDouble are fixed in cvs, thanks! I have a tiny test program that tests the ffi by passing a pointer to a structure around and accesses it from Haskell. I wonder if I could/should make this into one of the 'tests' in hugs98/tests/ffi ?? Cheers, Ron

1 0

Homepage
by sinemkuz 10 Jan '03

10 Jan '03

1 0

Please try again
by agoertzen 10 Jan '03

10 Jan '03

1 0

Signs, Word32 and Array
by Ian Lynagh 10 Jan '03

10 Jan '03

This looks like a hugs bug to me - GHCi gets it right. Inflate> 4294967295 :: Word32 4294967295 Inflate> (4294967295 :: Word32) > 0 True Inflate> array (0, (4294967295 :: Word32)) [] // [(5, 98)] array Program error: {_out_of_bounds (0,-1) 5} Inflate> Incidentally, how do you get the Word and Array modules in scope at once without using a module to import them both? My fiddling with :l and :a wasn't fruitful. Thanks Ian

1 0

Trex
by Stephen Eldridge 10 Jan '03

10 Jan '03

Using version Nov 2002 in Windows XP I find that import Trex gives me Reading file "c:\progra~1\hugs98\lib\hugs\Trex.hs": ERROR "c:\progra~1\hugs98\lib\hugs\Trex.hs" - Illegal export of a lone data cons tructor "EmptyRec" This can be cured by removing the export of EmptyRec from Trex.hs but I don't think this should be necessary. Stephen Eldridge phone: 0161-200-3352 email: see(a)co.umist.ac.uk Department of Computation, UMIST, Manchester M60 1QD

2 1