Newest at the top
| 2026-04-18 07:43:03 +0000 | <haskellbridge> | <ozkutuk> no fork needed, you write your custom normalizer in your application code and pass it as an argument to the Dhall library functions rather than using the implicit default one |
| 2026-04-18 07:42:55 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-04-18 07:41:06 +0000 | <haskellbridge> | <maerwald> aha, now I have to fork dhall? |
| 2026-04-18 07:40:35 +0000 | <haskellbridge> | <ozkutuk> docs have an example: https://hackage-content.haskell.org/package/dhall-1.42.3/docs/Dhall-Tutorial.html#g:23 |
| 2026-04-18 07:40:20 +0000 | <haskellbridge> | <ozkutuk> Dhall provides extension points to introduce your own built-ins, so if you are using Dhall as a library, you can extend it to add a Text/equal built-in |
| 2026-04-18 07:39:57 +0000 | <haskellbridge> | <maerwald> it's just that everything looks horrible |
| 2026-04-18 07:39:12 +0000 | <haskellbridge> | <maerwald> because I can hack around it by encoding sum types as integers and doing equality checks on them |
| 2026-04-18 07:38:40 +0000 | <haskellbridge> | <maerwald> that makes no sense |
| 2026-04-18 07:37:04 +0000 | <yushyin> | whether this is sensible or not is beyond my expertise :D |
| 2026-04-18 07:36:39 +0000 | <yushyin> | "The main reason for forbidding Text equality comparisons is to prevent people from parsing Text values at all, in order to encourage them to use more structured data types instead." -- https://github.com/dhall-lang/dhall-haskell/issues/72#issuecomment-309074784 |
| 2026-04-18 07:36:26 +0000 | <yushyin> | afair, that was a deliberate design decision |
| 2026-04-18 07:36:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 07:32:34 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 248 seconds) |
| 2026-04-18 07:31:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:29:55 +0000 | <haskellbridge> | <maerwald> yes |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@95.179.128.10) |
| 2026-04-18 07:29:30 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-04-18 07:28:22 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 07:24:16 +0000 | Logio | (em@kapsi.fi) (Quit: Lost terminal) |
| 2026-04-18 07:21:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-18 07:21:20 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-18 07:20:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 07:16:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:14:22 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 276 seconds) |
| 2026-04-18 07:14:12 +0000 | <gentauro> | maerwald: so you can't compare strings? |
| 2026-04-18 07:14:10 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@95.179.128.10) |
| 2026-04-18 07:11:59 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-04-18 07:09:16 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 07:08:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-04-18 07:04:46 +0000 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2026-04-18 07:03:07 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2026-04-18 07:02:37 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2026-04-18 07:01:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:55:06 +0000 | Guest8632 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-18 06:54:56 +0000 | pyook | puke |
| 2026-04-18 06:54:56 +0000 | puke | Guest8632 |
| 2026-04-18 06:54:55 +0000 | pyook | (~puke@user/puke) puke |
| 2026-04-18 06:50:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 06:48:01 +0000 | mags_ | (~mags@cpc80651-stap13-2-0-cust620.12-2.cable.virginm.net) (Client Quit) |
| 2026-04-18 06:48:00 +0000 | <mags_> | oops |
| 2026-04-18 06:47:57 +0000 | <mags_> | quit |
| 2026-04-18 06:47:31 +0000 | mags_ | (~mags@cpc80651-stap13-2-0-cust620.12-2.cable.virginm.net) |