Logs: liberachat/#haskell
| 2021-06-18 11:13:38 | flounders_ | is now known as flounders |
| 2021-06-18 11:14:39 | × | azeem quits (~azeem@176.200.249.255) (Ping timeout: 272 seconds) |
| 2021-06-18 11:15:16 | × | fabfianda quits (~fabfianda@mob-5-90-248-146.net.vodafone.it) (Read error: Connection reset by peer) |
| 2021-06-18 11:15:25 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-18 11:15:33 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 11:19:23 | → | noctux joins (~noctux@user/noctux) |
| 2021-06-18 11:19:33 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-18 11:20:18 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-18 11:20:22 | × | azeem quits (~azeem@176.200.249.255) (Ping timeout: 268 seconds) |
| 2021-06-18 11:21:01 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 11:22:57 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-18 11:24:09 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 11:24:18 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-18 11:24:54 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-18 11:24:57 | × | sekun quits (~sekun@180.190.218.38) (Remote host closed the connection) |
| 2021-06-18 11:26:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-18 11:26:28 | × | yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Quit: C-x C-c, Shutting down OS...) |
| 2021-06-18 11:27:54 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 264 seconds) |
| 2021-06-18 11:29:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 264 seconds) |
| 2021-06-18 11:29:06 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 2021-06-18 11:29:30 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) (Ping timeout: 240 seconds) |
| 2021-06-18 11:35:20 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-18 11:36:40 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-18 11:39:23 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-18 11:42:52 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-18 11:43:11 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-18 11:43:35 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 244 seconds) |
| 2021-06-18 11:45:32 | × | azeem quits (~azeem@176.200.249.255) (Ping timeout: 268 seconds) |
| 2021-06-18 11:46:04 | × | adium quits (adium@user/adium) (Quit: Stable ZNC by #bnc4you) |
| 2021-06-18 11:50:47 | → | adium joins (adium@user/adium) |
| 2021-06-18 11:51:11 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 11:54:54 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 268 seconds) |
| 2021-06-18 11:55:02 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-18 11:56:43 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-18 11:57:58 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-18 11:58:36 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-18 11:59:06 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-06-18 11:59:19 | kosmikus_ | is now known as kosmikus |
| 2021-06-18 12:00:39 | <dminuoso> | How exactly does the ($) hack work in GHC that allows for `runST $ ...` ? |
| 2021-06-18 12:01:00 | <dminuoso> | Does GHC rewrite the AST to remove ($) directly? |
| 2021-06-18 12:01:43 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 12:02:18 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 240 seconds) |
| 2021-06-18 12:03:40 | <jiribenes> | dminuoso: I think that with Quick Look, there is no need for any hacks anymore |
| 2021-06-18 12:04:00 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 12:04:03 | <jiribenes> | (Please correct me if I'm wrong) |
| 2021-06-18 12:06:17 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2021-06-18 12:07:25 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-18 12:07:29 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-18 12:09:07 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-06-18 12:10:41 | yourname | is now known as barrucadu |
| 2021-06-18 12:12:35 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-18 12:14:12 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-18 12:14:46 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-18 12:15:00 | × | jneira quits (~jneira@212.8.115.226) (Client Quit) |
| 2021-06-18 12:15:21 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-18 12:15:45 | → | safinaskar joins (~safinaska@109.252.90.89) |
| 2021-06-18 12:17:21 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 272 seconds) |
| 2021-06-18 12:17:23 | <safinaskar> | consider this code: <<< i :: a -> a; i x = (x :: a); >>> |
| 2021-06-18 12:17:34 | <safinaskar> | how to make it compile? |
| 2021-06-18 12:17:35 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 12:18:03 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-06-18 12:18:18 | → | nf joins (~n@monade.li) |
| 2021-06-18 12:21:00 | <boxscape> | % i :: forall a . a -> a; i x = (x :: a) |
| 2021-06-18 12:21:00 | <yahb> | boxscape: |
| 2021-06-18 12:21:05 | <boxscape> | ^ safinaskar |
| 2021-06-18 12:21:11 | <boxscape> | assuming you have turned on ScopedTypeVariables |
| 2021-06-18 12:21:46 | → | yangby joins (~secret@115.199.97.206) |
| 2021-06-18 12:21:54 | <boxscape> | the `a` only becomes available in the rest of the definition if it's explicitly quantified with forall |
| 2021-06-18 12:22:37 | <safinaskar> | boxscape: thanks, it works |
| 2021-06-18 12:23:15 | × | safinaskar quits (~safinaska@109.252.90.89) (Quit: Client closed) |
| 2021-06-18 12:23:44 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-18 12:23:46 | × | qbt quits (~edun@user/edun) (Ping timeout: 268 seconds) |
| 2021-06-18 12:25:49 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-18 12:26:22 | <merijn> | Alternatively, just remove the :: :p |
| 2021-06-18 12:26:26 | → | trcc joins (~trcc@users-1190.st.net.au.dk) |
| 2021-06-18 12:28:07 | × | agumonke` quits (~user@88.160.31.174) (Ping timeout: 272 seconds) |
| 2021-06-18 12:29:53 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-18 12:31:45 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-18 12:32:41 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-18 12:33:14 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-18 12:35:43 | ← | zyklotomic parts (~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8) |
| 2021-06-18 12:36:01 | × | adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2021-06-18 12:36:15 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-06-18 12:37:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 264 seconds) |
| 2021-06-18 12:37:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-06-18 12:41:30 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 12:42:00 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-18 12:42:25 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-18 12:43:54 | × | jneira quits (~jneira@212.8.115.226) (Client Quit) |
| 2021-06-18 12:43:57 | × | azeem quits (~azeem@176.200.249.255) (Ping timeout: 272 seconds) |
| 2021-06-18 12:44:12 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-18 12:45:54 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-18 12:46:19 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-18 12:47:11 | → | johny9 joins (~bc817c21@217.29.117.252) |
| 2021-06-18 12:47:18 | × | jneira quits (~jneira@212.8.115.226) (Client Quit) |
| 2021-06-18 12:47:59 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-06-18 12:49:31 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 12:51:16 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 244 seconds) |
| 2021-06-18 12:52:56 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-18 12:54:33 | × | fvr quits (uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
All times are in UTC.