Newest at the top
2024-09-29 18:21:43 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-09-29 18:21:41 +0200 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) (Read error: Connection reset by peer) |
2024-09-29 18:20:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 18:16:21 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-09-29 18:16:05 +0200 | <raehik> | Wait, no! The Core leaves the constants separate, but the ASM has them combined. Cool! |
2024-09-29 18:15:21 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-29 18:12:51 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-29 18:11:14 +0200 | <raehik> | (Oops, please read my original example as having constants 0b0001, 0b1000) |
2024-09-29 18:10:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-29 18:10:02 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-29 18:09:34 +0200 | <raehik> | Bleh, it is an association issue. Putting the constants next to each other has GHC combine them as expected. |
2024-09-29 18:09:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-29 18:07:54 +0200 | <raehik> | Hm. No, GHC wasn't able to combine those. That's a shame. https://play.haskell.org/saved/VfZw28Kb |
2024-09-29 18:07:52 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-09-29 18:06:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 18:04:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 18:01:10 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
2024-09-29 17:59:45 +0200 | misterfish | (~misterfis@178-85-89-58.dynamic.upc.nl) (Ping timeout: 265 seconds) |
2024-09-29 17:59:07 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-09-29 17:58:12 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-09-29 17:57:18 +0200 | <raehik> | google found it immediately :) https://play.haskell.org/ |
2024-09-29 17:56:35 +0200 | <raehik> | I could answer it myself if I had that |
2024-09-29 17:56:27 +0200 | <raehik> | Ack. Wasn't there a GHC/Haskell playground that lets you view Core, advertised the other day? |
2024-09-29 17:55:09 +0200 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
2024-09-29 17:55:05 +0200 | <raehik> | If I have a big bit twiddle of `a .|. 0b0001 .|. b .|. 0b1001`, is GHC smart enough to combine the constants into `a .|. b .|. 0b1001`? |
2024-09-29 17:54:53 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
2024-09-29 17:53:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-29 17:51:43 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-29 17:48:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 17:48:41 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2024-09-29 17:47:42 +0200 | tedbjurlin | (tedbjurlin@user/tedbjurlin) (Remote host closed the connection) |
2024-09-29 17:45:52 +0200 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
2024-09-29 17:44:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-29 17:41:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 17:41:05 +0200 | tedbjurlin | (tedbjurlin@user/tedbjurlin) tedbjurlin |
2024-09-29 17:38:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-29 17:36:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 17:35:49 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
2024-09-29 17:35:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
2024-09-29 17:35:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-09-29 17:35:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 17:33:21 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-29 17:33:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 17:30:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-29 17:24:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 17:22:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-29 17:17:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 17:16:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-29 17:07:56 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-29 17:06:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |