Newest at the top
2025-01-12 19:39:47 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
2025-01-12 19:39:44 +0100 | Lord_of_Life_ | Lord_of_Life |
2025-01-12 19:39:38 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
2025-01-12 19:39:02 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
2025-01-12 19:39:01 +0100 | <geekosaur> | you'll see it has "not-home", so haddock inlines its definitions into importing modules (in this case Data.Map) |
2025-01-12 19:39:01 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
2025-01-12 19:38:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 19:38:53 +0100 | <hellwolf> | interesting, let me try |
2025-01-12 19:38:26 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
2025-01-12 19:38:25 +0100 | <geekosaur> | https://hackage.haskell.org/package/containers-0.7/docs/src/Data.Map.Internal.html |
2025-01-12 19:38:20 +0100 | <hellwolf> | I am trying to spot the difference |
2025-01-12 19:38:15 +0100 | <hellwolf> | https://hackage.haskell.org/package/linear-base-0.4.0/docs/src/Prelude.Linear.html <-- this is the source of Prelude.LInear |
2025-01-12 19:37:38 +0100 | <geekosaur> | when the module has an `OPTIONS_HADDOCK not-home` it'll get inlined, for one |
2025-01-12 19:37:17 +0100 | <monochrom> | I have something else to do so I am too lazy to test it for now. :) |
2025-01-12 19:37:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2025-01-12 19:36:50 +0100 | <monochrom> | For now my hypothesis is that the difference is in importing only part of Prelude.Linear but all of YulDSL.Core |
2025-01-12 19:36:46 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-01-12 19:36:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-12 19:24:54 +0100 | Digitteknohippie | Digit |
2025-01-12 19:22:22 +0100 | heichro | (~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) (Quit: ERC 5.6 (IRC client for GNU Emacs 31.0.50)) |
2025-01-12 19:21:01 +0100 | merijn | (~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 +0100 | heichro | (~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) heichro |
2025-01-12 19:10:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-12 19:10:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-12 19:08:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
2025-01-12 19:08:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-01-12 19:05:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 18:59:51 +0100 | Digit | (~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 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-01-12 18:57:09 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 18:49:15 +0100 | Midjak | (~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 +0100 | stef204 | (~stef204@user/stef204) stef204 |
2025-01-12 18:41:25 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-01-12 18:41:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-12 18:36:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 18:35:28 +0100 | hellwolf | (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
2025-01-12 18:33:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-01-12 18:32:33 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk |