Logs: freenode/#haskell
| 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.