Newest at the top
| 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. |
| 2025-01-12 19:53:22 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:53:13 +0100 | ThePenguin | (~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 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:48:41 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:48:08 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:47:58 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:47:26 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:47:17 +0100 | ThePenguin | (~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: |
| 2025-01-12 19:46:48 +0100 | <hellwolf> | very mysterious now |
| 2025-01-12 19:46:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-12 19:44:59 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:44:50 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:44:18 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:44:09 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:43:37 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:43:31 +0100 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Quit: WeeChat 3.8) |
| 2025-01-12 19:43:28 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:42:11 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:42:04 +0100 | <hellwolf> | hmm, it doesn't seem to work |
| 2025-01-12 19:42:02 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:41:27 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:41:18 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:40:43 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:40:34 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 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 |