May 2007 - Hugs-Bugs - Haskell.org

[Hugs] #54: INTERNAL ERROR: build
by Hugs 24 Jul '07

24 Jul '07

#54: INTERNAL ERROR: build --------------------------+------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: build system | Version: current Keywords: | --------------------------+------------------------------------------------- Main> fvsp 450 INTERNAL ERROR: build Please report this Hugs bug to http://hackage.haskell.org/trac/hugs //code pots :: Num a => a -> [a] pots x = scanl (*) 1 (repeat x) factoriales :: [Integer] factoriales = scanl (*) 1 [1..] fvsp :: Integer -> Int fvsp n = length (takeWhile not (zipWith (<) (pots n) factoriales)) -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/54> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 2

[Hugs] #73: Sieve of Eratosthenes crashes if using "Integer" while not if using "Int"
by Hugs 31 May '07

31 May '07

#73: Sieve of Eratosthenes crashes if using "Integer" while not if using "Int" --------------------+------------------------------------------------------- Reporter: guest | Owner: nobody Type: defect | Status: new Priority: minor | Milestone: Component: hugs | Version: 200609 Keywords: | --------------------+------------------------------------------------------- The following program crashes near the 5000th prime nr. sieveGH :: ([Integer], Integer) -> Integer sieveGH ([], y) = 0 sieveGH ((p:xs), 0) = p sieveGH ((p:xs), y) = sieveGH ([x| x <- xs, x `mod` p /= 0], y-1) While the following does not crash, and i was taught that Integer was designed for near infinite/large calculations(?) : sieveGH :: ([Int], Int) -> Int sieveGH ([], y) = 0 sieveGH ((p:xs), 0) = p sieveGH ((p:xs), y) = sieveGH ([x| x <- xs, x `mod` p /= 0], y-1) Main> sieveGH ([2..], 10000) 104743 (505275796 reductions, 696417680 cells, 787 garbage collections) -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/73> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 3

[Hugs] #72: mishandling of ambiguous record field names
by Hugs 29 May '07

29 May '07

#72: mishandling of ambiguous record field names -----------------------------+---------------------------------------------- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: static analysis | Version: current Keywords: | -----------------------------+---------------------------------------------- Simon PJ writes: {{{ module A where data A = A { foo :: Int } module B where import A data B = B { foo :: Bool } a = A {foo=3} }}} yields: {{{ ERROR "B.hs":8 - Constructor "A" does not have selected fields in A{foo += 3} }}} Commenting out the declaration of `data B` makes the definition of `a` work. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/72> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 0

RE: [Haskell] ambiguous record field names which actually aren’t ambigious
by Simon Peyton-Jones 29 May '07

29 May '07

[Redirecting to ghc-bugs] | module A where | data A = A { label :: Int } | | module B where | data B = B { label :: Int } | | b :: B | b = B { label = 0 } | | x :: B -> () | x B { label = 0 } = () | | GHC reports an ambiguity for both usages of label. Are you sure? Module B doesn't even import A! And if you mean that B does import A, then Haskell 98 indeed says it's ambiguous. Now, it's true that in the case of both a) pattern matching b) record construction there's a lot less ambiguity, because you know which *data constructor* is involved. (Even better than knowing which module is involved. But for c) record update (x { label = 0 }) d) field selection (label x) you have no such clues. Haskell could be defined to take advantage of (a) and (b), but if it was then it'd *also* work if data A and data B were defined in the same module, and Section 3.15 of the Haskell Report clearly states otherwise. I conclude that Hugs is not implementing Haskell 98 here. In fact there's clearly a bug in Hugs: module A where data A = A { foo :: Int } module B where import A data B = B { foo :: Bool } a = A {foo=3} yields: ERROR "B.hs":8 - Constructor "A" does not have selected fields in A{foo = 3} Commenting out the declaration of data B makes the definition of 'a' work. I'm ccing hugs-bugs. Simon

1 0

[Hugs] #71: U SB
by Hugs 23 May '07

23 May '07

#71: U SB --------------------+------------------------------------------------------- Reporter: cdseo | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Keywords: | --------------------+------------------------------------------------------- [http://www.citsgo.com/ 九寨沟] [http://www.citsgo.com/jiuzhaigou/ 九寨沟旅游] [http://www.citsgo.com/xizang/index.htm 西藏旅游] [http://www.citsgo.com/daocheng/index.htm 稻城旅游] [http://www.citsgo.com/page/chengdu/ 成都旅游] [http://www.citsgo.com/siguniangshan/ 四姑娘山旅游] [http://www.citsgo.com/emei/ 峨眉山旅游] [http://www.citsgo.com/miyaluo/ 米亚罗旅游] [http://www.citsgo.com/xilinxueshan/ 西岭雪山旅游] [http://www.citsgo.com/changjiang/ 长江三峡旅游] [http://www.citsgo.com/ 四川旅游] [http://www.citsgo.com/huiyi.htm 商务会议] [http://www.citsgo.com/huiyi.htm 四川会议旅游] [http://www.citsgo.com/car.htm 成都租车] [http://www.citsgo.com/hotel/ 酒店预定] [http://www.citsgo.com/hotel/xizang/ 西藏酒店预定] [http://www.citsgo.com/hotel/cd/ 成都酒店预定] [http://www.yatrip.com 四川旅游] [http://www.yatrip.com/hotel/hotel.aspx 酒店预订] [http://www.yatrip.com/flight/flight.aspx 机票预订] [http://www.yatrip.com/golf/golf.aspx 高尔夫] [http://www.yatrip.com/drive/drive.aspx 自驾车] [http://www.yatrip.com/conference/2_6.aspx?cid=2 会议旅游] [http://www.yatrip.com/conference/2_2.aspx?cid=1 会议接待] [http://www.yatrip.com/conference/conference_01.aspx 商务会议] [http://www.yatrip.com/conference/conference_01.aspx 四川会议] [http://www.yatrip.com/conference/conference_01.aspx 四川会议旅游] [http://www.yatrip.com/chengdu.html 成都旅游] [http://www.yatrip.com/danba.html 丹巴旅游] [http://www.yatrip.com/daocheng.html 稻城] [http://www.yatrip.com/daochengtravel.html 稻城旅游] [http://www.yatrip.com/daochengyading.html 稻城亚丁] [http://www.yatrip.com/emeishan.html 峨眉山] [http://www.yatrip.com/emeishantravel.html 峨眉山旅游] [http://www.yatrip.com/hailuogou.html 海螺沟] [http://www.yatrip.com/huanglong.html 黄龙] [http://www.yatrip.com/jiuzhaigou.html 九寨沟] [http://www.yatrip.com/jiuzhaigoutravel.html 九寨沟旅游] [http://www.yatrip.com/leshangiantbuddha.html 乐山大佛] [http://www.yatrip.com/lijiang.html 丽江] [http://www.yatrip.com/miyaluo.html 米亚罗] [http://www.yatrip.com/shangrila.html 香格里拉] [http://www.yatrip.com/siguniangshan.html 四姑娘山] [http://www.yatrip.com/tibet.html 西藏旅游] [http://www.yatrip.com/yangtzeriver.html 长江三峡] -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/71> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 1

[Hugs] #70: Uninformative error in do binding
by Hugs 11 May '07

11 May '07

#70: Uninformative error in do binding --------------------+------------------------------------------------------- Reporter: neil | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Keywords: | --------------------+------------------------------------------------------- Given the program: {{{ main = do [] <- return "test" print "test" > main Program error: user error (match fails) }}} It would be nice if the message at least mentioned "do" somewhere. The only way of figuring out what going wrong in a big program is to flip to GHC. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/70> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 1

[Hugs] #69: Pattern match error can be arbitrarily long
by Hugs 11 May '07

11 May '07

#69: Pattern match error can be arbitrarily long --------------------+------------------------------------------------------- Reporter: neil | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Keywords: | --------------------+------------------------------------------------------- Given the program: test n = length val `seq` f val where val = replicate n (toEnum 12) f "" = "" > test 3 Program error: pattern match failure: f [toEnum 12,toEnum 12,toEnum 12] Unfortunately, as you bump up n (try 10,000) Hugs spits and more and more information - when the most important bit of this message is "f" - which you end up loosing. I suggest truncating pattern match errors at (say) 500 characters, or perhaps 500 characters per argument. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/69> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 1

[Hugs] #68: Subtraction Error
by Hugs 11 May '07

11 May '07

#68: Subtraction Error -----------------------------------+---------------------------------------- Reporter: neumarcx | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Keywords: arithmetic operations | -----------------------------------+---------------------------------------- Why is the difference between minuend and subtrahend wrong, if you use any 5 digit exponent for floating point numbers ? e.g. Version: Sep 2006 Haskell 98 mode: Restart with command line option -98 to enable extensions Type :? for help Hugs> 12345 - 12345.1 -0.100000000000364 -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/68> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 1

[Hugs] #57: Display "Files loaded do not match those on disk" message if this is true
by Hugs 04 May '07

04 May '07

#57: Display "Files loaded do not match those on disk" message if this is true -------------------------+-------------------------------------------------- Reporter: neil | Owner: neil Type: enhancement | Status: new Priority: minor | Milestone: Component: winhugs | Version: 200609 Keywords: | -------------------------+-------------------------------------------------- Display a warning that the files on disk have changed, if this is readily possible. Claus would like this. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/57> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 2

[Hugs] #56: Print the evaluation count in the status bar
by Hugs 04 May '07

04 May '07

#56: Print the evaluation count in the status bar ---------------------+------------------------------------------------------ Reporter: neil | Owner: neil Type: defect | Status: new Priority: minor | Milestone: Component: winhugs | Version: 200609 Keywords: | ---------------------+------------------------------------------------------ Always print the evaluation count in the status bar, its plenty of space and currently dead space otherwise. Also means we can have one less option. -- Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/56> Hugs <http://www.haskell.org/hugs/> Hugs 98, an interpreter for Haskell

1 2