Newest at the top
2024-11-13 03:21:00 +0100 | weary-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 +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 |