Logs: liberachat/#haskell
| 2021-08-24 10:51:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-24 10:51:47 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-24 10:52:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 10:55:13 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-24 10:55:58 | <siers> | I found hlint complaining about a redundant bang pattern, which was necessary :) |
| 2021-08-24 10:56:14 | → | chisui joins (~chisui@200116b868760900ef247521c8a78041.dip.versatel-1u1.de) |
| 2021-08-24 10:57:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-24 10:58:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 10:59:16 | → | mouseghost joins (~draco@user/mouseghost) |
| 2021-08-24 10:59:23 | <mouseghost> | i wish i understood this language arhhh |
| 2021-08-24 10:59:49 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-24 11:00:05 | <Drew[m]> | mouseghost: having a particular problem? |
| 2021-08-24 11:00:23 | <mouseghost> | looking at basic parser implementation |
| 2021-08-24 11:01:03 | → | alx741 joins (~alx741@181.196.68.94) |
| 2021-08-24 11:01:24 | <mouseghost> | but i guess this is mostly an issue of the notation here, hmm |
| 2021-08-24 11:02:02 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-24 11:06:18 | <tomsmeding> | siers: report a bug :) |
| 2021-08-24 11:06:40 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2021-08-24 11:06:40 | <siers> | tomsmeding, I guess I should, but I don't have a good testcase |
| 2021-08-24 11:06:44 | × | polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Remote host closed the connection) |
| 2021-08-24 11:06:55 | → | polyphem joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-24 11:07:26 | <tomsmeding> | ah right |
| 2021-08-24 11:07:36 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-08-24 11:07:41 | <siers> | I mean I have a self-contained simple to run one, but it's not small at all |
| 2021-08-24 11:08:13 | <tomsmeding> | I doubt that hlint does sophisticated full-program analysis, so you might be able to significantly reduce it without influencing hlint's behaviour |
| 2021-08-24 11:08:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-24 11:09:21 | → | AlexNoo_ joins (~AlexNoo@178.34.150.125) |
| 2021-08-24 11:10:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 11:11:22 | × | AlexZenon quits (~alzenon@94.233.241.255) (Ping timeout: 252 seconds) |
| 2021-08-24 11:11:22 | × | Alex_test quits (~al_test@94.233.241.255) (Ping timeout: 252 seconds) |
| 2021-08-24 11:12:28 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-24 11:12:54 | × | AlexNoo quits (~AlexNoo@94.233.241.255) (Ping timeout: 258 seconds) |
| 2021-08-24 11:17:04 | → | Alex_test joins (~al_test@178.34.150.125) |
| 2021-08-24 11:17:19 | → | AlexZenon joins (~alzenon@178.34.150.125) |
| 2021-08-24 11:19:04 | × | Morrow_ quits (~Morrow@31.154.96.164) (Ping timeout: 252 seconds) |
| 2021-08-24 11:19:14 | <siers> | what do you mean? |
| 2021-08-24 11:21:15 | <tomsmeding> | siers: you might be able to significantly reduce your code where hlint makes a mistake without influencing hlint's behaviour |
| 2021-08-24 11:21:43 | <siers> | meaning it's worthwhile most of the time or? |
| 2021-08-24 11:21:47 | <siers> | the false flag |
| 2021-08-24 11:21:50 | <tomsmeding> | because I don't think it looks very far from the point where the lint is triggered |
| 2021-08-24 11:22:10 | <tomsmeding> | no you should be able to fairly easily reduce your code to a small reproducing example :p |
| 2021-08-24 11:22:12 | <tomsmeding> | I think |
| 2021-08-24 11:22:26 | → | felixphew joins (~felix@cssa/committee/felix) |
| 2021-08-24 11:23:04 | → | lortabac joins (~lortabac@62.98.34.238) |
| 2021-08-24 11:23:13 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2021-08-24 11:23:41 | <felixphew> | hi! I'm trying to use ghcup on FreeBSD 13.0, and having some difficulties |
| 2021-08-24 11:23:50 | <felixphew> | I hit this issue and fixed it with a symlink: https://gitlab.haskell.org/ghc/ghc/-/issues/20095 |
| 2021-08-24 11:24:05 | <felixphew> | but now I'm getting a missing libgmp.so.10 |
| 2021-08-24 11:24:36 | <felixphew> | does ghcup require GMP from ports? if so, do you know if this is documented anywhere? |
| 2021-08-24 11:24:41 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9534e4a445cd6b407eb5.dip0.t-ipconnect.de) |
| 2021-08-24 11:24:55 | <felixphew> | FreeBSD hasn't come with libgmp for a good 2 decades afaict |
| 2021-08-24 11:25:48 | <maerwald> | felixphew: install the 12.2 compat libs |
| 2021-08-24 11:26:50 | <maerwald> | https://www.freshports.org/misc/compat12x/ |
| 2021-08-24 11:27:22 | <felixphew> | that doesn't come with libgmp.so.10, though...? |
| 2021-08-24 11:27:36 | <felixphew> | https://cgit.freebsd.org/ports/tree/misc/compat12x/pkg-plist.amd64 |
| 2021-08-24 11:27:43 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9556a59b812708dd2de4.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-24 11:28:54 | <maerwald> | it's built on 12.2, so you need whatever is on 12.2 |
| 2021-08-24 11:29:14 | <felixphew> | yes, and I'm pretty sure libgmp.so.10 isn't in 12.2 |
| 2021-08-24 11:29:55 | <felixphew> | I can grab a tarball and check, though |
| 2021-08-24 11:30:06 | <maerwald> | the binary was built here: https://gitlab.haskell.org/haskell/ghcup-hs/-/jobs/759970 |
| 2021-08-24 11:30:09 | <maerwald> | clearly on 12.2 |
| 2021-08-24 11:30:24 | <felixphew> | I'll have a look at that now |
| 2021-08-24 11:32:59 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-24 11:34:14 | <felixphew> | I strongly suspect that whatever this is running on has math/gmp installed |
| 2021-08-24 11:34:16 | <felixphew> | I can |
| 2021-08-24 11:34:31 | <felixphew> | 't check, of course, because it's not a Docker image (being not Linux) |
| 2021-08-24 11:35:34 | <maerwald> | yeah, imagine freebsd had working docker support |
| 2021-08-24 11:35:55 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-24 11:36:02 | <felixphew> | well, it does as a host (using jails with Linux emulation) |
| 2021-08-24 11:36:05 | <felixphew> | just not as a guest |
| 2021-08-24 11:36:26 | <felixphew> | and... yep, judging by this comment: https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/.gitlab/before_script/freebsd/install_deps.sh#L5 |
| 2021-08-24 11:37:06 | <felixphew> | cool, I'll go and install that - it's probably worth noting somewhere that this won't run on a completely fresh FreeBSD system, though |
| 2021-08-24 11:37:14 | <maerwald> | what's the package name |
| 2021-08-24 11:37:19 | <felixphew> | gmp |
| 2021-08-24 11:37:27 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-08-24 11:37:35 | <maerwald> | https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/ghcup-0.0.6.yaml#L137 |
| 2021-08-24 11:37:43 | <maerwald> | it's there |
| 2021-08-24 11:37:57 | <maerwald> | and presented during installation |
| 2021-08-24 11:38:18 | <felixphew> | no it's not, because ghcup _itself_ needs it |
| 2021-08-24 11:38:24 | <maerwald> | ah right |
| 2021-08-24 11:38:32 | <maerwald> | damn bootstrapping |
| 2021-08-24 11:38:46 | <maerwald> | can't win |
| 2021-08-24 11:40:59 | <maerwald> | well, let me know when FreeBSD fixes static linking :p |
| 2021-08-24 11:41:24 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-24 11:41:49 | → | vs^ joins (~vs@12.16.129.111) |
| 2021-08-24 11:45:50 | <merijn> | maerwald: What's broken about it? |
| 2021-08-24 11:46:02 | <maerwald> | merijn: all of it? |
| 2021-08-24 11:46:25 | <maerwald> | I don't remember the details, but I spent probably an entire weekend on that idea |
| 2021-08-24 11:49:48 | × | yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-08-24 11:50:37 | → | yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
| 2021-08-24 11:50:41 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9534e4a445cd6b407eb5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-24 11:51:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2021-08-24 11:52:46 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-24 11:52:58 | → | _ak_ joins (~akspecs@136.24.181.20) |
| 2021-08-24 11:54:46 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-24 11:55:29 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-24 11:55:59 | → | burnside_ joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-24 11:55:59 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-24 11:56:32 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-24 11:56:32 | × | burnside_ quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
All times are in UTC.