Logs: liberachat/#haskell
| 2021-07-14 10:05:52 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-14 10:10:42 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-07-14 10:11:25 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-14 10:12:18 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-14 10:12:43 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-07-14 10:12:54 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-14 10:13:07 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-50.prtc.net) (Ping timeout: 246 seconds) |
| 2021-07-14 10:15:36 | × | koolazer quits (~koo@user/koolazer) (Ping timeout: 265 seconds) |
| 2021-07-14 10:15:46 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-07-14 10:15:51 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-14 10:18:31 | → | neurocyte4042 joins (~neurocyte@212.232.92.52) |
| 2021-07-14 10:18:32 | × | neurocyte4042 quits (~neurocyte@212.232.92.52) (Changing host) |
| 2021-07-14 10:18:32 | → | neurocyte4042 joins (~neurocyte@user/neurocyte) |
| 2021-07-14 10:20:33 | neurocyte4042 | is now known as neurocyte |
| 2021-07-14 10:23:37 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-14 10:24:53 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-07-14 10:35:12 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-14 10:35:18 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-07-14 10:43:52 | × | prite quits (~pritam@user/pritambaral) (Ping timeout: 245 seconds) |
| 2021-07-14 10:45:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-14 10:46:22 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 245 seconds) |
| 2021-07-14 10:47:34 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-14 10:48:04 | → | prite joins (~pritam@user/pritambaral) |
| 2021-07-14 10:48:57 | → | smichel17 joins (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) |
| 2021-07-14 10:51:12 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-14 10:53:49 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds) |
| 2021-07-14 10:57:27 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-14 11:02:02 | × | anandprabhu quits (~anandprab@94.202.243.198) (Read error: Connection reset by peer) |
| 2021-07-14 11:03:01 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-07-14 11:03:02 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 245 seconds) |
| 2021-07-14 11:05:00 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-14 11:07:31 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9516e15cb996b96a0953.dip0.t-ipconnect.de) |
| 2021-07-14 11:10:29 | → | Topsi joins (~Tobias@dyndsl-095-033-020-123.ewe-ip-backbone.de) |
| 2021-07-14 11:10:31 | <yin[m]> | matrix down again. last message from 6h ago |
| 2021-07-14 11:10:32 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9557e15cb996b96a0953.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-07-14 11:16:43 | <tomsmeding> | yin[m]: on irc this was the last message https://ircbrowse.tomsmeding.com/browse/lchaskell?id=94477#trid94477 |
| 2021-07-14 11:16:48 | → | koolazer joins (~koo@user/koolazer) |
| 2021-07-14 11:17:59 | × | silverwhitefish quits (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 2021-07-14 11:18:56 | <Topsi> | If I have the constraint (MyClass a, MyClass b, a ~ b), will this translate to 2 class-dictionaries passed at runtime or 1? Assuming both are used. |
| 2021-07-14 11:19:39 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-14 11:19:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-14 11:22:33 | zdleaf | is now known as zinc |
| 2021-07-14 11:24:17 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-14 11:26:22 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-14 11:33:53 | <tomsmeding> | Topsi: for a test with f :: (Show a, Show b, a ~ b) => a -> b -> String ; f x y = show x ++ show y, looking at the optimised Core only one dictionary is passed |
| 2021-07-14 11:34:27 | <tomsmeding> | if you want some guarantees, either look at the core yourself for the function you're interested in, or ask in #ghc :p |
| 2021-07-14 11:35:15 | <tomsmeding> | it does seem to take an additional actual argument for the equality constraint |
| 2021-07-14 11:37:12 | <tomsmeding> | ah it looks like that additional argument is a coercion, which I expect shouldn't have any runtime representation? But I don't know |
| 2021-07-14 11:38:22 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-14 11:40:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-14 11:43:02 | × | eight quits (~eight@user/eight) (Ping timeout: 245 seconds) |
| 2021-07-14 11:43:22 | → | eight joins (~eight@user/eight) |
| 2021-07-14 11:45:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
| 2021-07-14 11:45:19 | × | azeem quits (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-14 11:48:53 | × | koolazer quits (~koo@user/koolazer) (Ping timeout: 265 seconds) |
| 2021-07-14 11:52:41 | → | azeem joins (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) |
| 2021-07-14 11:53:02 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-07-14 11:57:24 | × | azeem quits (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-14 11:57:53 | <yin[m]> | tomsmeding: my bad |
| 2021-07-14 11:58:25 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-07-14 12:00:44 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-14 12:01:08 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-14 12:04:54 | → | azeem joins (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) |
| 2021-07-14 12:07:34 | <maerwald> | https://hackage.haskell.org/package/rio-0.1.20.0/docs/RIO-Process.html am I missing something or does this look over-engineered? |
| 2021-07-14 12:11:07 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 265 seconds) |
| 2021-07-14 12:12:13 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2021-07-14 12:12:52 | <hpc> | yeah, i would rather use System.Process |
| 2021-07-14 12:13:13 | <Profpatsch> | looks that way |
| 2021-07-14 12:13:18 | <Profpatsch> | caching PATH is a bad idea |
| 2021-07-14 12:14:28 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-14 12:14:52 | <maerwald> | It took me 15 minutes just to figure out how to... well... spawn a process |
| 2021-07-14 12:15:43 | <maerwald> | and then you have to shove the env vars into the RIO env |
| 2021-07-14 12:15:49 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-14 12:20:47 | absence_ | is now known as absence |
| 2021-07-14 12:21:54 | <absence> | in ghc 9, template haskell was changed so liftTyped returns Quote m => Code m a instead of Q (TExp a). this breaks the code "either fail liftTyped something" because Code doesn't have a MonadFail instance. what's the recommended way to deal with this? manually wrap the result of fail in Code, i.e. "either (Code . fail) liftTyped something", or does that have other consequences? |
| 2021-07-14 12:24:35 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-14 12:24:40 | → | stevenxl joins (uid133530@id-133530.highgate.irccloud.com) |
| 2021-07-14 12:25:23 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-14 12:26:53 | → | Guest12 joins (~Guest12@static-72-73-22-17.clppva.fios.verizon.net) |
| 2021-07-14 12:27:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-14 12:28:06 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 256 seconds) |
| 2021-07-14 12:28:25 | × | Guest12 quits (~Guest12@static-72-73-22-17.clppva.fios.verizon.net) (Client Quit) |
| 2021-07-14 12:29:36 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-14 12:32:23 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-14 12:34:58 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-14 12:35:32 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-14 12:36:12 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-14 12:36:49 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-14 12:41:34 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-14 12:42:20 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-14 12:42:47 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:500a:f04e:5614:56a9) (Remote host closed the connection) |
| 2021-07-14 12:42:58 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-07-14 12:43:40 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) |
| 2021-07-14 12:47:31 | → | koolazer joins (~koo@user/koolazer) |
| 2021-07-14 12:51:43 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-14 12:52:00 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-14 12:57:01 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-14 12:59:58 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-14 13:01:07 | → | alx741 joins (~alx741@186.178.109.32) |
| 2021-07-14 13:01:29 | → | lavaman joins (~lavaman@98.38.249.169) |
All times are in UTC.