Logs: liberachat/#haskell
| 2025-12-08 05:46:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 05:51:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 06:02:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 06:03:33 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-08 06:06:11 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-08 06:07:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 06:10:44 | → | michalz joins (~michalz@185.246.207.201) |
| 2025-12-08 06:18:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 06:23:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 06:25:11 | trickard_ | is now known as trickard |
| 2025-12-08 06:34:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 06:40:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-08 06:43:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 06:43:46 | × | jreicher quits (~user@user/jreicher) (Remote host closed the connection) |
| 2025-12-08 06:44:28 | → | jreicher joins (~user@user/jreicher) |
| 2025-12-08 06:48:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 06:54:13 | × | myxos quits (~myxos@wsip-70-166-126-146.ph.ph.cox.net) (Ping timeout: 260 seconds) |
| 2025-12-08 06:59:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 07:04:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-08 07:06:18 | → | fun-safe-math joins (~fun-safe-@97-120-34-41.ptld.qwest.net) |
| 2025-12-08 07:10:33 | × | fun-safe-math quits (~fun-safe-@97-120-34-41.ptld.qwest.net) (Client Quit) |
| 2025-12-08 07:12:15 | → | fun-safe-math joins (~fun-safe-@97-120-34-41.ptld.qwest.net) |
| 2025-12-08 07:14:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 07:18:29 | → | myxos joins (~myxos@2001:579:8380:f20:a84e:a963:182a:8091) |
| 2025-12-08 07:19:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 07:20:28 | × | fun-safe-math quits (~fun-safe-@97-120-34-41.ptld.qwest.net) () |
| 2025-12-08 07:20:46 | → | fun-safe-math joins (~fun-safe-@97-120-34-41.ptld.qwest.net) |
| 2025-12-08 07:24:51 | × | fun-safe-math quits (~fun-safe-@97-120-34-41.ptld.qwest.net) (Client Quit) |
| 2025-12-08 07:26:32 | → | fun-safe-math joins (~fun-safe-@97-120-34-41.ptld.qwest.net) |
| 2025-12-08 07:29:14 | × | annamalai quits (~annamalai@2409:4042:d37:b495::9e0a:ba05) (Ping timeout: 260 seconds) |
| 2025-12-08 07:29:25 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-12-08 07:30:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 07:35:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-08 07:40:36 | → | Googulator5 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 07:40:47 | × | Googulator49 quits (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 07:44:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 07:46:09 | → | annamalai joins (~annamalai@157.33.214.170) |
| 2025-12-08 07:49:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-08 07:52:17 | × | ft quits (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-08 07:55:15 | × | annamalai quits (~annamalai@157.33.214.170) (Ping timeout: 240 seconds) |
| 2025-12-08 08:00:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-08 08:00:56 | → | annamalai joins (~annamalai@2409:4042:d37:b495::9e0a:ba05) |
| 2025-12-08 08:02:26 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-08 08:04:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-08 08:07:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:8dfa:2450:8c32:ced0) |
| 2025-12-08 08:10:37 | × | Googulator5 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 08:10:39 | → | Googulator83 joins (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-08 08:15:07 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2025-12-08 08:33:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-08 08:44:30 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-08 08:45:40 | × | Googulator83 quits (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 08:45:45 | → | Googulator88 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 08:45:54 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-08 08:47:53 | → | kuribas joins (~user@2a02-1810-2825-6000-f1ea-5a47-537d-8d09.ip6.access.telenet.be) |
| 2025-12-08 08:50:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-08 08:50:16 | → | chele joins (~chele@user/chele) |
| 2025-12-08 08:50:26 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 09:02:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:8dfa:2450:8c32:ced0) (Ping timeout: 244 seconds) |
| 2025-12-08 09:17:46 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-12-08 09:18:02 | → | Square joins (~Square4@user/square) |
| 2025-12-08 09:18:55 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-12-08 09:19:25 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-12-08 09:19:45 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-12-08 09:22:26 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-08 09:27:31 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2025-12-08 09:27:56 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-12-08 09:31:43 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-08 09:32:34 | Googulator88 | is now known as Googulator |
| 2025-12-08 09:36:41 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-08 09:42:26 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-12-08 09:45:34 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 09:45:36 | → | Googulator22 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 09:45:47 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 09:46:56 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-08 09:48:44 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-08 09:56:25 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 09:57:28 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 2025-12-08 09:58:03 | → | Square joins (~Square4@user/square) |
| 2025-12-08 10:00:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-08 10:04:12 | Googulator22 | is now known as Googulator |
| 2025-12-08 10:09:36 | <Square> | I'm trying to get HLS to work with IntelliJ, which seems to work. But I don't seem to be able to navigate to 3rd party libs (especially the one that I've been developing myself). I just get type definitions interspersed for say classes I implement. Is there some general gotcha to this? |
| 2025-12-08 10:09:39 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-08 10:10:33 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 10:12:44 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-12-08 10:13:05 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-08 10:14:55 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-12-08 10:15:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-08 10:21:13 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-12-08 10:22:42 | <tomsmeding> | Square: go-to-definition across libraries is very sparsely implemented in HLS if at all |
| 2025-12-08 10:23:20 | <tomsmeding> | if the dependency you want to jump to is in the same project then it might work, but cabal-installed dependencies definitely do not work |
| 2025-12-08 10:23:53 | <Square> | tomsmeding, Ok, good to know. Well then I guess I won't need to bother. |
| 2025-12-08 10:24:32 | <Square> | But you should be able to get haddock from cabal installed dependencies though right? |
| 2025-12-08 10:25:39 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-08 10:26:12 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-08 10:26:12 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-08 10:26:12 | → | haritz joins (~hrtz@user/haritz) |
| 2025-12-08 10:29:56 | → | Beowulf joins (florian@2a01:4f9:3b:2d56::2) |
| 2025-12-08 10:35:47 | <tomsmeding> | Square: only if you built those with documentation enabled -- haddock doesn't run by default on all built packages |
| 2025-12-08 10:36:03 | <tomsmeding> | if you want to always run haddock whenever you build a dependency, set the 'documentation:' key to True in ~/.cabal/config |
| 2025-12-08 10:36:13 | <tomsmeding> | (or ~/.config/cabal/config, I guess, if you have XDG dir layout) |
All times are in UTC.