Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 413 414 415 416 417 418 419 420 421 422 423 .. 5022
502,152 events total
2020-10-04 20:53:16 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-04 20:54:05 falafel joins (~falafel@2605:e000:1527:d491:706d:90a5:67aa:1cd9)
2020-10-04 20:54:26 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-04 21:00:01 × kenperkins1 quits (~kenperkin@185.163.110.116) ()
2020-10-04 21:00:56 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-04 21:01:27 sQVe joins (~sQVe@unaffiliated/sqve)
2020-10-04 21:01:54 × motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Quit: quit)
2020-10-04 21:05:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-04 21:07:29 × theDon quits (~td@94.134.91.94) (Ping timeout: 260 seconds)
2020-10-04 21:08:10 mirrorbird joins (~psutcliff@2a00:801:42a:82eb:6edc:4c78:a574:2a8f)
2020-10-04 21:08:18 <koz_> maerwald: You're the person who deals with ghcup right?
2020-10-04 21:09:02 <maerwald> koz_: yes
2020-10-04 21:09:05 Sheilong joins (uid293653@gateway/web/irccloud.com/x-bxwmidpkndksabez)
2020-10-04 21:09:20 <koz_> Part of the compilation process for 'ghcup compile ghc' is this: cd bindistprep && "/usr/bin/tar" hcf - -T ../bindist-list.uniq | /usr/bin/xz -c > ../bindistprep/ghc-8.8.4-x86_64-unknown-linux.tar.xz
2020-10-04 21:09:43 <maerwald> yeah
2020-10-04 21:09:44 <koz_> Is there a way we can parallelize this step? xz can take a -T argument for parallel cores to use.
2020-10-04 21:09:52 <koz_> (-T0 means 'as many as I can')
2020-10-04 21:10:06 <koz_> We already feed -j to ghcup compile ghc, so that could be translated in.
2020-10-04 21:11:12 <koz_> It's actually quite a long step, and it's _needlessly_ quite long IMHO.
2020-10-04 21:11:26 <maerwald> https://gitlab.haskell.org/ghc/ghc/-/blob/master/ghc.mk#L1096
2020-10-04 21:11:49 <koz_> Ah, so it's hardwired.
2020-10-04 21:12:00 <koz_> So I guess I need to take it up with folks in #GHC?
2020-10-04 21:12:04 <maerwald> yeah
2020-10-04 21:12:09 <koz_> maerwald: OK, thanks!
2020-10-04 21:12:19 <koz_> How do you feed -j12 into the compile process in ghcup?
2020-10-04 21:12:24 <koz_> (or -jwhatever, rather)
2020-10-04 21:12:32 <maerwald> -j 12
2020-10-04 21:12:48 <koz_> Ah, so do you just pass it into GHC's own build system thingo?
2020-10-04 21:13:08 <maerwald> `ghcup compile ghc --help` is quite verbose
2020-10-04 21:13:16 <maerwald> yeah
2020-10-04 21:16:26 <koz_> maerwald: OK, gonna chat to them.
2020-10-04 21:17:25 jgt joins (~jgt@109.122.28.107)
2020-10-04 21:21:05 × John20 quits (~John@82.46.59.122) (Ping timeout: 240 seconds)
2020-10-04 21:21:08 hexfive joins (~hexfive@50.35.90.193)
2020-10-04 21:21:40 Hellaenergy joins (~Hellaener@185.244.214.216)
2020-10-04 21:22:36 × hexfive quits (~hexfive@50.35.90.193) (Client Quit)
2020-10-04 21:23:12 × jollygood2 quits (~bc815b99@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2020-10-04 21:25:20 × sQVe quits (~sQVe@unaffiliated/sqve) (Quit: Bye!)
2020-10-04 21:28:24 × OmegaDoug84 quits (8e749d03@lnsm3-torontoxn-142-116-157-3.internet.virginmobile.ca) (Ping timeout: 245 seconds)
2020-10-04 21:29:19 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-04 21:34:17 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2020-10-04 21:35:28 hackage recursion-schemes 5.2.1 - Representing common recursion patterns as higher-order functions https://hackage.haskell.org/package/recursion-schemes-5.2.1 (ryanglscott)
2020-10-04 21:37:55 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-04 21:38:34 wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-04 21:39:13 stree_ joins (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net)
2020-10-04 21:39:28 mpereira joins (~mpereira@2a02:810d:f40:d96:1c35:7f2e:59ff:953)
2020-10-04 21:39:43 nbloomf joins (~nbloomf@2600:1700:83e0:1f40:413a:68d0:b0f8:a104)
2020-10-04 21:39:56 × todda7 quits (~torstein@athedsl-4367507.home.otenet.gr) (Ping timeout: 272 seconds)
2020-10-04 21:41:12 × stree quits (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) (Ping timeout: 272 seconds)
2020-10-04 21:43:06 sep2 joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-10-04 21:45:27 conal joins (~conal@64.71.133.70)
2020-10-04 21:45:33 raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-04 21:45:40 jaj[m] parts (jajjoachim@gateway/shell/matrix.org/x-uayrvcrqbmwzsqhw) ("User left")
2020-10-04 21:51:12 <sep2> https://dpaste.org/0jMi I am doing a finite state machine check, for transition function am I on the right path? I'm not sure if I'm understanding it correctly.
2020-10-04 21:53:48 × darjeeling_ quits (~darjeelin@122.245.210.179) (Ping timeout: 256 seconds)
2020-10-04 21:54:57 hackage these-lens 1.0.1.1 - Lenses for These https://hackage.haskell.org/package/these-lens-1.0.1.1 (phadej)
2020-10-04 21:55:08 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-04 21:55:39 perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-04 21:55:39 × chaosmasttter quits (~chaosmast@p200300c4a73b2e0168c1f453f2fcf16d.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-04 21:55:57 hackage these-optics 1.0.1.1 - Optics for These https://hackage.haskell.org/package/these-optics-1.0.1.1 (phadej)
2020-10-04 21:56:36 darjeeling_ joins (~darjeelin@122.245.210.179)
2020-10-04 21:56:43 × fendor quits (~fendor@178.165.130.169.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-04 21:56:56 conal joins (~conal@64.71.133.70)
2020-10-04 21:57:25 × solonarv quits (~solonarv@astrasbourg-653-1-252-112.w92-161.abo.wanadoo.fr) (Quit: Lost terminal)
2020-10-04 21:57:57 hackage strict-lens 0.4.0.1 - Lenses for types in strict package https://hackage.haskell.org/package/strict-lens-0.4.0.1 (phadej)
2020-10-04 21:58:57 hackage strict-optics 0.4.0.1 - Optics for types in strict package https://hackage.haskell.org/package/strict-optics-0.4.0.1 (phadej)
2020-10-04 21:59:23 <Buntspecht> sep2: Does that code compile for you?
2020-10-04 22:01:58 oisdk joins (~oisdk@2001:bb6:3329:d100:89a1:5b05:b385:265f)
2020-10-04 22:02:34 pqwy[m]1 joins (pqwymatrix@gateway/shell/matrix.org/x-xmdgkqmgtiqeqonc)
2020-10-04 22:02:37 solonarv joins (~solonarv@astrasbourg-653-1-252-112.w92-161.abo.wanadoo.fr)
2020-10-04 22:03:31 × petersen quits (~petersen@redhat/juhp) (Quit: petersen)
2020-10-04 22:03:43 <sep2> I suppose not I was wondering if I had the right idea of going about it
2020-10-04 22:04:00 × miguicho quits (~miguel@host-186-101-215-54.netlife.ec) (Ping timeout: 272 seconds)
2020-10-04 22:04:11 petersen joins (~petersen@redhat/juhp)
2020-10-04 22:05:35 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-04 22:07:13 <Buntspecht> sep2: The logic look okay too me, but there's a syntax error at the bottom. If you introduce lokal definitions for a function, you use the "where" keyword
2020-10-04 22:07:32 <Buntspecht> Also there's a spurious $ in line 29
2020-10-04 22:08:51 <int-e> that looks like a cut-off line actuall
2020-10-04 22:09:41 <int-e> And the $ is the 80th character on that line, making that idea more plausible.
2020-10-04 22:12:35 <Cheery> I installed LanguageClient to Vim and trying things out. Any idea of what convenient things I can do with this thing?
2020-10-04 22:13:05 <Cheery> For example, can I see the stuff for the type holes, and can this thing evaluate things for me?
2020-10-04 22:13:49 × sep2 quits (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2020-10-04 22:15:05 × mirrorbird quits (~psutcliff@2a00:801:42a:82eb:6edc:4c78:a574:2a8f) (Quit: Leaving)
2020-10-04 22:15:43 <maerwald> evaluating selections it cannot do
2020-10-04 22:16:26 × isovector1 quits (~isovector@172.103.216.166) (Quit: Leaving)
2020-10-04 22:16:40 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 246 seconds)
2020-10-04 22:17:04 × mrchampion quits (~mrchampio@216-211-57-41.dynamic.tbaytel.net) (Remote host closed the connection)
2020-10-04 22:17:22 irc_user joins (uid423822@gateway/web/irccloud.com/x-jgthhmutdxudiomv)
2020-10-04 22:19:16 <Cheery> It shows a cross in the column on the left side, and I'd like to see the whole error message at that point.
2020-10-04 22:19:21 × michalrus quits (m@michalrus.com) (Ping timeout: 260 seconds)
2020-10-04 22:20:59 × mpereira quits (~mpereira@2a02:810d:f40:d96:1c35:7f2e:59ff:953) (Ping timeout: 272 seconds)
2020-10-04 22:21:37 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-04 22:23:15 <justsomeguy> Is C a weakly typed language?
2020-10-04 22:24:03 <maerwald> Cheery: open quickfix window
2020-10-04 22:24:33 <justsomeguy> (For context, I'm learning about type systems, and don't know any C, but suspect that it may be weakly typed since I see a lot of errors related to pointers.)
2020-10-04 22:24:45 notzmv` joins (~user@177.45.26.174)
2020-10-04 22:24:45 × notzmv` quits (~user@177.45.26.174) (Read error: Connection reset by peer)
2020-10-04 22:25:13 zmv joins (~user@177.45.26.174)
2020-10-04 22:25:17 × jonatanb quits (~jonatanb@79.184.190.239.ipv4.supernova.orange.pl) (Quit: Leaving...)
2020-10-04 22:25:36 zmv is now known as Guest90969

All times are in UTC.