Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 31 32 33 34 35 36 37 38 39 40 41 .. 5022
— 502,152 events total
2020-09-17 18:52:24 → p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-17 18:52:58 <monochrom> If you're the sole author and audience, you rule on your own. If you are collaborating with people, you get a consensus.
2020-09-17 18:54:14 <dumptruckman> Yeah. Good points. I think individual implementations is probably what I'll go with. It's definitely simple and there's only like 3 types
2020-09-17 18:54:15 <monochrom> But me, having learned how people write explicit types even when types are inferred, how people write pointful code even when it could be pointfree, and most importantly how in both cases the more redundant ways actually help,
2020-09-17 18:54:22 → nan` joins (~nan`@unaffiliated/nan/x-5405850)
2020-09-17 18:54:33 <monochrom> I decided that in general I keep the redundancy.
2020-09-17 18:54:48 <frdg> I am having trouble figuring out how to just say `stack install --with_ghc=8.6.5 somepackage`
2020-09-17 18:56:03 <geekosaur> frdg, in general you don't. you say: stack install --with-resolver=<some resolver based on ghc-8.6.5> <somepackage>
2020-09-17 18:56:25 × fendor quits (~fendor@77.119.129.27.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-17 18:56:49 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-17 18:56:54 <geekosaur> a resolver combines a ghc version with a collection of libraries with versions known to work with each other and that ghc version
2020-09-17 18:57:29 <frdg> ok. This must be a big difference from cabal?
2020-09-17 18:57:34 → petrus joins (~petrus@unaffiliated/petrus)
2020-09-17 18:57:53 × immae_ quits (~immae@static.233.10.9.176.clients.your-server.de) (Quit: WeeChat 2.9)
2020-09-17 18:58:16 → immae joins (~immae@2a01:4f8:141:53e7::)
2020-09-17 18:59:08 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-17 18:59:28 <tomsmeding> in my limited experience with stack, it is _the_ most important difference from cabal
2020-09-17 19:00:08 <tomsmeding> shoving stuff like "it's a yaml file, not a cabal file (or also a cabal file)" under the ru
2020-09-17 19:00:08 <tomsmeding> g
2020-09-17 19:00:28 × mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Remote host closed the connection)
2020-09-17 19:01:01 <Boarders> does anyone know if it is possible with earley to easily have "1 + 2 * 3" parse into all possible disambiguations/bracketings?
2020-09-17 19:01:23 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-17 19:01:34 <phadej> doesn't it give you all parsing by default if you specify ambiguous grammar
2020-09-17 19:01:39 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-17 19:01:47 <Boarders> I thought so yes, I haven't used it before
2020-09-17 19:01:59 <monochrom> I don't know earley, but I know that if a parser supports ambiguous grammars, then "E ::= E + E | E * E | Literal" ought to do.
2020-09-17 19:02:06 × Saten-san quits (~Saten-san@ip-81-11-153-184.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-17 19:02:21 <Boarders> monochrom: not helpful
2020-09-17 19:02:34 <monochrom> Fine
2020-09-17 19:02:56 <monochrom> I'm done with askers playing adjudicators and playing GOd.
2020-09-17 19:03:14 <Boarders> sounds good
2020-09-17 19:03:16 × nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 272 seconds)
2020-09-17 19:03:36 → alp joins (~alp@2a01:e0a:58b:4920:10b8:e9e6:f1db:edd0)
2020-09-17 19:03:40 <phadej> using Earley is not much more different than parsec. https://github.com/ollef/Earley/blob/master/examples/Expr.hs
2020-09-17 19:03:47 × alp_ quits (~alp@2a01:e0a:58b:4920:98d3:8430:dd:99e) (Ping timeout: 272 seconds)
2020-09-17 19:03:49 <phadej> not hard to find examples either.
2020-09-17 19:04:03 → fendor joins (~fendor@77.119.129.27.wireless.dyn.drei.com)
2020-09-17 19:04:10 <phadej> (that example is in README, fwiw)
2020-09-17 19:04:44 <Boarders> yeah, I don't know how that example can be made ambiguous
2020-09-17 19:06:22 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-17 19:06:50 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2020-09-17 19:08:01 × bennofs quits (~quassel@dslb-188-103-036-188.188.103.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2020-09-17 19:08:07 <sm[m]> frdg: https://www.stackage.org shows which resolvers to pick for desired ghc versions
2020-09-17 19:08:14 <dolio> What happens if you make it into one binding, like `x <- rule $ Add <$> x <* namedToken "+" <*> x <|> Mul <$> x ...`?
2020-09-17 19:08:29 → bennofs joins (~quassel@dslb-188-106-228-057.188.106.pools.vodafone-ip.de)
2020-09-17 19:10:34 <frdg> sm[m]: I struggle with stack. I know that I want to use the lts-14.27 resolver. I cannot say `stack install --with-resolver=lts-14.27 somepackage`
2020-09-17 19:11:25 <sm[m]> it's stack install --resolver=lts-14.27 somepackage[-VERSION]
2020-09-17 19:11:30 → eric joins (~eric@2804:431:c7d4:402a:8db3:9561:773:fb8e)
2020-09-17 19:11:45 <sm[m]> if somepackage is not in lts-14.27 but only in hackage, then you need to add -VERSION
2020-09-17 19:12:15 <frdg> thank you
2020-09-17 19:12:33 <sm[m]> (because stack's raison d'etre is reproducible builds, so one way or another all versions must be specified)
2020-09-17 19:12:47 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-17 19:13:59 <sm[m]> also, if not only somepackage but some of its deps are not in the stackage snapshot, specify those on the command line too (if there's not too many)
2020-09-17 19:17:05 × stiell quits (~stian@fsf/member/stiell) (Ping timeout: 272 seconds)
2020-09-17 19:17:34 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-17 19:17:54 <frdg> after installing about 140 packages, right at the end I get this error: https://dpaste.org/rkw3
2020-09-17 19:18:55 <sm[m]> that looks like a keter bug then, it probably doesn't have correct bounds
2020-09-17 19:19:23 <sm[m]> stack guarantees a valid build plan with all bounds satisfied, but it doesn't guarantee all the packages compile
2020-09-17 19:20:17 <frdg> ill try a different resolver
2020-09-17 19:20:19 <sm[m]> a typical next move is to check keter's issue tracker or maybe search for the error
2020-09-17 19:20:33 <phadej> thy find a snapshot which has keter
2020-09-17 19:20:42 <phadej> it's one of the sad packages
2020-09-17 19:20:51 <phadej> https://matrix.hackage.haskell.org/#/package/keter
2020-09-17 19:20:59 → stiell joins (~stian@fsf/member/stiell)
2020-09-17 19:21:21 <sm[m]> https://github.com/snoyberg/keter/issues/207
2020-09-17 19:22:45 <frdg> hmm. To be honest I dont understand stack at all.
2020-09-17 19:23:16 <frdg> Ill try cabal
2020-09-17 19:23:49 <phadej> you'll get similar-ish failure :)
2020-09-17 19:24:19 <frdg> is all lost with keter?
2020-09-17 19:24:29 <sm[m]> if you have a look around the issue tracker you'll see lots of such issues. https://github.com/snoyberg/keter/issues/201 has some folks that might help, and maybe a newer branch
2020-09-17 19:24:46 <frdg> ok thanks for the help
2020-09-17 19:25:33 <dolio> Boarders: https://paste.tomsmeding.com/eFARmyei
2020-09-17 19:25:44 <phadej> you need process <1.6
2020-09-17 19:26:18 <phadej> which means using GHC-8.0
2020-09-17 19:26:26 <phadej> OR downgrading process library
2020-09-17 19:26:34 <phadej> which is probably not a good idea
2020-09-17 19:26:54 <phadej> but might work too
2020-09-17 19:27:11 × nyd quits (~nyd@unaffiliated/elysian) (Quit: nyd)
2020-09-17 19:27:13 <phadej> cabal install keter --constraint='process<1.6'
2020-09-17 19:27:50 <frdg> Do any other libraries do what keter does?
2020-09-17 19:28:02 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-09-17 19:28:10 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-09-17 19:28:17 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-17 19:28:54 <phadej> I guess what keter does is handled by modern infrastructure for you
2020-09-17 19:29:09 → Tops2 joins (~Tobias@dyndsl-095-033-091-070.ewe-ip-backbone.de)
2020-09-17 19:29:23 → notzmv` joins (~user@177.103.86.92)
2020-09-17 19:29:24 × petrus quits (~petrus@unaffiliated/petrus) (Read error: Connection reset by peer)
2020-09-17 19:29:41 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-17 19:30:05 → petrus joins (~petrus@unaffiliated/petrus)
2020-09-17 19:30:38 × notzmv quits (~user@unaffiliated/zmv) (Ping timeout: 260 seconds)
2020-09-17 19:30:56 → davidfischer joins (~davidfisc@193.56.252.210)
2020-09-17 19:31:25 <frdg> I have a Yesod web-app that I am ready to deploy.
2020-09-17 19:32:58 <frdg> I am just going by the yesod documentation which reccomends using keter, but it seems that there are other options. I do not know the tradeoffs.
2020-09-17 19:33:25 × p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Quit: p-core)
2020-09-17 19:33:33 × Tops21 quits (~Tobias@dyndsl-095-033-091-070.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
2020-09-17 19:33:37 × petrus quits (~petrus@unaffiliated/petrus) (Client Quit)
2020-09-17 19:33:43 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-17 19:33:45 → p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-17 19:33:52 → nan` joins (~nan`@unaffiliated/nan/x-5405850)
2020-09-17 19:34:30 notzmv` is now known as notzmv
←Prev  Next→
Page 1 .. 31 32 33 34 35 36 37 38 39 40 41 .. 5022

All times are in UTC.