Logs: liberachat/#haskell
| 2021-05-30 13:46:29 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-05-30 13:46:51 | → | ruomad joins (~ruomad@82-64-17-144.subs.proxad.net) |
| 2021-05-30 13:46:57 | sajith | is now known as sajith_ |
| 2021-05-30 13:47:03 | sajith_ | is now known as sajith |
| 2021-05-30 13:47:39 | <Philonous> | jco_, The thing I would go for would be to write a compiler ExprT -> StackVM and an interpreter for StackVM and then check that forall x: interpret_ExprT(x) === interpret_StackVM(compilter(x)) |
| 2021-05-30 13:48:05 | sajith | is now known as sajith__ |
| 2021-05-30 13:48:12 | sajith__ | is now known as sajith |
| 2021-05-30 13:48:38 | <Philonous> | or maybe in more haskelly syntax: interpretExprT x == interpretStackVM (compile x) |
| 2021-05-30 13:49:30 | <tomsmeding> | what you currently have is essentially: compile x = parse (show x) |
| 2021-05-30 13:50:00 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-30 13:50:24 | <Philonous> | Yes, was about to write that. The point is, you are proposing another intermediate representation that's just a string, which I think makes the problem harder and less tracktable |
| 2021-05-30 13:50:41 | × | ddellacosta quits (~ddellacos@86.106.121.34) (Ping timeout: 265 seconds) |
| 2021-05-30 13:50:47 | <Philonous> | If you want you can do that as well, but I would treat it as an additional problem with its own properties |
| 2021-05-30 13:51:01 | <tomsmeding> | unless you already have those show and parse components anyway :) |
| 2021-05-30 13:51:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-05-30 13:51:47 | <Philonous> | Sure, but in that case I would suggest writing a direct compile :: ExprT -> StackVM and then have a property that tests that for all x: compile x == parse (print x) |
| 2021-05-30 13:54:54 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-30 13:55:37 | → | monadlight joins (~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca) |
| 2021-05-30 13:56:03 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-30 13:56:35 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-05-30 13:56:54 | × | nonzen quits (~nonzen@user/nonzen) (Quit: Gone) |
| 2021-05-30 13:56:54 | × | nonzen_ quits (~nonzen@user/nonzen) (Quit: Gone) |
| 2021-05-30 13:57:13 | <jco_> | Yes, I already have the parser functions for the various types. But immediately converting ("compiling") an ExprT to a StackVM program sounds more straight forward. I'll try that. |
| 2021-05-30 13:57:18 | → | nonzen joins (~nonzen@user/nonzen) |
| 2021-05-30 13:57:21 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-30 13:57:25 | <monadlight> | newbie question: how do I clean up GHC installed by Stack? And how do I know what versions/installations of GHC Stack has installed? |
| 2021-05-30 13:57:50 | → | nonzen_ joins (~nonzen@user/nonzen) |
| 2021-05-30 13:59:29 | × | jco quits (~jco@c83-248-173-38.bredband.tele2.se) (Quit: leaving) |
| 2021-05-30 14:00:42 | <jco_> | monadlight: Maybe look in ~/.stack? I don't have any on my current machine so cannot verify for sure. |
| 2021-05-30 14:00:53 | <Philonous> | monadlight, Under linux, it's under ~/.stack/programs/ |
| 2021-05-30 14:01:02 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-05-30 14:01:03 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-05-30 14:01:03 | → | Deide joins (~Deide@user/deide) |
| 2021-05-30 14:01:22 | <monadlight> | I see a bunch of ghc in ~/.stack/programs but not couldn't find a stack command to propertly clean them up. |
| 2021-05-30 14:01:39 | <Philonous> | I'm not sure there is one |
| 2021-05-30 14:01:43 | <monadlight> | Do they just linger around forever? |
| 2021-05-30 14:02:20 | → | berberman joins (~berberman@user/berberman) |
| 2021-05-30 14:02:55 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 268 seconds) |
| 2021-05-30 14:03:14 | <monadlight> | If I delete everything in ~/.stack/programs, stack would just reinstall them next time....? |
| 2021-05-30 14:03:15 | <Philonous> | As far as I'm aware, they do. I regularly delete everything in ~/.stack except the config file and stack will re-download what it needs |
| 2021-05-30 14:03:18 | <Philonous> | Yes |
| 2021-05-30 14:03:39 | <monadlight> | Cool |
| 2021-05-30 14:03:58 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 2021-05-30 14:04:21 | → | ddellaco_ joins (~ddellacos@86.106.121.100) |
| 2021-05-30 14:04:42 | <monadlight> | There are like pantry.sqlite3 and other hackage index file... those are quite big too. |
| 2021-05-30 14:05:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-30 14:05:46 | × | ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Quit: leaving) |
| 2021-05-30 14:06:22 | <Philonous> | If you delete stuff, it will be rebuilt, which can take time and bandwidth, but otherwise it should be fine. |
| 2021-05-30 14:07:45 | × | flounders quits (~flounders@173.246.200.33) (Quit: Leaving) |
| 2021-05-30 14:08:38 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Ping timeout: 252 seconds) |
| 2021-05-30 14:09:05 | × | ddellaco_ quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-05-30 14:09:59 | → | ruomad joins (~ruomad@82-64-17-144.subs.proxad.net) |
| 2021-05-30 14:10:39 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-05-30 14:10:55 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 272 seconds) |
| 2021-05-30 14:13:02 | × | whaletechno quits (~whaletech@user/whaletechno) (Ping timeout: 252 seconds) |
| 2021-05-30 14:13:12 | <tomsmeding> | yeah stack doesn't really have cleanup commands for that, but the whole point of the design of stack means that if you delete stuff, it will be re-downloaded and/or rebuilt next time you need it |
| 2021-05-30 14:13:37 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-30 14:13:55 | <tomsmeding> | though I'm not sure up to what point you can partially delete stuff; maybe it assumes that if half of a ghc installation is there, the rest is there too |
| 2021-05-30 14:14:06 | × | monadlight quits (~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2021-05-30 14:14:14 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 2021-05-30 14:15:08 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-30 14:15:16 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-30 14:16:09 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 14:16:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-30 14:18:48 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-05-30 14:20:47 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-30 14:21:30 | → | ddellacosta joins (~ddellacos@89.46.62.91) |
| 2021-05-30 14:24:51 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-30 14:25:58 | × | ddellacosta quits (~ddellacos@89.46.62.91) (Ping timeout: 265 seconds) |
| 2021-05-30 14:26:42 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Quit: leaving) |
| 2021-05-30 14:26:58 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-05-30 14:27:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) |
| 2021-05-30 14:27:08 | allbery_b | is now known as geekosaur |
| 2021-05-30 14:28:10 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-30 14:28:49 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 268 seconds) |
| 2021-05-30 14:29:52 | → | fosskers joins (~colin@S0106f0f249642f53.vn.shawcable.net) |
| 2021-05-30 14:31:49 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) (Ping timeout: 272 seconds) |
| 2021-05-30 14:34:21 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2021-05-30 14:34:41 | → | Guest15 joins (~Guest15@93.123.22.142) |
| 2021-05-30 14:36:24 | → | ddellacosta joins (~ddellacos@89.46.62.202) |
| 2021-05-30 14:37:16 | → | squiggy joins (a0ee4a6a@ircip1.mibbit.com) |
| 2021-05-30 14:38:30 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-30 14:39:47 | → | ddellaco_ joins (~ddellacos@89.46.62.40) |
| 2021-05-30 14:40:29 | × | glider quits (~glider@user/glider) (Quit: ZNC 1.9.x-git-111-f2cdc3db - https://znc.in) |
| 2021-05-30 14:40:43 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-05-30 14:41:09 | × | ddellacosta quits (~ddellacos@89.46.62.202) (Ping timeout: 268 seconds) |
| 2021-05-30 14:41:45 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-30 14:42:27 | → | xaio joins (~xaio@93.123.22.142) |
| 2021-05-30 14:42:53 | × | Guest15 quits (~Guest15@93.123.22.142) (Quit: Client closed) |
| 2021-05-30 14:43:37 | × | xaio quits (~xaio@93.123.22.142) (Client Quit) |
| 2021-05-30 14:44:51 | × | ddellaco_ quits (~ddellacos@89.46.62.40) (Ping timeout: 268 seconds) |
| 2021-05-30 14:45:03 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-30 14:45:33 | → | Maulwurf joins (~maulwurf@194.135.128.95) |
| 2021-05-30 14:45:36 | ← | Maulwurf parts (~maulwurf@194.135.128.95) () |
| 2021-05-30 14:49:21 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-05-30 14:54:50 | × | fosskers quits (~colin@S0106f0f249642f53.vn.shawcable.net) (Remote host closed the connection) |
| 2021-05-30 14:55:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-30 14:56:14 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25) |
| 2021-05-30 14:56:39 | → | ddellacosta joins (~ddellacos@89.46.62.53) |
| 2021-05-30 14:58:32 | × | Megant quits (~kaitsu@user/megant) (Quit: Reconnecting) |
All times are in UTC.