Newest at the top
| 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 +0100 | Square | (~Square@user/square) Square |
| 2024-11-13 03:13:24 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:b27:4ecf:926d:786) (Remote host closed the connection) |
| 2024-11-13 03:11:18 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-11-13 03:02:17 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2024-11-13 02:47:53 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-13 02:47:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 02:42:03 +0100 | ljdarj | (~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 +0100 | Unicorn_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 +0100 | xff0x | (~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 |