Logs: liberachat/#haskell
| 2021-07-15 12:23:39 | ← | Square parts (~a@178.62.91.8) (Leaving) |
| 2021-07-15 12:24:08 | <tomsmeding> | in Core, the low-level intermediate language of ghc, that second f will have two arguments: a function a -> String, and a value Proxy a (that carries no actual data other than () ) |
| 2021-07-15 12:24:29 | <Orbstheorem> | Huh. |
| 2021-07-15 12:24:36 | Orbstheorem | should take a look at Core. |
| 2021-07-15 12:27:13 | <tomsmeding> | :q |
| 2021-07-15 12:27:13 | <tomsmeding> | ... sorry |
| 2021-07-15 12:27:22 | × | azeem quits (~azeem@176.201.40.210) (Ping timeout: 272 seconds) |
| 2021-07-15 12:28:29 | <tomsmeding> | Orbstheorem: https://paste.tomsmeding.com/yHpJfeuj |
| 2021-07-15 12:28:55 | <tomsmeding> | right at the top you see $wfoo, which is a slight transformation of the foo function (it wasn't completely eliminated because I said it to NOINLINE) |
| 2021-07-15 12:29:33 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-15 12:29:38 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-15 12:29:41 | <tomsmeding> | (I didn't pass a proxy but instead an actual 'a' because otherwise there was no way for me to use the Show instance, and if I didn't use it, ghc eliminated the constraint completely :p ) |
| 2021-07-15 12:30:02 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 12:30:18 | <tomsmeding> | Orbstheorem: the => really becomes just a normal -> in Core |
| 2021-07-15 12:31:39 | × | dunj3 quits (~dunj3@2001:16b8:303f:a600:793c:65b7:43fd:f5ca) (Remote host closed the connection) |
| 2021-07-15 12:32:02 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-15 12:32:39 | → | azeem joins (~azeem@176.200.200.206) |
| 2021-07-15 12:33:26 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-15 12:34:17 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-15 12:35:20 | → | Bayes joins (~Bayes@ics177-97.icsincorporated.com) |
| 2021-07-15 12:35:30 | × | Bayes quits (~Bayes@ics177-97.icsincorporated.com) (Changing host) |
| 2021-07-15 12:35:30 | → | Bayes joins (~Bayes@user/bayes) |
| 2021-07-15 12:37:03 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-15 12:37:29 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 12:42:53 | <Orbstheorem> | I see |
| 2021-07-15 12:42:57 | <Orbstheorem> | Thanks! :) |
| 2021-07-15 12:45:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-15 12:47:19 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-15 12:47:51 | × | keutoi quits (~keutoi@223.237.20.166) (Ping timeout: 255 seconds) |
| 2021-07-15 12:49:01 | × | hseg quits (~gesh@185.120.126.10) (Client Quit) |
| 2021-07-15 12:49:15 | → | keutoi joins (~keutoi@223.237.20.166) |
| 2021-07-15 12:52:04 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) |
| 2021-07-15 12:55:50 | → | Guest47 joins (~Guest47@2a01:cb15:81e5:f00:f97d:c231:ccf4:3cfa) |
| 2021-07-15 12:57:53 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-15 12:58:46 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-15 13:01:03 | × | Bayes quits (~Bayes@user/bayes) (Quit: Connection closed) |
| 2021-07-15 13:01:10 | → | alx741 joins (~alx741@186.178.109.32) |
| 2021-07-15 13:04:11 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-07-15 13:04:23 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 13:11:37 | × | azeem quits (~azeem@176.200.200.206) (Ping timeout: 258 seconds) |
| 2021-07-15 13:11:52 | → | azeem joins (~azeem@176.200.200.206) |
| 2021-07-15 13:12:11 | → | _xor joins (~xor@74.215.46.133) |
| 2021-07-15 13:12:23 | × | _xor quits (~xor@74.215.46.133) (Client Quit) |
| 2021-07-15 13:12:44 | → | _xor joins (~xor@74.215.46.133) |
| 2021-07-15 13:14:49 | × | anhnt quits (~anhnt@2405:4802:342:1550:454d:510c:cbdb:1c59) (Quit: Client closed) |
| 2021-07-15 13:14:58 | × | Guest47 quits (~Guest47@2a01:cb15:81e5:f00:f97d:c231:ccf4:3cfa) (Quit: Client closed) |
| 2021-07-15 13:17:43 | <Las[m]> | Does anyone know if there's a way to get GHCi to load the imports when doing `:load` for a file that doesn't need to be recompiled? |
| 2021-07-15 13:17:54 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-15 13:19:05 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-07-15 13:19:05 | × | keutoi quits (~keutoi@223.237.20.166) (Ping timeout: 255 seconds) |
| 2021-07-15 13:19:49 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-15 13:19:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-15 13:20:55 | → | keutoi joins (~keutoi@106.208.22.166) |
| 2021-07-15 13:23:57 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-15 13:24:07 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 13:24:37 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-07-15 13:24:38 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-07-15 13:25:39 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-15 13:25:46 | × | peterhil_ quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-07-15 13:26:57 | × | allbery_b quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 258 seconds) |
| 2021-07-15 13:27:35 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-15 13:28:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-15 13:28:09 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-15 13:30:24 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-15 13:30:33 | cheater1__ | is now known as cheater |
| 2021-07-15 13:31:15 | → | mikail joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-15 13:32:24 | × | keutoi quits (~keutoi@106.208.22.166) (Ping timeout: 255 seconds) |
| 2021-07-15 13:33:14 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-15 13:36:04 | × | stevenxl quits (uid133530@id-133530.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-15 13:40:57 | × | azeem quits (~azeem@176.200.200.206) (Ping timeout: 255 seconds) |
| 2021-07-15 13:41:22 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:dd48:b4b4:65c5:d73f) |
| 2021-07-15 13:41:59 | <kuribas> | is anyone using lsp with emacs? |
| 2021-07-15 13:43:06 | <Franciman> | I am using lsp with kakoune, if it is related to haskell language server |
| 2021-07-15 13:44:23 | → | keutoi joins (~keutoi@223.237.48.22) |
| 2021-07-15 13:47:24 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:dd48:b4b4:65c5:d73f) (Quit: Client closed) |
| 2021-07-15 13:47:55 | → | azeem joins (~azeem@176.200.200.206) |
| 2021-07-15 13:48:00 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:dd48:b4b4:65c5:d73f) |
| 2021-07-15 13:50:03 | <kuribas> | what's kakoune? |
| 2021-07-15 13:53:08 | <Las[m]> | it's a text editor |
| 2021-07-15 13:54:47 | <kuribas> | right... |
| 2021-07-15 13:54:53 | <kuribas> | no my question was specific to emacs. |
| 2021-07-15 13:55:07 | <kuribas> | lsp works nicely on vscode (minus bugs). |
| 2021-07-15 13:57:56 | → | chomwitt joins (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) |
| 2021-07-15 13:59:27 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-15 14:00:49 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-15 14:01:29 | <kuribas> | it just doesn't look very nice on emacs. |
| 2021-07-15 14:01:30 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-15 14:02:10 | <kuribas> | With information all over the place, literal markdown in docs, ... |
| 2021-07-15 14:03:06 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-15 14:03:12 | cheater1__ | is now known as cheater |
| 2021-07-15 14:07:32 | × | azeem quits (~azeem@176.200.200.206) (Ping timeout: 252 seconds) |
| 2021-07-15 14:08:25 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-07-15 14:10:05 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-15 14:11:19 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-15 14:12:27 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 14:14:55 | → | azeem joins (~azeem@176.200.200.206) |
| 2021-07-15 14:15:14 | × | keutoi quits (~keutoi@223.237.48.22) (Ping timeout: 252 seconds) |
| 2021-07-15 14:15:36 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 255 seconds) |
| 2021-07-15 14:16:09 | × | cheater1__ quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-15 14:16:50 | → | ubikium joins (~ubikium@2400:2200:b3:fefe:5e3e:e0d9:77e0:5099) |
All times are in UTC.