Logs: liberachat/#haskell
| 2021-05-28 00:26:39 | → | ddellacosta joins (~ddellacos@89.46.62.79) |
| 2021-05-28 00:27:01 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-28 00:28:20 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-28 00:30:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-05-28 00:30:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-28 00:31:10 | × | ddellacosta quits (~ddellacos@89.46.62.79) (Ping timeout: 248 seconds) |
| 2021-05-28 00:31:28 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-28 00:31:33 | → | hughjfchen joins (~hughjfche@117.136.31.244) |
| 2021-05-28 00:33:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 248 seconds) |
| 2021-05-28 00:34:42 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-28 00:36:09 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-28 00:36:50 | <tonyday> | @sm, yes, I think I'm asking whether core tools have been thought about in the context of our new haskell-language-server pipeline. core package last updated 2009. |
| 2021-05-28 00:36:50 | <lambdabot> | Source not found. Where did you learn to type? |
| 2021-05-28 00:38:14 | dy | is now known as pissnet |
| 2021-05-28 00:38:20 | pissnet | is now known as dy |
| 2021-05-28 00:39:08 | <tonyday> | In light of the new cabal-install direction, I was more generally wondering if the same basic weakness exists in ghc itself? Like, core analysis suffers because we dont have an exact parser/printer. |
| 2021-05-28 00:39:39 | × | hughjfchen quits (~hughjfche@117.136.31.244) (Quit: Quit) |
| 2021-05-28 00:40:22 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-28 00:41:33 | × | ku quits (~ku@2601:280:c780:7ea0:bdb5:230d:40c:e48e) (Ping timeout: 272 seconds) |
| 2021-05-28 00:42:17 | <sm_> | tonyday: I think we do have that in latest ghc, or so ? ghc-exact-print or some such |
| 2021-05-28 00:42:40 | → | ddellacosta joins (~ddellacos@86.106.121.73) |
| 2021-05-28 00:44:25 | <tonyday> | wow, ok |
| 2021-05-28 00:44:45 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-28 00:45:47 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-28 00:45:52 | × | sciencentistguy quits (~sciencent@191.101.209.9) (Ping timeout: 264 seconds) |
| 2021-05-28 00:47:10 | × | ddellacosta quits (~ddellacos@86.106.121.73) (Ping timeout: 248 seconds) |
| 2021-05-28 00:47:35 | → | ddellacosta joins (~ddellacos@89.46.62.51) |
| 2021-05-28 00:48:48 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-28 00:48:53 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.1) |
| 2021-05-28 00:50:55 | <tonyday> | The ghc-exactprint package does a round trip from text to haskell source code. I was looking for a roundtrip from text to core/systemF. And haskell source code to core. |
| 2021-05-28 00:51:03 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-05-28 00:51:09 | <sm_> | ah, sorry |
| 2021-05-28 00:51:10 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-28 00:51:29 | allbery_b | is now known as geekosaur |
| 2021-05-28 00:51:58 | × | ddellacosta quits (~ddellacos@89.46.62.51) (Ping timeout: 248 seconds) |
| 2021-05-28 00:52:20 | <tonyday> | all good, thx, saves much running around. |
| 2021-05-28 00:53:02 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 248 seconds) |
| 2021-05-28 00:54:22 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-28 00:54:25 | → | Frosky joins (~Frosky@n220246094251.netvigator.com) |
| 2021-05-28 00:55:07 | → | da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:ee80:d5a4:34e6:41e0:8f20) |
| 2021-05-28 00:55:23 | <geekosaur> | I think core is too notional to have an exactprint variant. (that is, core doesn't actually exist as such, you can't read it in although you can print out some semblance of it) |
| 2021-05-28 00:56:21 | → | xwx joins (~george@user/george) |
| 2021-05-28 00:57:49 | → | Arimja_ joins (~Arimja@45-30-22-133.lightspeed.nsvltn.sbcglobal.net) |
| 2021-05-28 00:58:14 | × | chisui quits (~chisui@200116b8663f48001b1ac13283537396.dip.versatel-1u1.de) (Quit: Client closed) |
| 2021-05-28 00:58:15 | <tonyday> | https://gitlab.haskell.org/ghc/ghc/blob/master/compiler/GHC/Core.hs#L253 |
| 2021-05-28 00:58:33 | <monochrom> | There has always been a wish for GHC to read core from text files. |
| 2021-05-28 00:58:36 | <tonyday> | looks pretty concrete here |
| 2021-05-28 00:58:43 | <monochrom> | That wish has been made for like 10 years. |
| 2021-05-28 00:59:04 | × | tA quits (~thorn@121.220.36.168) (Remote host closed the connection) |
| 2021-05-28 00:59:14 | <monochrom> | Generally when something has been on a wish list for that long, I say "don't hold your breath". |
| 2021-05-28 00:59:43 | ← | Arimja_ parts (~Arimja@45-30-22-133.lightspeed.nsvltn.sbcglobal.net) () |
| 2021-05-28 00:59:46 | <monochrom> | Ample example is "an IRC plugin that renders LaTeX" |
| 2021-05-28 00:59:48 | → | da39a3ee_ joins (~textual@2403:6200:8876:ee80:b:ace3:c82a:b0ba) |
| 2021-05-28 01:00:18 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-28 01:01:09 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-28 01:02:16 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Client Quit) |
| 2021-05-28 01:03:18 | × | da39a3ee5e6b4b0d quits (~textual@2403:6200:8876:ee80:d5a4:34e6:41e0:8f20) (Ping timeout: 264 seconds) |
| 2021-05-28 01:03:47 | → | ddellacosta joins (~ddellacos@86.106.121.110) |
| 2021-05-28 01:04:30 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-28 01:04:54 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-28 01:06:13 | × | ddellacosta quits (~ddellacos@86.106.121.110) (Read error: Connection reset by peer) |
| 2021-05-28 01:08:52 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-28 01:09:45 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Client Quit) |
| 2021-05-28 01:10:10 | zzz | is now known as yin |
| 2021-05-28 01:10:14 | yin | is now known as zzz |
| 2021-05-28 01:10:56 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-28 01:11:08 | → | hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-05-28 01:12:14 | × | Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Ping timeout: 252 seconds) |
| 2021-05-28 01:12:15 | × | Frosky quits (~Frosky@n220246094251.netvigator.com) (Quit: Client closed) |
| 2021-05-28 01:12:27 | × | sm_ quits (~username@plaintextaccounting/sm) (Remote host closed the connection) |
| 2021-05-28 01:15:07 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 01:15:27 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-28 01:16:12 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-28 01:17:57 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Quit: Quit) |
| 2021-05-28 01:21:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-28 01:22:06 | × | onion_ quits (~zzz@user/yin) (Quit: onion_) |
| 2021-05-28 01:22:38 | → | onion joins (~zzz@user/yin) |
| 2021-05-28 01:23:42 | ← | onion parts (~zzz@user/yin) () |
| 2021-05-28 01:24:49 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-05-28 01:25:52 | → | ukari joins (~ukari@user/ukari) |
| 2021-05-28 01:26:41 | × | meb quits (~Srain@88.97.97.244) (Remote host closed the connection) |
| 2021-05-28 01:27:05 | × | Aran quits (~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 252 seconds) |
| 2021-05-28 01:28:08 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-05-28 01:31:15 | × | dunj3 quits (~dunj3@2001:16b8:3025:3200:19d0:6936:8815:415c) (Remote host closed the connection) |
| 2021-05-28 01:32:43 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-28 01:33:08 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
| 2021-05-28 01:35:32 | <zzz> | c |
| 2021-05-28 01:37:15 | → | Pixi joins (~Pixi@user/pixi) |
| 2021-05-28 01:37:59 | → | ryantrinkle joins (~ryan@static-108-30-103-121.nycmny.fios.verizon.net) |
| 2021-05-28 01:38:59 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Quit: Leaving) |
| 2021-05-28 01:40:19 | → | leeb joins (~leeb@2001:268:c04f:ba65:425b:d8ff:fe03:4cd) |
| 2021-05-28 01:40:41 | zzz | |
| 2021-05-28 01:41:27 | → | Guest87 joins (~Guest87@189.197.116.11) |
| 2021-05-28 01:41:58 | <zzz> | sorry about that |
| 2021-05-28 01:42:08 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Read error: Connection reset by peer) |
| 2021-05-28 01:42:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-05-28 01:42:27 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-28 01:43:00 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-05-28 01:43:12 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-28 01:43:20 | × | Guest87 quits (~Guest87@189.197.116.11) (Client Quit) |
All times are in UTC.