Logs: freenode/#haskell
| 2021-04-06 04:42:25 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 265 seconds) |
| 2021-04-06 04:43:32 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.44) |
| 2021-04-06 04:43:42 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-06 04:49:48 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-06 04:52:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-06 04:54:56 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-06 04:55:49 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds) |
| 2021-04-06 04:56:46 | × | Benett quits (~Benett@unaffiliated/benett) (Remote host closed the connection) |
| 2021-04-06 04:59:19 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
| 2021-04-06 05:00:05 | → | mp___ joins (mp@hell.cx) |
| 2021-04-06 05:06:01 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-06 05:09:47 | → | Benett joins (~Benett@unaffiliated/benett) |
| 2021-04-06 05:12:27 | × | Alleria__ quits (~textual@2603-7000-3040-0000-18fd-c638-1b22-bd1e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-06 05:12:46 | → | Alleria joins (~textual@2603-7000-3040-0000-e045-d645-2e21-7cec.res6.spectrum.com) |
| 2021-04-06 05:13:11 | Alleria | is now known as Guest66883 |
| 2021-04-06 05:13:47 | → | emmanuel_erc joins (~user@cpe-74-71-106-64.nyc.res.rr.com) |
| 2021-04-06 05:16:28 | × | plutoniix quits (~q@node-ukd.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-04-06 05:17:27 | × | sankarshan quits (~sankarsha@185.204.1.185) (Remote host closed the connection) |
| 2021-04-06 05:17:31 | → | v01d4lph4 joins (~v01d4lph4@223.177.184.123) |
| 2021-04-06 05:17:50 | × | v01d4lph4 quits (~v01d4lph4@223.177.184.123) (Remote host closed the connection) |
| 2021-04-06 05:18:10 | → | v01d4lph4 joins (~v01d4lph4@223.177.184.123) |
| 2021-04-06 05:18:19 | × | v01d4lph4 quits (~v01d4lph4@223.177.184.123) (Remote host closed the connection) |
| 2021-04-06 05:18:59 | → | v01d4lph4 joins (~v01d4lph4@223.177.184.123) |
| 2021-04-06 05:19:39 | × | v01d4lph4 quits (~v01d4lph4@223.177.184.123) (Remote host closed the connection) |
| 2021-04-06 05:19:54 | → | v01d4lph4 joins (~v01d4lph4@223.177.184.123) |
| 2021-04-06 05:19:55 | → | dougsko joins (~dougsko@139.28.218.148) |
| 2021-04-06 05:19:57 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-06 05:22:34 | × | v01d4lph4 quits (~v01d4lph4@223.177.184.123) (Read error: Connection reset by peer) |
| 2021-04-06 05:23:24 | → | v01d4lph4 joins (~v01d4lph4@223.177.184.123) |
| 2021-04-06 05:24:41 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-04-06 05:26:37 | → | v01d4lph_ joins (~v01d4lph4@223.177.184.123) |
| 2021-04-06 05:26:37 | × | v01d4lph4 quits (~v01d4lph4@223.177.184.123) (Read error: Connection reset by peer) |
| 2021-04-06 05:32:46 | → | yoneda joins (~mike@193.206.102.122) |
| 2021-04-06 05:33:26 | → | aerona joins (~aerona@2600:6c54:4600:f300:e355:7c0:28e4:1962) |
| 2021-04-06 05:34:02 | × | v01d4lph_ quits (~v01d4lph4@223.177.184.123) (Read error: No route to host) |
| 2021-04-06 05:34:12 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.44) (Ping timeout: 252 seconds) |
| 2021-04-06 05:34:19 | → | v01d4lph4 joins (~v01d4lph4@223.177.184.123) |
| 2021-04-06 05:35:32 | × | CMCDragonkai2 quits (~Thunderbi@120.18.215.85) (Quit: CMCDragonkai2) |
| 2021-04-06 05:37:11 | × | proteusguy quits (~proteusgu@cm-58-10-155-117.revip7.asianet.co.th) (Ping timeout: 260 seconds) |
| 2021-04-06 05:37:35 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-jauuiqcdkjlizmjn) (Quit: Connection closed for inactivity) |
| 2021-04-06 05:37:46 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.44) |
| 2021-04-06 05:37:52 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:1112:7dc0:d4f4:fdda) |
| 2021-04-06 05:37:54 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-04-06 05:42:54 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) (Remote host closed the connection) |
| 2021-04-06 05:43:01 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1112:7dc0:d4f4:fdda) (Ping timeout: 276 seconds) |
| 2021-04-06 05:43:39 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-06 05:44:15 | <edwardk> | koz_ does it need to be an actual byte array or can you get away with something like an Addr# literal? |
| 2021-04-06 05:47:40 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-04-06 05:48:45 | <edwardk> | you can produce an Addr# literal and then allocate a bytearray and copy it into the bytearray from the slab of memory. (or if we ever get the ability to talk about 'unmanaged' bytearray#'s, then you'd be able to just directly point an unmanaged bytearray# at the addr# literal) |
| 2021-04-06 05:49:14 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) |
| 2021-04-06 05:50:57 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-06 05:52:24 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-06 05:56:17 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-06 05:57:57 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-06 06:04:18 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-06 06:05:08 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-06 06:06:33 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-06 06:08:03 | → | v01d4lph_ joins (~v01d4lph4@223.177.183.124) |
| 2021-04-06 06:08:56 | × | v01d4lph4 quits (~v01d4lph4@223.177.184.123) (Ping timeout: 265 seconds) |
| 2021-04-06 06:11:41 | × | alx741 quits (~alx741@181.196.69.45) (Ping timeout: 240 seconds) |
| 2021-04-06 06:11:49 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ede4:25d6:732a:13e6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-06 06:14:50 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-06 06:18:48 | → | mice-user joins (b4960d8b@180-150-13-139.b4960d.syd.static.aussiebb.net) |
| 2021-04-06 06:22:26 | → | v01d4lph4 joins (~v01d4lph4@223.177.183.124) |
| 2021-04-06 06:22:26 | × | v01d4lph_ quits (~v01d4lph4@223.177.183.124) (Read error: Connection reset by peer) |
| 2021-04-06 06:22:50 | <koz_> | edwardk: Nope, has to be an actual byte array. |
| 2021-04-06 06:24:20 | → | Desmond373 joins (b49673ba@180.150.115.186) |
| 2021-04-06 06:24:24 | <Axman6> | There's no IsList instance for ByteArray# right? (mostly unrelated to koz_'s question) |
| 2021-04-06 06:24:32 | → | alx741 joins (~alx741@181.196.68.238) |
| 2021-04-06 06:26:06 | × | esp32_prog quits (~esp32_pro@91.193.4.202) (Ping timeout: 240 seconds) |
| 2021-04-06 06:26:24 | × | v01d4lph4 quits (~v01d4lph4@223.177.183.124) (Client Quit) |
| 2021-04-06 06:26:26 | → | dyamon joins (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) |
| 2021-04-06 06:27:11 | × | dyamon quits (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Client Quit) |
| 2021-04-06 06:28:16 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-06 06:28:34 | <koz_> | There isn't, but there _is_ for ByteArray in primitive. |
| 2021-04-06 06:30:54 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-04-06 06:31:12 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-06 06:31:21 | → | proteusguy joins (~proteusgu@cm-58-10-209-239.revip7.asianet.co.th) |
| 2021-04-06 06:31:51 | <edwardk> | Axman6: can't be. wrong kind |
| 2021-04-06 06:35:53 | → | v01d4lph4 joins (~v01d4lph4@223.177.183.124) |
| 2021-04-06 06:38:27 | <Axman6> | :'( that's kind of annoying |
| 2021-04-06 06:41:22 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-06 06:42:31 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-06 06:44:20 | × | v01d4lph4 quits (~v01d4lph4@223.177.183.124) (Remote host closed the connection) |
| 2021-04-06 06:44:26 | <edwardk> | Axman6: working on it https://github.com/ekmett/unboxed |
| 2021-04-06 06:45:32 | <edwardk> | 9.2 gives us unlifted data declarations, and moves BoxedRep in with Unlifted and Lifted as specializations of the same type. so you can now in theory write code that is able to instantiate instances for both Lifted and Unlifted pointer types easily. e.g. Eq |
| 2021-04-06 06:48:10 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-04-06 06:48:36 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-06 06:49:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-06 06:49:37 | → | amerocu[m] joins (amerocumat@gateway/shell/matrix.org/x-vtmtlyxuaeoeiccp) |
| 2021-04-06 06:50:49 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-06 06:57:14 | → | Sornaensis joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-04-06 06:57:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-06 06:58:28 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-06 07:00:15 | × | Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds) |
| 2021-04-06 07:01:24 | → | v01d4lph4 joins (~v01d4lph4@223.177.183.124) |
| 2021-04-06 07:01:55 | × | v01d4lph4 quits (~v01d4lph4@223.177.183.124) (Read error: Connection reset by peer) |
| 2021-04-06 07:07:03 | → | v01d4lph4 joins (~v01d4lph4@223.177.183.124) |
| 2021-04-06 07:08:15 | → | srk joins (~sorki@2a00:1028:83a6:10aa:333a:80ef:9696:7eea) |
| 2021-04-06 07:09:17 | → | nut` joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
All times are in UTC.