Logs: liberachat/#haskell
| 2021-08-28 19:53:22 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-28 19:53:41 | <hololeap> | mastarija: you might have a typo if you meant <18 :p |
| 2021-08-28 19:54:23 | <mastarija> | hololeap, `passIf`, not `failIf` :P |
| 2021-08-28 19:54:55 | <hololeap> | oh, good point |
| 2021-08-28 19:55:24 | <mastarija> | damn, this is annoying |
| 2021-08-28 19:55:38 | <mastarija> | Almost done with all the documentation, and this is such pain in the ass |
| 2021-08-28 19:55:46 | <mastarija> | And I have plenty of such examples |
| 2021-08-28 19:56:16 | × | PinealGlandOptic quits (~PinealGla@37.115.210.35) (Quit: leaving) |
| 2021-08-28 19:57:24 | <hololeap> | mastarija: can you identify which one of these you think it is erroneously parsing from your code block: https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810770608 |
| 2021-08-28 19:57:27 | <mastarija> | hm.. I can use > to start a code line, but then I loose ability to link to my functions within the documentation |
| 2021-08-28 19:57:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2021-08-28 19:57:56 | <hololeap> | it's hard to verify since I can't see the output |
| 2021-08-28 19:59:11 | <mastarija> | It's not listed there, but it is a markdown link syntax. e.g. [Link text](https://linkurl.com) |
| 2021-08-28 19:59:29 | × | dsrt^ quits (~dsrt@12.16.129.111) (Ping timeout: 248 seconds) |
| 2021-08-28 19:59:31 | <mastarija> | It's technically correct |
| 2021-08-28 19:59:38 | → | Guest32 joins (~Guest32@188.113.204.172) |
| 2021-08-28 19:59:38 | <mastarija> | But I can't find a way to escape it |
| 2021-08-28 19:59:47 | × | juhp_ quits (~juhp@bb116-14-48-29.singnet.com.sg) (Ping timeout: 240 seconds) |
| 2021-08-28 20:00:51 | → | dsrt^ joins (~dsrt@12.16.129.111) |
| 2021-08-28 20:01:07 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-28 20:02:35 | × | Guest32 quits (~Guest32@188.113.204.172) (Quit: Client closed) |
| 2021-08-28 20:03:44 | → | josh joins (~lordgrenv@141.226.14.154) |
| 2021-08-28 20:04:08 | josh | is now known as Guest8166 |
| 2021-08-28 20:06:03 | <hololeap> | mastarija: ok, I confirmed it |
| 2021-08-28 20:06:21 | <mastarija> | I reported it in the meantime :D |
| 2021-08-28 20:06:33 | <hololeap> | good idea |
| 2021-08-28 20:06:39 | <hololeap> | because I don't see that documented |
| 2021-08-28 20:06:51 | <hololeap> | and it shouldn't be happening inside a code block |
| 2021-08-28 20:07:40 | → | APic joins (apic@apic.name) |
| 2021-08-28 20:07:44 | <mastarija> | I've found a stackoverflow question where they confirmed it used to happen on GitHub as well, but they have added ability to escape [] later. |
| 2021-08-28 20:08:02 | <jiribenes> | maerwald: AFAICT optparse-applicative already does this automatically when you're close enough |
| 2021-08-28 20:08:07 | <jiribenes> | something like "edit distance at most two" |
| 2021-08-28 20:08:57 | <jiribenes> | yeah, see here https://github.com/pcapriotti/optparse-applicative/blob/8edc41994984cbfdfc1ee960e4d4d112cfccbc11/src/Options/Applicative/Extra.hs#L256-L309 |
| 2021-08-28 20:10:00 | × | emliunix quits (~emliunix@61-216-165-205.hinet-ip.hinet.net) (Remote host closed the connection) |
| 2021-08-28 20:10:18 | → | emliunix joins (~emliunix@61-216-165-205.HINET-IP.hinet.net) |
| 2021-08-28 20:10:57 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-08-28 20:15:12 | → | tllp joins (~tllp@69.233.98.238) |
| 2021-08-28 20:15:31 | <maerwald> | jiribenes: doesn't seem to work for subcommands |
| 2021-08-28 20:19:46 | → | hololeap_ joins (~hololeap@user/hololeap) |
| 2021-08-28 20:20:25 | × | azeem quits (~azeem@5.168.92.20) (Ping timeout: 252 seconds) |
| 2021-08-28 20:21:58 | → | azeem joins (~azeem@5.168.92.20) |
| 2021-08-28 20:22:18 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
| 2021-08-28 20:22:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2021-08-28 20:23:06 | hololeap_ | is now known as hololeap |
| 2021-08-28 20:30:52 | × | burnsidesLlama quits (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-28 20:31:19 | → | burnsidesLlama joins (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-28 20:35:40 | × | burnsidesLlama quits (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-28 20:41:42 | × | azeem quits (~azeem@5.168.92.20) (Ping timeout: 250 seconds) |
| 2021-08-28 20:42:44 | → | azeem joins (~azeem@5.168.92.20) |
| 2021-08-28 20:44:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-28 20:44:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-28 20:44:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-28 20:47:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-28 20:47:56 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-28 20:56:58 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-28 20:59:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-08-28 21:00:39 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2021-08-28 21:00:43 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2021-08-28 21:01:09 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-28 21:03:52 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds) |
| 2021-08-28 21:07:21 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-28 21:08:33 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) (Remote host closed the connection) |
| 2021-08-28 21:11:29 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-28 21:12:43 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2021-08-28 21:12:43 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 2021-08-28 21:12:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-28 21:12:46 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-28 21:13:01 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 250 seconds) |
| 2021-08-28 21:17:21 | × | azeem quits (~azeem@5.168.92.20) (Ping timeout: 250 seconds) |
| 2021-08-28 21:18:26 | → | azeem joins (~azeem@5.168.106.177) |
| 2021-08-28 21:21:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-28 21:21:28 | × | Guest8166 quits (~lordgrenv@141.226.14.154) (Ping timeout: 252 seconds) |
| 2021-08-28 21:24:30 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-28 21:24:35 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-28 21:26:48 | → | kimjetwav joins (~user@2607:fea8:235f:9730:4718:18aa:30c8:2ab8) |
| 2021-08-28 21:28:21 | → | mnrmnaugh joins (~mnrmnaugh@68.162.206.56) |
| 2021-08-28 21:29:01 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-08-28 21:29:17 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 252 seconds) |
| 2021-08-28 21:29:58 | ← | mnrmnaugh parts (~mnrmnaugh@68.162.206.56) () |
| 2021-08-28 21:38:09 | × | kenran quits (~kenran@200116b82bc02700b5002519151f8c73.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-28 21:40:04 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) |
| 2021-08-28 21:42:46 | → | minimario joins (~minimario@2603:900a:1600:ba00:f194:27a7:3a07:9cc5) |
| 2021-08-28 21:43:44 | <minimario> | i'm trying to read the type families article on ghc, what exactly is this syntax: "data instance XList Char = XCons !Char !(XList Char) | XNil" |
| 2021-08-28 21:44:08 | <minimario> | what's the significance of ~ and | |
| 2021-08-28 21:44:11 | <minimario> | *! |
| 2021-08-28 21:45:45 | <minimario> | i know it's kind of like list syntax, but what are the key differences here? |
| 2021-08-28 21:46:10 | <minimario> | (article here for reference: https://wiki.haskell.org/GHC/Type_families) |
| 2021-08-28 21:48:28 | <mastarija> | minimario, ~ is a type equality and | is just a separator for different value constructors |
| 2021-08-28 21:48:39 | <mastarija> | Just like with regular data definitions |
| 2021-08-28 21:48:40 | × | t3hyoshi quits (~snicf@2600:8804:1b96:4900:1472:5a94:c594:83ca) (Quit: Konversation terminated!) |
| 2021-08-28 21:48:56 | <minimario> | sorry i meant !, not ~ |
| 2021-08-28 21:49:08 | <mastarija> | ! is strictness modifier |
| 2021-08-28 21:49:10 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2021-08-28 21:49:14 | <minimario> | what does that mean |
| 2021-08-28 21:49:43 | <mastarija> | in short, it says that XCon doesn't contain a pointer to a Char, but Char it self |
| 2021-08-28 21:49:52 | <mastarija> | Not really, but you can think of it that way |
| 2021-08-28 21:50:20 | <mastarija> | Although, neither of those things are related to the type families |
| 2021-08-28 21:51:16 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-28 21:52:10 | × | martin02 quits (~silas@141.84.69.76) (Ping timeout: 240 seconds) |
| 2021-08-28 21:53:37 | → | AlistairB joins (~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) |
All times are in UTC.