Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 .. 5022
— 502,152 events total
2020-11-08 20:16:07 × juuandyy quits (~juuandyy@90.166.144.65) (Client Quit)
2020-11-08 20:16:32 × amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Ping timeout: 265 seconds)
2020-11-08 20:21:00 → conal joins (~conal@209.58.139.27)
2020-11-08 20:21:23 → StoneToad_ joins (~StoneToad@199-167-119-135.ppp.storm.ca)
2020-11-08 20:21:48 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-11-08 20:22:57 → amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com)
2020-11-08 20:23:20 × StoneToad quits (~StoneToad@199-167-119-137.ppp.storm.ca) (Ping timeout: 260 seconds)
2020-11-08 20:24:14 → aarvar joins (~foewfoiew@c.24.56.239.179.static.broadstripe.net)
2020-11-08 20:28:34 → christo joins (~chris@81.96.113.213)
2020-11-08 20:28:42 × mmohammadi9812 quits (~mmohammad@5.238.175.25) (Remote host closed the connection)
2020-11-08 20:28:43 × ggole quits (~ggole@2001:8003:8119:7200:d833:f715:92d2:56f2) (Quit: Leaving)
2020-11-08 20:31:13 → mmohammadi9812 joins (~mmohammad@5.238.175.25)
2020-11-08 20:32:43 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-08 20:33:18 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-08 20:33:39 × benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-ugqvpbihzsnuhnwq) (Quit: Connection closed for inactivity)
2020-11-08 20:34:21 × bennofs1 quits (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) (Quit: WeeChat 2.9)
2020-11-08 20:36:55 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds)
2020-11-08 20:37:09 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-11-08 20:38:51 × Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.94) (Quit: Leaving)
2020-11-08 20:40:00 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2020-11-08 20:40:06 → Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.142)
2020-11-08 20:40:58 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds)
2020-11-08 20:48:04 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-08 20:48:08 → Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-11-08 20:49:25 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-11-08 21:00:01 × wotwot1 quits (~wotwot@185.204.1.185) ()
2020-11-08 21:01:21 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-08 21:01:43 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-11-08 21:02:14 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-08 21:04:14 × mirrorbird_ quits (~psutcliff@141.98.255.153) (Quit: Leaving)
2020-11-08 21:06:13 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-08 21:07:49 × Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.142) (Quit: Leaving)
2020-11-08 21:08:59 <koz_> How does one satisfy this kind of constraint? http://hackage.haskell.org/package/constraints-extras-0.3.0.2/docs/Data-Constraint-Extras.html#t:Has-39-
2020-11-08 21:09:09 <justsomeguy> Is there a way to search for all functions in the base package that take a list as its first argument?
2020-11-08 21:09:44 <justsomeguy> (Or, failing that, would it be easier to read the source code for base?)
2020-11-08 21:10:58 × Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Quit: CUT THE HARDLINES!!)
2020-11-08 21:11:09 <koz_> The reason I care is that I want an Eq instance to be available for (my particular concretized) DMap from here: http://hackage.haskell.org/package/dependent-map-0.4.0.0/docs/Data-Dependent-Map.html#t:Eq
2020-11-08 21:13:04 <justsomeguy> Ok, it seems everything I want is in GHC.List.
2020-11-08 21:14:24 × knupfer quits (~Thunderbi@200116b82ca873006553a4cb31e66e25.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-11-08 21:14:51 <xsperry> justsomeguy, no AFAIK, but if you know full type of the function you can use hoogle
2020-11-08 21:15:19 <geekosaur> hoogle ought to be fine with "[a] -> b", shouldn't it?
2020-11-08 21:19:53 × conal quits (~conal@209.58.139.27) (Quit: Computer has gone to sleep.)
2020-11-08 21:19:55 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-08 21:20:38 × Collateral quits (~Collatera@4e69b241.skybroadband.com) (Ping timeout: 260 seconds)
2020-11-08 21:22:27 <justsomeguy> I wanted to match signatures like “:: [a] -> (a -> b) -> [b]”, but also things like “:: [a] -> a”... pretty much anything beginning with ``:: [a｣ as its first argument. It looks like I can't do that, but that's OK, since I found what I was looking for.
2020-11-08 21:22:48 <justsomeguy> (Whoa, weird formatting error there.)
2020-11-08 21:23:20 → Collateral joins (~Collatera@4e69b241.skybroadband.com)
2020-11-08 21:24:02 → Majiir joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net)
2020-11-08 21:24:27 × Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-08 21:26:07 × britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep)
2020-11-08 21:27:13 Guest67212 is now known as lep-delete
2020-11-08 21:30:29 × ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection)
2020-11-08 21:34:07 → britva joins (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f)
2020-11-08 21:36:15 → zeta_0 joins (~zeta@2601:8c0:1:2630:ed7c:84af:22a9:2ea3)
2020-11-08 21:37:03 <zeta_0> has anyone here gotten haskell-language-server working correctly? i'm having some issues!
2020-11-08 21:37:36 <Uniaika> zeta_0: do tell us!
2020-11-08 21:37:40 <Uniaika> which version are you using?
2020-11-08 21:39:02 <zeta_0> Uniaika: haskell-language-server version: 0.4.0.0 (GHC: 8.6.5), it's binary is recognized, so the PATH is set as well.
2020-11-08 21:40:15 <Uniaika> zeta_0: any reason you're not running on the latest version of HLS?
2020-11-08 21:41:28 <zeta_0> whenever I ran gen-hie, it made a hie.yaml file with path and component set for Main.hs, but not Setup.hs, and whenever I open Main.hs, it gives me a prompt to install hie, it's not recognizing hls.
2020-11-08 21:42:54 <zeta_0> Uniaika: this is the only version of hls in nixos 20.09: https://search.nixos.org/packages?channel=20.09&from=0&size=30&sort=relevance&query=haskellPackages.haskell-language-server
2020-11-08 21:43:57 <zeta_0> also, does hls work on single haskell files like ghcide does?
2020-11-08 21:44:42 <Uniaika> hls and ghcide have merged
2020-11-08 21:45:11 <Uniaika> zeta_0: maybe ask your question on #Haskell-ide-engine, you'll be closer to the maintainers
2020-11-08 21:45:24 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:21e:386c:dabc:7a76) (Ping timeout: 240 seconds)
2020-11-08 21:45:59 → conal joins (~conal@209.58.139.27)
2020-11-08 21:46:00 <zeta_0> Uniaika: ok, i'll go ask there instead!
2020-11-08 21:47:16 → newbi joins (4dd82022@77.216.32.34)
2020-11-08 21:48:17 <newbi> evening. im having problems with filtering list of characters. can someone give me some insight?
2020-11-08 21:49:03 <newbi> i have to use list comprehension to search for digits in a list of characters. im having problem with finding digits, its always some kind of error
2020-11-08 21:49:13 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-11-08 21:49:30 <monochrom> @where paste
2020-11-08 21:49:30 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-11-08 21:49:44 → alp joins (~alp@2a01:e0a:58b:4920:286f:8943:c678:1c5c)
2020-11-08 21:49:56 → Gurkenglas_ joins (Gurkenglas@gateway/vpn/protonvpn/gurkenglas)
2020-11-08 21:50:35 <newbi> f1 xs = [x |x<-xs, x<-[0..9]]
2020-11-08 21:51:59 <newbi> https://paste.tomsmeding.com/NEgGvtvH
2020-11-08 21:52:26 <monochrom> x<-[0..9] does not mean checking whether x is one of [0..9].
2020-11-08 21:52:50 <newbi> i tried isDIgit but its always some kind of error
2020-11-08 21:53:21 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-08 21:53:27 <monochrom> OK, post your isDigit version, that one has a much much better chance.
2020-11-08 21:53:37 × Gurkenglas__ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds)
2020-11-08 21:54:26 <newbi> https://paste.tomsmeding.com/xjzt6Tu8
2020-11-08 21:54:43 <monochrom> You need to import it from Data.List
2020-11-08 21:56:44 × chaosmasttter quits (~chaosmast@p200300c4a70b9f01ddca7ff587bb3772.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-08 21:57:10 <newbi> i think i did but it still shows the same error
2020-11-08 21:57:52 <monochrom> Post the most up to date complete code.
2020-11-08 21:58:00 <monochrom> Every byte counts.
2020-11-08 21:58:16 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061)
2020-11-08 21:58:17 <newbi> its the same line of code, i just added "import Data.List"
2020-11-08 21:58:49 <monochrom> Order matters too. Just "adding" is not enough and I can't see where you added it.
2020-11-08 21:59:04 <newbi> i added it above the function
2020-11-08 21:59:06 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-08 21:59:13 <newbi> f1 xs = [x |x<-xs, isDigit(x)]
2020-11-08 21:59:16 <monochrom> And the exact verbatim error message?
2020-11-08 21:59:32 <monochrom> Because it works for me, I can't see what error you got.
2020-11-08 21:59:33 <comerijn> Also, isDigit isn't *in* Data.List, so...
2020-11-08 21:59:42 <monochrom> Oh oops, sorry. Data.Char
2020-11-08 22:00:04 <newbi> yesss
2020-11-08 22:00:11 <comerijn> monochrom: pfft, you n00b ;)
←Prev  Next→
Page 1 .. 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 .. 5022

All times are in UTC.