Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 851 852 853 854 855 856 857 858 859 860 861 .. 18026
— 1,802,554 events total
2021-07-08 12:06:40 × isekaijin quits (~pyon@user/pyon) (Quit: WeeChat 3.2)
2021-07-08 12:08:00 × chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 252 seconds)
2021-07-08 12:10:34 × yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-07-08 12:12:24 <lechner> Hi, how can I run these two IO statements inside the ZMQ monad, please? https://dpaste.org/cPWe#L47,48
2021-07-08 12:13:01 <merijn> liftIO, probably
2021-07-08 12:13:28 → Guest2492 joins (~Martin@cpe-188-129-56-84.dynamic.amis.hr)
2021-07-08 12:13:38 <lechner> i know, but do i use point-free style?
2021-07-08 12:15:37 → lortabac joins (~lortabac@95.138.56.124)
2021-07-08 12:16:47 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-08 12:16:51 → ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398)
2021-07-08 12:19:31 × Guest2492 quits (~Martin@cpe-188-129-56-84.dynamic.amis.hr) (Remote host closed the connection)
2021-07-08 12:19:59 → Pickchea joins (~private@user/pickchea)
2021-07-08 12:20:18 → hiruji joins (~hiruji@user/hiruji)
2021-07-08 12:20:29 → APic joins (apic@apic.name)
2021-07-08 12:22:25 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 258 seconds)
2021-07-08 12:22:59 → hatz_ joins (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349)
2021-07-08 12:23:29 <bryan[m]> It's not required, no. Are you asking how to combine the two statements? You don't need to do so, although it's possible
2021-07-08 12:23:46 <bryan[m]> I assume you're talking about the two commented lines
2021-07-08 12:23:50 → Martinsos joins (~Martinsos@cpe-188-129-56-84.dynamic.amis.hr)
2021-07-08 12:24:08 <lechner> i'd prefer not to, because it would teach me something about variables too
2021-07-08 12:24:15 <lechner> yes
2021-07-08 12:24:28 → warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8)
2021-07-08 12:26:03 toms is now known as cow-orker
2021-07-08 12:26:03 <exarkun> What is telling me `Setup: The pkg-config package 'libchallenge_bypass_ristretto_ffi' is required but it could not be found.` and what does it mean I'm missing?
2021-07-08 12:26:11 <bryan[m]> Then yeah, you need to add liftIO to both lines in the right place
2021-07-08 12:26:19 cow-orker is now known as toms
2021-07-08 12:26:25 → acidjnk joins (~acidjnk@p200300d0c72b9563c9e402731a025c7c.dip0.t-ipconnect.de)
2021-07-08 12:27:01 × SoF quits (~skius@user/skius) (Quit: Ping timeout (120 seconds))
2021-07-08 12:27:19 → SoF joins (~skius@user/skius)
2021-07-08 12:27:56 <bryan[m]> exarkun: the cabal package must list pkg-config dependencies (pkg-config is a cross-distribution tool used to find system libraries). Your system is presumably missing that system package
2021-07-08 12:28:41 <bryan[m]> So it's cabal that's telling you the message
2021-07-08 12:28:42 × warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Ping timeout: 240 seconds)
2021-07-08 12:30:42 × acidjnk quits (~acidjnk@p200300d0c72b9563c9e402731a025c7c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-07-08 12:30:47 <exarkun> Okay. I have `pkgconfig-depends: libchallenge_bypass_ristretto_ffi` in my .cabal file. So cabal is now asking `pkg-config` some question about `libchallenge_bypass_ristretto_ffi`? Like maybe `pkg-config --exists libchallenge_bypass_ristretto_ffi` or some such? And `pkg-config` doesn't know anything about it it...
2021-07-08 12:32:19 <exarkun> Does this also come from Cabal? "error: The pkg-conf packages does not contain the package: libchallenge_bypass_ristretto_ffi (pkg-conf dependency)."
2021-07-08 12:33:25 <merijn> exarkun: It means cabal asked pkg-config about it, but your pkg-config install didn't know about it
2021-07-08 12:34:19 <exarkun> merijn: The first one or the second one?
2021-07-08 12:35:11 <merijn> For sure the first one is that, the 2nd probably too?
2021-07-08 12:35:27 <merijn> exarkun: I think the 2nd one is just cabal forwarding the output of pkg-config?
2021-07-08 12:39:39 <lechner> Hi, why does the last line here give "Couldn't match type ‘[]’ with ‘ZMQ z’ Expected type: ZMQ z Char Actual type: String please, while the assignment in the line above it worked just fine? https://dpaste.org/DzEH#L31
2021-07-08 12:40:06 × Feuermagier quits (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer)
2021-07-08 12:40:43 → nsilv joins (~nsilv@212.103.198.210)
2021-07-08 12:43:10 <mniip> what does "constraint from maximum version of Cabal used by Setup.hs requires <3.4"
2021-07-08 12:43:12 <mniip> mean
2021-07-08 12:43:38 <mniip> I don't see such constraint anywhere in the cabal file
2021-07-08 12:45:28 <exarkun> I suspect that the `pkg-conf` error comes from something else... haskell.nix, I guess. It appears when I remove the nixpkgs overlay that defines libchallenge_bypass_ristretto_ffi.
2021-07-08 12:46:33 <merijn> mniip: You have a custom Setup.hs?
2021-07-08 12:46:38 <mniip> yes
2021-07-08 12:46:46 <merijn> mniip: Do you have setup-depends?
2021-07-08 12:46:49 <mniip> yes
2021-07-08 12:47:02 <mniip> really I'm trying to install ghc-paths into GHC HEAD inplace package db
2021-07-08 12:47:04 <merijn> hmm
2021-07-08 12:47:41 <merijn> Which Cabal version do you have installed?
2021-07-08 12:47:51 <merijn> Is it maybe using one too old for your GHC?
2021-07-08 12:48:13 <mniip> cabal-install ver 3.2.0.0
2021-07-08 12:48:28 <merijn> Pretty sure that doesn't work with GHC HEAD
2021-07-08 12:48:30 <mniip> oh
2021-07-08 12:48:39 <merijn> Doesn't 9.0 or 9.2 require 3.4?
2021-07-08 12:48:43 × AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-07-08 12:48:50 <merijn> So presumably HEAD requires something newer too
2021-07-08 12:48:51 <mniip> does 3.4
2021-07-08 12:49:04 <mniip> let's try that
2021-07-08 12:49:26 <merijn> Cabal doesn't guarantee forward compat, only backwards
2021-07-08 12:49:40 <mniip> understandable
2021-07-08 12:49:59 → Feuermagier joins (~Feuermagi@user/feuermagier)
2021-07-08 12:50:52 → andreabedini joins (~andreabed@8s8kj6nl13s474s8p7bh.ip6.superloop.com)
2021-07-08 12:51:10 × Pickchea quits (~private@user/pickchea) (Ping timeout: 265 seconds)
2021-07-08 12:51:47 → ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398)
2021-07-08 12:51:50 → scrazen joins (~scrazen@user/scrazen)
2021-07-08 12:53:15 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-07-08 12:56:04 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-08 12:56:08 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-07-08 12:57:00 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds)
2021-07-08 13:01:11 → alx741 joins (~alx741@181.196.69.147)
2021-07-08 13:02:07 × fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds)
2021-07-08 13:02:48 <bryan[m]> lechner: `<-` means to unwrap a monadic value, but your last line doesn't have one. (Well, technically it does, but it's the wrong kind of monad. Pretend I didn't just tell you that.) If you want to create a new name for a non-monadic value inside of a do-block, use let. `let configPath = head args`
2021-07-08 13:03:23 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-07-08 13:03:40 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-07-08 13:04:34 × chris-th_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-08 13:05:16 → chris-the-slurpa joins (~chris@81.96.113.213)
2021-07-08 13:08:14 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-07-08 13:08:23 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-07-08 13:09:17 × jneira quits (~jneira@212.8.115.226) (Quit: Client closed)
2021-07-08 13:09:29 × chris-the-slurpa quits (~chris@81.96.113.213) (Ping timeout: 252 seconds)
2021-07-08 13:11:57 <merijn> mniip: Did that resolve things?
2021-07-08 13:12:05 <mniip> compiling :P
2021-07-08 13:12:15 <merijn> That's further than it got before, no? :p
2021-07-08 13:12:23 <mniip> compiling cabal-install
2021-07-08 13:12:26 <merijn> ah
2021-07-08 13:12:40 <lechner> bryan[m]: thanks!
2021-07-08 13:18:55 <mniip> it worked in the end
2021-07-08 13:22:51 <merijn> mniip: \o/
2021-07-08 13:29:37 <viluon> hi, I'm trying to understand generics-sop, going through the pretty-sop example (https://github.com/well-typed/pretty-sop/blob/master/src/Generics/SOP/PrettyVal.hs#L33). It looks like gprettyVal' requires the `All SListI xss` constraint (equivalent to `SListI2 xss`, right?) which from what I can tell ensures that the code of the datatype (represented by the `xss` parameter) has to have exactly one field in every product.
2021-07-08 13:29:38 <viluon> That's obviously not true, as the README example shows (and also such a constraint doesn't follow from those of `gprettyVal`, `gprettyVal'`'s caller). Where am I going wrong?
2021-07-08 13:31:19 → warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8)
2021-07-08 13:32:12 × Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection)
2021-07-08 13:37:06 × warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Remote host closed the connection)
2021-07-08 13:37:18 → warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8)
2021-07-08 13:38:08 → ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398)
2021-07-08 13:43:37 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 268 seconds)
←Prev  Next→
Page 1 .. 851 852 853 854 855 856 857 858 859 860 861 .. 18026

All times are in UTC.