2025/08/14

Newest at the top

2025-08-14 07:55:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 07:45:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-14 07:40:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 07:30:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-14 07:25:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 07:25:25 +0200trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-08-14 07:25:12 +0200trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-14 07:24:06 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-14 07:15:27 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-08-14 07:14:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-14 07:10:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 07:08:42 +0200finsternis(~X@23.226.237.192) finsternis
2025-08-14 07:07:55 +0200trickard_trickard
2025-08-14 07:05:16 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: You)
2025-08-14 07:03:44 +0200peterbecich(~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 +0200jespada(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-14 06:58:53 +0200michalz(~michalz@185.246.207.218)
2025-08-14 06:57:53 +0200jespada(~jespada@2800:a4:2247:2400:386f:f20:8fc5:23de) (Ping timeout: 248 seconds)
2025-08-14 06:55:52 +0200phma_phma
2025-08-14 06:55:46 +0200phma_(~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 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-14 06:44:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 06:41:36 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
2025-08-14 06:40:09 +0200haritz(~hrtz@user/haritz) (Remote host closed the connection)
2025-08-14 06:33:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-14 06:29:12 +0200trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-08-14 06:26:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 06:24:30 +0200trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-14 06:19:03 +0200trickard(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-08-14 06:18:50 +0200trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-14 06:15:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-14 06:10:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 06:06:08 +0200Lycurgus(~juan@user/Lycurgus) (Ping timeout: 252 seconds)
2025-08-14 06:04:58 +0200Square2(~Square@user/square) (Ping timeout: 245 seconds)
2025-08-14 05:59:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-14 05:55:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 05:52:21 +0200feetwind(~mike@user/feetwind) feetwind
2025-08-14 05:52:03 +0200feetwind(~mike@user/feetwind) (Server closed connection)
2025-08-14 05:46:56 +0200phma_(~phma@host-67-44-208-76.hnremote.net) (Read error: Connection reset by peer)
2025-08-14 05:44:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-14 05:40:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn