Logs: liberachat/#haskell
| 2025-12-08 10:36:55 | <tomsmeding> | you should get automatic haddocks for modules inside the component you're working on, though, even without that option set |
| 2025-12-08 10:37:05 | <Square> | tomsmeding, I build the dependency with Nix, but I do have haddock enabled. |
| 2025-12-08 10:37:31 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-12-08 10:37:33 | <Square> | ..for it. |
| 2025-12-08 10:38:05 | <tomsmeding> | I don't know where HLS tries to find the documentation, so I'll leave that question to others :) |
| 2025-12-08 10:43:13 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 10:43:26 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 10:45:43 | → | Googulator84 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 10:46:19 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 10:50:04 | Googulator84 | is now known as Googulator |
| 2025-12-08 10:52:31 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 250 seconds) |
| 2025-12-08 10:53:12 | → | haritz joins (~hrtz@140.228.70.141) |
| 2025-12-08 10:53:13 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-08 10:53:13 | → | haritz joins (~hrtz@user/haritz) |
| 2025-12-08 11:03:57 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 11:04:09 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 11:06:15 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 2025-12-08 11:17:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-12-08 11:19:49 | → | xff0x joins (~xff0x@2405:6580:b080:900:fe10:407:8fc1:7162) |
| 2025-12-08 11:28:09 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-12-08 11:30:21 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 11:35:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-08 11:35:34 | → | Googulator37 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 11:35:40 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 11:41:14 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 11:41:28 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 11:45:37 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-08 11:47:54 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 11:51:05 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 11:51:29 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-08 11:52:33 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-12-08 11:52:52 | trickard_ | is now known as trickard |
| 2025-12-08 11:55:02 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-08 11:57:33 | × | Franciman quits (~Franciman@mx1.fracta.dev) (Ping timeout: 260 seconds) |
| 2025-12-08 11:57:34 | × | lortabac quits (~lortabac@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2025-12-08 11:59:19 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-08 12:02:12 | <yin> | when would it be advantageous to use Set Int instead of IntMap () ? |
| 2025-12-08 12:05:47 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 12:08:18 | → | lortabac joins (~lortabac@mx1.fracta.dev) |
| 2025-12-08 12:09:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 12:13:33 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-12-08 12:13:45 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 2025-12-08 12:15:35 | × | Googulator37 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 12:15:41 | → | Googulator87 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 12:16:44 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-12-08 12:26:02 | × | hsw quits (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-12-08 12:26:21 | → | hsw joins (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) |
| 2025-12-08 12:34:42 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-08 12:39:48 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 12:40:02 | → | trickard joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 12:42:47 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-12-08 12:45:47 | → | Googulator50 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 12:46:16 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-12-08 12:46:21 | × | Googulator87 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 12:47:05 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 12:50:59 | → | trickard joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 12:54:08 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-12-08 12:54:44 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-12-08 12:54:56 | → | turlando_ joins (~turlando@user/turlando) |
| 2025-12-08 12:55:15 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 2025-12-08 13:00:10 | <bwe> | How do I configure cabal to make specific default imports? In other words: Is there really no better way than https://discourse.haskell.org/t/define-custom-command-for-a-cabal-repl-session/12088 ? |
| 2025-12-08 13:05:43 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 13:09:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-08 13:14:33 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-08 13:15:35 | Googulator50 | is now known as Googulator |
| 2025-12-08 13:17:29 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 13:22:28 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-08 13:25:19 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 13:30:01 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-08 13:30:26 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 13:39:20 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-08 13:42:25 | <merijn> | bwe: You can't until GHC can handle that (not sure if that issue was addressed yet in the most recent GHCs?) |
| 2025-12-08 13:42:31 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Ping timeout: 240 seconds) |
| 2025-12-08 13:43:55 | <merijn> | looks like 9.14 supports it, not sure if cabal repl can use that yet, though |
| 2025-12-08 13:44:15 | <merijn> | https://www.well-typed.com/blog/2025/06/ghci-multiple-home-units/ |
| 2025-12-08 13:45:34 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-12-08 13:45:47 | → | Googulator33 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 13:45:49 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 13:49:50 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 13:50:04 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 13:50:59 | × | Googulator33 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 13:51:10 | → | Googulator33 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 14:03:21 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-08 14:10:30 | <bwe> | merijn: That sounds promising! |
| 2025-12-08 14:10:59 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-08 14:12:31 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 246 seconds) |
| 2025-12-08 14:15:41 | × | Googulator33 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 14:15:50 | → | Googulator33 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 14:19:57 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 14:20:10 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 14:21:22 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-08 14:26:10 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-08 14:28:49 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2025-12-08 14:29:34 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 2025-12-08 14:30:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 14:33:27 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-12-08 14:35:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
| 2025-12-08 14:38:05 | Googulator33 | is now known as Googulator |
| 2025-12-08 14:45:49 | → | Googulator80 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 14:46:08 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
All times are in UTC.