Logs: liberachat/#haskell
| 2026-03-01 08:05:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 08:07:22 | → | tt123160701 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2026-03-01 08:08:11 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 2026-03-01 08:10:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-01 08:12:45 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-03-01 08:15:12 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-01 08:16:55 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-01 08:19:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-01 08:20:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 08:23:07 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-01 08:25:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 08:36:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 08:36:23 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 2026-03-01 08:39:53 | → | Square2 joins (~Square@user/square) |
| 2026-03-01 08:42:44 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-03-01 08:42:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 08:46:19 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-01 08:54:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 08:56:25 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 2026-03-01 08:57:45 | → | acidjnk_new joins (~acidjnk@p200300d6e700e58028e5f6012138f519.dip0.t-ipconnect.de) |
| 2026-03-01 08:58:10 | × | _0xa quits (~user@user/0xa/x-3134607) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2026-03-01 08:58:48 | → | _0xa joins (~user@95.179.128.10) |
| 2026-03-01 08:58:48 | × | _0xa quits (~user@95.179.128.10) (Changing host) |
| 2026-03-01 08:58:48 | → | _0xa joins (~user@user/0xa/x-3134607) |
| 2026-03-01 08:58:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 09:09:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 09:14:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-01 09:15:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 09:16:02 | × | jtnuttall quits (~jeremy@user/jeremyn) (Ping timeout: 248 seconds) |
| 2026-03-01 09:16:12 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-03-01 09:20:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 09:28:57 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-01 09:31:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 09:31:30 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-03-01 09:35:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 09:37:17 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-01 09:41:31 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-03-01 09:48:14 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 2026-03-01 09:48:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 09:53:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 10:02:09 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-03-01 10:03:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 10:07:48 | gehmehgeh | is now known as gmg |
| 2026-03-01 10:08:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 10:11:22 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-03-01 10:12:21 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 2026-03-01 10:16:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 10:23:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-01 10:24:00 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 2026-03-01 10:26:44 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-01 10:27:03 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-03-01 10:32:20 | <Milan_Vanca> | Hello guyz, not sure if I found bug in library or I am just dumb but for import Text.Regex.TDFA and these equations "aaa" =~ "[a]{1,3}" -> True, "a]a" =~ "[a\\]]{1,3}" -> True, "aaa" =~ "[a\\]]{1,3}" -> False |
| 2026-03-01 10:32:38 | <Milan_Vanca> | The last one should also produce True? |
| 2026-03-01 10:33:51 | <opqdonut> | I don't know about Text.Regex.TDFA in particular, but in most regex implementations you need to write that character class as []a] |
| 2026-03-01 10:34:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 10:34:50 | <opqdonut> | note that =~ checks if any match is found, it doesn't necesarily match the whole string |
| 2026-03-01 10:35:12 | <Milan_Vanca> | Yeah I think I see now. |
| 2026-03-01 10:35:28 | <opqdonut> | I think what might be happening is that "a]a" =~ "[a\\]]{1,3}" is really matching "[a]]{1,3}", that is, "a]" |
| 2026-03-01 10:35:53 | <Milan_Vanca> | Yeah..probably I am going to test ^$ |
| 2026-03-01 10:36:44 | <Milan_Vanca> | You are right using ^$ produces False. Now it all makes sense |
| 2026-03-01 10:36:58 | <opqdonut> | regex-tdfa says it implements posix extended regexes, which need []a] |
| 2026-03-01 10:37:42 | <opqdonut> | regex(7) says: To include a literal ']' in the list, make it the first character |
| 2026-03-01 10:38:59 | <Milan_Vanca> | Lets say I need to also include literals - ^ \ then it should look like "[]a-z^\\-]" |
| 2026-03-01 10:39:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 10:39:11 | <mauke> | this is why every regex library written after ~2000 ignores posix and just does what perl does |
| 2026-03-01 10:39:32 | <Milan_Vanca> | ] must be first - must be last, \ must be escaped and ^ must not be first |
| 2026-03-01 10:39:40 | <opqdonut> | yep, pretty trippy |
| 2026-03-01 10:40:02 | <mauke> | \ must be escaped in Haskell strings, but does not need to be escaped in [ ] |
| 2026-03-01 10:40:27 | <mauke> | that is, posix is fine with []\-], but in Haskell you need to write it as "[]\\-]" |
| 2026-03-01 10:40:27 | <Milan_Vanca> | mauke: True, I was in implicit haskell context |
| 2026-03-01 10:41:41 | <Milan_Vanca> | mauke: so I should not use TDFA? which lib then? |
| 2026-03-01 10:42:02 | <mauke> | I'm not saying you shouldn't use it, I'm just saying that posix regex syntax is bizarre :-) |
| 2026-03-01 10:42:26 | <Milan_Vanca> | opqdonut: Thank you very much, your insight helped me to see my wrong assumption |
| 2026-03-01 10:45:07 | <Milan_Vanca> | Yes this unescaped ] as first char is crazy. It screams syntax error in my view :D |
| 2026-03-01 10:45:38 | × | xff0x quits (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8) (Ping timeout: 248 seconds) |
| 2026-03-01 10:46:01 | <probie> | If you want PCRE behaviour, use one of the PCRE libraries |
| 2026-03-01 10:46:22 | <mauke> | I don't necessarily need PCRE behavior, just perl-style syntax |
| 2026-03-01 10:46:41 | → | xff0x joins (~xff0x@2405:6580:b080:900:bb96:cd5b:8d43:86f6) |
| 2026-03-01 10:46:50 | <mauke> | it's so much cleaner |
| 2026-03-01 11:05:48 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e5262c0766f14cd13639.dip0.t-ipconnect.de) |
| 2026-03-01 11:06:34 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 2026-03-01 11:08:57 | × | acidjnk_new quits (~acidjnk@p200300d6e700e58028e5f6012138f519.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-03-01 11:17:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 11:22:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 11:23:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2026-03-01 11:33:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 11:37:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 11:40:34 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 248 seconds) |
| 2026-03-01 11:48:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 11:51:41 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 2026-03-01 11:53:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-01 11:57:31 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2026-03-01 12:00:18 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-01 12:03:49 | → | oskarw joins (~user@user/oskarw) |
| 2026-03-01 12:03:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 12:08:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 12:09:42 | → | karenw joins (~karenw@user/karenw) |
| 2026-03-01 12:11:48 | × | sawilagar quits (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2026-03-01 12:18:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 12:25:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
All times are in UTC.