Newest at the top
2025-08-14 07:55:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 07:45:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-14 07:40:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 07:30:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-14 07:25:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 07:25:25 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
2025-08-14 07:25:12 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-14 07:24:06 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-14 07:15:27 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-08-14 07:14:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-14 07:10:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 07:08:42 +0200 | finsternis | (~X@23.226.237.192) finsternis |
2025-08-14 07:07:55 +0200 | trickard_ | trickard |
2025-08-14 07:05:16 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: You) |
2025-08-14 07:03:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-14 07:02:58 +0200 | <Leary> | Err, ignore that first suggestion, I had a thinko. |
2025-08-14 07:00:28 +0200 | <Leary> | Integer* |
2025-08-14 07:00:27 +0200 | jespada | (~jespada@2800:a4:2225:9000:913:54f8:4fc8:5494) jespada |
2025-08-14 06:59:48 +0200 | <Leary> | Otherwise, there's validated-literals. |
2025-08-14 06:59:39 +0200 | <Leary> | Perhaps you can write something like `instance n < 32 => Num (Index n)`, then `fromInteger @(Index _) :: n < 32 => Int -> Index n`. |
2025-08-14 06:59:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-14 06:58:53 +0200 | michalz | (~michalz@185.246.207.218) |
2025-08-14 06:57:53 +0200 | jespada | (~jespada@2800:a4:2247:2400:386f:f20:8fc5:23de) (Ping timeout: 248 seconds) |
2025-08-14 06:55:52 +0200 | phma_ | phma |
2025-08-14 06:55:46 +0200 | phma_ | (~phma@2001:5b0:2172:ba18:237a:adb:9a49:b97a) |
2025-08-14 06:54:43 +0200 | <haskellbridge> | <Axman6> I'm wondering if it's possible to make writing "32 :: Index 32" a type error |
2025-08-14 06:54:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 06:54:17 +0200 | <haskellbridge> | <Axman6> so writing "32 :: Index 32" should fail at compile time/GHCi |
2025-08-14 06:53:46 +0200 | <haskellbridge> | <Axman6> Leary The idea was to be able to support types whose valid values are limited, in this particular case the "Index (n :: Nat)" type in Clash, which represents values [0..n-1] |
2025-08-14 06:48:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-14 06:44:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 06:41:36 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
2025-08-14 06:40:09 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
2025-08-14 06:33:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-14 06:29:12 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
2025-08-14 06:26:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 06:24:30 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-14 06:19:03 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) |
2025-08-14 06:18:50 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-14 06:15:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-14 06:10:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 06:06:08 +0200 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 252 seconds) |
2025-08-14 06:04:58 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
2025-08-14 05:59:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-14 05:55:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 05:52:21 +0200 | feetwind | (~mike@user/feetwind) feetwind |
2025-08-14 05:52:03 +0200 | feetwind | (~mike@user/feetwind) (Server closed connection) |
2025-08-14 05:46:56 +0200 | phma_ | (~phma@host-67-44-208-76.hnremote.net) (Read error: Connection reset by peer) |
2025-08-14 05:44:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-14 05:40:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |