Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-12 07:40:00 × adm_ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 07:40:25 jedws joins (~jedws@101.184.175.183)
2020-11-12 07:41:07 adm_ joins (~adm@43.229.89.44)
2020-11-12 07:49:24 × kjak quits (~kjak@pool-173-73-38-16.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-11-12 07:51:12 chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-12 07:51:24 × danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
2020-11-12 07:52:52 <dminuoso> jackdk: btw did you settle on a name for those isos?
2020-11-12 07:53:39 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-12 07:53:50 jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-11-12 07:55:38 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 07:56:21 idhugo joins (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net)
2020-11-12 07:56:38 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds)
2020-11-12 07:56:55 mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-12 07:56:59 christo joins (~chris@81.96.113.213)
2020-11-12 07:57:03 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 07:57:27 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-12 07:58:06 × adm_ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 07:58:47 dyeplexer joins (~lol@unaffiliated/terpin)
2020-11-12 07:58:50 dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-11-12 08:01:24 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-12 08:01:56 christo joins (~chris@81.96.113.213)
2020-11-12 08:02:08 × coco quits (~coco@212-51-146-87.fiber7.init7.net) (Quit: WeeChat 2.9)
2020-11-12 08:03:29 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-12 08:04:11 Varis joins (~Tadas@unaffiliated/varis)
2020-11-12 08:05:19 LKoen joins (~LKoen@77.174.9.109.rev.sfr.net)
2020-11-12 08:05:25 × idhugo quits (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2020-11-12 08:06:56 × christo quits (~chris@81.96.113.213) (Ping timeout: 272 seconds)
2020-11-12 08:12:35 kuribas joins (~user@ptr-25vy0i7apwgnolcsbyn.18120a2.ip6.access.telenet.be)
2020-11-12 08:13:54 coco joins (~coco@212-51-146-87.fiber7.init7.net)
2020-11-12 08:16:22 jedws joins (~jedws@101.184.175.183)
2020-11-12 08:19:05 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-11-12 08:21:16 × bitmagie quits (~Thunderbi@200116b8064f2f0039dc0580039a4441.dip.versatel-1u1.de) (Quit: bitmagie)
2020-11-12 08:21:29 × tzh quits (~xax@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2020-11-12 08:21:34 × maroloccio quits (~marolocci@2a02:8084:221:ce00:164f:8aff:fed8:411d) (Quit: WeeChat 2.3)
2020-11-12 08:22:20 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-12 08:22:22 bitmagie joins (~Thunderbi@200116b8064f2f0039dc0580039a4441.dip.versatel-1u1.de)
2020-11-12 08:24:23 × bitmagie quits (~Thunderbi@200116b8064f2f0039dc0580039a4441.dip.versatel-1u1.de) (Client Quit)
2020-11-12 08:26:44 × LKoen quits (~LKoen@77.174.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-12 08:28:01 × timCF quits (~i.tkachuk@m91-129-105-245.cust.tele2.ee) (Quit: leaving)
2020-11-12 08:28:07 × Alleria_ quits (~AllahuAkb@2604:2000:1484:26:e8c3:181c:d933:4dbd) (Ping timeout: 260 seconds)
2020-11-12 08:29:01 hackage futhark 0.18.3 - An optimising compiler for a functional, array-oriented language. https://hackage.haskell.org/package/futhark-0.18.3 (TroelsHenriksen)
2020-11-12 08:29:48 daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-12 08:30:15 <daydaynatation> cabal install gtk -f have-quartz-gtk, what does the -f mean?
2020-11-12 08:30:30 <c_wraith> it sets a flag
2020-11-12 08:31:14 <c_wraith> the cabal file uses the flag in conditionals that can affect lots of things. in this, most likely the native dependency
2020-11-12 08:31:29 <daydaynatation> I see.
2020-11-12 08:31:41 <c_wraith> I'd take that flag to mean it's the quartz version of gtk, rather than the X version
2020-11-12 08:32:03 <c_wraith> (because even on OS X, you can run an X server and build GTK for X)
2020-11-12 08:32:31 <daydaynatation> I've successfully build and installed gtk with the above command
2020-11-12 08:33:01 hackage ghc-exactprint 0.6.3.3 - ExactPrint for GHC https://hackage.haskell.org/package/ghc-exactprint-0.6.3.3 (AlanZimmerman)
2020-11-12 08:33:02 jedws joins (~jedws@101.184.175.183)
2020-11-12 08:33:04 <daydaynatation> but when I try cabal install threadscope which requires gtk, it not only requires me to build gtk again, but it also failed
2020-11-12 08:33:15 × jedws quits (~jedws@101.184.175.183) (Client Quit)
2020-11-12 08:33:40 × rekahsoft quits (~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 256 seconds)
2020-11-12 08:35:25 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-12 08:35:29 mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-12 08:35:52 × plakband quits (~plakband@softbank126126238105.bbtec.net) (Quit: WeeChat 2.9)
2020-11-12 08:36:05 <merijn> Oh, let me guess you have cabal-install 3.0 or later?
2020-11-12 08:37:03 raichoo joins (~raichoo@dslb-092-073-194-199.092.073.pools.vodafone-ip.de)
2020-11-12 08:37:22 hive-mind joins (~hivemind@rrcs-67-53-148-69.west.biz.rr.com)
2020-11-12 08:37:24 <merijn> See, this why we should've banned feature flags from Hackage years ago to stop people from building things that are just cursed and broken >.>
2020-11-12 08:38:50 jedws joins (~jedws@101.184.175.183)
2020-11-12 08:39:06 <daydaynatation> merijn: yes, version 3.2
2020-11-12 08:39:47 × jedws quits (~jedws@101.184.175.183) (Client Quit)
2020-11-12 08:40:07 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-12 08:40:11 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-12 08:41:52 <merijn> daydaynatation: You are getting hosed by gtk abusing things in ways they're not supposed to and that accidentally working for years...
2020-11-12 08:42:36 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-12 08:42:47 <merijn> daydaynatation: Try the following: clone threadscope from github, change directory to it, then use "cabal install --projectfile=cabal.project.osx"
2020-11-12 08:43:25 jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 08:43:33 Alleria_ joins (~AllahuAkb@2604:2000:1484:26:38df:6fa9:13ce:5626)
2020-11-12 08:44:05 christo joins (~chris@81.96.113.213)
2020-11-12 08:45:31 <merijn> daydaynatation: Essentially, flags were never intended to and shouldn't affect the public API/build setup of packages, but people abuse them for that anyway. Which worked fine in old cabal-install's because it would use "whatever version was already installed" (like the gtk you installed just now). But in >3.0 the buildplan doesn't depend on what's already installed
2020-11-12 08:45:53 da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th)
2020-11-12 08:46:46 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-11-12 08:47:45 borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de)
2020-11-12 08:48:49 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 258 seconds)
2020-11-12 08:49:00 <tomsmeding> can't you tell cabal to set a flag on some particular package in the dependency tree?
2020-11-12 08:49:15 <merijn> tomsmeding: In cabal.project, yes. Not in your cabal file
2020-11-12 08:49:20 <tomsmeding> ah right
2020-11-12 08:49:22 <merijn> tomsmeding: And that is intentional
2020-11-12 08:49:43 <merijn> So people can't use flags to control what feature/API is exposed
2020-11-12 08:49:47 <tomsmeding> to be fair, is there another way for packages like gtk to have public "parameters"?
2020-11-12 08:49:50 whatisRT joins (~whatisRT@2002:5b41:6a33:0:80a8:2f65:adf1:4c95)
2020-11-12 08:49:51 <merijn> But, of course, that's not stopped anyone
2020-11-12 08:50:20 <merijn> tomsmeding: Make a core library that's wrapped by gtk-quartz and gtk-x11
2020-11-12 08:50:53 <merijn> Also, the (now mostly stalled) work on backpack
2020-11-12 08:50:54 <tomsmeding> because this feels like a so-called desire path :p
2020-11-12 08:51:12 cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-12 08:51:53 <merijn> tomsmeding: You need to invert your interface so instead of conditionally depending on something you wrap. See persistent and the various persistent-postgres, persistent-sqlite, etc. wrappers
2020-11-12 08:52:06 <merijn> Selda does the same, diagrams does that
2020-11-12 08:52:15 <tomsmeding> yeah I've seen the pattern
2020-11-12 08:52:23 <benschza> Good morning everyone! I've been exploring Arrows and Yampa, and have reached a type error that I'm struggling to interpret. The resulting type seems so close, but I'm using this as a project to continue learning Haskell, so I'm in the deep end. `Expected type: SF (SF () State) (Event (SF () State))` and `Actual type: SF State (Event (SF () State))` - here's a gist: https://gist.github.com/BenSchZA/57f1f46ec8e2ecc0f304ede813e5f4eb I think my
2020-11-12 08:52:23 <benschza> question is two fold, what am I missing, and how can I improve my translation of Arrow proc notation into pure Arrow notation. Appreciate any guidance!
2020-11-12 08:52:28 Yumasi joins (~guillaume@2a01cb09b06b29ea6448a1be2d68fad7.ipv6.abo.wanadoo.fr)
2020-11-12 08:53:07 <merijn> benschza: I think there's, like, a handful of people who actually know/understand Arrow notation :p
2020-11-12 08:53:30 hackage phonetic-languages-constaints 0.3.0.0 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constaints-0.3.0.0 (OleksandrZhabenko)
2020-11-12 08:54:12 <merijn> tomsmeding: The only other option is to modify Cabal to allow people to specify constraints on their *transitive* dependencies, which is clearly a nightmare
2020-11-12 08:54:47 <tomsmeding> benschza: this is probably ghc doing type inference and showing the error far from where it actually occurred. Suggestion: add lots of manual type signatures on your intermediate values, and see where it doesn't match up with reality
2020-11-12 08:55:25 <tomsmeding> merijn: indeed that would be interesting if you have two dependencies A and B that both depend on different configurations of a single package C

All times are in UTC.