Logs: freenode/#haskell
| 2021-05-07 00:36:50 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/let_generalisation.html |
| 2021-05-07 00:39:28 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-07 00:41:27 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
| 2021-05-07 00:43:12 | × | mathlover2 quits (~mathlover@cpe-67-248-97-14.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-07 00:43:19 | <gnumonic> | ooooh i didn't realize that was implied by TypeFamilies and GADTs (both of which I have on). welp now i know what that extension does, thanks |
| 2021-05-07 00:46:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-07 00:46:44 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 265 seconds) |
| 2021-05-07 00:48:19 | → | pfurla_ joins (~pfurla@246.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-05-07 00:48:59 | <gnumonic> | somewhat related question i've had: How exactly does GHC determine that a case is unreachable? I've run into several instances where a case definitely is unreachable (I wrote out proofs in first order logic by hand to convince myself) and it *seems* like GHC should know that, but it doesn't. It does OK with a single type level predicate (something of kind :: k ~> Type) but when I use the predicate combinators in the |
| 2021-05-07 00:48:59 | <gnumonic> | Data.Type.Predicate library GHC seems to lose the ability to infer unreachable cases completely |
| 2021-05-07 00:49:38 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-07 00:49:57 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-07 00:50:07 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-07 00:50:37 | × | darjeeling_ quits (~darjeelin@122.245.123.138) (Ping timeout: 252 seconds) |
| 2021-05-07 00:50:41 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-07 00:53:05 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-07 00:58:11 | × | notzmv- quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-05-07 01:02:08 | × | tempate_ quits (~alpha@90.167.203.12) (Quit: Leaving.) |
| 2021-05-07 01:08:19 | → | jgt_ joins (~jgt@87.227.221.129) |
| 2021-05-07 01:08:26 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-05-07 01:10:16 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-07 01:10:43 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-07 01:11:07 | <nshepperd2> | gnumonic: are you talking about the incomplete pattern match / exhaustiveness checker? it doesn't do proof search or anything. last i heard the latest thing it might use (not sure when/if it was merged) is https://dl.acm.org/doi/pdf/10.1145/3408989 |
| 2021-05-07 01:11:31 | × | xff0x quits (~xff0x@2001:1a81:529c:3600:b6e:989c:229a:901a) (Ping timeout: 250 seconds) |
| 2021-05-07 01:11:50 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-07 01:12:32 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 240 seconds) |
| 2021-05-07 01:12:49 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-05-07 01:13:07 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-07 01:13:26 | → | xff0x joins (~xff0x@2001:1a81:52b7:3500:6e89:c783:d968:1382) |
| 2021-05-07 01:15:43 | <nshepperd2> | the algorithm is incomplete because of course the problem is undecidable, so i wouldn't be surprised if it doesn't handle dependently typed hasochism stuff that well |
| 2021-05-07 01:17:45 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-07 01:19:19 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-07 01:21:12 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 2021-05-07 01:22:14 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-05-07 01:22:33 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-07 01:25:49 | × | twk- quits (~thewormki@unaffiliated/twk-) (Ping timeout: 250 seconds) |
| 2021-05-07 01:26:31 | × | TheScoop quits (~TheScoop@unaffiliated/tryte) (Ping timeout: 260 seconds) |
| 2021-05-07 01:26:31 | × | marek quits (~mmahut@209.250.249.245) (Ping timeout: 268 seconds) |
| 2021-05-07 01:26:34 | × | Uma_ quits (~uma@umazalakain.info) (Ping timeout: 252 seconds) |
| 2021-05-07 01:26:51 | × | caubert quits (~caubert@136.244.111.235) (Ping timeout: 265 seconds) |
| 2021-05-07 01:29:33 | → | TheScoop joins (~TheScoop@unaffiliated/tryte) |
| 2021-05-07 01:31:05 | → | Uma joins (~uma@umazalakain.info) |
| 2021-05-07 01:32:37 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-07 01:32:55 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-07 01:34:50 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-bhsmxiudnaicoyri) (Quit: Connection closed for inactivity) |
| 2021-05-07 01:35:50 | → | twk- joins (~thewormki@unaffiliated/twk-) |
| 2021-05-07 01:35:52 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-07 01:37:07 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-05-07 01:37:46 | → | marek joins (~mmahut@209.250.249.245) |
| 2021-05-07 01:39:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-07 01:40:12 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-07 01:43:22 | × | smerdyakov quits (~dan@5.146.195.164) (Read error: Connection reset by peer) |
| 2021-05-07 01:43:28 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-07 01:43:52 | → | smerdyakov joins (~dan@5.146.195.164) |
| 2021-05-07 01:44:11 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-07 01:44:52 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-07 01:46:10 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-05-07 01:46:33 | → | tsaka__ joins (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 2021-05-07 01:46:55 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 2021-05-07 01:47:31 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-07 01:49:43 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-07 01:51:40 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Ping timeout: 276 seconds) |
| 2021-05-07 01:51:56 | × | pfurla_ quits (~pfurla@246.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 246 seconds) |
| 2021-05-07 01:53:50 | → | thongpv87 joins (~thongpv87@27.76.236.94) |
| 2021-05-07 01:55:05 | <thongpv87> | I'm getting this error when using haskell.nix (with flakes feature) to build my project: "error: Cannot find Git revision '725340d92f8109bf5ea620a224fe613df9fba8f1' in ref 'master' of repository 'https://github.com/brendanhay/amazonka.git'! Please make sure that the rev exists on the ref you've specified or add allRefs = true; to fetchGit." |
| 2021-05-07 01:55:52 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-05-07 01:55:54 | <thongpv87> | That commit does exists on the repo but in `main` branch, not master branch |
| 2021-05-07 01:56:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 01:56:45 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 2021-05-07 02:00:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-05-07 02:00:47 | → | drbean_ joins (~drbean@TC210-63-209-185.static.apol.com.tw) |
| 2021-05-07 02:01:02 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds) |
| 2021-05-07 02:01:32 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 2021-05-07 02:02:03 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-05-07 02:02:08 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-07 02:02:13 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-jvobihoengxrpmye) (Quit: Connection closed for inactivity) |
| 2021-05-07 02:03:27 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Remote host closed the connection) |
| 2021-05-07 02:04:11 | × | caubert quits (~caubert@136.244.111.235) (Ping timeout: 240 seconds) |
| 2021-05-07 02:04:19 | × | TheScoop quits (~TheScoop@unaffiliated/tryte) (Ping timeout: 260 seconds) |
| 2021-05-07 02:04:46 | × | Uma quits (~uma@umazalakain.info) (Ping timeout: 268 seconds) |
| 2021-05-07 02:04:54 | × | marek quits (~mmahut@209.250.249.245) (Ping timeout: 246 seconds) |
| 2021-05-07 02:05:15 | × | twk- quits (~thewormki@unaffiliated/twk-) (Ping timeout: 260 seconds) |
| 2021-05-07 02:05:25 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 2021-05-07 02:06:41 | → | Uma joins (~uma@umazalakain.info) |
| 2021-05-07 02:07:09 | → | twk- joins (~thewormki@unaffiliated/twk-) |
| 2021-05-07 02:08:41 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-05-07 02:09:02 | → | Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 2021-05-07 02:09:19 | × | Wuzzy quits (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-07 02:09:29 | → | TheScoop joins (~TheScoop@unaffiliated/tryte) |
| 2021-05-07 02:10:01 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 250 seconds) |
| 2021-05-07 02:12:12 | × | Sgeo_ quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-07 02:12:45 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-07 02:13:06 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-07 02:13:06 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-07 02:15:45 | → | marek joins (~mmahut@209.250.249.245) |
| 2021-05-07 02:18:49 | × | dorwna quits (~dorwna@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2021-05-07 02:20:06 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-07 02:21:17 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-07 02:21:21 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-07 02:22:46 | × | theDon quits (~td@muedsl-82-207-238-051.citykom.de) (Ping timeout: 240 seconds) |
All times are in UTC.