Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 898 899 900 901 902 903 904 905 906 907 908 .. 5022
— 502,152 events total
2020-10-27 19:51:17 <tomsmeding> you have to instruct it to use your language server probably
2020-10-27 19:51:19 <merijn> maerwald: With which client?
2020-10-27 19:51:24 <merijn> eh, server, I guess
2020-10-27 19:52:10 <maerwald> https://paste.tomsmeding.com/EdTf9fLZ
2020-10-27 19:52:12 × teardown quits (~user@unaffiliated/mrush) (Quit: leaving)
2020-10-27 19:53:03 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-27 19:53:11 <maerwald> wait, now it does something... seems the build just took longer than expected
2020-10-27 19:53:19 → christo_ joins (~chris@81.96.113.213)
2020-10-27 19:53:22 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-27 19:53:22 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-27 19:53:22 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-27 19:53:39 × christo quits (~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-10-27 19:53:42 <tomsmeding> in that case your cpu usage should've been an indicator that something was amiss :p
2020-10-27 19:53:47 <maerwald> oh wow... a sensible default: only lint when saving
2020-10-27 19:54:02 <maerwald> tomsmeding: not really, since hls often just gets stuck here and sticks to 100% cpu
2020-10-27 19:54:13 <tomsmeding> interesting
2020-10-27 19:54:23 <tomsmeding> have you tried plain ghcide?
2020-10-27 19:54:53 <maerwald> and it behaves very funny when your project GHC is not the currently set ghc (the `ghc`)
2020-10-27 19:55:36 <maerwald> https://user-images.githubusercontent.com/1241845/97086886-61c80980-1626-11eb-8874-5467c508d60e.png
2020-10-27 19:55:38 <maerwald> then this happens
2020-10-27 19:56:11 <tomsmeding> well at least you get some heating
2020-10-27 19:56:19 → rprije joins (~rprije@194-193-168-77.tpgi.com.au)
2020-10-27 19:56:24 <tomsmeding> but I gather it works now? otherwise I can share my current setup
2020-10-27 19:56:28 <maerwald> I don't get OOMed anymore since I bumped my ram, at least
2020-10-27 19:56:42 <maerwald> how do you do stuff like goto definition and code actions?
2020-10-27 19:56:42 <tomsmeding> yes with 16G you would've been out at this point :p
2020-10-27 19:56:49 <tomsmeding> :ALEGoToDefinition
2020-10-27 19:56:57 <tomsmeding> or map a key to <Plug>(ale_go_to_definition)
2020-10-27 19:57:07 <tomsmeding> in general :ALE<tab> and their help sections
2020-10-27 19:57:17 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-27 19:57:39 <tomsmeding> not sure how much support there is for code actions, I don't really use that myself
2020-10-27 19:58:28 <maerwald> well, that doesn't do anything
2020-10-27 19:58:46 <maerwald> with no error
2020-10-27 19:59:09 <tomsmeding> has your cpu quieted down already?
2020-10-27 19:59:12 <maerwald> seems not https://github.com/dense-analysis/ale/issues/1466
2020-10-27 19:59:20 <tomsmeding> if not, might want to wait for that to happen
2020-10-27 19:59:26 <maerwald> that seems quite limited
2020-10-27 19:59:32 × conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer)
2020-10-27 19:59:37 <maerwald> also, my RSI kicks in again, so I'll stop now
2020-10-27 19:59:47 → damianfral4 joins (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net)
2020-10-27 20:00:26 <maerwald> (the import code action is very useful)
2020-10-27 20:00:46 <maerwald> (at least if your project forces you to use explicit import, which I find nonsensical for the record)
2020-10-27 20:00:58 <maerwald> (you can quote me :p)
2020-10-27 20:01:37 <tomsmeding> I kind of like the custom, since it reduces dependence on IDE-like integration to navigate through code
2020-10-27 20:02:17 <tomsmeding> within measure, of course; if you start importing >10 symbols from a module it's not worth the bother anymore
2020-10-27 20:02:46 × damianfral3 quits (~damianfra@174.red-37-13-187.dynamicip.rima-tde.net) (Ping timeout: 246 seconds)
2020-10-27 20:03:01 <tomsmeding> but it's certainly a subjective point
2020-10-27 20:04:03 → conal joins (~conal@64.71.133.70)
2020-10-27 20:04:49 ← falsifian parts (~falsifian@cpef81d0f9cb2f3-cmf81d0f9cb2f0.cpe.net.fido.ca) ()
2020-10-27 20:05:39 → taurux joins (~taurux@net-93-151-203-8.cust.dsl.teletu.it)
2020-10-27 20:08:34 <hyperisco> any hints on how I can hash a dhall config (I am using dhall as a library)
2020-10-27 20:09:20 <maerwald> output as json, convert to dense format with newlinet removed, make sure you don't have trailing newline
2020-10-27 20:09:33 <maerwald> and sort the objects
2020-10-27 20:09:35 <hyperisco> wait why?
2020-10-27 20:09:56 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-27 20:10:03 <tomsmeding> or write a https://hackage.haskell.org/package/hashable-1.3.0.0/docs/Data-Hashable.html instance :p
2020-10-27 20:10:07 × taurux quits (~taurux@net-93-151-203-8.cust.dsl.teletu.it) (Ping timeout: 246 seconds)
2020-10-27 20:10:15 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-27 20:10:19 <hyperisco> dhall supports hashing configs
2020-10-27 20:10:31 <maerwald> oh, why do you ask then? :D
2020-10-27 20:10:32 → taurux joins (~taurux@net-130-25-120-80.cust.vodafonedsl.it)
2020-10-27 20:10:33 <hyperisco> the tutorial just doesn't seem to say how to do it using dhall as a library rather than by cli
2020-10-27 20:11:00 <tomsmeding> https://hackage.haskell.org/package/dhall-1.36.0/docs/Dhall-Import.html#v:hashExpression ?
2020-10-27 20:11:05 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds)
2020-10-27 20:11:44 <maerwald> hashExpressionToCode looks cool too
2020-10-27 20:12:09 <hyperisco> I am not sure... so I decode the file with input auto
2020-10-27 20:12:25 <tomsmeding> what is the type of the thing you want to hash?
2020-10-27 20:12:27 <hyperisco> that gives me a type I defined with a FromDhall instance, not an Expr Void Void
2020-10-27 20:12:40 <tomsmeding> ah
2020-10-27 20:13:16 <hyperisco> is there a way to break it apart so I can get both?
2020-10-27 20:13:27 hackage byline 1.1.0.1 - Library for creating command-line interfaces (colors, menus, etc.) https://hackage.haskell.org/package/byline-1.1.0.1 (PeterJones)
2020-10-27 20:13:31 → juuandyy joins (~juuandyy@90.166.144.65)
2020-10-27 20:13:56 <hyperisco> well whatever, I'll just use the file mod time then oO
2020-10-27 20:15:12 × knupfer quits (~Thunderbi@200116b82cb7c400d8c9d953179e22c7.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-27 20:15:37 → teardown joins (~user@unaffiliated/mrush)
2020-10-27 20:17:25 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-10-27 20:17:46 → Gujest_47 joins (584bba29@dslb-088-075-186-041.088.075.pools.vodafone-ip.de)
2020-10-27 20:17:57 hackage themoviedb 1.2.0.1 - Haskell API bindings for http://themoviedb.org https://hackage.haskell.org/package/themoviedb-1.2.0.1 (PeterJones)
2020-10-27 20:18:43 → phaul joins (~phaul@ruby/staff/phaul)
2020-10-27 20:18:54 → knupfer joins (~Thunderbi@200116b82cb7c400e45e2cfffeea1a26.dip.versatel-1u1.de)
2020-10-27 20:18:56 × knupfer quits (~Thunderbi@200116b82cb7c400e45e2cfffeea1a26.dip.versatel-1u1.de) (Client Quit)
2020-10-27 20:19:08 → knupfer joins (~Thunderbi@mue-88-130-61-249.dsl.tropolys.de)
2020-10-27 20:19:11 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-27 20:19:32 × Gujest_47 quits (584bba29@dslb-088-075-186-041.088.075.pools.vodafone-ip.de) (Remote host closed the connection)
2020-10-27 20:21:15 <tomsmeding> hyperisco: what about inputExpr and rawInput from the Dhall module?
2020-10-27 20:21:53 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-27 20:22:49 × nuncanada quits (~dude@179.235.160.168) (Read error: Connection reset by peer)
2020-10-27 20:23:56 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-27 20:24:32 × xff0x quits (~fox@2001:1a81:5219:2300:d7e5:2604:caa8:802b) (Ping timeout: 260 seconds)
2020-10-27 20:24:57 → xff0x joins (~fox@2001:1a81:5219:2300:29ba:4988:f159:6286)
2020-10-27 20:27:13 × quaestor quits (~quaestor@griffith.christophrauch.de) (Ping timeout: 264 seconds)
2020-10-27 20:27:55 → nuncanada joins (~dude@179.235.160.168)
2020-10-27 20:29:37 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 264 seconds)
2020-10-27 20:30:04 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-27 20:31:49 <maerwald> I wanted to migrate an OpenAPI spec from yaml to dhall. I think that's a pretty good use case (e.g. abstracting and merging multiple types that represent sets of HTTP return codes)
2020-10-27 20:31:59 <maerwald> yaml anchors don't really do merging
2020-10-27 20:32:36 × teardown quits (~user@unaffiliated/mrush) (Quit: leaving)
2020-10-27 20:36:02 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-27 20:36:55 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-27 20:37:09 → hiroaki joins (~hiroaki@2a02:908:4b18:e20::e363)
←Prev  Next→
Page 1 .. 898 899 900 901 902 903 904 905 906 907 908 .. 5022

All times are in UTC.