Logs: liberachat/#haskell
| 2021-06-15 12:53:32 | <lambdabot> | with actual type ‘Doc’ |
| 2021-06-15 12:53:40 | <merijn> | > text $ filter isNumber [minBound .. maxBound] -- third time's the charm |
| 2021-06-15 12:53:41 | <lambdabot> | 0123456789²³¹¼½¾٠١٢٣٤٥٦٧٨٩۰۱۲۳۴۵۶۷۸۹߀߁߂߃߄߅߆߇߈߉०१२३४५६७८९০১২৩৪৫৬৭৮৯৴৵৶৷৸৹੦੧੨੩... |
| 2021-06-15 12:55:20 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-15 12:56:40 | <dminuoso> | zyklotomic: So there's two parts at work. One, ScopedTypeVariables arguably should have been the default behavior from the beginning. |
| 2021-06-15 12:57:00 | <dminuoso> | Secondly, minBound/maxBound should require a Proxy as argument like many other things that don't. |
| 2021-06-15 12:57:10 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-15 12:57:28 | <dminuoso> | (sizeOf is an even better example) |
| 2021-06-15 12:59:06 | × | zebrag quits (~chris@user/zebrag) (Client Quit) |
| 2021-06-15 12:59:33 | → | dudek joins (~dudek@185.150.236.112) |
| 2021-06-15 13:01:15 | → | alx741 joins (~alx741@186.178.108.66) |
| 2021-06-15 13:02:18 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-15 13:02:35 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-15 13:04:51 | → | larkfisherman joins (~larkfishe@217.75.204.126) |
| 2021-06-15 13:05:12 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:add0:1e4f:5044:d502) (Remote host closed the connection) |
| 2021-06-15 13:05:36 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:b257:2b:ea5f:da94) |
| 2021-06-15 13:05:58 | → | shredder joins (~shredder@user/shredder) |
| 2021-06-15 13:06:44 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-15 13:07:02 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) |
| 2021-06-15 13:07:47 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-15 13:08:06 | → | Tritlo joins (~Tritlo@h-155-4-130-185.NA.cust.bahnhof.se) |
| 2021-06-15 13:11:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Ping timeout: 240 seconds) |
| 2021-06-15 13:11:58 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-15 13:14:04 | <merijn> | dminuoso: I mean, proxy seems irrelevant here |
| 2021-06-15 13:14:15 | → | melivia joins (~seph@sephistication.plus.com) |
| 2021-06-15 13:14:25 | <merijn> | dminuoso: Since his question was about "how do I get the type?", proxy only works if you already have that type |
| 2021-06-15 13:15:12 | kadobanana | is now known as mud |
| 2021-06-15 13:15:20 | → | Tritlo_ joins (sid58727@id-58727.stonehaven.irccloud.com) |
| 2021-06-15 13:15:44 | × | delYsid quits (~user@user/delYsid) (Remote host closed the connection) |
| 2021-06-15 13:16:17 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-06-15 13:16:50 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-15 13:18:53 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-15 13:19:49 | → | yd502 joins (~yd502@2409:891e:320:209e:f515:1951:1076:cda6) |
| 2021-06-15 13:19:52 | ← | Tritlo parts (~Tritlo@h-155-4-130-185.NA.cust.bahnhof.se) () |
| 2021-06-15 13:20:05 | × | Tritlo_ quits (sid58727@id-58727.stonehaven.irccloud.com) () |
| 2021-06-15 13:20:06 | × | teaSlurper quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-06-15 13:20:10 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-15 13:20:25 | → | Tritlo_ joins (sid58727@id-58727.stonehaven.irccloud.com) |
| 2021-06-15 13:20:28 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-15 13:20:32 | Tritlo_ | is now known as Tritlo |
| 2021-06-15 13:20:36 | × | Tritlo quits (sid58727@id-58727.stonehaven.irccloud.com) (Client Quit) |
| 2021-06-15 13:20:47 | → | Tritlo joins (sid58727@id-58727.stonehaven.irccloud.com) |
| 2021-06-15 13:21:05 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-15 13:21:23 | × | Tritlo quits (sid58727@id-58727.stonehaven.irccloud.com) (Client Quit) |
| 2021-06-15 13:21:36 | → | Tritlo joins (sid58727@id-58727.stonehaven.irccloud.com) |
| 2021-06-15 13:21:37 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-15 13:21:40 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-15 13:23:28 | → | ddellacosta joins (~ddellacos@86.106.143.203) |
| 2021-06-15 13:25:06 | × | melivia quits (~seph@sephistication.plus.com) (Quit: leaving) |
| 2021-06-15 13:26:13 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-15 13:28:25 | × | ddellacosta quits (~ddellacos@86.106.143.203) (Ping timeout: 265 seconds) |
| 2021-06-15 13:28:28 | → | ixlun joins (~matthew@213.205.241.86) |
| 2021-06-15 13:30:29 | → | Guest9 joins (~Guest9@103.249.234.176) |
| 2021-06-15 13:31:26 | × | yd502 quits (~yd502@2409:891e:320:209e:f515:1951:1076:cda6) (Ping timeout: 272 seconds) |
| 2021-06-15 13:32:17 | <ixlun> | Hi all, has anyone had issues with line editing in GHCi? |
| 2021-06-15 13:32:28 | <ixlun> | I'm using 8.10.5 GHC on apple silicon |
| 2021-06-15 13:32:47 | <maerwald> | what does line editing mean |
| 2021-06-15 13:33:12 | <ixlun> | For example, pressing Ctrl-a to take you to the beginning of the line |
| 2021-06-15 13:34:31 | <ixlun> | I think it uses GNU readline under the hood |
| 2021-06-15 13:34:53 | × | haskman quits (~haskman@223.190.124.48) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-15 13:35:16 | <maerwald> | ctrl-a does odd things for me |
| 2021-06-15 13:35:35 | <maerwald> | but I have no idea if that is supposed to work on darwin |
| 2021-06-15 13:35:42 | → | haskman joins (~haskman@223.190.124.48) |
| 2021-06-15 13:36:57 | <ixlun> | Are you on an X86 or arm64 machine? |
| 2021-06-15 13:37:04 | <maerwald> | arm64 |
| 2021-06-15 13:37:16 | <Hecate> | am I hallucinating or is this an effect system in the rust std_lib? https://blog.sunfishcode.online/introducing-cap-std/ |
| 2021-06-15 13:37:58 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-15 13:37:59 | <maerwald> | looks like a syscall sandbox |
| 2021-06-15 13:38:13 | <ixlun> | maerwald: Okay, thanks for the info. Good to know that it's not just my system. I might raise a bug on the GHC gitlab. |
| 2021-06-15 13:38:19 | <merijn> | ghci uses haskeline |
| 2021-06-15 13:38:44 | <merijn> | Which is a Haskell implementation that mimics readline. But it doesn't use readline |
| 2021-06-15 13:38:56 | <ixlun> | Ahh, I didn't know that |
| 2021-06-15 13:39:06 | <ixlun> | It does such a good job, I thought it was readline! |
| 2021-06-15 13:39:11 | → | fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) |
| 2021-06-15 13:39:13 | <merijn> | It's quite nice to work with |
| 2021-06-15 13:39:24 | <merijn> | Have been using it with custom completion logic, etc. |
| 2021-06-15 13:39:41 | → | listofoptions joins (~haha@nat.syssrc.com) |
| 2021-06-15 13:40:36 | <ixlun> | I might try and create a small program that uses it on my system and see if I can replicate the problem. If so, I guess there would be a bug in haskeline |
| 2021-06-15 13:43:06 | × | fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 240 seconds) |
| 2021-06-15 13:43:51 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-15 13:43:57 | × | larkfisherman quits (~larkfishe@217.75.204.126) (Quit: Leaving) |
| 2021-06-15 13:46:05 | <merijn> | Could be, or an issue with terminfo, etc. |
| 2021-06-15 13:46:07 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-06-15 13:46:50 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-15 13:47:07 | × | haskman quits (~haskman@223.190.124.48) (Quit: QUIT) |
| 2021-06-15 13:47:32 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-15 13:50:38 | × | ixlun quits (~matthew@213.205.241.86) (Read error: Connection reset by peer) |
| 2021-06-15 13:50:57 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-15 13:51:14 | → | warnz joins (~warnz@2600:1700:77c0:5610:800b:6e01:97af:a956) |
| 2021-06-15 13:52:35 | × | azeem quits (~azeem@176.201.22.245) (Ping timeout: 265 seconds) |
| 2021-06-15 13:52:54 | → | azeem joins (~azeem@176.201.22.245) |
| 2021-06-15 13:53:18 | → | chddr joins (~Thunderbi@31.148.23.125) |
| 2021-06-15 13:53:42 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-15 13:54:27 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 244 seconds) |
| 2021-06-15 13:54:29 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-06-15 13:54:42 | × | Guest9 quits (~Guest9@103.249.234.176) (Ping timeout: 240 seconds) |
| 2021-06-15 13:54:51 | → | qbt joins (~edun@user/edun) |
| 2021-06-15 13:55:30 | × | warnz quits (~warnz@2600:1700:77c0:5610:800b:6e01:97af:a956) (Ping timeout: 240 seconds) |
| 2021-06-15 13:56:30 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-15 13:56:49 | × | wonko quits (~wjc@62.115.229.50) (Remote host closed the connection) |
All times are in UTC.