Logs: freenode/#haskell
| 2021-03-31 19:19:11 | → | larryba joins (~bc8134e3@199.204.85.195) |
| 2021-03-31 19:19:47 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) |
| 2021-03-31 19:21:17 | → | kenran joins (~kenran@mue-88-130-62-062.dsl.tropolys.de) |
| 2021-03-31 19:21:48 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-31 19:21:56 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-31 19:23:46 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-31 19:25:53 | <tomsmeding> | hm? |
| 2021-03-31 19:26:45 | <tomsmeding> | _fcntl: I think most people working on ghc just checkout the git repository directly on their machine and work in that |
| 2021-03-31 19:26:46 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-03-31 19:27:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-03-31 19:27:26 | <geekosaur> | yes, docker images are more to install particular ghc versions to build programs that need those versions |
| 2021-03-31 19:27:35 | <geekosaur> | and there are other/better ways to do that |
| 2021-03-31 19:27:49 | <_fcntl> | @toms: tried, but have only ghc 8.8 in repository, and it needs 8.10 not available on Ubuntu, so tried with docker |
| 2021-03-31 19:27:49 | <lambdabot> | Unknown command, try @list |
| 2021-03-31 19:27:49 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-31 19:28:38 | → | fuzzy_id joins (~user@1.red-88-0-41.dynamicip.rima-tde.net) |
| 2021-03-31 19:28:42 | <tomsmeding> | _fcntl: people generally use either hvr's ppa, or ghcup to install their ghc; using ghc from the standard distro repositories is fairly uncommon |
| 2021-03-31 19:28:51 | × | malumore_ quits (~malumore@151.62.117.70) (Remote host closed the connection) |
| 2021-03-31 19:29:07 | ← | fuzzy_id parts (~user@1.red-88-0-41.dynamicip.rima-tde.net) () |
| 2021-03-31 19:29:07 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-31 19:29:08 | <_fcntl> | tomsmending: understood, thanks! |
| 2021-03-31 19:29:35 | → | malumore joins (~malumore@151.62.117.70) |
| 2021-03-31 19:29:56 | <tomsmeding> | _fcntl: though I guess installing ghc in a docker container shouldn't be that difficult, nor would updating the image you got be, I guess? |
| 2021-03-31 19:30:20 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-31 19:30:42 | <_fcntl> | @tomsmending: true, but I'm 'newcomer' followed official docs, and couldn't do anything... |
| 2021-03-31 19:30:42 | <lambdabot> | Unknown command, try @list |
| 2021-03-31 19:30:47 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-31 19:31:27 | <tomsmeding> | _fcntl: which docs recommended using an outdated docker image? Perhaps those docs need to be updated :) |
| 2021-03-31 19:31:59 | → | ubert joins (~Thunderbi@p200300ecdf25d9fde6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-31 19:32:07 | <_fcntl> | tomsmeding: https://gitlab.haskell.org/ghc/ghc/-/wikis/building/preparation/linux |
| 2021-03-31 19:34:18 | <Clint> | what's the problem you're trying to solve? |
| 2021-03-31 19:34:42 | <tomsmeding> | Clint: they're trying to follow official docs to build ghc for local development and obtain a ghc that is quite old |
| 2021-03-31 19:35:29 | <_fcntl> | Clint: exactly, as tomsmeding said... I'd like to contribute to ghc somehow... |
| 2021-03-31 19:36:05 | <Clint> | but doesn't that page tell you how to build whatever version of ghc you want? |
| 2021-03-31 19:36:06 | <tomsmeding> | _fcntl: regardless of what the docs say, anyway, I recommend using hvr's ppa or ghcup and doing it locally |
| 2021-03-31 19:36:43 | <tomsmeding> | hm, interesting |
| 2021-03-31 19:36:52 | <tomsmeding> | _fcntl: where did you get the old stuff from? |
| 2021-03-31 19:37:01 | <tomsmeding> | does the docker container not work as specified? |
| 2021-03-31 19:37:08 | <_fcntl> | ok, but now my env is getting a little bit messy ;) I've got ghc from aptitude, some local stack installs, not sure if not installed something via cabal and now ... ghcup, must clean that first.. |
| 2021-03-31 19:37:35 | tomsmeding | assumed without checking that the docker image came with a pre-loaded ghc source tree that was old somehow, but in retrospect that makes no sense |
| 2021-03-31 19:37:58 | <_fcntl> | toms: not working as current (> 9.1 I suspect) requires 8.10 ghc, and docke image has only 8.4 installed |
| 2021-03-31 19:38:20 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-31 19:38:29 | <tomsmeding> | _fcntl: the potential problem with not getting ghc from apt is that if you install some system package that requires haskell libraries, that may pull in the system ghc package anyway |
| 2021-03-31 19:38:33 | <tomsmeding> | _fcntl: ah |
| 2021-03-31 19:38:47 | <_fcntl> | configure: error: GHC version 8.10 or later is required to compile GHC. |
| 2021-03-31 19:38:54 | <_fcntl> | that's the message I got |
| 2021-03-31 19:39:04 | <Clint> | aha |
| 2021-03-31 19:39:05 | <_fcntl> | pity docker images are not inside ghc repo |
| 2021-03-31 19:39:15 | <_fcntl> | *docker descriptos |
| 2021-03-31 19:39:32 | <Clint> | you might want to file a bug on https://github.com/gregwebs/ghc-docker-dev/issues |
| 2021-03-31 19:39:41 | <Clint> | or send a pull request after tweaking the Dockerfile yourself |
| 2021-03-31 19:39:51 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-31 19:40:04 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-88-181.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-03-31 19:40:10 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-31 19:40:32 | <tomsmeding> | _fcntl: the Dockerfile is there though |
| 2021-03-31 19:40:43 | <_fcntl> | I may do that but I think it would be easier (?) to introduce dockerfile to ghc source tree |
| 2021-03-31 19:40:46 | <_fcntl> | lemme check |
| 2021-03-31 19:41:06 | <tomsmeding> | though debian testing only seems to have ghc-8.8.4 |
| 2021-03-31 19:41:41 | <Clint> | doesn't matter, he's getting it from hvr |
| 2021-03-31 19:42:20 | <tomsmeding> | Clint: where do you see that Dockerfile adding hvr's repo? |
| 2021-03-31 19:42:25 | → | Guest_17 joins (6029f825@096-041-248-037.res.spectrum.com) |
| 2021-03-31 19:42:40 | <tomsmeding> | oh lol hvr's name isn't in there |
| 2021-03-31 19:42:55 | <Clint> | tomsmeding: https://github.com/gregwebs/ghc-docker-dev/blob/master/Dockerfile#L30 |
| 2021-03-31 19:42:55 | tomsmeding | is stupid |
| 2021-03-31 19:43:04 | <tomsmeding> | yes indeed thanks |
| 2021-03-31 19:43:07 | <Clint> | np |
| 2021-03-31 19:44:43 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-31 19:47:07 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 2021-03-31 19:47:07 | Server | sets mode +CLnt |
| 2021-03-31 19:47:24 | <tomsmeding> | monochrom: I'm using digitalocean's standard ubuntu image for this particular server |
| 2021-03-31 19:47:36 | <tomsmeding> | though I changed the system locale to en_US.UTF-8 and it's still crashing :p |
| 2021-03-31 19:47:44 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-31 19:47:47 | <monochrom> | haha yikes |
| 2021-03-31 19:48:01 | <geekosaur> | ick |
| 2021-03-31 19:48:21 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 2021-03-31 19:50:12 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-31 19:50:41 | <monochrom> | Yikes, so Strachey was responsible for the name "currying". |
| 2021-03-31 19:50:51 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-03-31 19:51:10 | <dolio> | Oh really? |
| 2021-03-31 19:51:34 | <monochrom> | https://en.wikipedia.org/wiki/Christopher_Strachey#Work |
| 2021-03-31 19:52:09 | <dolio> | So it's his fault that Schönfinkel doesn't get his due? |
| 2021-03-31 19:52:11 | <monochrom> | haha [citation needed] OK I am not so sure now |
| 2021-03-31 19:54:15 | <tomsmeding> | relevant: https://en.wikipedia.org/wiki/Currying#History |
| 2021-03-31 19:55:06 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-31 19:55:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-03-31 19:55:33 | <tomsmeding> | searching "strachey 1967" turns up https://www.cs.cmu.edu/~crary/819-f09/Strachey67.pdf which doesn't contain the word 'currying' |
| 2021-03-31 19:56:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 19:56:47 | <monochrom> | Um, and he got to patent "base registers for program relocation"??!!! |
| 2021-03-31 19:56:48 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-31 19:57:58 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-31 19:58:26 | <tomsmeding> | patent? |
| 2021-03-31 19:58:41 | <tomsmeding> | did every cpu manufacturer ever pay royalties |
| 2021-03-31 19:58:52 | <monochrom> | Yeah. The good old days of being able to patent base registers and xor tricks. |
| 2021-03-31 19:59:42 | <monochrom> | Then again, today we also get to patent 1-click-buy and touch-the-icon-to-open. |
| 2021-03-31 20:00:17 | <tomsmeding> | patent "using foldl' instead of foldl" and make every haskell program slower |
| 2021-03-31 20:00:17 | × | borne quits (~fritjof@200116b86411e500f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-03-31 20:00:39 | <monochrom> | >:) |
| 2021-03-31 20:01:29 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-31 20:04:33 | × | argento quits (~argent0@191.81.225.82) (Ping timeout: 268 seconds) |
| 2021-03-31 20:05:06 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
All times are in UTC.