Logs: liberachat/#haskell
| 2026-03-19 17:49:39 | × | tri quits (~tri@69.74.159.34) (Ping timeout: 255 seconds) |
| 2026-03-19 17:55:22 | <Freakie> | thanks for the suggestions at any rate, gotta go |
| 2026-03-19 17:57:44 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-19 17:59:28 | × | Freakie quits (~Freakie@185.45.22.133) (Ping timeout: 240 seconds) |
| 2026-03-19 18:05:49 | → | traxex joins (traxex@user/traxex) |
| 2026-03-19 18:06:32 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-19 18:10:47 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-19 18:18:11 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-19 18:20:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-19 18:21:18 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-19 18:22:27 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-03-19 18:22:42 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2026-03-19 18:23:25 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-03-19 18:24:15 | → | madresch1 joins (~Thunderbi@user/madresch) |
| 2026-03-19 18:25:32 | → | Guest62t joins (~Guest62t@p200300ca8f188500b4d545039923a63f.dip0.t-ipconnect.de) |
| 2026-03-19 18:25:32 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 256 seconds) |
| 2026-03-19 18:25:32 | madresch1 | is now known as madresch |
| 2026-03-19 18:37:26 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-03-19 18:37:29 | × | m_a_r_k quits (~m_a_r_k@archlinux/support/mark) (Ping timeout: 248 seconds) |
| 2026-03-19 18:40:27 | × | vulpine quits (xfnw@user/meow/xfnw) (Ping timeout: 268 seconds) |
| 2026-03-19 19:06:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 19:07:14 | → | lol__ joins (~lol@2603:3016:1e01:b980:173:305f:8185:29ce) |
| 2026-03-19 19:10:36 | × | lol_ quits (~lol@2603:3016:1e01:b980:9900:10f7:ff16:cae0) (Ping timeout: 264 seconds) |
| 2026-03-19 19:11:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-19 19:12:39 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-03-19 19:13:26 | × | madresch quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer) |
| 2026-03-19 19:15:30 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 248 seconds) |
| 2026-03-19 19:15:39 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-19 19:21:31 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-03-19 19:22:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 19:23:26 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-19 19:26:13 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-19 19:26:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-19 19:27:40 | → | malte joins (~malte@mal.tc) |
| 2026-03-19 19:29:03 | → | madresch1 joins (~Thunderbi@user/madresch) |
| 2026-03-19 19:29:51 | <int-e> | sm: tinkered a bit more, so links are now links. |
| 2026-03-19 19:30:10 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 268 seconds) |
| 2026-03-19 19:30:10 | madresch1 | is now known as madresch |
| 2026-03-19 19:30:49 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-19 19:31:19 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-19 19:31:39 | <haskellbridge> | <sm> . |
| 2026-03-19 19:31:39 | <haskellbridge> | @where where |
| 2026-03-19 19:31:39 | <lambdabot> | https://silicon.int-e.eu/lambdabot/State/where.html |
| 2026-03-19 19:31:50 | <haskellbridge> | <sm> xxx |
| 2026-03-19 19:31:50 | <haskellbridge> | @where where |
| 2026-03-19 19:31:50 | <lambdabot> | https://silicon.int-e.eu/lambdabot/State/where.html |
| 2026-03-19 19:32:14 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-19 19:32:27 | <sm> | huh, quite a delay before those responses made it to the matrix side |
| 2026-03-19 19:32:41 | <sm> | I have been assuming the bridge is "instant" |
| 2026-03-19 19:33:15 | <haskellbridge> | <sm> int-e: excellent |
| 2026-03-19 19:37:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 19:40:30 | → | malte_ joins (~malte@mal.tc) |
| 2026-03-19 19:40:34 | × | malte quits (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2026-03-19 19:40:43 | malte_ | is now known as malte |
| 2026-03-19 19:42:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-19 19:43:14 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-19 19:43:14 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-19 19:43:14 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-19 19:45:19 | × | malte quits (~malte@mal.tc) (Ping timeout: 264 seconds) |
| 2026-03-19 19:47:24 | <haskellbridge> | <ijouw> I have a file where i define a function i thought would be better with RequiredTypeArguments, so i enabled it. That led to some type error on my (implicitly forall) type variable called ord (which collides with some function in Data.Char), claiming that the compiler cannot lift functions to type level. |
| 2026-03-19 19:47:28 | <haskellbridge> | I am sure the reason for this behavior is some other language extension that R.T.A. depends on. Can someone tell me its name (or where the implicit activation is documented)? |
| 2026-03-19 19:48:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-19 19:51:21 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-19 19:52:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2026-03-19 19:52:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 19:54:06 | → | malte joins (~malte@mal.tc) |
| 2026-03-19 19:54:14 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-19 19:55:51 | → | madresch1 joins (~Thunderbi@user/madresch) |
| 2026-03-19 19:56:34 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 2026-03-19 19:56:35 | madresch1 | is now known as madresch |
| 2026-03-19 19:57:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-19 19:59:47 | <monochrom> | The GHC User's Guide has implied extensions, i.e., if you turn on X, it tells you that it implies Y. |
| 2026-03-19 20:00:26 | <monochrom> | (under the section on X) |
| 2026-03-19 20:01:47 | <monochrom> | I recommend looking at your local copy of the GHC User's Guide that comes with your installed GHC. Because if you do the hippie thing and search the web, you will always get the wrong version. |
| 2026-03-19 20:01:54 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-03-19 20:08:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 20:13:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-19 20:18:17 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-19 20:18:17 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-19 20:18:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-19 20:23:05 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-03-19 20:23:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 20:28:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-19 20:31:10 | → | m_a_r_k joins (~m_a_r_k@archlinux/support/mark) |
| 2026-03-19 20:33:14 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-19 20:34:26 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-03-19 20:35:30 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-19 20:35:58 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-19 20:36:05 | <tcard__> | sm: Thank you! I will add that book to the list once it becomes available. |
| 2026-03-19 20:39:53 | → | Guest38 joins (~Guest73@nat-128-84-124-0-685.cit.cornell.edu) |
| 2026-03-19 20:40:01 | × | Guest38 quits (~Guest73@nat-128-84-124-0-685.cit.cornell.edu) (Client Quit) |
| 2026-03-19 20:50:06 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-19 20:53:18 | <haskellbridge> | <ijouw> I asked because I do not see any such mention in https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/required_type_arguments.html#required-type-arguments |
| 2026-03-19 20:54:36 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-03-19 20:57:07 | × | tjbc quits (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2026-03-19 20:57:31 | <haskellbridge> | <ijouw> But it seems that the behavior is due to the changes in implicit quantification by the extension itsself. |
| 2026-03-19 21:03:32 | → | tjbc joins (~tjbc@user/fliife) |
| 2026-03-19 21:05:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 21:07:48 | <probie> | gentauro: 3 hours late, but I find it works well enough to do something like https://paste.tomsmeding.com/FZlWMFzW to reduce duplication. It's not as nice as what you have in ocaml or F#, but it's not particularly onerous either |
| 2026-03-19 21:10:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC.