Logs: liberachat/#haskell
| 2021-07-21 06:25:46 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-21 06:25:59 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-21 06:29:02 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-07-21 06:29:09 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-21 06:30:56 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-07-21 06:31:18 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-21 06:32:32 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Read error: Connection reset by peer) |
| 2021-07-21 06:37:02 | → | jlamothe joins (~jlamothe@104.158.48.100) |
| 2021-07-21 06:38:28 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Quit: Ping timeout (120 seconds)) |
| 2021-07-21 06:40:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-21 06:41:06 | × | dunkeln quits (~dunkeln@94.128.224.230) (Ping timeout: 255 seconds) |
| 2021-07-21 06:43:16 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-07-21 06:44:09 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-21 06:45:24 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-07-21 06:47:51 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 258 seconds) |
| 2021-07-21 06:50:00 | → | fendor joins (~fendor@91.141.40.76.wireless.dyn.drei.com) |
| 2021-07-21 06:50:49 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2021-07-21 06:52:57 | → | sagax joins (~sagax@213.138.71.146) |
| 2021-07-21 06:53:18 | → | sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-07-21 06:59:13 | × | xff0x_ quits (~xff0x@2001:1a81:530d:8900:7b7c:d7d5:bd71:1e50) (Ping timeout: 246 seconds) |
| 2021-07-21 06:59:19 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-21 07:00:19 | → | xff0x_ joins (~xff0x@2001:1a81:530d:8900:cddd:a545:4e9e:a55d) |
| 2021-07-21 07:05:26 | → | dunkeln joins (~dunkeln@94.128.224.230) |
| 2021-07-21 07:07:23 | → | chomwitt joins (~chomwitt@2a02:587:dc0e:ef00:12c3:7bff:fe6d:d374) |
| 2021-07-21 07:07:41 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-07-21 07:08:10 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-21 07:09:17 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-21 07:09:39 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-21 07:11:04 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-21 07:11:14 | × | dunkeln quits (~dunkeln@94.128.224.230) (Ping timeout: 258 seconds) |
| 2021-07-21 07:14:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-21 07:15:53 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-07-21 07:24:55 | → | chele joins (~chele@user/chele) |
| 2021-07-21 07:24:58 | → | qontinuum joins (qontinuum@user/qontinuum) |
| 2021-07-21 07:34:54 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-21 07:35:28 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-21 07:40:52 | × | frdy quits (~mcfrdy@user/mcfrdy) (Ping timeout: 246 seconds) |
| 2021-07-21 07:45:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-21 07:45:38 | × | aegon quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-07-21 07:47:01 | × | nurupo quits (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2021-07-21 07:47:22 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 2021-07-21 07:47:37 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-07-21 07:48:05 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-21 07:50:04 | → | zeenk joins (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) |
| 2021-07-21 07:55:10 | × | jushur quits (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2021-07-21 08:00:44 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-21 08:02:03 | × | Null_A quits (~null_a@2601:645:8700:2290:a92e:e23d:59b7:f2e9) () |
| 2021-07-21 08:06:35 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-07-21 08:10:04 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-21 08:12:17 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-21 08:14:38 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-21 08:17:00 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-21 08:17:34 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-21 08:17:34 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-21 08:17:37 | allbery_b | is now known as geekosaur |
| 2021-07-21 08:19:48 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-21 08:21:35 | → | acidjnk joins (~acidjnk@p200300d0c72b9575c508b842a8b97de2.dip0.t-ipconnect.de) |
| 2021-07-21 08:28:45 | → | curiousgay_ joins (~curiousga@77-120-144-167.kha.volia.net) |
| 2021-07-21 08:28:48 | × | curiousgay quits (~curiousga@77-120-144-167.kha.volia.net) (Read error: Connection reset by peer) |
| 2021-07-21 08:36:55 | → | ubert joins (~Thunderbi@178.165.168.116.wireless.dyn.drei.com) |
| 2021-07-21 08:42:59 | → | ph88 joins (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
| 2021-07-21 08:46:01 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-21 08:49:52 | → | jippiedoe joins (~david@229-197-145-85.ftth.glasoperator.nl) |
| 2021-07-21 08:51:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-21 08:52:57 | × | azeem quits (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-21 08:57:35 | → | azeem joins (~azeem@176.201.43.80) |
| 2021-07-21 09:00:15 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-21 09:02:23 | → | agua joins (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) |
| 2021-07-21 09:02:33 | → | viluon joins (uid453725@id-453725.brockwell.irccloud.com) |
| 2021-07-21 09:04:32 | × | pesada quits (~agua@2804:18:4a:c35:1:0:3be5:8cb2) (Ping timeout: 256 seconds) |
| 2021-07-21 09:05:12 | → | m7zs3gzw joins (~m7zs3gzw@188.170.195.61) |
| 2021-07-21 09:05:40 | × | m7zs3gzw quits (~m7zs3gzw@188.170.195.61) (Remote host closed the connection) |
| 2021-07-21 09:07:33 | <viluon> | hello, is there a way to load a compiler plugin into GHCi? I'd like to debug a compiler plugin I'm working on |
| 2021-07-21 09:08:09 | <viluon> | oh, #ghc would probably be a better fit |
| 2021-07-21 09:09:04 | <dminuoso> | % :set -fplugin Foo -- viluon |
| 2021-07-21 09:09:04 | <yahb> | dminuoso: Some flags have not been recognized: --, viluon |
| 2021-07-21 09:09:08 | <dminuoso> | argh |
| 2021-07-21 09:09:10 | <dminuoso> | % :set -fplugin Foo |
| 2021-07-21 09:09:10 | <yahb> | dminuoso: Could not find module `Foo'; Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
| 2021-07-21 09:10:50 | <viluon> | dminuoso: so that wouldn't work for source plugins, right? Those don't run in the interactive pipeline. Also, I'd like to debug the plugin itself during the compilation process, I don't need to debug a program while using a plugin |
| 2021-07-21 09:11:06 | <dminuoso> | Ah |
| 2021-07-21 09:13:08 | × | jippiedoe quits (~david@229-197-145-85.ftth.glasoperator.nl) (Ping timeout: 258 seconds) |
| 2021-07-21 09:14:05 | → | dunkeln joins (~dunkeln@94.129.69.87) |
| 2021-07-21 09:15:08 | × | ph88 quits (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2021-07-21 09:15:56 | <ph88_> | how can i compile a static binary ? i tried this https://bpa.st/7L6Q |
| 2021-07-21 09:18:30 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-21 09:18:51 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2021-07-21 09:18:58 | × | dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 265 seconds) |
| 2021-07-21 09:21:07 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-07-21 09:23:18 | → | dunkeln_ joins (~dunkeln@94.129.69.87) |
| 2021-07-21 09:25:00 | × | haskl quits (~haskl@user/haskl) (Remote host closed the connection) |
| 2021-07-21 09:29:25 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-21 09:29:32 | → | jippiedoe joins (~david@229-197-145-85.ftth.glasoperator.nl) |
| 2021-07-21 09:31:23 | × | ubert quits (~Thunderbi@178.165.168.116.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2021-07-21 09:34:20 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-21 09:34:31 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-21 09:41:02 | <Orbstheorem> | What dates is Cadiz Lambda world usually around? |
| 2021-07-21 09:42:45 | → | pesada joins (~agua@2804:18:4a:c35:1:0:3be5:8cb2) |
| 2021-07-21 09:45:09 | × | agua quits (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) (Ping timeout: 255 seconds) |
| 2021-07-21 09:45:47 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 255 seconds) |
All times are in UTC.