Logs: liberachat/#haskell
| 2021-05-27 13:23:12 | → | FunctorPunk joins (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) |
| 2021-05-27 13:23:50 | → | hughjfchen joins (~hughjfche@120.229.94.210) |
| 2021-05-27 13:24:07 | → | dwt_ joins (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2021-05-27 13:24:08 | × | FunctorPunk quits (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2021-05-27 13:24:19 | × | hughjfchen quits (~hughjfche@120.229.94.210) (Client Quit) |
| 2021-05-27 13:24:49 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-05-27 13:25:46 | → | Brighthammer joins (~Brightham@89.44.10.132) |
| 2021-05-27 13:26:39 | → | roconnor joins (~roconnor@host-184-164-3-109.dyn.295.ca) |
| 2021-05-27 13:26:42 | → | FunctorPunk joins (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) |
| 2021-05-27 13:26:45 | × | Brighthammer quits (~Brightham@89.44.10.132) (Client Quit) |
| 2021-05-27 13:29:40 | → | ddellaco_ joins (~ddellacos@89.46.62.116) |
| 2021-05-27 13:29:41 | × | FunctorPunk quits (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2021-05-27 13:30:20 | → | FunctorPunk joins (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) |
| 2021-05-27 13:30:49 | × | FunctorPunk quits (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) (Client Quit) |
| 2021-05-27 13:30:54 | × | mceldeen quits (~igloo@71-33-209-141.hlrn.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-27 13:30:56 | <maerwald> | sm: I got ansi escape codes working on windows: https://dpaste.com/3LVXDQBNU |
| 2021-05-27 13:31:58 | <maerwald> | shameless rip-off of https://docs.rs/ansi_term/0.12.1/x86_64-pc-windows-msvc/src/ansi_term/windows.rs.html#10-61 |
| 2021-05-27 13:33:00 | × | buggy quits (~buggy@27.6.222.224) (Quit: Lost terminal) |
| 2021-05-27 13:33:35 | × | ddellacosta quits (~ddellacos@86.106.121.75) (Ping timeout: 272 seconds) |
| 2021-05-27 13:35:18 | × | leah2 quits (~leah@vuxu.org) (Quit: trotz alledem!) |
| 2021-05-27 13:35:39 | × | ddellaco_ quits (~ddellacos@89.46.62.116) (Quit: Leaving...) |
| 2021-05-27 13:36:15 | → | leah2 joins (~leah@vuxu.org) |
| 2021-05-27 13:36:36 | <maerwald> | but unicode chars don't seem to work correctly in the console |
| 2021-05-27 13:36:46 | × | Franciman quits (~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-05-27 13:36:46 | <geekosaur> | chcp 65001 |
| 2021-05-27 13:37:44 | <geekosaur> | sets the console to utf8 codepage |
| 2021-05-27 13:38:06 | × | haskman quits (~haskman@106.212.143.206) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-27 13:39:12 | → | Kevin578 joins (~Kevin578@pool-98-110-163-110.bstnma.fios.verizon.net) |
| 2021-05-27 13:39:28 | → | FreeVariable joins (~FreeVaria@156.25.4.27) |
| 2021-05-27 13:41:17 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) |
| 2021-05-27 13:42:19 | <maerwald> | https://dev.to/mattn/please-stop-hack-chcp-65001-27db |
| 2021-05-27 13:42:48 | × | roconnor quits (~roconnor@host-184-164-3-109.dyn.295.ca) (Quit: Konversation terminated!) |
| 2021-05-27 13:44:16 | × | sajith quits (~sajith@marsh.hcoop.net) (Changing host) |
| 2021-05-27 13:44:16 | → | sajith joins (~sajith@user/sajith) |
| 2021-05-27 13:44:55 | <maerwald> | +RTS --io-manager=native seems to do somethng |
| 2021-05-27 13:45:08 | <maerwald> | but that get stuck in powershell :) |
| 2021-05-27 13:45:46 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-05-27 13:47:01 | → | space-shell joins (~space-she@88.98.247.38) |
| 2021-05-27 13:47:03 | <boxscape> | maerwald huh judging by that, it looks like the usual, expected state for Japanese windows is to display file paths (at least in cmd) with ¥ instead of \ |
| 2021-05-27 13:47:25 | × | FreeVariable quits (~FreeVaria@156.25.4.27) (Quit: Connection closed) |
| 2021-05-27 13:47:35 | <geekosaur> | no, that's reportedly what happens with chcp 65001 instead of the native Japanese codepage |
| 2021-05-27 13:48:05 | <boxscape> | no, here he says it uses ¥ *before* calling chcp 65001 https://github.com/stedolan/jq/issues/1121 |
| 2021-05-27 13:48:06 | <maerwald> | can you have default RTS options for an executable? |
| 2021-05-27 13:48:35 | × | xff0x quits (~xff0x@2001:1a81:5398:5c00:c47d:75cc:a946:f749) (Ping timeout: 272 seconds) |
| 2021-05-27 13:48:53 | <maerwald> | https://gitlab.haskell.org/ghc/ghc/-/issues/4471 suggests the correct fix is to just use the native window io manager indeed |
| 2021-05-27 13:49:50 | → | xff0x joins (~xff0x@2001:1a81:53be:400:e35f:b79:8fb6:e57a) |
| 2021-05-27 13:50:35 | <geekosaur> | that gives you a version constraint, I don't think 8.x has the native IO manager |
| 2021-05-27 13:50:38 | <maerwald> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/runtime_control.html#rts-opts-compile-time |
| 2021-05-27 13:50:41 | <maerwald> | geekosaur: correct |
| 2021-05-27 13:51:00 | <maerwald> | I have a 9.0.1 version constraint anyway due to process and Win32 being ancient on 8.10 |
| 2021-05-27 13:52:01 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 2021-05-27 13:52:17 | → | ddellacosta joins (~ddellacos@89.46.62.115) |
| 2021-05-27 13:52:49 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-27 13:55:16 | → | piq9117 joins (~ken@pool-108-39-145-78.pitbpa.fios.verizon.net) |
| 2021-05-27 13:55:28 | × | piq9117 quits (~ken@pool-108-39-145-78.pitbpa.fios.verizon.net) (Client Quit) |
| 2021-05-27 13:56:25 | → | Gurkenglas joins (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
| 2021-05-27 13:59:05 | → | dunj3 joins (~dunj3@2001:16b8:3025:3200:19d0:6936:8815:415c) |
| 2021-05-27 13:59:36 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-05-27 13:59:40 | × | ubert quits (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-27 13:59:40 | ub | is now known as ubert |
| 2021-05-27 13:59:59 | → | ubert1 joins (~Thunderbi@p200300ecdf259d79e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-05-27 14:01:02 | × | xprlgjf quits (~gavin@60.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-27 14:02:50 | → | siraben` joins (~sirabenma@2001:470:69fc:105::5e) |
| 2021-05-27 14:02:53 | × | SteelZeal quits (~SteelZeal@user/steelzeal) (Ping timeout: 252 seconds) |
| 2021-05-27 14:03:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-27 14:03:42 | → | slack1256 joins (~slack1256@181.203.32.1) |
| 2021-05-27 14:04:02 | → | nsilv-phone joins (~nsilv-pho@37.163.54.40) |
| 2021-05-27 14:04:35 | → | xprlgjf joins (~gavin@60.27.93.209.dyn.plus.net) |
| 2021-05-27 14:04:39 | × | Ranhir quits (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 2021-05-27 14:06:59 | → | doublex joins (~doublex@2601:542:c480:6ee0:a5a3:1270:f9ea:4275) |
| 2021-05-27 14:08:26 | → | frosch03 joins (~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) |
| 2021-05-27 14:08:55 | × | frosch03 quits (~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) (Remote host closed the connection) |
| 2021-05-27 14:11:54 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-05-27 14:12:44 | → | ukari joins (~ukari@user/ukari) |
| 2021-05-27 14:14:05 | × | pflanze quits (~pflanze@2001:1a88:19e:4500:24b7:a963:b85:697d) (Remote host closed the connection) |
| 2021-05-27 14:14:07 | × | brandonh quits (~brandonh@151.38.0.85) (Quit: brandonh) |
| 2021-05-27 14:14:49 | → | haskman joins (~haskman@106.212.143.206) |
| 2021-05-27 14:15:05 | niko | is now known as o |
| 2021-05-27 14:15:40 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) |
| 2021-05-27 14:18:08 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-27 14:19:37 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-05-27 14:20:18 | × | siraben` quits (~sirabenma@2001:470:69fc:105::5e) (Quit: node-irc says goodbye) |
| 2021-05-27 14:21:10 | → | yumaikas- joins (~yumaikas@c-73-14-132-194.hsd1.co.comcast.net) |
| 2021-05-27 14:21:49 | × | siraben quits (~user@user/siraben) (Quit: switching to matrix) |
| 2021-05-27 14:22:38 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-27 14:23:42 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-27 14:23:54 | allbery_b | is now known as geekosaur |
| 2021-05-27 14:23:58 | × | xprlgjf quits (~gavin@60.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-27 14:26:25 | → | rostero joins (uid236576@id-236576.tooting.irccloud.com) |
| 2021-05-27 14:26:32 | × | z0k quits (~zarak@101.50.108.132) (Ping timeout: 252 seconds) |
| 2021-05-27 14:26:44 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-27 14:30:24 | → | lorxiu joins (~user@240e:3b1:2470:b600:bb:1c1e:4256:2) |
| 2021-05-27 14:30:46 | × | smr quits (~smn@91-114-147-117.adsl.highway.telekom.at) (Ping timeout: 264 seconds) |
| 2021-05-27 14:33:30 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-27 14:33:44 | × | Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Remote host closed the connection) |
| 2021-05-27 14:35:32 | → | archbish joins (~archbish@vps-67389805.vps.ovh.net) |
| 2021-05-27 14:35:36 | ← | archbish parts (~archbish@vps-67389805.vps.ovh.net) () |
| 2021-05-27 14:36:52 | → | nckx joins (~nckx@tobias.gr) |
| 2021-05-27 14:37:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-27 14:37:27 | → | mojobask joins (~user@95.155.34.8) |
All times are in UTC.