Logs: liberachat/#haskell
| 2021-05-24 20:26:38 | → | space-shell joins (~space-she@88.98.247.38) |
| 2021-05-24 20:31:43 | → | shailangsa joins (~shailangs@host86-186-177-159.range86-186.btcentralplus.com) |
| 2021-05-24 20:31:55 | × | amotta quits (~amotta@p5790f429.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-24 20:33:57 | → | kenran joins (~kenran@200116b82b33c8008f6567b715cefea0.dip.versatel-1u1.de) |
| 2021-05-24 20:34:51 | → | xsperry joins (~as@user/xsperry) |
| 2021-05-24 20:37:49 | → | Nik joins (~Nik@broadband-90-154-72-114.ip.moscow.rt.ru) |
| 2021-05-24 20:38:22 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-05-24 20:41:09 | × | Nik quits (~Nik@broadband-90-154-72-114.ip.moscow.rt.ru) (Client Quit) |
| 2021-05-24 20:43:09 | × | heath quits (~heath@68.68.64.38) (Quit: Lost terminal) |
| 2021-05-24 20:48:44 | × | paolino quits (~paolo@84.33.169.212) (Remote host closed the connection) |
| 2021-05-24 20:49:01 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-24 20:50:17 | → | bmsk joins (~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) |
| 2021-05-24 20:50:40 | → | isaac1 joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-05-24 20:51:29 | <boxscape> | hm, so with non-backtracking parsers, I would expect `parse (string "foo" <|> string "z") "" "foz"` to first try "foo", consume 'f' and 'o', and then try "z", and since the only input that's not consumed yet is "z" I would expect it to succeed |
| 2021-05-24 20:51:44 | <boxscape> | instead it says "unexpected "z", expecting "foo"" |
| 2021-05-24 20:51:50 | <boxscape> | where did my thinking go wrong here? |
| 2021-05-24 20:52:08 | <boxscape> | (specifically I'm using Pasec) |
| 2021-05-24 20:52:18 | <boxscape> | s/Pasec/Parsec |
| 2021-05-24 20:53:17 | <boxscape> | oh |
| 2021-05-24 20:53:20 | <boxscape> | I should just read docs |
| 2021-05-24 20:53:42 | <boxscape> | (<|>) docs say " If p fails without consuming any input , parser q is tried." |
| 2021-05-24 20:55:21 | × | isaac1 quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Client Quit) |
| 2021-05-24 20:55:28 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-24 20:57:54 | <monochrom> | string is not atomic wrt <|> |
| 2021-05-24 20:59:13 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-24 20:59:40 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-24 21:00:36 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-05-24 21:01:31 | → | glider joins (~glider@user/glider) |
| 2021-05-24 21:01:52 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Client Quit) |
| 2021-05-24 21:02:07 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-05-24 21:02:10 | <fresheyeball> | test |
| 2021-05-24 21:02:25 | <fresheyeball> | ok sweet, my nick is registered and secure |
| 2021-05-24 21:02:46 | × | triskai quits (~relikt@216-164-151-15.s8205.c3-0.atw-cbr1.atw.pa.cable.rcncustomer.com) (Read error: Connection reset by peer) |
| 2021-05-24 21:03:04 | → | kewa joins (~kewa@5.138.148.77) |
| 2021-05-24 21:03:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection) |
| 2021-05-24 21:04:33 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-05-24 21:09:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-24 21:09:44 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) |
| 2021-05-24 21:12:44 | × | ixlun quits (~user@195.213.99.113) (Ping timeout: 252 seconds) |
| 2021-05-24 21:14:30 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-24 21:14:34 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds) |
| 2021-05-24 21:14:57 | <tomjaguarpaw> | Should I expect coverage checking using pattern synonyms to be basically broken in 8.10.2? |
| 2021-05-24 21:18:05 | × | kenran quits (~kenran@200116b82b33c8008f6567b715cefea0.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-05-24 21:18:59 | × | ixlun quits (~user@195.213.99.113) (Remote host closed the connection) |
| 2021-05-24 21:19:01 | × | samebchase quits (~samebchas@51.15.68.182) (Quit: Ping timeout (120 seconds)) |
| 2021-05-24 21:19:18 | → | samebchase joins (~samebchas@51.15.68.182) |
| 2021-05-24 21:19:38 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-24 21:22:00 | × | novedevo quits (~novedevo@d154-5-30-77.bchsia.telus.net) (Quit: Leaving) |
| 2021-05-24 21:23:34 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-24 21:23:39 | → | novedevo joins (~novedevo@d154-5-30-77.bchsia.telus.net) |
| 2021-05-24 21:23:40 | <glguy> | tomjaguarpaw: is that specifically about 8.10.2 as opposed to the current 8.10.4? |
| 2021-05-24 21:23:45 | <glguy> | or 8.10 in general? |
| 2021-05-24 21:23:54 | <tomjaguarpaw> | I general I guess. I only have 8.10.2 |
| 2021-05-24 21:24:10 | <tomjaguarpaw> | The same is true on 8.6.5. I just named the most recent GHC I have. |
| 2021-05-24 21:24:32 | <glguy> | tomjaguarpaw: What constitutes broken? COMPLETE pragmas not working or being needed? |
| 2021-05-24 21:24:33 | <tomjaguarpaw> | Sebastian Graf did a lot of work on the coverage checker, but I'm not sure when it went in. |
| 2021-05-24 21:24:48 | <tomjaguarpaw> | COMPLETE? I thought that was for typeclasses. |
| 2021-05-24 21:24:52 | <tomjaguarpaw> | Never used it for pattern synonyms. |
| 2021-05-24 21:25:18 | <tomjaguarpaw> | It seems like when using a simple pattern synonym GHC can't tell when you've provided exhaustive cases. |
| 2021-05-24 21:25:25 | <glguy> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/pragmas.html#complete-pragma |
| 2021-05-24 21:25:38 | <glguy> | typeclasses have MINIMAL or something else like that |
| 2021-05-24 21:25:48 | × | ixlun quits (~user@195.213.99.113) (Read error: Connection reset by peer) |
| 2021-05-24 21:25:53 | <tomjaguarpaw> | "On its own, the checker is very naive and assumes that any match involving a pattern synonym will fail" Oh I see |
| 2021-05-24 21:26:02 | <tomjaguarpaw> | Ah yes, MINIMAL, that's right. |
| 2021-05-24 21:26:02 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-24 21:26:14 | <tomjaguarpaw> | OK, I just completely misunderstood how coverage checking works for pattern synonyms. |
| 2021-05-24 21:26:25 | <tomjaguarpaw> | Thanks glguy |
| 2021-05-24 21:26:47 | × | haskman quits (~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-24 21:29:10 | × | Xe quits (~cadey@user/xe) (Remote host closed the connection) |
| 2021-05-24 21:29:10 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Quit: EXIT) |
| 2021-05-24 21:29:11 | <boxscape> | should I prefer `T.pack . unlines` or `T.unlines . map T.pack`, where T is Data.Text? |
| 2021-05-24 21:29:34 | → | Xe joins (~cadey@user/xe) |
| 2021-05-24 21:29:38 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25) |
| 2021-05-24 21:30:15 | <glguy> | I don't have numbers, but I'd prefer T.unlines . map T.pack |
| 2021-05-24 21:30:16 | → | bfrk joins (~Thunderbi@200116b8457612003b6c7a007b6f34e6.dip.versatel-1u1.de) |
| 2021-05-24 21:30:26 | × | Xe quits (~cadey@user/xe) (Client Quit) |
| 2021-05-24 21:30:35 | <glguy> | hmm, actually I'm not sure, I take back having a preference |
| 2021-05-24 21:30:52 | → | Xe joins (~cadey@user/xe) |
| 2021-05-24 21:31:00 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-24 21:31:27 | × | allbery_b quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-24 21:31:44 | × | xkapastel quits (uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-24 21:32:20 | × | ixlun quits (~user@195.213.99.113) (Remote host closed the connection) |
| 2021-05-24 21:33:05 | <liskin> | tomjaguarpaw: GHC 9.0 relnotes mention "The revamp of the pattern-match coverage checker that started in 8.10 concludes with this release and implements the novel *Lower Your Guards* algorithm. |
| 2021-05-24 21:33:29 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-24 21:33:41 | <liskin> | not sure what it means in practice tho |
| 2021-05-24 21:33:57 | <boxscape> | liskin I don't think that change affects pattern synonyms without a COMPLETE pragma |
| 2021-05-24 21:34:10 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-05-24 21:34:32 | → | jakzale joins (uid499518@id-499518.charlton.irccloud.com) |
| 2021-05-24 21:35:16 | <boxscape> | (SPJ gave a talk about what it means a while ago https://youtu.be/SWO5OzSxD6Y ) |
| 2021-05-24 21:38:03 | × | ixlun quits (~user@195.213.99.113) (Remote host closed the connection) |
| 2021-05-24 21:39:12 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-24 21:41:17 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-05-24 21:42:08 | → | ystael joins (~ystael@user/ystael) |
| 2021-05-24 21:42:46 | → | justsomeguy joins (~justsomeg@24.96.241.90) |
| 2021-05-24 21:43:45 | × | justsomeguy quits (~justsomeg@24.96.241.90) (Changing host) |
| 2021-05-24 21:43:45 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-05-24 21:43:45 | × | ixlun quits (~user@195.213.99.113) (Remote host closed the connection) |
| 2021-05-24 21:44:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-24 21:44:54 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-24 21:45:10 | ← | michalz parts (~user@185.246.204.62) (Changed major mode) |
All times are in UTC.