Logs: liberachat/#haskell
| 2025-11-04 09:30:50 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-04 09:31:08 | × | FirefoxDeHuk quits (~FirefoxDe@85.198.134.23) (Write error: Broken pipe) |
| 2025-11-04 09:36:03 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-04 09:36:54 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-04 09:37:23 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-04 09:40:38 | → | califax joins (~califax@user/califx) |
| 2025-11-04 09:42:18 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-11-04 09:45:00 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-04 09:45:39 | → | Googulator25 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 09:45:40 | × | Googulator60 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 09:49:57 | trickard_ | is now known as trickard |
| 2025-11-04 09:51:22 | × | Googulator25 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 09:51:33 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-11-04 09:51:38 | → | Googulator25 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 09:55:41 | × | Googulator25 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-04 09:55:44 | → | Googulator15 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 09:59:42 | × | gustrb quits (~gustrb@user/gustrb) (Quit: gustrb) |
| 2025-11-04 10:00:06 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-11-04 10:00:36 | × | gustrb quits (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-04 10:00:36 | → | gustrb joins (~gustrb@user/gustrb) |
| 2025-11-04 10:15:41 | → | Googulator54 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 10:15:46 | × | Googulator15 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 10:27:24 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-11-04 10:33:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-04 10:34:04 | × | Googulator54 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 10:34:26 | → | Googulator54 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 10:48:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-04 10:52:07 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-04 10:54:36 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 10:55:20 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-11-04 10:57:35 | ridcully_ | is now known as ridcully |
| 2025-11-04 10:59:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-04 11:02:22 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-04 11:02:47 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-04 11:03:45 | × | synchromesh quits (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) (Read error: Connection reset by peer) |
| 2025-11-04 11:04:41 | → | synchromesh joins (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) |
| 2025-11-04 11:04:53 | × | jreicher quits (~user@user/jreicher) (Quit: brb) |
| 2025-11-04 11:06:10 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-04 11:22:13 | Digitteknohippie | is now known as Digit |
| 2025-11-04 11:23:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-11-04 11:24:41 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-04 11:31:26 | → | xff0x joins (~xff0x@2405:6580:b080:900:b8d3:535b:6331:cc78) |
| 2025-11-04 11:34:16 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-11-04 11:34:45 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-04 11:35:27 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-11-04 11:39:10 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 256 seconds) |
| 2025-11-04 11:39:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-04 11:40:00 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-04 11:43:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-04 11:48:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-04 11:49:49 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-04 11:54:31 | × | akegalj quits (~akegalj@78-2-216-143.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 2025-11-04 12:07:12 | → | akegalj joins (~akegalj@212.15.178.32) |
| 2025-11-04 12:09:34 | × | Vajb quits (~Vajb@n60ck02t8pyq870qtsc-1.v6.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 2025-11-04 12:14:31 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 12:15:44 | → | Googulator82 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 12:15:44 | × | Googulator54 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 12:21:37 | trickard_ | is now known as trickard |
| 2025-11-04 12:22:34 | × | akegalj quits (~akegalj@212.15.178.32) (Read error: Connection reset by peer) |
| 2025-11-04 12:26:00 | × | Googulator82 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 12:26:06 | → | Googulator12 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 12:26:31 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-04 12:30:49 | → | Googulator97 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 12:30:49 | × | Googulator12 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-04 12:31:42 | <mreh> | WriterT [ByteString] ExprM a -- why is GHC insisting I fully saturate the type synonym ExprM? |
| 2025-11-04 12:33:29 | <mreh> | "typecheck: • The type synonym ‘ExprM’ should have 1 argument, but has been given none" |
| 2025-11-04 12:33:44 | <mreh> | am I missing an extension? |
| 2025-11-04 12:34:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-04 12:35:45 | <mreh> | Nevermind, I'd defined it as `type ExprM a = ...` |
| 2025-11-04 12:35:57 | <mreh> | subtle distinction perhaps? |
| 2025-11-04 12:36:34 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-04 12:36:56 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-04 12:38:40 | <merijn> | mreh: You can't elide arguments to `type` aliases as that requires treating them as type-level functions |
| 2025-11-04 12:38:56 | <merijn> | mreh: Which GHC's type-checker (intentionally) does not support |
| 2025-11-04 12:40:36 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-04 12:44:32 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 12:45:25 | × | Googulator97 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 12:45:36 | → | Googulator97 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 12:47:06 | × | wickedjargon quits (~user@64.114.24.74) (Ping timeout: 252 seconds) |
| 2025-11-04 12:47:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-04 12:49:33 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-04 12:50:03 | → | bggd joins (~bgg@2a01:e0a:819:1510:5fce:dd4e:6143:f2ae) |
| 2025-11-04 12:50:36 | × | Googulator97 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 12:50:46 | → | Googulator97 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 12:55:39 | → | Square2 joins (~Square@user/square) |
| 2025-11-04 13:00:34 | × | deptype quits (~deptype@2406:b400:3a:73c2:fd50:bbf7:466a:c9a9) (Remote host closed the connection) |
| 2025-11-04 13:00:54 | → | deptype joins (~deptype@2406:b400:3a:73c2:dea6:cbd0:e1b4:ab7b) |
| 2025-11-04 13:01:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 13:04:29 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-04 13:07:27 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-11-04 13:12:54 | → | akegalj joins (~akegalj@78-1-55-1.adsl.net.t-com.hr) |
| 2025-11-04 13:14:40 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:f406:f8ff:fe1b:cd44) |
| 2025-11-04 13:16:19 | ← | nerdychip parts (~nerdychip@user/nerdychip) (WeeChat 3.8) |
| 2025-11-04 13:16:47 | × | Core3653 quits (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 2025-11-04 13:20:39 | × | Googulator97 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 13:20:45 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 13:21:00 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-04 13:24:56 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-04 13:25:11 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-04 13:27:55 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
All times are in UTC.