Logs: liberachat/#haskell
| 2025-11-12 13:41:07 | → | Googulator46 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 13:42:36 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-12 13:45:44 | × | Googulator46 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit) |
| 2025-11-12 13:45:46 | → | Googulator6 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 13:48:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-12 13:53:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-12 13:53:12 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-12 13:59:06 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 14:00:45 | → | Googulator11 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 14:00:45 | × | Googulator6 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 14:02:19 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 250 seconds) |
| 2025-11-12 14:07:10 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:5c5a:fd15:b892:dc7c) (Remote host closed the connection) |
| 2025-11-12 14:07:30 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:8a64:f671:f320:9ad9) |
| 2025-11-12 14:10:51 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-12 14:11:36 | → | qqe joins (~qqq@185.54.21.203) |
| 2025-11-12 14:15:41 | × | Googulator11 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 14:15:44 | → | Googulator80 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 14:20:20 | × | laxmik quits (~user@pc192b.fzu.cz) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-11-12 14:20:44 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 2025-11-12 14:23:05 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 14:27:13 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:8a64:f671:f320:9ad9) (Remote host closed the connection) |
| 2025-11-12 14:27:25 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:afd8:869:cd95:8471) |
| 2025-11-12 14:27:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-11-12 14:29:58 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 14:32:17 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-11-12 14:32:58 | <Enrico63> | Is there a way to silence warnings about head/tail in a single source file? |
| 2025-11-12 14:34:39 | <Leary> | Enrico63: `{-# OPTIONS_GHC -Wno-x-partial #-}` |
| 2025-11-12 14:35:08 | <Enrico63> | Oh, I tried `{-# OPTIONS_GHC -Wno-partial-functions #-}` and did not work. Let me try this one you say |
| 2025-11-12 14:35:20 | <haskellbridge> | <Morj> HLS usually suggests disabling specific warnings as a code action on the line with the warning |
| 2025-11-12 14:35:44 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-12 14:40:34 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-12 14:41:11 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 2025-11-12 14:46:04 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 14:47:15 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:afd8:869:cd95:8471) (Remote host closed the connection) |
| 2025-11-12 14:47:35 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:4f2c:123c:692f:dfe1) |
| 2025-11-12 14:55:09 | AlexNoo_ | is now known as AlexNoo |
| 2025-11-12 15:03:03 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-12 15:05:46 | × | acarrico quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2025-11-12 15:08:17 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:4f2c:123c:692f:dfe1) (Remote host closed the connection) |
| 2025-11-12 15:08:31 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:7fbe:e085:c3d7:8a9b) |
| 2025-11-12 15:13:16 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-12 15:14:24 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-11-12 15:15:46 | × | Googulator80 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 15:15:51 | → | Googulator4 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 15:16:18 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-11-12 15:17:42 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 15:20:08 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-12 15:20:23 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-12 15:27:49 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:7fbe:e085:c3d7:8a9b) (Remote host closed the connection) |
| 2025-11-12 15:27:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-12 15:28:07 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:9320:cff7:2537:7aca) |
| 2025-11-12 15:33:21 | × | annamalai quits (~annamalai@2409:4042:db3:6ad6::9e8a:4212) (Read error: Connection reset by peer) |
| 2025-11-12 15:33:36 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-12 15:33:43 | → | annamalai joins (~annamalai@157.33.245.31) |
| 2025-11-12 15:33:50 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 15:41:20 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 15:47:51 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:9320:cff7:2537:7aca) (Remote host closed the connection) |
| 2025-11-12 15:48:06 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:c14a:23cb:3c60:1412) |
| 2025-11-12 15:54:20 | → | spew joins (~spew@user/spew) |
| 2025-11-12 16:02:25 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2025-11-12 16:03:14 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-12 16:05:12 | → | califax joins (~califax@user/califx) |
| 2025-11-12 16:07:54 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:c14a:23cb:3c60:1412) (Remote host closed the connection) |
| 2025-11-12 16:08:14 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:739:bb72:6b1:e3de) |
| 2025-11-12 16:10:26 | × | Googulator4 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 16:10:43 | → | Googulator4 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 16:14:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-12 16:15:28 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-12 16:15:43 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-12 16:18:51 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-11-12 16:21:44 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-12 16:25:44 | → | Googulator80 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 16:25:50 | × | Googulator4 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 16:27:44 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-12 16:27:51 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:739:bb72:6b1:e3de) (Remote host closed the connection) |
| 2025-11-12 16:28:29 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-11-12 16:29:10 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:e468:406e:b3f8:bcba) |
| 2025-11-12 16:29:21 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:e468:406e:b3f8:bcba) (Remote host closed the connection) |
| 2025-11-12 16:29:38 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:e468:406e:b3f8:bcba) |
| 2025-11-12 16:30:34 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-11-12 16:33:49 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-12 16:36:36 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 2025-11-12 16:40:48 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-12 16:41:03 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-12 16:44:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-12 16:45:36 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-12 16:45:51 | × | Googulator80 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 16:45:58 | → | Googulator49 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 16:46:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-12 16:48:28 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:e468:406e:b3f8:bcba) (Remote host closed the connection) |
| 2025-11-12 16:48:43 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:958:c7f8:2c59:c47b) |
| 2025-11-12 17:01:43 | × | connrs quits (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-11-12 17:08:30 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:958:c7f8:2c59:c47b) (Remote host closed the connection) |
| 2025-11-12 17:08:43 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:e2f0:fcd3:ea38:db19) |
| 2025-11-12 17:08:59 | trickard_ | is now known as trickard |
| 2025-11-12 17:11:08 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-12 17:11:23 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-12 17:20:44 | → | Googulator9 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 17:20:52 | × | Googulator49 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 17:23:12 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
All times are in UTC.