Logs: freenode/#haskell
| 2021-03-19 17:19:48 | × | __minoru__shirae quits (~shiraeesh@77.94.25.145) (Ping timeout: 246 seconds) |
| 2021-03-19 17:20:08 | × | ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 240 seconds) |
| 2021-03-19 17:20:42 | × | nfd quits (~nfd9001@2601:602:77f:1820:c4f6:78b5:4d5b:872c) (Ping timeout: 244 seconds) |
| 2021-03-19 17:21:23 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-03-19 17:23:52 | × | xff0x_ quits (~xff0x@2001:1a81:5242:1600:b747:f946:5a4c:2c3e) (Ping timeout: 265 seconds) |
| 2021-03-19 17:24:33 | → | xff0x_ joins (~xff0x@2001:1a81:5242:1600:896e:d11c:efcb:15c1) |
| 2021-03-19 17:24:45 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-19 17:25:45 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-03-19 17:28:07 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 276 seconds) |
| 2021-03-19 17:32:02 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 260 seconds) |
| 2021-03-19 17:33:23 | → | jamm__ joins (~jamm@unaffiliated/jamm) |
| 2021-03-19 17:35:09 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-19 17:35:44 | × | Yumasi quits (~guillaume@2a01:e0a:5cb:4430:71ee:168f:367c:6d70) (Ping timeout: 240 seconds) |
| 2021-03-19 17:36:49 | → | dale joins (dale@unaffiliated/dale) |
| 2021-03-19 17:36:56 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 2021-03-19 17:36:59 | → | gitgood joins (~gitgood@80-44-9-221.dynamic.dsl.as9105.com) |
| 2021-03-19 17:37:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 17:38:34 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-19 17:39:13 | → | ep1ctetus_ joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-19 17:40:21 | → | asheshambasta joins (~user@ptr-e1lysax65ha8r6ka1io.18120a2.ip6.access.telenet.be) |
| 2021-03-19 17:42:08 | × | epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 245 seconds) |
| 2021-03-19 17:42:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-19 17:43:08 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-03-19 17:45:27 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:a8c8) |
| 2021-03-19 17:46:03 | × | idhugo__ quits (~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-19 17:50:04 | × | Benzi-Junior quits (~BenziJuni@88-149-67-143.du.xdsl.is) (Quit: gone) |
| 2021-03-19 17:50:26 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 264 seconds) |
| 2021-03-19 17:52:02 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-19 17:52:11 | → | mav1 joins (~mav@200116b8000b75000511026391577b4b.dip.versatel-1u1.de) |
| 2021-03-19 17:52:23 | hackage | hedgehog-classes 0.2.5.2 - Hedgehog will eat your typeclass bugs https://hackage.haskell.org/package/hedgehog-classes-0.2.5.2 (chessai) |
| 2021-03-19 17:53:12 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) |
| 2021-03-19 17:54:51 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-03-19 17:56:04 | → | Benzi-Junior joins (~BenziJuni@dsl-149-67-143.hive.is) |
| 2021-03-19 17:59:26 | <cjay> | does someone happen to know why GHC.Exts.proxy# in GHC 8.8 has two type parameters, but in 8.10 (and 9.0) only has one? In both cases, the type signature in the source is the same: proxy# :: Proxy# a |
| 2021-03-19 17:59:39 | <cjay> | in 8.10, the kind parameter is marked as inferred, as it shoud be: proxy# :: forall {k} (a :: k). Proxy# a |
| 2021-03-19 17:59:44 | <cjay> | in 8.8, it is not. |
| 2021-03-19 18:00:19 | <cjay> | (when asking in ghci, with -fprint-explicit-foralls and :type +v) |
| 2021-03-19 18:00:32 | × | xff0x_ quits (~xff0x@2001:1a81:5242:1600:896e:d11c:efcb:15c1) (Ping timeout: 240 seconds) |
| 2021-03-19 18:00:56 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 2021-03-19 18:00:56 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 2021-03-19 18:01:03 | <cjay> | when using visible type application, this makes the two GHC versions incompatible |
| 2021-03-19 18:01:04 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-19 18:01:12 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-19 18:01:13 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 2021-03-19 18:01:44 | → | xff0x_ joins (~xff0x@2001:1a81:5242:1600:5914:aa8:2ce7:6d7) |
| 2021-03-19 18:01:51 | <cjay> | it is not the breaking change for TypeApplications that is mentioned in the 8.10.1 release notes, that one only affects the order, not the inferred-ness |
| 2021-03-19 18:04:04 | <cjay> | (also, it doesn't help at all that Haddock seems to never use the {}, and that GHC 8.8 seems to not print the {} without -fprint-explicit-foralls, which I suppose is a bug, because 9.0 always prints the {}, but that is another story) |
| 2021-03-19 18:04:28 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-19 18:05:08 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:7989:a619:7db3:6c1d) (Ping timeout: 244 seconds) |
| 2021-03-19 18:05:32 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-03-19 18:06:28 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0) |
| 2021-03-19 18:06:48 | → | Sathiana joins (~kath@185-113-98-38.cust.bredband2.com) |
| 2021-03-19 18:06:48 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 18:07:17 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 18:09:31 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 2021-03-19 18:10:36 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Remote host closed the connection) |
| 2021-03-19 18:11:48 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0) |
| 2021-03-19 18:11:48 | × | mav1 quits (~mav@200116b8000b75000511026391577b4b.dip.versatel-1u1.de) (Quit: WeeChat 2.3) |
| 2021-03-19 18:12:02 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-19 18:12:08 | → | Sathiana joins (~kath@185-113-98-38.cust.bredband2.com) |
| 2021-03-19 18:12:32 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-19 18:13:22 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-19 18:14:06 | → | [1]MrMobius joins (~MrMobius@208.58.206.154) |
| 2021-03-19 18:14:13 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-19 18:16:09 | × | MrMobius quits (~MrMobius@208.58.206.154) (Ping timeout: 264 seconds) |
| 2021-03-19 18:16:10 | [1]MrMobius | is now known as MrMobius |
| 2021-03-19 18:18:25 | × | ixian quits (~mgold@terra.bitplane.org) (Remote host closed the connection) |
| 2021-03-19 18:19:28 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-jronanyaeukwxgyd) |
| 2021-03-19 18:19:29 | → | Cesionaut[m] joins (cesionautm@gateway/shell/matrix.org/x-vzpmewnmdjdjjutv) |
| 2021-03-19 18:20:39 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-03-19 18:21:05 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-19 18:22:32 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-03-19 18:22:49 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-qbpyohprirpsktei) (Quit: Connection closed for inactivity) |
| 2021-03-19 18:24:07 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-03-19 18:24:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 18:24:24 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection) |
| 2021-03-19 18:24:25 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-03-19 18:24:38 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 2021-03-19 18:24:45 | <cjay> | hmm, I suppose it's related to https://gitlab.haskell.org/ghc/ghc/commit/012257c15f584069500af2953ab70856f9a1470e |
| 2021-03-19 18:25:18 | <cjay> | so, is the type signature of proxy# from the source file completely ignored by GHC because it's a builtin? |
| 2021-03-19 18:25:39 | × | dcbdnl quits (~dcbdnl@2601:2c6:4e00:2d20::2) (Quit: dcbdnl) |
| 2021-03-19 18:25:50 | × | ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 264 seconds) |
| 2021-03-19 18:26:14 | → | dcbdnl joins (~dcbdnl@c-73-76-129-120.hsd1.tx.comcast.net) |
| 2021-03-19 18:26:22 | × | dcbdnl quits (~dcbdnl@c-73-76-129-120.hsd1.tx.comcast.net) (Client Quit) |
| 2021-03-19 18:28:35 | × | motersen quits (~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de) (Quit: rcirc on GNU Emacs 27.1) |
| 2021-03-19 18:28:55 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-19 18:30:23 | hackage | gemini-server 0.3.0.0 - A lightweight server for the Gemini protocol https://hackage.haskell.org/package/gemini-server-0.3.0.0 (fgaz) |
| 2021-03-19 18:31:20 | × | asheshambasta quits (~user@ptr-e1lysax65ha8r6ka1io.18120a2.ip6.access.telenet.be) (Ping timeout: 240 seconds) |
| 2021-03-19 18:31:20 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 2021-03-19 18:31:24 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-03-19 18:31:31 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-19 18:32:18 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 265 seconds) |
| 2021-03-19 18:34:15 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-19 18:34:34 | <slack1256> | For testing memory usage, is there a library like `criterion`? |
| 2021-03-19 18:34:40 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-03-19 18:34:56 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-19 18:35:20 | × | Codaraxis quits (~Codaraxis@193.27.14.10) (Ping timeout: 240 seconds) |
| 2021-03-19 18:35:35 | → | conal joins (~conal@192.145.118.147) |
| 2021-03-19 18:36:58 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-19 18:39:53 | → | Codaraxis joins (~Codaraxis@193.27.14.10) |
All times are in UTC.