| 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 |
| 2024-11-20 01:33:03 +0100 | sprotte24 | (~sprotte24@p200300d16f3e1d0004a3986a39ff8486.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-20 01:36:25 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-20 01:37:48 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-11-20 01:40:16 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) son0p |
| 2024-11-20 01:40:16 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | forM [ (s, n) | s <- [True, False], n <- [1..32] ] $ \(s, n) -> do |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | name <- TH.newName ((if s then "I" else "U") ++ show (n * 8)) |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | TH.tySynD name [] ((TH.conT ''INTx) |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | `TH.appT` (TH.promotedT (if s then 'True else 'False)) |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | `TH.appT` (TH.litT (TH.numTyLit n))) |
| 2024-11-20 01:43:44 +0100 | <hellwolf> | This is amazing |
| 2024-11-20 01:43:54 +0100 | <hellwolf> | Thanks for teaching me this today. |
| 2024-11-20 01:45:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-20 01:53:30 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-11-20 01:53:52 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 2024-11-20 01:58:00 +0100 | <Axman6> | if s then 'True else 'False made me sad but then realised it's not id |
| 2024-11-20 01:58:44 +0100 | <Axman6> | hellwolf: why limit it to multiples of 8? We use a lot of 18 bit ints at work =) |
| 2024-11-20 01:59:25 +0100 | <geekosaur> | pdp7? 😛 |
| 2024-11-20 01:59:41 +0100 | <Axman6> | FPGAs |
| 2024-11-20 01:59:57 +0100 | <geekosaur> | …everything old is new again |
| 2024-11-20 02:00:06 +0100 | <Axman6> | the DSPs we have do 18x25 bit multiplications (IIRC) |
| 2024-11-20 02:02:17 +0100 | <Axman6> | hellwolf: you might also want to look at how Clash does numbers |
| 2024-11-20 02:03:29 +0100 | <hellwolf> | Yea, I wonder if there is better way of doing that 'True 'False thing :) I guess the domain I am dealing with spared me with non octal trite... |
| 2024-11-20 02:03:44 +0100 | <hellwolf> | Axman6: yes I should checkout clash, heard a lot about it... |
| 2024-11-20 02:05:07 +0100 | <Axman6> | I love it, I wish we'd use it at work, VHDL is such a horrific language |
| 2024-11-20 02:16:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-11-20 02:17:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-20 02:23:50 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-20 02:30:36 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-11-20 02:31:21 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 02:39:04 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-20 02:42:03 +0100 | Alleria_ | (~Alleria@user/alleria) Alleria |
| 2024-11-20 02:44:09 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 252 seconds) |
| 2024-11-20 02:55:12 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-11-20 02:55:24 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-11-20 02:59:18 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-20 03:03:04 +0100 | Alleria_ | (~Alleria@user/alleria) (Ping timeout: 272 seconds) |
| 2024-11-20 03:08:59 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-20 03:09:12 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 252 seconds) |
| 2024-11-20 03:13:18 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-20 03:17:12 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-20 03:23:22 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-20 03:30:18 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 272 seconds) |
| 2024-11-20 03:35:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-11-20 03:36:41 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-20 04:02:05 +0100 | <Axman6> | any python devs know of a python equivalent to insertWith max k v dict? |
| 2024-11-20 04:13:59 +0100 | <edwardk> | hellwolf: re the export list, you can of course skip using an explicit export list. the least amount of code is no code at all there. |
| 2024-11-20 04:14:00 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-20 04:15:45 +0100 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
| 2024-11-20 04:23:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-20 04:36:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-20 04:41:57 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-11-20 04:43:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-20 04:47:48 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-20 04:48:30 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-20 04:59:58 +0100 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2024-11-20 05:00:58 +0100 | Me-me | (~me-me@kc.randomserver.name) |
| 2024-11-20 05:26:27 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-20 05:28:04 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2024-11-20 06:08:39 +0100 | sand-witch_ | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-11-20 06:09:29 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 252 seconds) |
| 2024-11-20 06:13:32 +0100 | sand-witch_ | sand-witch |
| 2024-11-20 06:17:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-20 06:19:21 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-11-20 06:19:23 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-11-20 06:21:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-20 06:33:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-20 06:44:46 +0100 | michalz | (~michalz@185.246.207.217) |
| 2024-11-20 06:50:15 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2024-11-20 06:53:51 +0100 | statusbot7 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-11-20 06:57:50 +0100 | tt12310978324354 | (~tt1231@syn-075-185-104-199.res.spectrum.com) tt1231 |
| 2024-11-20 06:58:39 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 260 seconds) |
| 2024-11-20 06:59:13 +0100 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 248 seconds) |
| 2024-11-20 06:59:14 +0100 | tt12310978324354 | tt1231097832435 |
| 2024-11-20 07:01:33 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-20 07:02:17 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 07:04:36 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-11-20 07:11:06 +0100 | ft | (~ft@p4fc2a26f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-20 07:12:48 +0100 | ft | (~ft@p508dbc6e.dip0.t-ipconnect.de) ft |
| 2024-11-20 07:14:58 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 245 seconds) |
| 2024-11-20 07:16:37 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-11-20 07:19:36 +0100 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2024-11-20 07:25:33 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2024-11-20 07:26:05 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 07:30:03 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-20 07:33:31 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-20 07:36:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-20 07:39:49 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 248 seconds) |
| 2024-11-20 07:40:25 +0100 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-20 07:55:00 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f43cc25887be993a47b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-20 08:04:59 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 252 seconds) |
| 2024-11-20 08:15:27 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 08:16:01 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2024-11-20 08:16:46 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-20 08:17:21 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-11-20 08:29:09 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 246 seconds) |
| 2024-11-20 08:32:15 +0100 | <dminuoso> | bwe: The description is true, but not really relevant today. Mostly just a fun remark about history. |
| 2024-11-20 08:33:28 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-20 08:36:40 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 08:40:34 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-20 08:45:17 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-20 08:46:29 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 248 seconds) |
| 2024-11-20 08:57:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-20 08:58:11 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 09:00:56 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-11-20 09:01:12 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2024-11-20 09:01:36 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-11-20 09:04:24 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 252 seconds) |
| 2024-11-20 09:07:18 +0100 | Perseverance | (~Persevera@2.219.56.221) |
| 2024-11-20 09:08:11 +0100 | <haskellbridge> | <hellwolf> edwardk: yes, that's true. |
| 2024-11-20 09:08:11 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/lsAZXCpcYCpLcHAgzwCoIQAw/t5OqeCcG3NM (3 lines) |
| 2024-11-20 09:10:18 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-20 09:14:56 +0100 | <haskellbridge> | <hellwolf> Also, if I take that thing in a separate module of its own, then I can be more comfortable letting module export list to be inexplicit. |
| 2024-11-20 09:14:58 +0100 | <haskellbridge> | But now I am just splitting hairs. |
| 2024-11-20 09:18:23 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2024-11-20 09:18:28 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-20 09:19:21 +0100 | Perseverance | (~Persevera@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-11-20 09:21:52 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-20 09:28:40 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-11-20 09:31:40 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 09:36:37 +0100 | Perseverance | (~Persevera@2.219.56.221) |
| 2024-11-20 09:38:33 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-20 09:38:45 +0100 | euleritian | (~euleritia@dynamic-176-006-132-236.176.6.pool.telefonica.de) |
| 2024-11-20 09:39:06 +0100 | euleritian | (~euleritia@dynamic-176-006-132-236.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-20 09:39:22 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 09:40:20 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 265 seconds) |
| 2024-11-20 09:49:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-20 09:50:16 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-20 09:50:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-11-20 09:51:26 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-20 09:53:20 +0100 | ft | (~ft@p508dbc6e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-20 09:57:28 +0100 | <bwe> | dminuoso: then, what's the essence of it that's relevant today? |
| 2024-11-20 09:57:37 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-20 09:58:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-20 09:58:44 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 10:03:35 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-20 10:03:48 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 10:06:21 +0100 | evocatus | (~evocatus@2a02:a210:20c2:d600:1496:234e:dc9f:5868) evocatus |
| 2024-11-20 10:08:11 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-20 10:10:02 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 252 seconds) |
| 2024-11-20 10:10:39 +0100 | evocatus | (~evocatus@2a02:a210:20c2:d600:1496:234e:dc9f:5868) (Ping timeout: 246 seconds) |
| 2024-11-20 10:16:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-20 10:17:18 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |