Newest at the top
| 2026-03-01 11:46:50 +0100 | <mauke> | it's so much cleaner |
| 2026-03-01 11:46:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bb96:cd5b:8d43:86f6) |
| 2026-03-01 11:46:22 +0100 | <mauke> | I don't necessarily need PCRE behavior, just perl-style syntax |
| 2026-03-01 11:46:01 +0100 | <probie> | If you want PCRE behaviour, use one of the PCRE libraries |
| 2026-03-01 11:45:38 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8) (Ping timeout: 248 seconds) |
| 2026-03-01 11:45:07 +0100 | <Milan_Vanca> | Yes this unescaped ] as first char is crazy. It screams syntax error in my view :D |
| 2026-03-01 11:42:26 +0100 | <Milan_Vanca> | opqdonut: Thank you very much, your insight helped me to see my wrong assumption |
| 2026-03-01 11:42:02 +0100 | <mauke> | I'm not saying you shouldn't use it, I'm just saying that posix regex syntax is bizarre :-) |
| 2026-03-01 11:41:41 +0100 | <Milan_Vanca> | mauke: so I should not use TDFA? which lib then? |
| 2026-03-01 11:40:27 +0100 | <Milan_Vanca> | mauke: True, I was in implicit haskell context |
| 2026-03-01 11:40:27 +0100 | <mauke> | that is, posix is fine with []\-], but in Haskell you need to write it as "[]\\-]" |
| 2026-03-01 11:40:02 +0100 | <mauke> | \ must be escaped in Haskell strings, but does not need to be escaped in [ ] |
| 2026-03-01 11:39:40 +0100 | <opqdonut> | yep, pretty trippy |
| 2026-03-01 11:39:32 +0100 | <Milan_Vanca> | ] must be first - must be last, \ must be escaped and ^ must not be first |
| 2026-03-01 11:39:11 +0100 | <mauke> | this is why every regex library written after ~2000 ignores posix and just does what perl does |
| 2026-03-01 11:39:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 11:38:59 +0100 | <Milan_Vanca> | Lets say I need to also include literals - ^ \ then it should look like "[]a-z^\\-]" |
| 2026-03-01 11:37:42 +0100 | <opqdonut> | regex(7) says: To include a literal ']' in the list, make it the first character |
| 2026-03-01 11:36:58 +0100 | <opqdonut> | regex-tdfa says it implements posix extended regexes, which need []a] |
| 2026-03-01 11:36:44 +0100 | <Milan_Vanca> | You are right using ^$ produces False. Now it all makes sense |
| 2026-03-01 11:35:53 +0100 | <Milan_Vanca> | Yeah..probably I am going to test ^$ |
| 2026-03-01 11:35:28 +0100 | <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 11:35:12 +0100 | <Milan_Vanca> | Yeah I think I see now. |
| 2026-03-01 11:34:50 +0100 | <opqdonut> | note that =~ checks if any match is found, it doesn't necesarily match the whole string |
| 2026-03-01 11:34:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 11:33:51 +0100 | <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 11:32:38 +0100 | <Milan_Vanca> | The last one should also produce True? |
| 2026-03-01 11:32:20 +0100 | <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 11:27:03 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-01 11:26:44 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-01 11:24:00 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-01 11:23:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-01 11:16:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 11:12:21 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2026-03-01 11:11:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 11:08:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 11:07:48 +0100 | gehmehgeh | gmg |
| 2026-03-01 11:03:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 11:02:09 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-01 10:53:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 10:48:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 10:48:14 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-03-01 10:41:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-01 10:37:17 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-01 10:35:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 10:31:30 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-03-01 10:31:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 10:28:57 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-01 10:20:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 10:16:12 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |