Newest at the top
| 2024-11-20 01:37:48 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-11-20 01:36:25 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-20 01:33:03 +0100 | sprotte24 | (~sprotte24@p200300d16f3e1d0004a3986a39ff8486.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-20 01:20:38 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 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:10:49 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-11-20 01:08:45 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f33ad61be24cfbe8605.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-20 01:08:25 +0100 | Everything | (~Everythin@46-133-188-81.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-20 01:06:59 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-20 01:04:09 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-11-20 01:01:33 +0100 | mange | (~user@user/mange) mange |
| 2024-11-20 00:42:18 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-11-20 00:41:02 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2024-11-20 00:40:42 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-20 00:36:06 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-20 00:36:01 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
| 2024-11-20 00:35:35 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2024-11-20 00:34:39 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-11-20 00:34:14 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 272 seconds) |
| 2024-11-20 00:33:00 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 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: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:32:18 +0100 | <hellwolf> | ... and so on, in the module export list |
| 2024-11-20 00:32:18 +0100 | <hellwolf> | , U8,U16,U24,U32,U40,U48,U56,U64 |
| 2024-11-20 00:32:18 +0100 | <hellwolf> | -- *** Assorted INTx Types |
| 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:29:52 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-20 00:28:20 +0100 | <geekosaur> | things defined via TH can be exported, yes |
| 2024-11-20 00:22:22 +0100 | <hellwolf> | module XYZ ( ... U8, U16, ... U256,...) |
| 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:17:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-20 00:07:33 +0100 | <hellwolf> | *works |
| 2024-11-20 00:07:24 +0100 | <hellwolf> | the fact is it worked. I take that as a magic. |
| 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:04:52 +0100 | <geekosaur> | "Magic" would be quite literal |
| 2024-11-20 00:03:17 +0100 | <geekosaur> | think about it |
| 2024-11-20 00:03:12 +0100 | <geekosaur> | I still don't know how you think that would work |
| 2024-11-19 23:56:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Error from remote client) |
| 2024-11-19 23:55:14 +0100 | <hellwolf> | you can do a lot with this trick... this needn't to be a amazement if GHC didn't have that "stage restriction". But for now, it's wonderful. |
| 2024-11-19 23:52:28 +0100 | <hellwolf> | I understood that I could skip the $() at top-level. |
| 2024-11-19 23:52:17 +0100 | <hellwolf> | but then... it seems all very reasonable that I didn't have to name it. |
| 2024-11-19 23:51:55 +0100 | <hellwolf> | I took your example and named it, and it didn't work. |
| 2024-11-19 23:51:38 +0100 | <hellwolf> | I didn't know the trick of not naming it. |
| 2024-11-19 23:50:59 +0100 | <Leary> | hellwolf: It is a `Q [Dec]`, implicitly wrapped in $(). The key to avoiding the stage restriction is to inline it into the top-level instead of naming it or its components. |
| 2024-11-19 23:50:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-19 23:48:18 +0100 | <hellwolf> | https://play-haskell.tomsmeding.com/saved/BnEqXAOh |
| 2024-11-19 23:47:54 +0100 | <hellwolf> | Thank you! |
| 2024-11-19 23:47:50 +0100 | <hellwolf> | https://play-haskell.tomsmeding.com/saved/fFgkdYeB <-- I saved the excerpt. |
| 2024-11-19 23:47:37 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2024-11-19 23:47:37 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |