| 2025-01-25 00:03:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 00:11:57 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 00:16:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-25 00:17:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-25 00:18:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-25 00:18:51 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-25 00:18:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:21:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 00:23:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:23:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 00:24:25 +0100 | <Leary> | hellwolf: https://hackage.haskell.org/package/ghc-bignum-1.3/docs/GHC-Num-Integer.html#v:integerToMutableByt… |
| 2025-01-25 00:25:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 00:26:52 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2025-01-25 00:29:53 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-01-25 00:34:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:39:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:42:45 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-01-25 00:49:40 +0100 | <hellwolf> | does anyone know how to use TH to express a list of constraints in its quotation form: [d| instance ($(mapM (pure . TH.conT ''ABITypeable) xs)) => ABITypeable $(tpl) where ... |] |
| 2025-01-25 00:49:57 +0100 | <hellwolf> | I know how to do it without the quotation form, but that's not so read. |
| 2025-01-25 00:50:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:54:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 00:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 00:56:03 +0100 | dmwit | (~dmwit@2600:4040:2646:b300:d62:4f7e:bd88:2572) (Quit: Client closed) |
| 2025-01-25 00:56:14 +0100 | <c_wraith> | There are lots of places you just can't splice into. That might be one of them. |
| 2025-01-25 00:57:41 +0100 | <c_wraith> | though that mapM (pure . blah) is kind of funny. |
| 2025-01-25 00:57:55 +0100 | <c_wraith> | that'd be like... pure (map blah ...) |
| 2025-01-25 01:01:08 +0100 | <hellwolf> | I actually found it |
| 2025-01-25 01:01:57 +0100 | <hellwolf> | just need to use TH.tupleT |
| 2025-01-25 01:02:03 +0100 | <hellwolf> | which kinda makes sense. |
| 2025-01-25 01:02:27 +0100 | <hellwolf> | although the TH.instanceD uses a list, which looked easier. |
| 2025-01-25 01:06:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:07:23 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 01:07:28 +0100 | <hellwolf> | that makes me want to rewrite some of my instances' TH to use quotation form... looks much nicer |
| 2025-01-25 01:07:34 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2025-01-25 01:08:29 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-25 01:10:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 01:11:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:11:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 01:15:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 01:15:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 01:19:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 01:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:24:23 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection) |
| 2025-01-25 01:24:38 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) bradparker |
| 2025-01-25 01:28:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:31:09 +0100 | <hellwolf> | well, another haskell trvia: the maximum TupleN that has a Show instance is N=15 ... per https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Show.html#line-328 |
| 2025-01-25 01:31:52 +0100 | <hellwolf> | I just found out. Since I have been supporting TupleN up to 64 |
| 2025-01-25 01:31:53 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-01-25 01:31:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-25 01:31:58 +0100 | <c_wraith> | yeah, the spec doesn't require instances very far. GHC exceeds the requirements. The spec requires that 63-tuples exist, but not that they have instances |
| 2025-01-25 01:32:18 +0100 | <hellwolf> | what is the "spec" do you mean? |
| 2025-01-25 01:32:29 +0100 | <c_wraith> | Haskell 2010 |
| 2025-01-25 01:32:35 +0100 | <hellwolf> | interesting |
| 2025-01-25 01:32:59 +0100 | <hellwolf> | people really don't like TH, I guess. |
| 2025-01-25 01:33:13 +0100 | <hellwolf> | but TH is noticeably slow indeed. |
| 2025-01-25 01:33:16 +0100 | <geekosaur> | tbh anything beyond 2 or possibly 3 (term level) is generally a bad idea |