2025/01/12

Newest at the top

2025-01-12 20:05:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-12 20:04:28 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:04:28 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:03:54 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:03:45 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:03:12 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:03:04 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:02:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 20:00:53 +0100 <tomsmeding> given "the vast majority of haddocks caught in the United Kingdom measure between 30 and 70 cm"
2025-01-12 20:00:04 +0100 <tomsmeding> I'd guess live haddock are quite a bit too large for a duck
2025-01-12 19:59:55 +0100 <monochrom> "No, but the rubber duck method works for haddock questions. Does that count?"
2025-01-12 19:59:13 +0100 <monochrom> Do ducks eat haddock?
2025-01-12 19:58:58 +0100 <tomsmeding> 🦆
2025-01-12 19:58:52 +0100hellwolfduck for food
2025-01-12 19:58:50 +0100 <hellwolf> "{-# OPTIONS_HADDOCK hide #-}" <-- this does the trick. THE END. Thanks folks.
2025-01-12 19:58:36 +0100 <monochrom> C lint : hlint :: Java classes : Haskell classess :: GC heap : priority queue heap
2025-01-12 19:57:13 +0100 <tomsmeding> there is a place in this world for style linters, but it's not the same as "it's not bad enough for a warning" stuff
2025-01-12 19:57:09 +0100 <monochrom> as in, totally unrelated
2025-01-12 19:57:03 +0100 <monochrom> C lint : hlint :: Java classes : Haskell classess
2025-01-12 19:57:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 19:56:20 +0100 <monochrom> C lint actually detects code smell (e.g., if (i = j)). hlint is just puny style.
2025-01-12 19:56:15 +0100 <hellwolf> https://haskell-haddock.readthedocs.io/latest/markup.html#re-exporting-entire-module
2025-01-12 19:56:10 +0100 <hellwolf> this is the definitive answer. the Haddock doc actually eplains it well, let me give it a try.
2025-01-12 19:55:52 +0100 <hellwolf> | The exception to this rule is when the re-exported module is declared with the hide attribute (see Module Attributes), in which case the module is never cross-referenced; the contents are always expanded in place in the re-exporting module.
2025-01-12 19:55:44 +0100 <tomsmeding> monochrom: if you want Haskell to be a dependently-typed total language you have bigger fish to fry than head and tail
2025-01-12 19:55:38 +0100 <monochrom> This is why I tell people that hlint is not analogous to C lint.
2025-01-12 19:55:04 +0100 <tomsmeding> the sadder that the most popular linter is even worse in this regard :)
2025-01-12 19:54:47 +0100 <tomsmeding> this stuff belongs in a linter
2025-01-12 19:54:40 +0100 <tomsmeding> in one instance I ended up doing -Wno-unrecognised-warning-flags -Wno-x-partial but that's also icky
2025-01-12 19:54:40 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:54:31 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:54:01 +0100 <tomsmeding> and using CPP for this is just way overblown
2025-01-12 19:53:57 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:53:56 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:53:47 +0100 <tomsmeding> the tricky thing with -Wx-partial is that you can't even turn it off very well in packages; sure, you can set {-# OPTIONS -Wno-x-partial #-}, but now your code generates a new warning on current GHCs that don't yet know about that warning!
2025-01-12 19:53:29 +0100 <monochrom> This is where people who want Haskell to be a dependently typed total language clash with people who want Haskell to be a programming language.
2025-01-12 19:53:22 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:53:13 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:52:31 +0100 <tomsmeding> probie: ah, I'm with you on the -Wx-partial; I don't like it either. Yes, I know that these functions are partial. It's like lesson 2 of any Haskell course.
2025-01-12 19:51:34 +0100 <monochrom> Who-ordered-that
2025-01-12 19:51:20 +0100 <hellwolf> | If multiple modules fit the criteria, then one is chosen at random.
2025-01-12 19:48:50 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:48:41 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:48:08 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:47:58 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:47:26 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:47:17 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:47:16 +0100 <hellwolf> what are "doggy-exports" anyways.
2025-01-12 19:47:10 +0100 <hellwolf> {-# OPTIONS_GHC -Wno-dodgy-exports -Wno-unused-imports #-}
2025-01-12 19:47:10 +0100 <hellwolf> I don't suppose these matter: