Newest at the top
| 2025-12-20 15:00:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:00:29 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-20 14:59:56 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-20 14:56:19 +0100 | annamalai | (~annamalai@157.32.142.48) annamalai |
| 2025-12-20 14:56:10 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2025-12-20 14:53:07 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-20 14:51:59 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 14:50:54 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-12-20 14:50:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-20 14:44:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 14:42:12 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-20 14:40:49 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-20 14:35:41 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-12-20 14:34:33 +0100 | <tomsmeding> | SomeException doesn't have Eq unfortunately |
| 2025-12-20 14:34:07 +0100 | <tomsmeding> | ncf: ^ :p |
| 2025-12-20 14:34:04 +0100 | <yahb2> | False |
| 2025-12-20 14:34:04 +0100 | <tomsmeding> | % liftA2 ((==) `on` show) (try @SomeException (evaluate (tail @Int []))) (try @SomeException (evaluate (drop @Int 1 []))) |
| 2025-12-20 14:34:02 +0100 | <yahb2> | <no output> |
| 2025-12-20 14:34:02 +0100 | <tomsmeding> | % :set -Wno-x-partial |
| 2025-12-20 14:33:53 +0100 | <yahb2> | <interactive>:39:56: warning: [GHC-63394] [-Wx-partial] ; In the use of ‘tail’ ; (imported from Prelude, but defined in GHC.Internal.List): ; "This is a partial function, it throws an e... |
| 2025-12-20 14:33:53 +0100 | <tomsmeding> | % liftA2 ((==) `on` show) (try @SomeException (evaluate (tail @Int []))) (try @SomeException (evaluate (drop @Int 1 []))) |
| 2025-12-20 14:33:44 +0100 | <yahb2> | <no output> |
| 2025-12-20 14:33:44 +0100 | <tomsmeding> | % :m +Control.Exception Data.Function |
| 2025-12-20 14:33:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 14:33:42 +0100 | <yahb2> | syntax: :module [+/-] [*]M1 ... [*]Mn |
| 2025-12-20 14:33:42 +0100 | <tomsmeding> | % :m +Control.Exception +Data.Function |
| 2025-12-20 14:31:17 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 14:31:01 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 14:29:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 14:25:21 +0100 | CipherLab | (~NSA@2a0d:5600:24:1375::f1e) (Ping timeout: 256 seconds) |
| 2025-12-20 14:23:11 +0100 | CryptLab | (~NSA@2a0d:5600:24:1375::f1e) CommanderBond007 |
| 2025-12-20 14:23:05 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 14:18:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 14:15:25 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 14:15:12 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 14:13:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 14:04:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 13:59:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:55:19 +0100 | <ncf> | is there an equality test that also compares exceptions 🤔 |
| 2025-12-20 13:55:02 +0100 | <ncf> | i guess this can't test whether they both fail or not |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | error, called at libraries/ghc-internal/src/GHC/Internal/List.hs:2030:3 in... |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | CallStack (from HasCallStack): |
| 2025-12-20 13:54:40 +0100 | <lambdabot> | *Exception: Prelude.tail: empty list |
| 2025-12-20 13:54:38 +0100 | <ncf> | > tail [] == drop 1 [] |
| 2025-12-20 13:53:36 +0100 | <ncf> | oh, empty list |
| 2025-12-20 13:53:21 +0100 | <ncf> | <Zemyla> I kind of wish tail = drop 1. -- in what sense are they not equal? |
| 2025-12-20 13:51:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-20 13:48:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 13:43:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:43:37 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |