4 Feb
2003
4 Feb
'03
10:14 a.m.
On Tue, Feb 04, 2003 at 11:00:16AM +0100, Johannes Waldmann wrote:
wanna see a large Int in hugs? I mean Int, not Integer. the program below gives this nice result:
Main> contents bug 1000000000000000000000000000000 :: Int
data Container a = Container { contents :: a , info :: String }
bug :: Container Int bug = let xs = 10^30 a = Container { contents = xs , info = "foo" } in a { info = "bar" }
Definitely a bug in typing of record updates: Bug> :t Container { contents = True , info = "foo" } { info = "bar" } Container{contents = True, info = "foo"}{info = "bar"} :: Container a