Logs: liberachat/#haskell
| 2021-05-25 18:45:13 | × | Tomurb quits (~tom@92-17.net.optinet.cz) (Ping timeout: 272 seconds) |
| 2021-05-25 18:45:42 | × | klemzi32 quits (~textual@146.212.240.255) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-25 18:46:21 | → | Guest11 joins (~textual@146.212.240.255) |
| 2021-05-25 18:46:52 | → | ru0mad joins (~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) |
| 2021-05-25 18:47:14 | <boxscape> | edwardk does that mean ala couldn't be implemented with Coercible instead of Re-/Unwrapped? |
| 2021-05-25 18:48:34 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-25 18:52:42 | ru0mad | is now known as ruomad |
| 2021-05-25 18:53:40 | × | ruomad quits (~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) (Quit: Mutter: www.mutterirc.com) |
| 2021-05-25 18:54:31 | → | ru0mad joins (~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) |
| 2021-05-25 18:54:56 | × | ru0mad quits (~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) (Client Quit) |
| 2021-05-25 18:55:37 | → | ruomad joins (~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) |
| 2021-05-25 18:55:56 | <edwardk> | :t au |
| 2021-05-25 18:55:57 | <lambdabot> | Functor f => AnIso s t a b -> ((b -> t) -> f s) -> f a |
| 2021-05-25 18:56:00 | <edwardk> | :t ala |
| 2021-05-25 18:56:01 | <lambdabot> | (Functor f, Rewrapped s t, Rewrapped t s) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s) |
| 2021-05-25 18:57:23 | <edwardk> | its currently set up to use ala Sum = au _Sum -- au/auf allow use of an arbitrary Iso. ala/alaf pick the iso via the same instances. there is a subtle problem with your proposal, which is that ala can change types. e.g. go in at Sum Int and come out at Sum Double |
| 2021-05-25 18:57:29 | <edwardk> | and i can't model that with Coercible directtly |
| 2021-05-25 18:57:31 | × | WikiLycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-25 18:57:54 | <edwardk> | er rather the current version can, and one that is based on just Coercible can't |
| 2021-05-25 18:58:01 | <boxscape> | ah, I see |
| 2021-05-25 18:59:07 | → | econo joins (uid147250@user/econo) |
| 2021-05-25 18:59:52 | → | berberman joins (~berberman@user/berberman) |
| 2021-05-25 19:01:03 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2021-05-25 19:01:04 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) () |
| 2021-05-25 19:01:27 | × | fart quits (~fart@user/actor) (Ping timeout: 264 seconds) |
| 2021-05-25 19:01:27 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-25 19:02:08 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-25 19:02:40 | → | Mark_ joins (uid14803@user/mark/x-9597255) |
| 2021-05-25 19:02:52 | → | xwx joins (~george@user/george) |
| 2021-05-25 19:03:40 | → | mikess joins (~sam@user/mikess) |
| 2021-05-25 19:04:12 | → | fart joins (~fart@user/actor) |
| 2021-05-25 19:05:02 | × | fart quits (~fart@user/actor) (Client Quit) |
| 2021-05-25 19:06:58 | × | ruomad quits (~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) (Quit: Mutter: www.mutterirc.com) |
| 2021-05-25 19:09:26 | → | ruomad joins (~ruomad@82-64-17-144.subs.proxad.net) |
| 2021-05-25 19:11:06 | <maerwald> | how do you find unused dependencies in your .cabal again? |
| 2021-05-25 19:12:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Remote host closed the connection) |
| 2021-05-25 19:13:08 | <trueboxguy> | If you had -Wunused-packages as a ghc option, would it work? I think cabal passes the packages used into ghc |
| 2021-05-25 19:13:42 | × | ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Remote host closed the connection) |
| 2021-05-25 19:14:12 | × | favonia quits (~favonia@user/favonia) (Quit: Leaving) |
| 2021-05-25 19:14:54 | → | Tomurb joins (~tom@92-17.net.optinet.cz) |
| 2021-05-25 19:16:27 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-25 19:19:48 | × | argento quits (~argent0@168.227.96.51) (Quit: leaving) |
| 2021-05-25 19:20:42 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-25 19:21:06 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-05-25 19:22:48 | × | omen_ quits (~omen@user/omen) (Quit: Leaving) |
| 2021-05-25 19:24:06 | → | kmein joins (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-05-25 19:25:03 | ← | mikess parts (~sam@user/mikess) () |
| 2021-05-25 19:25:11 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-25 19:26:26 | → | xwx joins (~george@user/george) |
| 2021-05-25 19:26:47 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) |
| 2021-05-25 19:28:58 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-25 19:31:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 19:33:33 | × | Tomurb quits (~tom@92-17.net.optinet.cz) (Ping timeout: 272 seconds) |
| 2021-05-25 19:34:30 | <edwardk> | trueboxguy: there's some stack driven tool that neil mitchell maintains, before that there used to be one from hvr that just used a cabal-driven workflow, but its a few ghc releases behind |
| 2021-05-25 19:35:23 | <Hecate> | heya trueboxguy :) |
| 2021-05-25 19:35:40 | <trueboxguy> | Hecate: hi, finally set up that bouncer |
| 2021-05-25 19:37:17 | <Hecate> | :) |
| 2021-05-25 19:39:16 | → | Aran joins (~Aran@port-92-194-80-170.dynamic.as20676.net) |
| 2021-05-25 19:41:02 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 2021-05-25 19:41:27 | <maerwald> | TH compilation order seems to have changed in 9.0.1 again |
| 2021-05-25 19:41:33 | → | Tomurb joins (~tom@92-17.net.optinet.cz) |
| 2021-05-25 19:41:38 | <maerwald> | my json derivings are all broken |
| 2021-05-25 19:45:20 | → | Deide1 joins (~Deide@wire.desu.ga) |
| 2021-05-25 19:47:46 | → | Deide2 joins (~Deide@wire.desu.ga) |
| 2021-05-25 19:47:55 | × | Deide quits (~Deide@user/deide) (Ping timeout: 272 seconds) |
| 2021-05-25 19:49:58 | × | Deide1 quits (~Deide@wire.desu.ga) (Ping timeout: 264 seconds) |
| 2021-05-25 19:49:59 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-25 19:50:43 | <dminuoso> | Mmm, the cabal docs dont to the target selector algorithm justice.. |
| 2021-05-25 19:51:46 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds) |
| 2021-05-25 19:52:57 | → | eziotobi joins (~eziotobi@186.106.65.175) |
| 2021-05-25 19:53:34 | × | Tomurb quits (~tom@92-17.net.optinet.cz) (Ping timeout: 264 seconds) |
| 2021-05-25 19:54:48 | Chobbes_ | is now known as Chobbes |
| 2021-05-25 19:59:56 | <dminuoso> | cabal-install fails to build on a nix machine with this linker error: |
| 2021-05-25 19:59:58 | <dminuoso> | https://gist.github.com/dminuoso/fce1467405c045810438dc6425aa13b2 |
| 2021-05-25 20:00:18 | <dminuoso> | Oh hold on, just as I hit enter I realized my mistake |
| 2021-05-25 20:01:08 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 252 seconds) |
| 2021-05-25 20:01:59 | → | eziotobi_ joins (~eziotobi@190.215.119.50) |
| 2021-05-25 20:02:29 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.151) |
| 2021-05-25 20:02:39 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-25 20:04:35 | × | eziotobi quits (~eziotobi@186.106.65.175) (Ping timeout: 272 seconds) |
| 2021-05-25 20:04:35 | × | m_shiraeeshi quits (~shiraeesh@46.34.207.100) (Ping timeout: 272 seconds) |
| 2021-05-25 20:05:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-25 20:05:48 | → | paolino joins (~paolo@84.33.186.150) |
| 2021-05-25 20:05:54 | → | paolinoZ joins (~paolo@84.33.186.150) |
| 2021-05-25 20:06:11 | × | paolinoZ quits (~paolo@84.33.186.150) (Client Quit) |
| 2021-05-25 20:06:46 | → | kubes joins (~kubes@188.120.84.109) |
| 2021-05-25 20:07:13 | × | paolino quits (~paolo@84.33.186.150) (Remote host closed the connection) |
| 2021-05-25 20:07:18 | → | xwx joins (~george@user/george) |
| 2021-05-25 20:09:04 | × | kubes quits (~kubes@188.120.84.109) (Client Quit) |
| 2021-05-25 20:09:15 | → | sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-05-25 20:11:30 | → | Wanderer joins (~wanderer@user/wanderer) |
| 2021-05-25 20:15:15 | → | Erutuon joins (~Erutuon@97-116-14-180.mpls.qwest.net) |
| 2021-05-25 20:15:58 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 2021-05-25 20:18:43 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-05-25 20:18:43 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-05-25 20:18:43 | → | Deide joins (~Deide@user/deide) |
| 2021-05-25 20:20:03 | <dmwit> | maerwald: https://hackage.haskell.org/package/packunused ? |
| 2021-05-25 20:20:38 | <maerwald> | Cabal (==1.24.*) |
| 2021-05-25 20:20:44 | <maerwald> | the dream... |
| 2021-05-25 20:20:46 | × | bec quits (~bec@user/bec) (Quit: Connection closed) |
All times are in UTC.