Newest at the top
| 2025-12-20 15:41:37 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-20 15:39:03 +0100 | <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 15:37:03 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-12-20 15:36:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 15:36:00 +0100 | <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 15:31:17 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 15:30:57 +0100 | britt | (~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 15:30:51 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 15:29:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:25:52 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) ft |
| 2025-12-20 15:25:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-20 15:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 15:18:00 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 15:15:05 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-20 15:14:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-20 15:14:07 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 15:13:39 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-20 15:12:59 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) |
| 2025-12-20 15:11:28 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) (Client Quit) |
| 2025-12-20 15:10:26 +0100 | britt | (~user@2600:4040:3184:bc00:6531:8ca3:995e:177d) |
| 2025-12-20 15:09:52 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 15:07:04 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-20 15:06:33 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2025-12-20 15:06:21 +0100 | rainbyte | (~rainbyte@186.22.19.214) |
| 2025-12-20 15:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 15:03:06 +0100 | <ncf> | i'm thinking (==) `on` spoon |
| 2025-12-20 15:01:54 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 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 |