Logs: freenode/#haskell
| 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.