2025/03/16

Newest at the top

2025-03-16 21:25:19 +0100 <merijn> So if I set "hoogle: False" in my cabal config maybe it stops generating that?
2025-03-16 21:24:37 +0100 <merijn> so, looks like it
2025-03-16 21:24:36 +0100 <[exa]> (I mean the .txt somewhere in doc/html/package-v.e.r.sion-docs/package.txt which is deep in dist-newstyle)
2025-03-16 21:24:33 +0100 <merijn> [exa]: First line says: "-- Hoogle documentation, generated by Haddock"
2025-03-16 21:23:23 +0100 <[exa]> does it say "for hoogle" somewhere around the first line?
2025-03-16 21:23:11 +0100 <merijn> [exa]: Possibly?
2025-03-16 21:22:55 +0100 <[exa]> merijn: you meant the .txt which is taken by hoogle as input?
2025-03-16 21:21:37 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 21:20:50 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-16 21:20:33 +0100Sgeo(~Sgeo@user/sgeo) (Quit: Leaving)
2025-03-16 21:18:04 +0100Pixi(~Pixi@user/pixi) Pixi
2025-03-16 21:17:03 +0100Digit(~user@user/digit) (Ping timeout: 268 seconds)
2025-03-16 21:13:40 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-16 21:05:39 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-16 21:05:29 +0100AlexNoo_AlexNoo
2025-03-16 21:04:19 +0100Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2025-03-16 21:03:21 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur
2025-03-16 21:02:01 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1)
2025-03-16 21:00:41 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-16 20:58:09 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-16 20:55:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-03-16 20:44:42 +0100jonrh(sid5185@id-5185.ilkley.irccloud.com) jonrh
2025-03-16 20:43:19 +0100jonrh(sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 244 seconds)
2025-03-16 20:41:42 +0100 <merijn> Entirely unrelatedly: Man, the performance of HLS and cabal is so good
2025-03-16 20:40:31 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-16 20:36:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 20:32:18 +0100AlexZenon(~alzenon@94.233.240.210)
2025-03-16 20:31:07 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 20:30:50 +0100euleritian(~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-16 20:29:09 +0100AlexNoo(~AlexNoo@178.34.151.157) (Ping timeout: 260 seconds)
2025-03-16 20:27:17 +0100AlexZenon(~alzenon@178.34.151.157) (Ping timeout: 248 seconds)
2025-03-16 20:25:21 +0100AlexNoo_(~AlexNoo@94.233.240.210)
2025-03-16 20:11:28 +0100michalz(~michalz@185.246.207.201)
2025-03-16 20:11:09 +0100michalz(~michalz@185.246.207.203) (Read error: Connection reset by peer)
2025-03-16 20:10:48 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-16 20:00:45 +0100caconym(~caconym@user/caconym) caconym
2025-03-16 20:00:30 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-03-16 20:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-16 19:54:13 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 19:52:50 +0100euphores(~SASL_euph@user/euphores) euphores
2025-03-16 19:52:22 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 19:50:08 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 19:47:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 19:44:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 19:43:43 +0100wildsalander(~wildsalan@37-136-163-100.rev.dnainternet.fi) (Quit: wildsalander)
2025-03-16 19:42:26 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-03-16 19:40:18 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-03-16 19:32:40 +0100wildsalander(~wildsalan@37-136-163-100.rev.dnainternet.fi)
2025-03-16 19:25:45 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2025-03-16 19:22:58 +0100euandreh(~Thunderbi@189.6.105.228) euandreh