Newest at the top
| 2025-11-07 14:46:13 +0100 | <tomsmeding> | hm, 9.10 indeed |
| 2025-11-07 14:45:54 +0100 | <tomsmeding> | Morj: GHC.Types |
| 2025-11-07 14:44:23 +0100 | <haskellbridge> | <Morj> My ghci 9.6 doesn't have Data.List.List indeed, but :i [] still refers to some 'List' from who knows where |
| 2025-11-07 14:44:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 14:42:34 +0100 | <int-e> | tomsmeding: That's new... since 9.10? Odd. |
| 2025-11-07 14:41:55 +0100 | <Square2> | int-e, nice. Thanks |
| 2025-11-07 14:40:53 +0100 | <haskellbridge> | <Morj> Are there any libraries to help me write (mostly) the same code for sqlite and postgres? I know of persistent, but I don't really love it |
| 2025-11-07 14:40:30 +0100 | <tomsmeding> | int-e: it's also in Data.List |
| 2025-11-07 14:40:26 +0100 | <yahb2> | type List :: * -> * ; data List a = [] | a : [a] ; -- Defined in ‘GHC.Types’ ; instance Traversable [] ; -- Defined in ‘GHC.Internal.Data.Traversable’ ; instance MonadFail [] ; -- Defined in... |
| 2025-11-07 14:40:26 +0100 | <tomsmeding> | % :i Data.List.List |
| 2025-11-07 14:39:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:38:59 +0100 | <tomsmeding> | then `:i []` is wrong, because the List should have been qualified |
| 2025-11-07 14:38:45 +0100 | <int-e> | see, it works ;-) |
| 2025-11-07 14:38:40 +0100 | <yahb2> | type List :: * -> * ; data List a = [] | a : [a] ; -- Defined in ‘GHC.Types’ ; instance Traversable [] ; -- Defined in ‘GHC.Internal.Data.Traversable’ ; instance MonadFail [] ; -- Defined in... |
| 2025-11-07 14:38:40 +0100 | <int-e> | % :i List |
| 2025-11-07 14:38:36 +0100 | <yahb2> | <no output> |
| 2025-11-07 14:38:36 +0100 | <int-e> | % import GHC.Types |
| 2025-11-07 14:38:36 +0100 | <tomsmeding> | turns out that since GHC 9.6, it prints `data List a` there |
| 2025-11-07 14:38:26 +0100 | <yahb2> | type List :: * -> * ; data List a = [] | a : [a] ; -- Defined in ‘GHC.Types’ ; instance Traversable [] ; -- Defined in ‘GHC.Internal.Data.Traversable’ ; instance MonadFail [] ; -- Defined in... |
| 2025-11-07 14:38:26 +0100 | <tomsmeding> | % :i [] |
| 2025-11-07 14:38:23 +0100 | <tomsmeding> | interesting: |
| 2025-11-07 14:37:31 +0100 | <haskellbridge> | <Morj> You can do ":info []" |
| 2025-11-07 14:37:21 +0100 | <tomsmeding> | because List does not exist? |
| 2025-11-07 14:36:25 +0100 | <Square2> | In ghci, why can I do `:info Maybe` but not `:info List`? |
| 2025-11-07 14:28:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 14:27:23 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:50d3:74ff:fece:a256) (Ping timeout: 250 seconds) |
| 2025-11-07 14:23:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:23:13 +0100 | Zemy | (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-11-07 14:15:34 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-07 14:12:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-07 14:08:03 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-07 14:07:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:06:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-07 14:01:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 14:00:26 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-07 13:59:46 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-07 13:57:37 +0100 | bggd | (~bgg@2a01:e0a:819:1510:488d:f1b1:72a6:5bef) (Remote host closed the connection) |
| 2025-11-07 13:56:25 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 264 seconds) |
| 2025-11-07 13:52:44 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:50d3:74ff:fece:a256) |
| 2025-11-07 13:51:32 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-11-07 13:51:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 13:45:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 13:44:12 +0100 | kuribas | (~user@2a02:1808:d1:be31:ac10:dd83:cea2:1717) (Ping timeout: 244 seconds) |
| 2025-11-07 13:42:46 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-11-07 13:41:57 +0100 | <__monty__> | dminuoso: Most of my linting experience is with Pylint and no I don't know of a way to configure it from outside the source files. Don't really see a good way that'd be resilient to refactoring. Can't rely on line numbers for example but even function/method names can change. |
| 2025-11-07 13:35:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 13:31:47 +0100 | <lortabac> | which is the right answer of course, but sometimes it's also good to consider how to improve the tool |
| 2025-11-07 13:30:42 +0100 | <lortabac> | There was an article about this but I can't find it anymore. It's a kind of fallacy where people who are expert about a field/tool tend to respond to criticism with "you are doing it the wrong way" |
| 2025-11-07 13:30:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 13:29:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |