2024/11/13

Newest at the top

2024-11-13 03:21:00 +0100weary-traveler(~user@user/user363627) user363627
2024-11-13 03:18:54 +0100 <lambdabot> ()
2024-11-13 03:18:52 +0100 <haskellbridge> > mempty
2024-11-13 03:18:52 +0100 <haskellbridge> <zwro> there we go
2024-11-13 03:18:33 +0100 <lambdabot> Monoid a => a
2024-11-13 03:18:32 +0100 <haskellbridge> :t mempty
2024-11-13 03:18:32 +0100 <haskellbridge> <zwro> er
2024-11-13 03:18:17 +0100 <lambdabot> <hint>:1:1: error: parse error on input ‘:’
2024-11-13 03:18:16 +0100 <haskellbridge> > :t mempty
2024-11-13 03:18:16 +0100 <haskellbridge> <zwro> it's the most sensible thing to print
2024-11-13 03:17:05 +0100 <haskellbridge> <zwro> ghci defaulting to () for constrained polymorphic types happens because it's the simplest thing you can print. ghc would complain
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