Newest at the top
| 2025-01-12 20:32:01 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-12 20:30:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-12 20:22:26 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-12 20:22:17 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 20:22:07 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 20:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 20:21:34 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 20:21:25 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 20:20:52 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 20:20:51 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 20:14:42 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-12 20:12:32 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-12 20:11:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 20:06:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 20:05:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-12 20:04:28 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 20:04:28 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 20:03:54 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 20:03:45 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 20:03:12 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 20:03:04 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 20:02:12 +0100 | merijn | (~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 +0100 | hellwolf | duck 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 +0100 | merijn | (~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 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:54:31 +0100 | ThePenguin | (~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 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:53:56 +0100 | ThePenguin | (~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. |