Logs: liberachat/#haskell
| 2021-08-14 13:52:40 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-14 13:53:54 | <Hecate> | dminuoso: my point is rather than every datatype has different needs when it comes to pretty-printing/debugging, and a Show instance without a less principled couterpart is never the answer |
| 2021-08-14 13:53:54 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-08-14 13:54:06 | → | nf joins (~n@monade.li) |
| 2021-08-14 13:54:11 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 2021-08-14 13:54:18 | <Hecate> | because you inevitably end up trying to fit your domain into the instance, which produces unlawful instances |
| 2021-08-14 13:54:33 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-14 13:54:48 | <kuribas> | dminuoso: nevermind, I'll use a datatype and this :) https://hackage.haskell.org/package/generic-lens-2.2.0.0/docs/Data-Generics-Product-Any.html |
| 2021-08-14 13:55:29 | → | berberman joins (~berberman@user/berberman) |
| 2021-08-14 13:59:32 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-14 14:01:24 | <keutoi> | dminuoso: CPP works perfectly to switch between default and custom instances. Thank You. |
| 2021-08-14 14:13:06 | AndrewYu | is now known as luk4yx |
| 2021-08-14 14:13:09 | luk4yx | is now known as AndrewYu |
| 2021-08-14 14:13:49 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-14 14:14:57 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-14 14:16:28 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-14 14:17:35 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-14 14:17:55 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-14 14:22:34 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-08-14 14:23:00 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-14 14:27:58 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-6-221.prtc.net) (Ping timeout: 246 seconds) |
| 2021-08-14 14:34:34 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-14 14:34:55 | → | zcombinator joins (~zcombinat@37.162.157.57) |
| 2021-08-14 14:35:00 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-14 14:36:01 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-14 14:37:58 | → | Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 2021-08-14 14:38:14 | × | vpan quits (~vilius@212.117.1.172) (Quit: Leaving.) |
| 2021-08-14 14:39:17 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-14 14:43:06 | × | cross quits (~cross@spitfire.i.gajendra.net) (Ping timeout: 240 seconds) |
| 2021-08-14 14:44:49 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 2021-08-14 14:47:26 | <maerwald> | show isn't for debugging :p |
| 2021-08-14 14:48:03 | → | jeslie0 joins (~user@108.162.150.9) |
| 2021-08-14 14:48:07 | <kuribas> | maerwald: pPrint is :) |
| 2021-08-14 14:48:19 | <kuribas> | or at least, it's what I use :-P |
| 2021-08-14 14:48:24 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-14 14:48:24 | <maerwald> | https://hackage.haskell.org/package/network-uri-2.7.0.0/docs/src/Network.URI.html#line-274 |
| 2021-08-14 14:48:38 | <maerwald> | show is for... hmm, showing stuff |
| 2021-08-14 14:48:51 | <maerwald> | log-safe |
| 2021-08-14 14:49:11 | <kuribas> | I'd say debugging is the primary usecase for Show... |
| 2021-08-14 14:49:59 | <maerwald> | then you might not like the show utf8 proposal |
| 2021-08-14 14:50:09 | <maerwald> | for the string instance |
| 2021-08-14 14:51:00 | × | jeslie0 quits (~user@108.162.150.9) (Remote host closed the connection) |
| 2021-08-14 14:51:12 | → | gethuen joins (uid502979@id-502979.stonehaven.irccloud.com) |
| 2021-08-14 14:52:43 | <maerwald> | https://gitlab.haskell.org/ghc/ghc/-/issues/20027 |
| 2021-08-14 14:53:41 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-14 14:54:53 | × | kuribas quits (~user@ptr-25vy0i7jvn9rvz44z49.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-14 14:55:16 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-08-14 14:56:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-14 15:01:11 | <joeyh> | if a cabal file has a extra-deps github: line, and the git repository contains several packages, with a cabal.project in it that lists them all, will stack use those packages to satisfy other extra-deps? |
| 2021-08-14 15:01:16 | <keutoi> | How constrained should I be w.r.t read . show == id ? Is it idiomatic that this hold? |
| 2021-08-14 15:01:37 | <tomsmeding> | aarchi: doesn't the whitespace code build on a newer ghc? did you try, perhaps one in the 7 series that ghcup still has? |
| 2021-08-14 15:02:18 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-14 15:03:05 | → | o1lo01ol1o joins (~o1lo01ol1@89.214.83.229) |
| 2021-08-14 15:05:11 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Read error: Connection reset by peer) |
| 2021-08-14 15:06:33 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-08-14 15:07:17 | <hololeap> | keutoi: yes, it's considered bad practice to use Show for anything other than "poor-man's serialization" |
| 2021-08-14 15:07:35 | × | o1lo01ol1o quits (~o1lo01ol1@89.214.83.229) (Ping timeout: 258 seconds) |
| 2021-08-14 15:09:08 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-14 15:09:56 | → | mattil joins (~mattilinn@84-253-224-16.bb.dnainternet.fi) |
| 2021-08-14 15:10:26 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-14 15:10:45 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-14 15:11:08 | → | mattil joins (~mattilinn@84-253-224-16.bb.dnainternet.fi) |
| 2021-08-14 15:12:16 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-14 15:12:40 | → | mattil joins (~mattilinn@84-253-224-16.bb.dnainternet.fi) |
| 2021-08-14 15:13:42 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-14 15:13:45 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-14 15:14:08 | → | mattil joins (~mattilinn@84-253-224-16.bb.dnainternet.fi) |
| 2021-08-14 15:14:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-14 15:14:39 | → | o1lo01ol1o joins (~o1lo01ol1@89.214.83.229) |
| 2021-08-14 15:15:15 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-14 15:15:35 | → | fendor joins (~fendor@178.165.196.92.wireless.dyn.drei.com) |
| 2021-08-14 15:15:40 | → | mattil joins (~mattilinn@84-253-224-16.bb.dnainternet.fi) |
| 2021-08-14 15:16:45 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-14 15:17:10 | → | mattil joins (~mattilinn@84-253-224-16.bb.dnainternet.fi) |
| 2021-08-14 15:18:15 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-14 15:18:48 | → | Erupmi joins (~user@2001:8003:2309:8400:1683:bc27:3e09:7cdc) |
| 2021-08-14 15:19:24 | × | Erupmi quits (~user@2001:8003:2309:8400:1683:bc27:3e09:7cdc) (Client Quit) |
| 2021-08-14 15:19:48 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 2021-08-14 15:19:53 | → | Erupmi joins (~user@2001:8003:2309:8400:1683:bc27:3e09:7cdc) |
| 2021-08-14 15:21:48 | × | Erupmi quits (~user@2001:8003:2309:8400:1683:bc27:3e09:7cdc) (Remote host closed the connection) |
| 2021-08-14 15:23:17 | → | Guest15 joins (~Guest15@2001:8003:2309:8400:1683:bc27:3e09:7cdc) |
| 2021-08-14 15:24:09 | × | Guest15 quits (~Guest15@2001:8003:2309:8400:1683:bc27:3e09:7cdc) (Client Quit) |
| 2021-08-14 15:24:39 | → | pfurla_ joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-14 15:28:28 | × | pfurla quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-08-14 15:39:37 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-08-14 15:40:32 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-08-14 15:40:45 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-14 15:42:52 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-14 15:45:09 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-08-14 15:45:20 | × | zcombinator quits (~zcombinat@37.162.157.57) (Quit: WeeChat 3.2) |
| 2021-08-14 15:47:30 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-14 15:47:55 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-14 15:48:36 | × | V quits (~v@anomalous.eu) (Ping timeout: 258 seconds) |
| 2021-08-14 15:48:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-14 15:58:30 | <sm> | joeyh, that's a bit of a puzzler. extra-deps in a cabal file ? stack and cabal.project ? do all those things go together ? |
| 2021-08-14 15:59:04 | × | o1lo01ol1o quits (~o1lo01ol1@89.214.83.229) (Remote host closed the connection) |
| 2021-08-14 16:01:05 | × | keutoi quits (~keutoi@157.48.222.12) (Ping timeout: 248 seconds) |
| 2021-08-14 16:02:57 | → | keutoi joins (~keutoi@223.182.21.173) |
| 2021-08-14 16:05:22 | → | o1lo01ol1o joins (~o1lo01ol1@89.214.83.229) |
| 2021-08-14 16:08:01 | → | aegon joins (~mike@174.127.249.180) |
All times are in UTC.