| 2024-11-20 00:03:12 +0100 | <geekosaur> | I still don't know how you think that would work |
| 2024-11-20 00:03:17 +0100 | <geekosaur> | think about it |
| 2024-11-20 00:04:52 +0100 | <geekosaur> | "Magic" would be quite literal |
| 2024-11-20 00:05:43 +0100 | <Leary> | I mean, GHC could just do the inlining for you. Not like it doesn't already do plenty of that. |
| 2024-11-20 00:07:24 +0100 | <hellwolf> | the fact is it worked. I take that as a magic. |
| 2024-11-20 00:07:33 +0100 | <hellwolf> | *works |
| 2024-11-20 00:17:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-20 00:21:51 +0100 | <hellwolf> | I also defined I8,I16..I256, U8,U16...U256, all without TH. I can now replace that with the magic too. Can you actually do such a splice in the module export list too? I guess that's where the magic is limited? |
| 2024-11-20 00:22:22 +0100 | <hellwolf> | module XYZ ( ... U8, U16, ... U256,...) |
| 2024-11-20 00:28:20 +0100 | <geekosaur> | things defined via TH can be exported, yes |
| 2024-11-20 00:29:52 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-20 00:32:18 +0100 | <hellwolf> | right. I am more curious about if one can go one step of further of not to write this manually |
| 2024-11-20 00:32:18 +0100 | <hellwolf> | -- *** Assorted INTx Types |
| 2024-11-20 00:32:18 +0100 | <hellwolf> | , U8,U16,U24,U32,U40,U48,U56,U64 |
| 2024-11-20 00:32:18 +0100 | <hellwolf> | ... and so on, in the module export list |
| 2024-11-20 00:32:18 +0100 | <hellwolf> | ... but I am quite content already comparing to where I was few hours ago about this part of the code. |
| 2024-11-20 00:33:00 +0100 | <geekosaur> | I don't think you can, no; it'd be kinda the extreme case of the staging restriction |
| 2024-11-20 00:33:00 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2024-11-20 00:34:14 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 272 seconds) |
| 2024-11-20 00:34:39 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-11-20 00:35:35 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2024-11-20 00:36:01 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
| 2024-11-20 00:36:06 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-20 00:40:42 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-20 00:41:02 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2024-11-20 00:42:18 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-11-20 01:01:33 +0100 | mange | (~user@user/mange) mange |
| 2024-11-20 01:04:09 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-11-20 01:06:59 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-20 01:08:25 +0100 | Everything | (~Everythin@46-133-188-81.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-20 01:08:45 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f33ad61be24cfbe8605.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-20 01:10:49 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-11-20 01:19:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-11-20 01:20:38 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |