Logs: freenode/#haskell
| 2021-03-23 01:30:31 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9) |
| 2021-03-23 01:32:06 | → | conal joins (~conal@192.145.118.79) |
| 2021-03-23 01:32:57 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 2021-03-23 01:33:43 | → | Tario joins (~Tario@200.119.184.61) |
| 2021-03-23 01:33:59 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
| 2021-03-23 01:35:21 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-23 01:39:53 | → | drbean joins (~drbean@TC210-63-209-42.static.apol.com.tw) |
| 2021-03-23 01:40:00 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-23 01:43:09 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-23 01:43:11 | × | Tario quits (~Tario@200.119.184.61) (Read error: Connection reset by peer) |
| 2021-03-23 01:44:09 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-23 01:45:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-23 01:47:38 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-03-23 01:50:37 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-23 01:50:58 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-03-23 01:53:57 | <gnumonic> | Hello. I'm writing some TH and I was wondering if there was a way to express the "{}" in TH (I dunno what it's called. Field wildcard?) that you'd use if you wanted to match on a constructor while ignoring its fields (eg "SomeConstr {} -> y" |
| 2021-03-23 01:55:15 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-03-23 01:56:14 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-03-23 01:58:52 | <glguy> | recP name [] |
| 2021-03-23 01:59:13 | × | stevenxl quits (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-23 02:01:05 | <gnumonic> | Thanks! I think that'll work. For some reason I thought I had to use ConP. |
| 2021-03-23 02:03:26 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-23 02:04:20 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Client Quit) |
| 2021-03-23 02:08:42 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-23 02:08:42 | → | stevenxl joins (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
| 2021-03-23 02:09:47 | × | metaweta quits (a6461f1c@166.70.31.28) (Quit: Connection closed) |
| 2021-03-23 02:10:08 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-03-23 02:11:23 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/) |
| 2021-03-23 02:11:46 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Quit: Leaving.) |
| 2021-03-23 02:12:59 | × | xsperry quits (~as@unaffiliated/xsperry) () |
| 2021-03-23 02:13:35 | × | DataComputist quits (~lumeng@50.43.26.251) (Read error: No route to host) |
| 2021-03-23 02:13:45 | × | stevenxl quits (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-23 02:13:49 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-23 02:14:40 | → | stevenxl joins (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
| 2021-03-23 02:14:52 | → | ntkr joins (uid491148@gateway/web/irccloud.com/x-onytzymuldscxwyh) |
| 2021-03-23 02:15:58 | × | stevenxl quits (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Client Quit) |
| 2021-03-23 02:19:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-23 02:19:43 | × | dhil quits (~dhil@80.208.56.181) (Ping timeout: 265 seconds) |
| 2021-03-23 02:19:43 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-23 02:19:54 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-23 02:21:59 | → | xff0x_ joins (~xff0x@2001:1a81:5377:7c00:cfc9:4ce8:81dd:681d) |
| 2021-03-23 02:24:07 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-23 02:24:48 | × | xff0x quits (~xff0x@port-92-193-144-80.dynamic.as20676.net) (Ping timeout: 260 seconds) |
| 2021-03-23 02:27:25 | → | tinhatcat joins (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) |
| 2021-03-23 02:27:33 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 245 seconds) |
| 2021-03-23 02:28:16 | → | raym joins (~ray@115.187.32.14) |
| 2021-03-23 02:29:29 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2021-03-23 02:29:45 | → | Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-23 02:32:02 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-23 02:32:16 | → | xsperry joins (~as@cpe-188-129-52-227.dynamic.amis.hr) |
| 2021-03-23 02:32:16 | × | xsperry quits (~as@cpe-188-129-52-227.dynamic.amis.hr) (Changing host) |
| 2021-03-23 02:32:16 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-23 02:33:32 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-23 02:34:24 | × | Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2021-03-23 02:36:07 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-23 02:37:14 | × | tabemann quits (~travisb@2600:1700:7990:24e0:101f:ae79:c83b:6c90) (Remote host closed the connection) |
| 2021-03-23 02:37:16 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-23 02:37:29 | → | tabemann joins (~travisb@2600:1700:7990:24e0:b0d9:c8e5:6265:88f4) |
| 2021-03-23 02:41:52 | → | ryxai joins (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) |
| 2021-03-23 02:43:28 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-23 02:48:02 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-03-23 02:48:45 | → | emmanuel_erc joins (~user@cpe-74-71-106-64.nyc.res.rr.com) |
| 2021-03-23 02:49:00 | → | kam1 joins (~kam1@37.129.96.190) |
| 2021-03-23 02:49:14 | → | z0k joins (~user@115.186.169.1) |
| 2021-03-23 02:49:20 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
| 2021-03-23 02:49:53 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-23 02:50:07 | × | dleffler1 quits (~dleffler@178.239.168.171) (Remote host closed the connection) |
| 2021-03-23 02:50:08 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-23 02:58:21 | → | qih joins (~dietpi@219-89-183-60-fibre.sparkbb.co.nz) |
| 2021-03-23 02:59:45 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-23 02:59:55 | <qih> | Hi, I am using https://www.stephendiehl.com/posts/vim_2016.html to configure a Vim for Haskell, but I've run into an issue with 'stack install hlint ghc-mod', the system reports that I have the incorrect version of GHC to do this. I installed the current GHC using Stack. What is the issue? |
| 2021-03-23 03:00:53 | → | guest323 joins (~user@49.5.6.87) |
| 2021-03-23 03:03:54 | <qih> | This is the pastebin re the issue => https://pastebin.com/tzm75a4j |
| 2021-03-23 03:04:23 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2021-03-23 03:04:41 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-23 03:05:03 | <Axman6> | so accoring to hackage, ghc-mod is deprecated |
| 2021-03-23 03:05:07 | <Axman6> | according* |
| 2021-03-23 03:05:47 | <dmwit> | Anyway, the issue is probably that you need to specify an older resolver when installing hlint+ghc-mod. |
| 2021-03-23 03:05:50 | <Axman6> | can't you use HLS with vim? |
| 2021-03-23 03:05:52 | → | Guest90956 joins (~marienz@37.120.211.188) |
| 2021-03-23 03:06:55 | <dmwit> | Yeah, LSP is probably the way to go now. |
| 2021-03-23 03:07:42 | <qih> | Axman6: You can, am just reading on the 'Coc' setup, or https://github.com/haskell/haskell-language-server |
| 2021-03-23 03:07:52 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-23 03:08:03 | <qih> | Thanks for the advice. |
| 2021-03-23 03:08:44 | <guest323> | if f = fix F, F f n = f (pred n), and F f n = F f (pred n), are equal? |
| 2021-03-23 03:09:29 | <Axman6> | assuming F isn't actually a data constructor? |
| 2021-03-23 03:09:57 | <Axman6> | those don't look equal to me though |
| 2021-03-23 03:09:59 | <guest323> | F is just a function |
| 2021-03-23 03:10:15 | × | tinhatcat quits (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Quit: Leaving) |
| 2021-03-23 03:10:43 | <Axman6> | might help to make that clear by not using uppercase names, since that's not a valid name for a non-constructor function |
| 2021-03-23 03:11:02 | <Axman6> | and is pred here, this one? |
| 2021-03-23 03:11:03 | <Axman6> | :t pred |
| 2021-03-23 03:11:05 | <lambdabot> | Enum a => a -> a |
| 2021-03-23 03:11:39 | <guest323> | if f = fix g, g f n = f (pred n), and f n = g f (pred n), are equal? ok? |
| 2021-03-23 03:12:33 | <Axman6> | I think you could prove that one way or the other pretty easily by evaluating it |
| 2021-03-23 03:13:04 | → | v01d4lph4 joins (~v01d4lph4@223.233.89.82) |
| 2021-03-23 03:14:56 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-23 03:15:14 | <dmwit> | guest323: I don't think so. What reasoning did you use to get there? |
| 2021-03-23 03:16:07 | <dmwit> | Ah, I'm wrong. Yes, f n = g f (pred n) = f (pred (pred n)). |
| 2021-03-23 03:17:03 | <dmwit> | But I think it's possible you've made a mistake anyway. Because that doesn't look like a natural equation to arrive at to me. Here's the sequence that looks natural to me: |
All times are in UTC.