Logs: freenode/#haskell
| 2020-10-03 16:12:45 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-03 16:12:45 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-03 16:12:45 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-03 16:13:19 | × | avdb quits (~avdb@ip-83-134-26-4.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-10-03 16:14:51 | → | shatriff joins (~vitaliish@78.111.190.146) |
| 2020-10-03 16:15:45 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2020-10-03 16:16:37 | → | madnight joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2020-10-03 16:16:40 | × | da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-03 16:18:08 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-03 16:18:18 | → | GyroW joins (~GyroW@d54c03e98.access.telenet.be) |
| 2020-10-03 16:18:18 | × | GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 2020-10-03 16:18:18 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-03 16:18:57 | hackage | rattletrap 9.2.0 - Parse and generate Rocket League replays. https://hackage.haskell.org/package/rattletrap-9.2.0 (fozworth) |
| 2020-10-03 16:20:39 | × | mav1 quits (~mav@i59F4E15F.versanet.de) (Quit: WeeChat 2.9) |
| 2020-10-03 16:21:44 | ← | john_freekon parts (5cf785e2@92.247.133.226) () |
| 2020-10-03 16:25:03 | × | conal quits (~conal@66.115.157.135) (Quit: Computer has gone to sleep.) |
| 2020-10-03 16:25:23 | × | shatriff quits (~vitaliish@78.111.190.146) (Ping timeout: 256 seconds) |
| 2020-10-03 16:26:22 | → | jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
| 2020-10-03 16:26:22 | × | jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
| 2020-10-03 16:26:22 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 2020-10-03 16:27:57 | × | rusua_ quits (uid124537@gateway/web/irccloud.com/x-rvpnrgylngbccoaw) (Quit: Connection closed for inactivity) |
| 2020-10-03 16:30:35 | → | Lucas__ joins (~Lucas@187.123.1.224) |
| 2020-10-03 16:31:13 | → | geekosaur joins (42d52102@66.213.33.2) |
| 2020-10-03 16:31:28 | × | Lucas__ quits (~Lucas@187.123.1.224) (Read error: Connection reset by peer) |
| 2020-10-03 16:32:54 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2020-10-03 16:33:03 | → | jgt joins (~jgt@188.239.64.32) |
| 2020-10-03 16:33:49 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds) |
| 2020-10-03 16:34:02 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-03 16:34:02 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-03 16:34:02 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-03 16:34:55 | → | madnight joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2020-10-03 16:38:40 | → | isovector1 joins (~isovector@172.103.216.166) |
| 2020-10-03 16:46:04 | <dsal> | I spin up a sufficiently large aws instance to do my builds. At least, initial builds. cachix is taking care of the deps. |
| 2020-10-03 16:46:14 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-10-03 16:46:52 | <maerwald> | caching isn't the problem |
| 2020-10-03 16:46:55 | <tomjaguarpaw> | dsal: That's very cool. Do you have a script or write up you've published about how you do that? |
| 2020-10-03 16:47:06 | <maerwald> | we used cabal-cache and it works fine too |
| 2020-10-03 16:49:36 | × | elliott_ quits (~elliott_@pool-108-28-204-229.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-10-03 16:49:43 | → | shatriff joins (~vitaliish@78.111.190.146) |
| 2020-10-03 16:49:58 | → | elliott_ joins (~elliott_@pool-108-28-204-229.washdc.fios.verizon.net) |
| 2020-10-03 16:51:21 | × | shatriff quits (~vitaliish@78.111.190.146) (Read error: Connection reset by peer) |
| 2020-10-03 16:51:23 | → | Saukk joins (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) |
| 2020-10-03 16:51:37 | → | shatriff joins (~vitaliish@78.111.190.146) |
| 2020-10-03 16:52:06 | <maerwald> | but that's not what "scales well" means :) |
| 2020-10-03 16:52:25 | × | elliott_ quits (~elliott_@pool-108-28-204-229.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-10-03 16:52:53 | × | Saukk quits (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection) |
| 2020-10-03 16:53:01 | × | jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 264 seconds) |
| 2020-10-03 16:53:10 | × | vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2020-10-03 16:54:15 | <dsal> | tomjaguarpaw: I have a small note about how to launch the instance again. All I did was built out an aws instance on nixos, and then use cachix. |
| 2020-10-03 16:56:47 | bcoppens_ | is now known as bcoppens |
| 2020-10-03 16:56:48 | × | bcoppens quits (~bartcopp@vpn2.bartcoppens.be) (Changing host) |
| 2020-10-03 16:56:48 | → | bcoppens joins (~bartcopp@kde/coppens) |
| 2020-10-03 16:57:58 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds) |
| 2020-10-03 16:59:23 | → | elliott_ joins (~elliott_@pool-108-28-204-229.washdc.fios.verizon.net) |
| 2020-10-03 16:59:31 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-10-03 17:03:46 | × | jwynn6_ quits (~justin@050-088-122-078.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2020-10-03 17:04:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2020-10-03 17:04:49 | → | tzh joins (~tzh@2601:448:c500:5300::143b) |
| 2020-10-03 17:05:25 | × | jgt quits (~jgt@188.239.64.32) (Ping timeout: 240 seconds) |
| 2020-10-03 17:08:08 | → | jedws joins (~jedws@121.209.139.222) |
| 2020-10-03 17:08:25 | × | elliott_ quits (~elliott_@pool-108-28-204-229.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-10-03 17:09:08 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:d17f:3343:5407:5673) |
| 2020-10-03 17:09:12 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-03 17:09:12 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-03 17:09:12 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-03 17:09:24 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds) |
| 2020-10-03 17:09:58 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2020-10-03 17:09:58 | → | Lycurgus joins (~niemand@98.4.96.130) |
| 2020-10-03 17:12:03 | × | Franciman quits (~francesco@host-212-171-42-250.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-10-03 17:12:03 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2020-10-03 17:12:24 | → | thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) |
| 2020-10-03 17:13:08 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2020-10-03 17:13:53 | → | kw joins (ac4a6125@cpe-172-74-97-37.nc.res.rr.com) |
| 2020-10-03 17:13:58 | → | John20 joins (~John@82.46.59.122) |
| 2020-10-03 17:14:18 | <kw> | How do I tell GHC that a typeclass-based pair of patterns is complete? |
| 2020-10-03 17:14:22 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2020-10-03 17:14:59 | <kw> | I keep getting parse errors on the `{-# COMPLETE ... #-}` prgagma when I add signatures. |
| 2020-10-03 17:16:25 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2020-10-03 17:16:47 | × | thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-03 17:17:34 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-hdtidkhqzeetbjwg) |
| 2020-10-03 17:18:01 | <kw> | E.g. I get a parse error on `{-# COMPLETE Empty :: (HasTail m)=> m a, (:<:) :: (Consable m, HasTail m)=> a -> m a -> m a #-}` |
| 2020-10-03 17:18:32 | <kw> | But on `{-# COMPLETE Empty, (:<:) #-}` GHC tells me that I need to add signatures. |
| 2020-10-03 17:20:52 | × | voyons_osti quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer) |
| 2020-10-03 17:21:05 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 240 seconds) |
| 2020-10-03 17:21:43 | → | voyons_osti joins (~dan@107-190-41-58.cpe.teksavvy.com) |
| 2020-10-03 17:23:15 | <tomjaguarpaw> | Does anyone know how to increase the stored history length in GHCi? |
| 2020-10-03 17:25:34 | <geekosaur> | https://github.com/judah/haskeline/wiki/UserPreferences |
| 2020-10-03 17:25:43 | → | thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) |
| 2020-10-03 17:26:47 | <geekosaur> | unfortunately, this seems to apply to anything that uses haskeline. fortunately, to date there's not a lot beyond ghci that uses it |
| 2020-10-03 17:27:09 | × | kw quits (ac4a6125@cpe-172-74-97-37.nc.res.rr.com) (Ping timeout: 245 seconds) |
| 2020-10-03 17:28:08 | → | elliott_ joins (~elliott_@pool-108-28-204-229.washdc.fios.verizon.net) |
| 2020-10-03 17:28:48 | feralSigyn | is now known as Sigyn |
| 2020-10-03 17:29:13 | → | knupfer joins (~Thunderbi@i59F7FF93.versanet.de) |
| 2020-10-03 17:30:32 | × | thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-03 17:31:22 | <tomjaguarpaw> | geekosaur: Thanks |
| 2020-10-03 17:33:16 | → | shaman_king joins (b94186aa@185.65.134.170) |
| 2020-10-03 17:33:18 | <shaman_king> | hi |
| 2020-10-03 17:33:25 | <shaman_king> | i hot a huge fart coming in |
| 2020-10-03 17:33:37 | <shaman_king> | a massive one as wel |
| 2020-10-03 17:35:38 | ChanServ | sets mode +q *!*@185.65.134.170 |
All times are in UTC.