Logs: liberachat/#haskell
| 2021-07-05 12:20:18 | × | fendor_ quits (~fendor@178.165.131.8.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-07-05 12:20:28 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 246 seconds) |
| 2021-07-05 12:25:25 | → | azeem joins (~azeem@176.200.221.91) |
| 2021-07-05 12:29:59 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-07-05 12:30:18 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-05 12:30:35 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-05 12:30:41 | <qrpnxz> | Expected: ST s0 [Token] -> [Token] |
| 2021-07-05 12:30:41 | <qrpnxz> | Actual: (forall s. ST s [Token]) -> [Token] |
| 2021-07-05 12:30:41 | <qrpnxz> | 😐️ |
| 2021-07-05 12:31:56 | <boxscape> | the requirement for that forall is essentially the entire idea behind ST |
| 2021-07-05 12:32:53 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-05 12:33:41 | <hseg> | you can think of the forall s. there as an implicit type parameter ghc fills in for you |
| 2021-07-05 12:34:08 | <hseg> | so it's like asking why ST s [Token] and (Proxy s -> ST s [Token]) don't unify |
| 2021-07-05 12:35:16 | → | neo1 joins (~neo3@cpe-292712.ip.primehome.com) |
| 2021-07-05 12:37:51 | → | maf654321 joins (~maf654321@user/maf654321) |
| 2021-07-05 12:39:06 | × | neo quits (~neo3@136.144.35.153) (Ping timeout: 252 seconds) |
| 2021-07-05 12:39:22 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2021-07-05 12:39:39 | <qrpnxz> | i'm just doing some vector ops and then sending it to runST, not really sure where the hold up is |
| 2021-07-05 12:39:47 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-05 12:41:03 | ← | zyklotomic parts (~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8) |
| 2021-07-05 12:46:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-05 12:47:39 | → | Morrow joins (~MorrowM_@147.161.8.68) |
| 2021-07-05 12:48:10 | → | MorrowM joins (~MorrowM_@147.161.8.68) |
| 2021-07-05 12:53:50 | × | azeem quits (~azeem@176.200.221.91) (Ping timeout: 252 seconds) |
| 2021-07-05 12:54:49 | × | MorrowM quits (~MorrowM_@147.161.8.68) (Quit: Leaving) |
| 2021-07-05 12:55:04 | × | Morrow quits (~MorrowM_@147.161.8.68) (Quit: Leaving) |
| 2021-07-05 12:55:20 | → | Morrow joins (~MorrowM_@147.161.8.68) |
| 2021-07-05 12:55:31 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:8d61:6b28:cf93:c1c5) |
| 2021-07-05 12:56:29 | × | Morrow quits (~MorrowM_@147.161.8.68) (Client Quit) |
| 2021-07-05 12:56:44 | → | Morrow joins (~MorrowM_@147.161.8.68) |
| 2021-07-05 12:58:00 | → | azeem joins (~azeem@176.200.221.91) |
| 2021-07-05 12:58:47 | × | dunkeln quits (~dunkeln@188.71.194.238) (Ping timeout: 252 seconds) |
| 2021-07-05 12:58:58 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-05 12:59:46 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:8d61:6b28:cf93:c1c5) (Ping timeout: 240 seconds) |
| 2021-07-05 13:00:37 | → | warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
| 2021-07-05 13:00:58 | → | dunkeln_ joins (~dunkeln@188.71.194.238) |
| 2021-07-05 13:00:58 | → | alx741 joins (~alx741@186.178.108.123) |
| 2021-07-05 13:01:06 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:5705:7057:8694:6ccc) (Ping timeout: 240 seconds) |
| 2021-07-05 13:01:21 | <pavonia> | Is there a way to lift a mutable (unboxed) vector from IO context to ST context without copying it? |
| 2021-07-05 13:02:06 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:4933:b786:844d:bba5) |
| 2021-07-05 13:07:03 | × | asm quits (~alexander@burner.asm89.io) (Changing host) |
| 2021-07-05 13:07:03 | → | asm joins (~alexander@user/asm) |
| 2021-07-05 13:09:03 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-05 13:10:21 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-05 13:10:34 | × | hseg quits (~gesh@185.120.126.10) (Ping timeout: 240 seconds) |
| 2021-07-05 13:12:11 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-05 13:12:23 | <Taneb> | I don't believe so |
| 2021-07-05 13:12:40 | × | obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-07-05 13:13:05 | → | obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-07-05 13:14:58 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2021-07-05 13:18:36 | <qrpnxz> | (but you can go the other way around |
| 2021-07-05 13:18:39 | <qrpnxz> | ) |
| 2021-07-05 13:19:04 | <qrpnxz> | ugh, i can't figure out why this runST won't work |
| 2021-07-05 13:19:57 | <pavonia> | Hhm okay |
| 2021-07-05 13:19:59 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-05 13:20:04 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-07-05 13:22:40 | × | hseg quits (~gesh@185.120.126.10) (Client Quit) |
| 2021-07-05 13:23:43 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-05 13:24:22 | → | samhh joins (~samhh@90.252.112.94) |
| 2021-07-05 13:24:45 | <Taneb> | pavonia: an IOVector can be shared which breaks assumptions that ST makes (that no other thread is modifying it) |
| 2021-07-05 13:28:45 | × | samhh quits (~samhh@90.252.112.94) (Client Quit) |
| 2021-07-05 13:30:00 | × | nisstyre quits (~wes@li798-187.members.linode.com) (Changing host) |
| 2021-07-05 13:30:00 | → | nisstyre joins (~wes@user/nisstyre) |
| 2021-07-05 13:36:25 | × | dunkeln_ quits (~dunkeln@188.71.194.238) (Ping timeout: 246 seconds) |
| 2021-07-05 13:42:02 | → | dunkeln joins (~dunkeln@188.71.194.238) |
| 2021-07-05 13:43:25 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-07-05 13:43:53 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-07-05 13:49:30 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-07-05 13:50:25 | × | azeem quits (~azeem@176.200.221.91) (Ping timeout: 246 seconds) |
| 2021-07-05 13:53:39 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-05 13:54:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-05 13:56:44 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-07-05 13:56:59 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:8d61:6b28:cf93:c1c5) |
| 2021-07-05 13:57:14 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-05 13:57:35 | → | azeem joins (~azeem@176.200.221.91) |
| 2021-07-05 13:58:07 | × | dunkeln quits (~dunkeln@188.71.194.238) (Ping timeout: 246 seconds) |
| 2021-07-05 14:00:12 | → | rostero joins (uid236576@id-236576.tooting.irccloud.com) |
| 2021-07-05 14:01:16 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:8d61:6b28:cf93:c1c5) (Ping timeout: 246 seconds) |
| 2021-07-05 14:03:20 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-05 14:04:10 | × | warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 240 seconds) |
| 2021-07-05 14:05:36 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-07-05 14:06:05 | → | dunkeln_ joins (~dunkeln@188.71.194.238) |
| 2021-07-05 14:10:57 | × | azeem quits (~azeem@176.200.221.91) (Ping timeout: 252 seconds) |
| 2021-07-05 14:15:08 | → | azeem joins (~azeem@176.200.221.91) |
| 2021-07-05 14:18:17 | <tomsmeding> | qrpnxz: hard to say without seeing some code :) |
| 2021-07-05 14:24:02 | × | azeem quits (~azeem@176.200.221.91) (Ping timeout: 252 seconds) |
| 2021-07-05 14:26:14 | → | samhh joins (~samhh@90.252.112.94) |
| 2021-07-05 14:28:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-05 14:29:55 | → | azeem joins (~azeem@176.200.221.91) |
| 2021-07-05 14:32:40 | → | aman joins (~aman@user/aman) |
| 2021-07-05 14:34:10 | × | dunkeln_ quits (~dunkeln@188.71.194.238) (Ping timeout: 246 seconds) |
| 2021-07-05 14:36:41 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-07-05 14:40:10 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds) |
| 2021-07-05 14:43:28 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-05 14:43:32 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-05 14:44:40 | × | azeem quits (~azeem@176.200.221.91) (Ping timeout: 246 seconds) |
| 2021-07-05 14:45:23 | → | azeem joins (~azeem@176.200.221.91) |
| 2021-07-05 14:45:35 | <boxscape> | Is it possible to intercept ghc at the cmm stage, edit the cmm, and then continue? |
| 2021-07-05 14:45:57 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 2021-07-05 14:46:25 | × | argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 246 seconds) |
All times are in UTC.