Newest at the top
| 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 |
| 2025-12-20 13:39:46 +0100 | Vajb | (~Vajb@n5gf526ahbjilsptg0q-1.v6.elisa-mobile.fi) |
| 2025-12-20 13:37:52 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-20 13:37:24 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2025-12-20 13:33:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 13:28:51 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-20 13:28:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:24:48 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 13:17:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 13:12:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 13:11:47 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |