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 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 21:20:50 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-16 21:20:33 +0100 | Sgeo | (~Sgeo@user/sgeo) (Quit: Leaving) |
| 2025-03-16 21:18:04 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-03-16 21:17:03 +0100 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2025-03-16 21:13:40 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-16 21:05:39 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-16 21:05:29 +0100 | AlexNoo_ | AlexNoo |
| 2025-03-16 21:04:19 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-03-16 21:03:21 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-03-16 21:02:01 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
| 2025-03-16 21:00:41 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-16 20:58:09 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-16 20:55:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-16 20:44:42 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2025-03-16 20:43:19 +0100 | jonrh | (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 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-16 20:36:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 20:32:18 +0100 | AlexZenon | (~alzenon@94.233.240.210) |
| 2025-03-16 20:31:07 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 20:30:50 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 20:29:09 +0100 | AlexNoo | (~AlexNoo@178.34.151.157) (Ping timeout: 260 seconds) |
| 2025-03-16 20:27:17 +0100 | AlexZenon | (~alzenon@178.34.151.157) (Ping timeout: 248 seconds) |
| 2025-03-16 20:25:21 +0100 | AlexNoo_ | (~AlexNoo@94.233.240.210) |
| 2025-03-16 20:11:28 +0100 | michalz | (~michalz@185.246.207.201) |
| 2025-03-16 20:11:09 +0100 | michalz | (~michalz@185.246.207.203) (Read error: Connection reset by peer) |
| 2025-03-16 20:10:48 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-16 20:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-16 20:00:30 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-16 20:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-16 19:54:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 19:52:50 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-16 19:52:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 19:50:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 19:47:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 19:44:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 19:43:43 +0100 | wildsalander | (~wildsalan@37-136-163-100.rev.dnainternet.fi) (Quit: wildsalander) |
| 2025-03-16 19:42:26 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-16 19:40:18 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-03-16 19:32:40 +0100 | wildsalander | (~wildsalan@37-136-163-100.rev.dnainternet.fi) |
| 2025-03-16 19:25:45 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-03-16 19:22:58 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |