Logs: liberachat/#haskell
| 2025-12-20 12:28:51 | × | Googulator27 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-20 12:33:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 12:37:24 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2025-12-20 12:37:52 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-20 12:39:46 | → | Vajb joins (~Vajb@n5gf526ahbjilsptg0q-1.v6.elisa-mobile.fi) |
| 2025-12-20 12:43:37 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-12-20 12:43:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 12:48:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 12:51:10 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-20 12:53:21 | <ncf> | <Zemyla> I kind of wish tail = drop 1. -- in what sense are they not equal? |
| 2025-12-20 12:53:36 | <ncf> | oh, empty list |
| 2025-12-20 12:54:38 | <ncf> | > tail [] == drop 1 [] |
| 2025-12-20 12:54:40 | <lambdabot> | *Exception: Prelude.tail: empty list |
| 2025-12-20 12:54:40 | <lambdabot> | CallStack (from HasCallStack): |
| 2025-12-20 12:54:40 | <lambdabot> | error, called at libraries/ghc-internal/src/GHC/Internal/List.hs:2030:3 in... |
| 2025-12-20 12:55:02 | <ncf> | i guess this can't test whether they both fail or not |
| 2025-12-20 12:55:19 | <ncf> | is there an equality test that also compares exceptions 🤔 |
| 2025-12-20 12:59:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 13:04:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 13:13:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 13:15:12 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 13:15:25 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 13:18:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 13:23:05 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-20 13:23:11 | → | CryptLab joins (~NSA@2a0d:5600:24:1375::f1e) |
| 2025-12-20 13:25:21 | × | CipherLab quits (~NSA@2a0d:5600:24:1375::f1e) (Ping timeout: 256 seconds) |
| 2025-12-20 13:29:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 13:31:01 | → | Googulator48 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 13:31:17 | × | Googulator98 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 13:33:42 | <tomsmeding> | % :m +Control.Exception +Data.Function |
| 2025-12-20 13:33:42 | <yahb2> | syntax: :module [+/-] [*]M1 ... [*]Mn |
| 2025-12-20 13:33:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 13:33:44 | <tomsmeding> | % :m +Control.Exception Data.Function |
| 2025-12-20 13:33:44 | <yahb2> | <no output> |
| 2025-12-20 13:33:53 | <tomsmeding> | % liftA2 ((==) `on` show) (try @SomeException (evaluate (tail @Int []))) (try @SomeException (evaluate (drop @Int 1 []))) |
| 2025-12-20 13:33:53 | <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 13:34:02 | <tomsmeding> | % :set -Wno-x-partial |
| 2025-12-20 13:34:02 | <yahb2> | <no output> |
| 2025-12-20 13:34:04 | <tomsmeding> | % liftA2 ((==) `on` show) (try @SomeException (evaluate (tail @Int []))) (try @SomeException (evaluate (drop @Int 1 []))) |
| 2025-12-20 13:34:04 | <yahb2> | False |
| 2025-12-20 13:34:07 | <tomsmeding> | ncf: ^ :p |
| 2025-12-20 13:34:33 | <tomsmeding> | SomeException doesn't have Eq unfortunately |
| 2025-12-20 13:35:41 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2025-12-20 13:40:49 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-20 13:42:12 | × | ft quits (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-20 13:44:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 13:50:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-20 13:50:54 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-12-20 13:51:59 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 13:53:07 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-20 13:56:10 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 2025-12-20 13:56:19 | → | annamalai joins (~annamalai@157.32.142.48) |
| 2025-12-20 13:59:56 | × | rainbyte quits (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-20 14:00:29 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-20 14:00:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 14:01:54 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-20 14:03:06 | <ncf> | i'm thinking (==) `on` spoon |
| 2025-12-20 14:05:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 14:06:21 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2025-12-20 14:06:33 | × | rainbyte quits (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2025-12-20 14:07:04 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2025-12-20 14:09:52 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 14:10:26 | → | britt joins (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) |
| 2025-12-20 14:11:28 | × | britt quits (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) (Client Quit) |
| 2025-12-20 14:12:59 | → | britt joins (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) |
| 2025-12-20 14:13:39 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-20 14:14:07 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 14:14:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 14:15:05 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-20 14:18:00 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 14:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 14:25:31 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-20 14:25:52 | → | ft joins (~ft@p4fc2ab42.dip0.t-ipconnect.de) |
| 2025-12-20 14:29:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 14:30:51 | → | Googulator56 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 14:30:57 | × | britt quits (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-12-20 14:31:17 | × | Googulator48 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 14:36:00 | <probie> | Is there a way to do type specific completeness checks for pattern synonoyms if the relevant type to discriminate on isn't the head of the type? |
| 2025-12-20 14:36:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 14:37:03 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2025-12-20 14:39:03 | <probie> | I've got a type that looks like `F t a b` (i.e `F` is the same every time), but `t` determines which patterns are needed for completeness |
| 2025-12-20 14:41:37 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-20 14:47:52 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-20 14:47:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 14:52:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-20 15:00:43 | → | Googulator24 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 15:00:43 | × | Googulator56 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 15:05:41 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-20 15:15:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 15:20:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 15:30:30 | × | Googulator24 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 15:30:37 | → | Googulator24 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 15:30:58 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-20 15:31:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 15:35:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 15:36:55 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 15:41:16 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 15:42:23 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-20 15:43:48 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-12-20 15:46:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.