2024/11/13

Newest at the top

2024-11-13 03:15:12 +0100Square(~Square@user/square) Square
2024-11-13 03:13:24 +0100ph88(~ph88@2a02:8109:9e26:c800:b27:4ecf:926d:786) (Remote host closed the connection)
2024-11-13 03:11:18 +0100Square(~Square@user/square) (Remote host closed the connection)
2024-11-13 03:02:17 +0100tomku(~tomku@user/tomku) tomku
2024-11-13 02:47:53 +0100stiell_(~stiell@gateway/tor-sasl/stiell) stiell
2024-11-13 02:47:34 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-13 02:42:03 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2024-11-13 02:37:16 +0100 <yin> intuitively makes sense
2024-11-13 02:36:56 +0100 <monochrom> I somehow had [0..maxBound] stuck in my mind.
2024-11-13 02:36:38 +0100 <monochrom> haha
2024-11-13 02:36:16 +0100 <yin> i mean not that you're a moron. the second part
2024-11-13 02:35:57 +0100 <yin> yes :)
2024-11-13 02:35:49 +0100 <monochrom> Ooohhhh I am a moron. x!!y forces y :: Int.
2024-11-13 02:35:20 +0100 <yin> [0 :: Integer] !! (maxBound :: Int)
2024-11-13 02:35:19 +0100 <lambdabot> mueval-core: Time limit exceeded
2024-11-13 02:35:13 +0100 <monochrom> > ([0..] !! maxBound) :: Integer
2024-11-13 02:35:10 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-11-13 02:35:00 +0100 <yin> Integer probably
2024-11-13 02:34:52 +0100 <lambdabot> (Num a, Enum a) => a
2024-11-13 02:34:51 +0100 <yin> :t [0..] !! maxBound
2024-11-13 02:34:38 +0100 <monochrom> I am trying to understand what [0..] !! maxBound defaults to.
2024-11-13 02:34:36 +0100 <geekosaur> this sounds like someone put in the Num instance for () again?
2024-11-13 02:33:56 +0100 <yin> what are you trying to do?
2024-11-13 02:33:16 +0100 <monochrom> Haha I guess I fail at type inference.
2024-11-13 02:32:31 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-11-13 02:32:28 +0100 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
2024-11-13 02:32:28 +0100 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘show_M414883925847...
2024-11-13 02:32:28 +0100 <lambdabot> error:
2024-11-13 02:32:26 +0100 <monochrom> > maxBound `asTypeOf` ([0..] !! maxBound)
2024-11-13 02:32:19 +0100 <monochrom> Oh oops I am a type error
2024-11-13 02:32:07 +0100 <lambdabot> • In the expression: e_10
2024-11-13 02:32:07 +0100 <lambdabot> • No instance for (Num [()]) arising from a use of ‘e_10’
2024-11-13 02:32:07 +0100 <lambdabot> error:
2024-11-13 02:32:06 +0100 <monochrom> > [maxBound] `asTypeOf` ([0..] !! maxBound)
2024-11-13 02:32:01 +0100 <monochrom> Ah maybe parens
2024-11-13 02:31:34 +0100 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
2024-11-13 02:31:34 +0100 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘show_M452416577057...
2024-11-13 02:31:34 +0100 <lambdabot> error:
2024-11-13 02:31:33 +0100 <monochrom> > [maxBound] `asTypeOf` [0..] !! maxBound
2024-11-13 02:30:36 +0100 <Rembane> That's a big number.
2024-11-13 02:30:30 +0100 <lambdabot> 9223372036854775807
2024-11-13 02:30:29 +0100 <Rembane> > maxBound :: Int
2024-11-13 02:30:19 +0100 <lambdabot> arising from a use of ‘maxBound’
2024-11-13 02:30:19 +0100 <lambdabot> • No instance for (Bounded Integer)
2024-11-13 02:30:19 +0100 <lambdabot> error:
2024-11-13 02:30:17 +0100 <monochrom> > maxBound :: Integer
2024-11-13 02:29:58 +0100 <lambdabot> (Num a, Enum a) => a
2024-11-13 02:29:57 +0100 <monochrom> @type [0..] !! maxBound
2024-11-13 02:29:50 +0100 <jackdk> darn I was hoping it'd default
2024-11-13 02:29:42 +0100 <lambdabot> from the context: (Num a, Enum a)