Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 799 800 801 802 803 804 805 806 807 808 809 .. 5022
— 502,152 events total
2020-10-22 13:12:27 <AWizzArd> geekosaur: do you think ghc will stick with those historical decisions or clean this at some point up, and move/remove certain functions?
2020-10-22 13:12:36 <sandman13> Hi, I have a directory that is tracked by git and has few Haskell files. How can I setup stack without deleting the repo and starting from scratch?
2020-10-22 13:13:06 <sandman13> I tried stack new <already_existing_directory> but it refused to setup as directory already existed
2020-10-22 13:13:30 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 13:13:49 <geekosaur> AWizzArd, there is a library proposals process for such changes
2020-10-22 13:13:58 × erolm_a quits (~erolm_a@82.24.185.133) (Ping timeout: 260 seconds)
2020-10-22 13:14:30 <merijn> geekosaur: Incorrect
2020-10-22 13:14:36 <merijn> geekosaur: Prelude is in the Report
2020-10-22 13:14:48 <merijn> the library proposals process is for non-report libraries only
2020-10-22 13:15:02 <merijn> Good freaking luck getting people to accept Prelude changes
2020-10-22 13:15:10 <geekosaur> we aleady violate the Report in a few places (notably some Applicative stuff iirc)
2020-10-22 13:15:27 <merijn> geekosaur: Yes, and if you recall the mailing list drama involved for those...
2020-10-22 13:15:35 <geekosaur> and of course there's AMP which completely violates the Report
2020-10-22 13:15:46 <merijn> AMP took months/years of mailing list skirmishes to pass
2020-10-22 13:16:07 <merijn> And there are very vocal people who oppose to any *growth* of Prelude
2020-10-22 13:16:25 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 13:16:37 <merijn> So the realistic time frame for "traverse_" moving to Prelude are very slim
2020-10-22 13:16:38 → christo joins (~chris@81.96.113.213)
2020-10-22 13:18:08 <yushyin> haskell2020 now!
2020-10-22 13:18:51 → visage_ joins (~visage_@unaffiliated/visage/x-6658724)
2020-10-22 13:19:10 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 13:19:33 <merijn> yushyin: Everyone wants a new standard because they get all the cool new extensions, nobody wants to do the work to specify the extensions
2020-10-22 13:19:34 <geekosaur> the kind of yammering merijn is talking about is part of why h2020 is dead, I suspect
2020-10-22 13:19:45 <merijn> geekosaur: Well, not quite
2020-10-22 13:20:09 <merijn> geekosaur: HaskellPrime keeps dying because people want to do the cool Prelude refactors, but not the "how do we specify extension X?" work
2020-10-22 13:20:20 <merijn> HaskellPrime keeps being restarted and dying for that reason
2020-10-22 13:20:31 → tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-22 13:21:31 <yushyin> my comment was meant rather sarcastically
2020-10-22 13:22:18 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-22 13:23:42 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 13:25:03 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-22 13:28:19 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 13:30:16 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-22 13:30:34 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:dc3b:a165:56fa:c9b) (Remote host closed the connection)
2020-10-22 13:31:01 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-10-22 13:32:59 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-22 13:33:51 × rotaerk quits (rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 272 seconds)
2020-10-22 13:34:56 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2020-10-22 13:36:22 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 13:36:39 → erolm_a joins (~erolm_a@62.18.212.252)
2020-10-22 13:38:05 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-10-22 13:38:14 × sandman13 quits (~sandman@unaffiliated/sandman13) (Quit: Leaving...)
2020-10-22 13:38:59 → ph88 joins (~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de)
2020-10-22 13:39:42 → daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-10-22 13:40:11 <daydaynatation> what does the tilde mean? ~(f, s') <- mf s
2020-10-22 13:40:27 <merijn> daydaynatation: Lazy pattern
2020-10-22 13:40:48 <ph88> is this a promoted datatype which needs DataKinds extension? type Foo = '("Bar", String)
2020-10-22 13:40:59 <daydaynatation> merijn: thx
2020-10-22 13:40:59 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 13:41:05 <merijn> daydaynatation: So the pattern forcing is delayed until you evaluate the f or s'
2020-10-22 13:41:10 → justsomeguy joins (~justsomeg@216.186.218.241)
2020-10-22 13:41:11 × justsomeguy quits (~justsomeg@216.186.218.241) (Changing host)
2020-10-22 13:41:11 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-22 13:41:24 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 13:41:51 <daydaynatation> merijn: when would you use it?
2020-10-22 13:42:01 → ukari joins (~ukari@unaffiliated/ukari)
2020-10-22 13:42:26 <merijn> daydaynatation: usually in a recursive binding where the pattern you're computing depends on the result of the pattern match
2020-10-22 13:42:28 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds)
2020-10-22 13:44:04 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 13:44:17 × MVQq quits (~anja@198.254.202.72) (Quit: q)
2020-10-22 13:44:55 → MarcelineVQ joins (~anja@198.254.202.72)
2020-10-22 13:46:22 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 13:47:34 <siraben> daydaynatation: you should not use it when you have more than one constructor for the data type, see the Implications section of https://wiki.haskell.org/Lazy_pattern_match
2020-10-22 13:48:26 → fendor__ joins (~fendor@91.141.1.218.wireless.dyn.drei.com)
2020-10-22 13:48:56 → rotaerk joins (~rotaerk@ender.afternet.org)
2020-10-22 13:50:45 × fendor quits (~fendor@91.141.3.69.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-10-22 13:50:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-22 13:51:52 × Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Remote host closed the connection)
2020-10-22 13:52:38 → Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-10-22 13:53:22 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7)
2020-10-22 13:53:27 × pixel_ quits (~pixel_@178.238.229.54) (Remote host closed the connection)
2020-10-22 13:53:46 <siraben> Have people here used AutoBench https://github.com/mathandley/AutoBench or is there a better alternative?
2020-10-22 13:53:59 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7) (Client Quit)
2020-10-22 13:54:21 <hyperisco> No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for .stack-work\dist\29cc6475\build\weave\autogen\...
2020-10-22 13:54:21 <hyperisco> Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie)
2020-10-22 13:55:15 <hyperisco> I get that error every time I save a file in VSCode using the Haskell IDE extension. I have created a cradle yaml for my project. How can I know where it is looking for the cradle config?
2020-10-22 13:56:45 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 13:56:55 → stefan-__ joins (~cri@42dots.de)
2020-10-22 13:57:30 → sendak joins (~sendak@94.229.74.91)
2020-10-22 13:59:31 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 14:00:38 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 14:01:45 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 14:03:24 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-22 14:03:56 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-22 14:07:04 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 14:08:41 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-22 14:10:50 → ubert1 joins (~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de)
2020-10-22 14:11:40 × cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit)
2020-10-22 14:11:43 × dhil quits (~dhil@195.213.192.122) (Ping timeout: 260 seconds)
2020-10-22 14:11:51 × ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 272 seconds)
2020-10-22 14:11:51 ubert1 is now known as ubert
2020-10-22 14:11:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 14:11:57 → StoneToad joins (~StoneToad@199-167-119-164.ppp.storm.ca)
2020-10-22 14:12:48 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-22 14:13:53 × mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2020-10-22 14:14:31 × daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2020-10-22 14:14:42 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 14:15:01 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 14:15:02 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 14:15:02 → GyroW joins (~GyroW@unaffiliated/gyrow)
←Prev  Next→
Page 1 .. 799 800 801 802 803 804 805 806 807 808 809 .. 5022

All times are in UTC.