Logs: freenode/#haskell
| 2021-05-10 22:06:27 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 2021-05-10 22:08:11 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-10 22:08:42 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-10 22:08:53 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-10 22:08:54 | → | bitmagie joins (~Thunderbi@200116b80679dc0024e5979891cb6dd0.dip.versatel-1u1.de) |
| 2021-05-10 22:09:42 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-10 22:10:06 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 2021-05-10 22:10:38 | × | veverak quits (~veverak@ip-89-102-98-161.net.upcbroadband.cz) (Ping timeout: 240 seconds) |
| 2021-05-10 22:11:49 | → | veverak joins (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
| 2021-05-10 22:14:13 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-10 22:20:13 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-05-10 22:20:30 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-10 22:20:50 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-10 22:21:58 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-05-10 22:22:10 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-10 22:22:38 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-05-10 22:23:51 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-10 22:26:04 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-10 22:27:19 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-10 22:28:35 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 268 seconds) |
| 2021-05-10 22:29:06 | → | Jake joins (4964ae4b@c-73-100-174-75.hsd1.ma.comcast.net) |
| 2021-05-10 22:29:31 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Read error: Connection reset by peer) |
| 2021-05-10 22:29:34 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-10 22:29:45 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 260 seconds) |
| 2021-05-10 22:29:53 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-10 22:32:34 | × | Jake quits (4964ae4b@c-73-100-174-75.hsd1.ma.comcast.net) (Client Quit) |
| 2021-05-10 22:33:48 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-10 22:34:11 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-10 22:34:12 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 240 seconds) |
| 2021-05-10 22:36:21 | × | Guest30199 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds) |
| 2021-05-10 22:38:32 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-10 22:39:33 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-10 22:40:55 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-10 22:43:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-10 22:44:13 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 260 seconds) |
| 2021-05-10 22:47:58 | × | Daneel_Olivaw150 quits (~HariSeldo@2a03:4b80:b716:2570:fa59:71ff:fe52:9a18) (Remote host closed the connection) |
| 2021-05-10 22:48:19 | → | Daneel_Olivaw150 joins (~HariSeldo@2a03:4b80:b716:2570:fa59:71ff:fe52:9a18) |
| 2021-05-10 22:50:12 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-05-10 22:50:39 | × | Daneel_Olivaw150 quits (~HariSeldo@2a03:4b80:b716:2570:fa59:71ff:fe52:9a18) (Client Quit) |
| 2021-05-10 22:55:08 | × | alx741 quits (~alx741@186.178.108.184) (Ping timeout: 246 seconds) |
| 2021-05-10 22:55:26 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-10 22:55:56 | × | Natch quits (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 265 seconds) |
| 2021-05-10 22:57:17 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 260 seconds) |
| 2021-05-10 23:01:11 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-10 23:01:30 | × | bitmagie quits (~Thunderbi@200116b80679dc0024e5979891cb6dd0.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-10 23:02:17 | → | bitmagie joins (~Thunderbi@200116b80679dc0024e5979891cb6dd0.dip.versatel-1u1.de) |
| 2021-05-10 23:02:37 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2021-05-10 23:05:35 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 268 seconds) |
| 2021-05-10 23:07:34 | × | bitmagie quits (~Thunderbi@200116b80679dc0024e5979891cb6dd0.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-10 23:07:45 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-10 23:08:16 | → | alx741 joins (~alx741@186.178.109.110) |
| 2021-05-10 23:08:45 | → | nolrai joins (4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) |
| 2021-05-10 23:08:48 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-05-10 23:09:50 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection) |
| 2021-05-10 23:10:10 | <fresheyeball> | is there any reason to not put INLINEABLE on every single function in a library? |
| 2021-05-10 23:11:08 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds) |
| 2021-05-10 23:12:44 | <nolrai> | Isn't that the default? |
| 2021-05-10 23:18:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-10 23:19:20 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-10 23:19:47 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-10 23:20:40 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-05-10 23:21:32 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-05-10 23:23:01 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-10 23:24:09 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-10 23:27:31 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-10 23:28:53 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-10 23:29:24 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-10 23:33:26 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-05-10 23:33:34 | × | Ishutin_ quits (~ishutin@80-95-86-70.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2021-05-10 23:42:05 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-10 23:44:29 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds) |
| 2021-05-10 23:49:19 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 2021-05-10 23:52:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-10 23:53:35 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds) |
| 2021-05-10 23:54:22 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-10 23:55:26 | <chris__> | hi |
| 2021-05-10 23:57:25 | <Axman6> | Hello |
| 2021-05-10 23:58:16 | × | Iceland_jack quits (~user@95.147.45.92) (Remote host closed the connection) |
| 2021-05-10 23:58:43 | → | EvilMagix joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-10 23:59:58 | → | Alleria joins (~textual@2603-7000-3040-0000-bdb6-a38d-2635-929e.res6.spectrum.com) |
| 2021-05-11 00:00:22 | Alleria | is now known as Guest46484 |
| 2021-05-11 00:04:13 | × | Guest46484 quits (~textual@2603-7000-3040-0000-bdb6-a38d-2635-929e.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-11 00:05:37 | → | Alleria__ joins (~textual@2603-7000-3040-0000-bdb6-a38d-2635-929e.res6.spectrum.com) |
| 2021-05-11 00:10:46 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-11 00:11:58 | → | Katarushisu joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-05-11 00:12:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 2021-05-11 00:12:50 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-11 00:13:06 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-11 00:13:37 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-11 00:14:16 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-11 00:14:45 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 2021-05-11 00:15:26 | <edwardk> | nolrai: no it isn't. |
| 2021-05-11 00:15:33 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-11 00:16:32 | × | vite quits (~vite@185.204.1.185) (Remote host closed the connection) |
| 2021-05-11 00:17:01 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-11 00:17:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-11 00:17:26 | <edwardk> | nolrai: you can almost get the same result by using -fexpose-all-unfoldings and -fspecialize-aggressively -- that is if you do so in all the code that depends on your library IIRC. |
| 2021-05-11 00:18:04 | <geekosaur> | isn't compilation going to be a lot slower in any module that imports said module? |
| 2021-05-11 00:19:06 | → | bennofs__ joins (~quassel@dynamic-077-013-025-172.77.13.pool.telefonica.de) |
| 2021-05-11 00:19:35 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
All times are in UTC.