Logs: liberachat/#haskell
| 2021-06-10 14:31:19 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 245 seconds) |
| 2021-06-10 14:31:44 | → | aerona joins (~aerona@2600:6c54:4600:f300:f3ed:d9b8:4e4c:a83a) |
| 2021-06-10 14:32:14 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-06-10 14:32:14 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-10 14:32:14 | → | Deide joins (~Deide@user/deide) |
| 2021-06-10 14:33:18 | × | fendor_ quits (~fendor@212095005130.public.telering.at) (Ping timeout: 252 seconds) |
| 2021-06-10 14:37:29 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 3.0.1) |
| 2021-06-10 14:39:14 | × | malvo quits (~malvo@malvo.org) (Ping timeout: 245 seconds) |
| 2021-06-10 14:39:48 | → | cheater joins (~Username@user/cheater) |
| 2021-06-10 14:42:43 | → | malvo joins (~malvo@malvo.org) |
| 2021-06-10 14:44:38 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-10 14:46:36 | → | Day1 joins (~Android@pop.92-184-116-0.mobile.abo.orange.fr) |
| 2021-06-10 14:46:44 | × | Day1 quits (~Android@pop.92-184-116-0.mobile.abo.orange.fr) (Read error: Connection reset by peer) |
| 2021-06-10 14:49:36 | × | mpt quits (~tom@2a02:908:1862:49e0::5) (Ping timeout: 272 seconds) |
| 2021-06-10 14:52:56 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-10 14:53:24 | × | malvo quits (~malvo@malvo.org) (Ping timeout: 244 seconds) |
| 2021-06-10 14:54:30 | → | malvo joins (~malvo@malvo.org) |
| 2021-06-10 14:55:29 | × | azeem quits (~azeem@176.201.37.85) (Ping timeout: 245 seconds) |
| 2021-06-10 14:55:59 | → | azeem joins (~azeem@176.201.16.194) |
| 2021-06-10 14:56:03 | × | ddellacosta quits (~ddellacos@86.106.121.47) (Read error: Connection reset by peer) |
| 2021-06-10 14:56:09 | → | ddellaco_ joins (~ddellacos@86.106.121.47) |
| 2021-06-10 14:59:30 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-10 15:00:15 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-06-10 15:00:35 | → | cheater joins (~Username@user/cheater) |
| 2021-06-10 15:01:52 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-06-10 15:02:11 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 244 seconds) |
| 2021-06-10 15:02:44 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-10 15:03:44 | → | econo joins (uid147250@user/econo) |
| 2021-06-10 15:04:29 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-10 15:04:53 | → | delYsid joins (~user@84-115-55-45.cable.dynamic.surfer.at) |
| 2021-06-10 15:06:15 | <delYsid> | Why, oh why, is Tree not Hashable... |
| 2021-06-10 15:06:30 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-10 15:07:11 | × | derelict quits (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Changing host) |
| 2021-06-10 15:07:11 | → | derelict joins (~winter@user/derelict) |
| 2021-06-10 15:07:51 | × | azeem quits (~azeem@176.201.16.194) (Read error: Connection reset by peer) |
| 2021-06-10 15:08:32 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-10 15:08:38 | × | cfricke quits (~cfricke@user/cfricke) (Client Quit) |
| 2021-06-10 15:09:27 | <boxscape> | delYsid can't you add an instance? |
| 2021-06-10 15:09:37 | × | xff0x_ quits (~xff0x@2001:1a81:5309:4200:6690:d1a3:e3e9:8847) (Ping timeout: 244 seconds) |
| 2021-06-10 15:10:42 | → | xff0x_ joins (~xff0x@2001:1a81:5309:4200:5885:4f5d:c0ef:4e6d) |
| 2021-06-10 15:10:52 | × | derelict quits (~winter@user/derelict) (Quit: WeeChat 3.1) |
| 2021-06-10 15:10:54 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-06-10 15:11:11 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-10 15:11:51 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-10 15:11:55 | → | kw joins (~user@152.1.137.158) |
| 2021-06-10 15:12:37 | <kw> | Is there an accepted way to serialize `TypeRep` ? |
| 2021-06-10 15:14:35 | <kw> | Like, say I have a `Map TypeRep Cast` where `data Cast = forall a. Typable a => Cast a` and I want to write it to disk... |
| 2021-06-10 15:15:02 | <sclv> | I don't think there's a great way to do that, last I remember |
| 2021-06-10 15:15:15 | → | Day1 joins (~Android@2a01cb06a02f03df0000005a611ae401.ipv6.abo.wanadoo.fr) |
| 2021-06-10 15:15:23 | <sclv> | One could call typeRepFingerprint, and those fingerprints are serializable, and have eq and ord on them |
| 2021-06-10 15:15:32 | → | mastarija joins (~mastarija@31.217.22.43) |
| 2021-06-10 15:16:10 | <sclv> | So if having a map from Fingerprint to Cast is acceptable, you're done :-) |
| 2021-06-10 15:16:32 | <kw> | sclv: Nice, that's perfect! Thanks! |
| 2021-06-10 15:16:42 | <mastarija> | How does one exit an infinite loop in GHCi on Windows? This is something that's been always annoying me but I was too lazy to deal with properly. |
| 2021-06-10 15:16:58 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-10 15:17:12 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-10 15:17:16 | <mastarija> | I tried Ctrl+C, but that exits GHCi, yet the infinite loop still runs in the background (sometimes...) |
| 2021-06-10 15:18:16 | <sclv> | uh... maybe https://gitlab.haskell.org/ghc/ghc/-/issues/14150 ?? |
| 2021-06-10 15:19:45 | <mastarija> | oh god.. |
| 2021-06-10 15:19:59 | <tomsmeding> | delYsid: Tree from where? Data.Tree from containers? Presumably because that would add a dependency on the 'hashable' package in the boot library 'containers' and the ghc developers don't want to add another boot library if not really necessary |
| 2021-06-10 15:20:39 | <[exa]> | mastarija: windows problems may require windows solutions |
| 2021-06-10 15:21:10 | <mastarija> | [exa], I thought maybe windows uses some other keybinding |
| 2021-06-10 15:21:11 | <tomsmeding> | though I guess hashable could give the instance, though that would add a 'containers' dependency to hashable; but that's less bad because containers is a boot library |
| 2021-06-10 15:22:22 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-10 15:22:51 | <[exa]> | mastarija: afaik console stuff is not documented at all on windows, I guess we're lucky that it at least sends *some* signal |
| 2021-06-10 15:23:48 | <mastarija> | [exa], you mean console api / behaviour on windows? I remember it being pretty well documented few years back when I had to do some console stuff. |
| 2021-06-10 15:23:56 | × | larkfisherman quits (~larkfishe@217.75.204.126) (Remote host closed the connection) |
| 2021-06-10 15:24:39 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:b9f7:1919:7684:9913) (Quit: WeeChat 2.8) |
| 2021-06-10 15:24:58 | <[exa]> | mastarija: ok if there's docs I'm surprised |
| 2021-06-10 15:25:09 | <[exa]> | doesn't it mention some other keybinding? |
| 2021-06-10 15:25:53 | <mastarija> | nope, I just assumed Ctrl+C just kills the host process on windows, so maybe GHCi used some other combo on windows |
| 2021-06-10 15:26:56 | <sclv> | mastarija: are you running it via stack or something else or directly? |
| 2021-06-10 15:28:08 | <mastarija> | I've noticed that comment at the end, I'm trying now to run just GHCi, I ran it as cabal repl --dependencies "lalala..." |
| 2021-06-10 15:28:27 | <mastarija> | Maybe if I run it from Cabal it doesn't work |
| 2021-06-10 15:28:47 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-10 15:29:32 | × | sayola quits (~vekto@dslc-082-082-145-205.pools.arcor-ip.net) (Quit: Leaving.) |
| 2021-06-10 15:30:11 | <sclv> | mastarija: interesting. if you can reproduce that issue with cabal repl on windows, its worth filing a cabal ticket... |
| 2021-06-10 15:30:22 | <mastarija> | hm... but now I can't load my libraries I require for my script, I did `cabal install --lib random transformers`, but when I start GHCi it says it can't find System.Random |
| 2021-06-10 15:30:31 | <mastarija> | sclv, Not sure it's cabal, I have to check first |
| 2021-06-10 15:30:46 | × | agumonke` quits (~user@88.160.31.174) (Ping timeout: 272 seconds) |
| 2021-06-10 15:30:49 | → | sayola joins (~vekto@dslc-082-082-145-205.pools.arcor-ip.net) |
| 2021-06-10 15:30:57 | <sclv> | you'll have to use v1-install, which places it in the global package store |
| 2021-06-10 15:31:11 | <mastarija> | I thought when doing cabal install --lib, my lib get's added to ghc environment, and that is read by GHCi |
| 2021-06-10 15:31:24 | <sclv> | oh good point, that _should_ suffice too, weird |
| 2021-06-10 15:31:52 | <sclv> | i guess it depends where it puts the package env file when you do that -- gah those commands really don't have quite enough polish and chrome :-/ |
| 2021-06-10 15:32:11 | <mastarija> | hm... |
| 2021-06-10 15:32:19 | <mastarija> | damn, another problem to solve |
| 2021-06-10 15:32:55 | <monochrom> | I have had great success with --lib. All default settings. But on linux. |
| 2021-06-10 15:33:02 | <mastarija> | yes, I've deleted the default env and watched it regenerate with my own two eyes |
| 2021-06-10 15:33:08 | <mastarija> | but GHCi is playing dumb |
| 2021-06-10 15:33:30 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-10 15:33:35 | <monochrom> | which GHC version? |
| 2021-06-10 15:34:02 | <mastarija> | 8.8.4 |
| 2021-06-10 15:34:09 | <monochrom> | New enough. |
| 2021-06-10 15:35:30 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Bye, all!) |
| 2021-06-10 15:38:52 | × | Day1 quits (~Android@2a01cb06a02f03df0000005a611ae401.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-06-10 15:40:13 | → | Day1 joins (~Android@2a01cb06a02f03df0000005a611ae401.ipv6.abo.wanadoo.fr) |
| 2021-06-10 15:41:19 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 245 seconds) |
| 2021-06-10 15:41:19 | × | Day1 quits (~Android@2a01cb06a02f03df0000005a611ae401.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-06-10 15:41:31 | → | Baloo_ joins (~Baloo_@h-98-128-172-214.A785.priv.bahnhof.se) |
All times are in UTC.