Logs: liberachat/#haskell
| 2021-05-25 22:11:52 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-25 22:12:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-05-25 22:13:04 | → | Bartosz joins (~textual@50.35.220.89) |
| 2021-05-25 22:14:35 | × | pretty_dumm_guy quits (~trottel@185.244.212.222) (Quit: WeeChat 3.2-dev) |
| 2021-05-25 22:17:15 | <ski> | boxscape : "vanilla natural deduction" being Prawitz-style, as opposed to Gentzen-style ? |
| 2021-05-25 22:18:44 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…) |
| 2021-05-25 22:19:10 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-05-25 22:20:27 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-05-25 22:20:45 | × | aeoui quits (~aeoui@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 272 seconds) |
| 2021-05-25 22:21:33 | × | fendor_ quits (~fendor@91.141.0.18.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-25 22:22:03 | → | aeoui joins (~aeoui@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-25 22:22:13 | × | xlei quits (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Quit: ZNC - https://znc.in) |
| 2021-05-25 22:23:45 | × | ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Quit: Sayonara) |
| 2021-05-25 22:25:58 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:caa:2c0d:7263:2825) (Read error: Connection reset by peer) |
| 2021-05-25 22:28:12 | <boxscape> | ski just anything not involving type theory |
| 2021-05-25 22:28:44 | <boxscape> | (I don't remember which of those is which) |
| 2021-05-25 22:29:25 | × | aeoui quits (~aeoui@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 272 seconds) |
| 2021-05-25 22:31:09 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 2021-05-25 22:31:09 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-05-25 22:34:29 | → | Guest83 joins (~Guest83@86-86-79-128.fixed.kpn.net) |
| 2021-05-25 22:35:02 | × | Guest83 quits (~Guest83@86-86-79-128.fixed.kpn.net) (Client Quit) |
| 2021-05-25 22:36:39 | × | kewa quits (~kewa@5.138.211.57) (Remote host closed the connection) |
| 2021-05-25 22:36:59 | → | eggplant_ joins (~Eggplanta@2600:1700:bef1:5e10:8d52:c9d8:f104:c0f6) |
| 2021-05-25 22:37:01 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-05-25 22:40:13 | × | eziotobi_ quits (~eziotobi@190.215.119.50) (Quit: Leaving) |
| 2021-05-25 22:40:22 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Ping timeout: 264 seconds) |
| 2021-05-25 22:45:58 | <maerwald> | haskell-mode is an executable or an emacs plugin? |
| 2021-05-25 22:46:04 | <maerwald> | afais it's the latter |
| 2021-05-25 22:53:57 | ← | lbseale_ parts (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Leaving) |
| 2021-05-25 22:54:21 | <geekosaur> | emacs .el file and major mode |
| 2021-05-25 22:56:04 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:445e:c460:a1c:1c80) (Remote host closed the connection) |
| 2021-05-25 22:56:18 | → | lbseale_m joins (~lbseale_m@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-25 22:56:59 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:445e:c460:a1c:1c80) |
| 2021-05-25 22:59:20 | × | pe200012 quits (~pe200012@218.107.17.245) (Ping timeout: 252 seconds) |
| 2021-05-25 22:59:20 | → | pe200012_ joins (~pe200012@120.236.162.14) |
| 2021-05-25 22:59:34 | × | Gurkenglas_ quits (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2021-05-25 22:59:49 | × | bfrk quits (~Thunderbi@200116b845d852006e2894fb093deaf7.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-05-25 23:00:46 | × | lbseale_m quits (~lbseale_m@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds) |
| 2021-05-25 23:02:59 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:445e:c460:a1c:1c80) (Ping timeout: 272 seconds) |
| 2021-05-25 23:05:13 | → | hololeap joins (~hololeap@71-218-232-238.hlrn.qwest.net) |
| 2021-05-25 23:05:39 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-25 23:07:29 | <hololeap> | I'm looking for some help with this: http://sprunge.us/K8jr3z |
| 2021-05-25 23:07:48 | → | ddellacosta joins (~ddellacos@86.106.121.18) |
| 2021-05-25 23:12:22 | <boxscape> | hololeap looking at the output of -ddump-deriv might help |
| 2021-05-25 23:12:32 | × | ddellacosta quits (~ddellacos@86.106.121.18) (Ping timeout: 252 seconds) |
| 2021-05-25 23:12:35 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-05-25 23:12:42 | <boxscape> | in figuring out what's going wrong, at least |
| 2021-05-25 23:14:10 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:445e:c460:a1c:1c80) |
| 2021-05-25 23:14:25 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-25 23:17:04 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-25 23:17:08 | <hololeap> | i'm not really sure how to read that: http://sprunge.us/3cvBzN |
| 2021-05-25 23:17:39 | × | cnr quits (~cnr@user/cnr) (Ping timeout: 264 seconds) |
| 2021-05-25 23:20:56 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2021-05-25 23:21:48 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 2021-05-25 23:22:10 | <boxscape> | hololeap it gets a bit more readable when you strip out the module qualifiers: https://paste.tomsmeding.com/JS9tj20q The @s are the same @s as with -XTypeApplications. In principle you should be able to replace the problematic deriving instance with that to find out where in it the error is coming from. |
| 2021-05-25 23:22:27 | <boxscape> | which might explain why the deriving instance is going wrong, hopefully |
| 2021-05-25 23:23:45 | <boxscape> | (just realized I didn't strip out all the qualifiers https://paste.tomsmeding.com/vqpwRGaY ) |
| 2021-05-25 23:25:40 | <boxscape> | though strangely pasting it in the file produces a slightly different error... |
| 2021-05-25 23:26:14 | <boxscape> | https://paste.tomsmeding.com/WRwYUiLn |
| 2021-05-25 23:28:47 | <hololeap> | Couldn't match type `Identity Text' with `Text' -- it seems like i'm running into a limitation with GHCs deriving mechinism and it needs some handholding. but how... |
| 2021-05-25 23:29:36 | <hololeap> | I know that I'm out on a limb as far as 10 extensions enabled |
| 2021-05-25 23:29:37 | × | hseg quits (~gesh@185.120.126.41) (Quit: WeeChat 3.1) |
| 2021-05-25 23:30:24 | → | WikiLycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-25 23:31:04 | <boxscape> | we can get back to the `Couldn't match type ‘IsTouched Text’ with ‘MyTypeT IsTouched’` error if we replace @(Identity Text) in the dumped instance with @(Tagged Identity Text) |
| 2021-05-25 23:34:57 | <hololeap> | Yes, but `IsTouched Text` and `MyTypeT IsTouched` should have the same runtime representation |
| 2021-05-25 23:36:02 | <boxscape> | yeah you would think so |
| 2021-05-25 23:36:23 | <boxscape> | (btw it was a different error message because I accidentally deleted too much when stripping the qualifiers) |
| 2021-05-25 23:39:46 | × | edwtjo quits (~edwtjo@user/edwtjo) (Ping timeout: 264 seconds) |
| 2021-05-25 23:43:07 | <hololeap> | maybe generalize newtype deriving doesn't work with multi-param typeclases... I'll test |
| 2021-05-25 23:48:28 | <hololeap> | Yeah, that seems to be the issue: http://sprunge.us/FZfY9M |
| 2021-05-25 23:50:05 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-25 23:51:39 | → | edwtjo joins (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) |
| 2021-05-25 23:51:39 | × | edwtjo quits (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (Changing host) |
| 2021-05-25 23:51:39 | → | edwtjo joins (~edwtjo@user/edwtjo) |
| 2021-05-25 23:52:21 | <boxscape> | huh, when you try "deriving Reverse via [Char]" it says "`Reverse' is not a unary constraint, as expected by a deriving clause" |
| 2021-05-25 23:52:33 | <boxscape> | I guess it should say that for newtype deriving too |
| 2021-05-25 23:52:34 | → | kewa joins (~kewa@5.138.211.57) |
| 2021-05-25 23:52:49 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-25 23:52:56 | ← | falafel parts (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Leaving) |
| 2021-05-25 23:53:21 | <boxscape> | ah except that maybe standalone deriving clauses can in some contexts work with multiple parameters, idk |
| 2021-05-25 23:53:38 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-05-25 23:53:57 | WikiLycurgus | is now known as Lycurgus |
| 2021-05-25 23:54:46 | <geekosaur> | aren't most of the things in mtl that get derived via GND multiparameter? I suspect the fundeps help |
| 2021-05-25 23:56:43 | <geekosaur> | (standalone deriving iirc isn't supposed to differ from a deriving clause) |
| 2021-05-25 23:56:45 | <geekosaur> | at least if the same things are in scope |
| 2021-05-25 23:57:35 | <boxscape> | well, there certainly are some cases in which standalone deriving works but a deriving clause doesn't; in many of those ghc will tell you to use standalone deriving if you use a clause |
| 2021-05-25 23:57:50 | <boxscape> | not sure if that ever applies to gnd though |
| 2021-05-25 23:58:26 | → | MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-05-25 23:59:46 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-26 00:00:10 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-26 00:00:33 | → | ddellacosta joins (~ddellacos@89.46.62.34) |
| 2021-05-26 00:01:50 | <boxscape> | hololeap https://paste.tomsmeding.com/EsMg3gPu |
| 2021-05-26 00:02:22 | <boxscape> | (need to add InstanceSigs as well in 8.10) |
| 2021-05-26 00:02:31 | <boxscape> | hm is this a bug in GND? |
| 2021-05-26 00:03:27 | <boxscape> | let me check the docs... |
| 2021-05-26 00:04:13 | <boxscape> | "We can even derive instances of multi-parameter classes, provided the newtype is the last class parameter." |
| 2021-05-26 00:04:18 | <boxscape> | I guess it's expected behavior |
| 2021-05-26 00:04:27 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Ping timeout: 264 seconds) |
| 2021-05-26 00:05:03 | × | ddellacosta quits (~ddellacos@89.46.62.34) (Ping timeout: 264 seconds) |
| 2021-05-26 00:05:25 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25) |
All times are in UTC.