2025/01/12

Newest at the top

2025-01-12 19:36:18 +0100 <hellwolf> or, perhaps rephrase it a simpler phrase: when would haddoc inline a module's docs in another module that includes it?
2025-01-12 19:33:55 +0100 <hellwolf> see: https://paste.tomsmeding.com/inWDbHu5
2025-01-12 19:32:53 +0100 <hellwolf> what affected the behaviour?
2025-01-12 19:32:38 +0100 <hellwolf> I am a bit confounded by haddock's one behavior: I use things like "module Prelude.Linear" in a module A, but sometimes it include all of its symbols in the docs of module A, but with my own module say "module YulDSL.Core" in the same module A, the symbols are not included in the docs of module A...
2025-01-12 19:28:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 19:24:54 +0100DigitteknohippieDigit
2025-01-12 19:22:22 +0100heichro(~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) (Quit: ERC 5.6 (IRC client for GNU Emacs 31.0.50))
2025-01-12 19:21:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 19:18:25 +0100 <lambdabot> ('.' /=)
2025-01-12 19:18:25 +0100 <heichro> @pl \x -> x /= '.'
2025-01-12 19:17:50 +0100heichro(~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) heichro
2025-01-12 19:10:50 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 19:10:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 19:08:25 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-01-12 19:08:00 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-12 19:05:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:59:51 +0100Digit(~user@user/digit) (Ping timeout: 265 seconds)
2025-01-12 18:58:42 +0100 <probie> It's one thing to do it for programs being compiled, but to have it as the default for the interactive environment just seems _way_ too opinionated
2025-01-12 18:58:25 +0100Digitteknohippie(~user@user/digit) Digit
2025-01-12 18:57:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 18:56:25 +0100 <probie> (that's on 9.10.1)
2025-01-12 18:55:52 +0100 <probie> I find it really annoying when I'm trying to use GHCi as a calculator that something "silly" like `liftA2 (,) head tail [1..10]` generates 10 lines of warning before giving me my result unless I run it with `-Wno-x-partial`
2025-01-12 18:51:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:49:15 +0100Midjak(~MarciZ@82.66.147.146) Midjak
2025-01-12 18:47:20 +0100 <probie> tomsmeding: In actual backwards-incompatible changes, although I don't actually think it will happen. However, I think it might plausible in 5-10 years that `head` and `tail` disappear.
2025-01-12 18:43:24 +0100stef204(~stef204@user/stef204) stef204
2025-01-12 18:41:25 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-12 18:41:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 18:36:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:35:28 +0100hellwolf(~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-01-12 18:33:59 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-01-12 18:32:33 +0100acidjnk_new(~acidjnk@p200300d6e7283f06081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk
2025-01-12 18:29:28 +0100hellwolf(~user@40c4-4c3f-bf6c-303b-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds)
2025-01-12 18:28:08 +0100paul_j(~user@8.190.187.81.in-addr.arpa) paul_j
2025-01-12 18:26:17 +0100paul_j(~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista)
2025-01-12 18:25:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 18:21:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-01-12 18:20:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:16:35 +0100 <smiesner> or does GHC just start at the non-terminal Module and goes with each production rule into smaller non-terminals?
2025-01-12 18:16:23 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:16:08 +0100dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2025-01-12 18:16:08 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:15:54 +0100dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-12 18:10:57 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:09:55 +0100acidjnk_new(~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-01-12 18:09:42 +0100dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2025-01-12 18:09:28 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:09:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 18:09:03 +0100dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-12 18:07:26 +0100tv(~tv@user/tv) tv