Logs: liberachat/#haskell
| 2021-06-15 16:37:35 | <arjun> | lenses. yay or nay ? |
| 2021-06-15 16:37:38 | <Boarders> | @[exa]: ah thank you, I was being dumb. An old object file was lying around so GHC wasn't re-compiling :) |
| 2021-06-15 16:37:38 | <lambdabot> | Unknown command, try @list |
| 2021-06-15 16:37:55 | → | xaltsc joins (~xaltsc@user/xaltsc) |
| 2021-06-15 16:42:34 | × | warnz quits (~warnz@2600:1700:77c0:5610:800b:6e01:97af:a956) (Remote host closed the connection) |
| 2021-06-15 16:42:46 | <cdsmith> | Ugh... I need something like generalized newtype deriving, but for a GADT with a constraint in the context. :( |
| 2021-06-15 16:47:14 | <monochrom> | Since GADT is very unlike newtype, I don't know what "like" means, I only know what "unlike" means. |
| 2021-06-15 16:47:34 | <monochrom> | But there is standalone deriving. |
| 2021-06-15 16:48:02 | <monochrom> | err actually I don't know whehter standalone deriving works for GADT. |
| 2021-06-15 16:48:11 | <tomsmeding> | it does |
| 2021-06-15 16:48:19 | <tomsmeding> | or, at least sometimes it does |
| 2021-06-15 16:48:19 | <monochrom> | Nice. |
| 2021-06-15 16:48:40 | <monochrom> | I kind of have some memory of someone else suggesting it. |
| 2021-06-15 16:48:42 | <tomsmeding> | I regularly use it to derive Show for some GADT, each time wondering why a plain 'deriving (Show)' can't do the same |
| 2021-06-15 16:51:01 | × | qbt quits (~edun@user/edun) (Ping timeout: 268 seconds) |
| 2021-06-15 16:52:24 | → | ddellacosta joins (~ddellacos@89.45.224.34) |
| 2021-06-15 16:52:34 | × | fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Remote host closed the connection) |
| 2021-06-15 16:53:08 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-06-15 16:55:20 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-15 16:57:18 | × | ddellacosta quits (~ddellacos@89.45.224.34) (Ping timeout: 264 seconds) |
| 2021-06-15 16:58:03 | → | warnz joins (~warnz@2600:1700:77c0:5610:800b:6e01:97af:a956) |
| 2021-06-15 16:59:48 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 272 seconds) |
| 2021-06-15 16:59:56 | × | killsushi quits (~killsushi@user/killsushi) (Ping timeout: 244 seconds) |
| 2021-06-15 17:02:18 | × | warnz quits (~warnz@2600:1700:77c0:5610:800b:6e01:97af:a956) (Ping timeout: 240 seconds) |
| 2021-06-15 17:02:24 | <cdsmith> | What "like" means here is that I have a GADT like this: data MockT m a where MockT :: MonadIO m => ReaderT (MVar Foo) m a -> MockT m a. Now I'd like to derive most of the instances on ReaderT for MockT. MockT is almost a newtype, but cannot be because it needs the MonadIO constraint. |
| 2021-06-15 17:03:36 | <cdsmith> | So there are 14 instances that are currently derived, but I need to write by hand to add that constraint. |
| 2021-06-15 17:03:58 | <cdsmith> | I can write them... I'm just a bit annoyed at having to do so. :) |
| 2021-06-15 17:05:57 | → | memowe joins (~memowe@ip-84-118-82-47.unity-media.net) |
| 2021-06-15 17:06:09 | → | mrd joins (~mrd@45.61.147.211) |
| 2021-06-15 17:06:26 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-06-15 17:06:30 | ← | mrd parts (~mrd@45.61.147.211) () |
| 2021-06-15 17:06:36 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-06-15 17:07:40 | × | memowe quits (~memowe@ip-84-118-82-47.unity-media.net) (Client Quit) |
| 2021-06-15 17:07:50 | × | tritlo quits (sid58727@id-58727.stonehaven.irccloud.com) (Changing host) |
| 2021-06-15 17:07:50 | → | tritlo joins (sid58727@user/tritlo) |
| 2021-06-15 17:09:39 | → | zeenk joins (~zeenk@188.26.30.39) |
| 2021-06-15 17:09:51 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-15 17:10:46 | → | fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) |
| 2021-06-15 17:11:25 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-15 17:14:09 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-15 17:14:49 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-15 17:15:06 | × | fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 240 seconds) |
| 2021-06-15 17:15:25 | <tritlo> | Boarders: that's a known bug in when using bytestring and some other library using the same ffi function, but at a different type |
| 2021-06-15 17:16:17 | <tritlo> | At least that's what it was when I ran into a similar thing 2 years ago using the LLVM backend... |
| 2021-06-15 17:18:55 | → | ddellacosta joins (~ddellacos@89.46.62.21) |
| 2021-06-15 17:19:27 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2021-06-15 17:19:48 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-15 17:20:30 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-15 17:22:05 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-15 17:22:45 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-06-15 17:23:17 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) |
| 2021-06-15 17:25:12 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-15 17:27:43 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-15 17:28:38 | × | azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Ping timeout: 268 seconds) |
| 2021-06-15 17:29:01 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-15 17:30:15 | → | azeem joins (~azeem@176.201.22.245) |
| 2021-06-15 17:33:41 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-15 17:36:45 | × | azeem quits (~azeem@176.201.22.245) (Read error: Connection reset by peer) |
| 2021-06-15 17:37:40 | → | Guest21 joins (~Guest21@46.204.1.2.dsl.dynamic.t-mobile.pl) |
| 2021-06-15 17:37:58 | → | azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) |
| 2021-06-15 17:38:12 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-15 17:42:06 | × | Guest21 quits (~Guest21@46.204.1.2.dsl.dynamic.t-mobile.pl) (Client Quit) |
| 2021-06-15 17:42:13 | × | MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Quit: Client limit exceeded: 10000) |
| 2021-06-15 17:44:33 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: Client limit exceeded: 10000) |
| 2021-06-15 17:46:12 | → | Wonner joins (~Wonner@h77.53.21.98.static.ip.windstream.net) |
| 2021-06-15 17:46:18 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-06-15 17:47:08 | → | killsushi joins (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) |
| 2021-06-15 17:47:08 | × | killsushi quits (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) (Changing host) |
| 2021-06-15 17:47:08 | → | killsushi joins (~killsushi@user/killsushi) |
| 2021-06-15 17:48:40 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-15 17:49:29 | → | Topsi1 joins (~Tobias@dyndsl-037-138-064-101.ewe-ip-backbone.de) |
| 2021-06-15 17:50:03 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-15 17:53:03 | × | Topsi quits (~Tobias@dyndsl-037-138-064-101.ewe-ip-backbone.de) (Ping timeout: 272 seconds) |
| 2021-06-15 17:53:40 | <Boarders> | tritlo: ahh thanks, it was something to do with the store having two copies of bytestring in it :| |
| 2021-06-15 17:53:40 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 2021-06-15 17:53:40 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 2021-06-15 17:54:59 | <arjun> | hi. i have a .md file and i'd like to read the file and parse the top optional yaml metadata if present |
| 2021-06-15 17:55:09 | <arjun> | ```md |
| 2021-06-15 17:55:15 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-06-15 17:55:19 | → | chddr joins (~Thunderbi@31.148.23.125) |
| 2021-06-15 17:55:28 | ptrcmd_ | is now known as ptrcmd |
| 2021-06-15 17:55:39 | <arjun> | --- |
| 2021-06-15 17:55:39 | <arjun> | title: "Sample Post" |
| 2021-06-15 17:55:40 | <arjun> | author: Me |
| 2021-06-15 17:55:40 | <arjun> | date: Jan 1, 2019 |
| 2021-06-15 17:55:42 | <arjun> | tags: [dope, site] |
| 2021-06-15 17:55:47 | <arjun> | description: My first blog post |
| 2021-06-15 17:55:50 | <arjun> | image: code.jpg |
| 2021-06-15 17:55:53 | <arjun> | --- |
| 2021-06-15 17:55:55 | <arjun> | |
| 2021-06-15 17:55:58 | <dminuoso> | cdsmith: Drop the constraint from the data type. |
| 2021-06-15 17:55:58 | <arjun> | # This is a test file |
| 2021-06-15 17:56:01 | <arjun> | |
| 2021-06-15 17:56:04 | <arjun> | ## to see if it works |
| 2021-06-15 17:56:08 | <arjun> | |
| 2021-06-15 17:56:11 | <arjun> | ``` |
| 2021-06-15 17:56:12 | <pragma-> | what in tarnation |
| 2021-06-15 17:56:15 | <Obo> | use https://paste.tomsmeding.com to paste code |
| 2021-06-15 17:56:17 | <arjun> | how would i go about it? |
| 2021-06-15 17:56:20 | <arjun> | thanks. |
All times are in UTC.