Newest at the top
2024-10-30 17:17:46 +0100 | spew | (~spew@201.141.99.170) spew |
2024-10-30 17:15:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-30 17:14:58 +0100 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
2024-10-30 17:12:20 +0100 | Philonous | (~Philonous@user/philonous) Philonous |
2024-10-30 17:11:54 +0100 | Philonous_ | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
2024-10-30 16:58:54 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-10-30 16:56:23 +0100 | Guest33 | (~Guest33@158.36.4.117) (Client Quit) |
2024-10-30 16:55:35 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
2024-10-30 16:55:27 +0100 | Guest33 | (~Guest33@158.36.4.117) |
2024-10-30 16:53:50 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-30 16:46:29 +0100 | AlexNoo | (~AlexNoo@178.34.150.252) (Read error: Connection reset by peer) |
2024-10-30 16:45:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-30 16:45:11 +0100 | <tomsmeding> | but I felt it was worth a separate example in the error index :) https://github.com/haskellfoundation/error-message-index/pull/549 |
2024-10-30 16:44:38 +0100 | AlexZenon | (~alzenon@178.34.150.252) (Quit: ;-) |
2024-10-30 16:43:38 +0100 | vulpine | ghoulpine |
2024-10-30 16:43:36 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2024-10-30 16:38:53 +0100 | <tomsmeding> | I guess :p |
2024-10-30 16:38:45 +0100 | <mauke> | since you can never bind _, it's never in scope |
2024-10-30 16:38:32 +0100 | <mauke> | makes sense to me :-) |
2024-10-30 16:28:09 +0100 | euleritian | (~euleritia@dynamic-176-006-146-099.176.6.pool.telefonica.de) |
2024-10-30 16:26:33 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
2024-10-30 16:25:50 +0100 | <tomsmeding> | (side note: why is the error number reported for a hole (`_`) the "variable not in scope" error, that makes little sense) |
2024-10-30 16:25:46 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 252 seconds) |
2024-10-30 16:25:08 +0100 | <tomsmeding> | gnome-terminal does, apparently kitty does; st does not, and apparently alacritty does not |
2024-10-30 16:24:57 +0100 | <tomsmeding> | but yeah, ghc uses terminal escape codes that make the thing automatically clickable, but far from all terminals support it |
2024-10-30 16:24:14 +0100 | <tomsmeding> | but cute! |
2024-10-30 16:24:07 +0100 | <tomsmeding> | ph88: you might want to include the [] in the regex |
2024-10-30 16:06:57 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
2024-10-30 16:03:30 +0100 | Square | (~Square@user/square) Square |
2024-10-30 15:54:33 +0100 | Guest1070 | lieven |
2024-10-30 15:51:58 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-30 15:50:17 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-30 15:49:52 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-10-30 15:47:00 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-30 15:44:53 +0100 | Lears | Leary |
2024-10-30 15:44:12 +0100 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-10-30 15:42:19 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-30 15:41:10 +0100 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) emergence |
2024-10-30 15:38:05 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
2024-10-30 15:37:55 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
2024-10-30 15:35:21 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
2024-10-30 15:33:46 +0100 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
2024-10-30 15:31:28 +0100 | sadmax` | (~user@64.130.91.66) |
2024-10-30 15:31:03 +0100 | sadmax` | (~user@64.130.91.66) (Remote host closed the connection) |
2024-10-30 15:30:02 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) acidjnk |
2024-10-30 15:24:08 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-30 15:21:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-30 15:16:12 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-10-30 15:14:10 +0100 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
2024-10-30 15:13:48 +0100 | jocke-l | (jocke-l@a.x0.is) jocke-l |