Logs: liberachat/#haskell
| 2021-08-11 16:11:57 | → | chomwitt joins (~chomwitt@ppp-2-85-147-24.home.otenet.gr) |
| 2021-08-11 16:12:12 | × | xff0x quits (~xff0x@2001:1a81:53fa:2600:8056:588e:c971:d9df) (Ping timeout: 258 seconds) |
| 2021-08-11 16:12:49 | × | tlaxkit quits (~hexchat@170.253.40.255) (Ping timeout: 248 seconds) |
| 2021-08-11 16:13:03 | → | xff0x joins (~xff0x@2001:1a81:53fa:2600:743d:308e:abb:126) |
| 2021-08-11 16:16:39 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-08-11 16:19:21 | × | enoq quits (~enoq@194-208-179-35.lampert.tv) (Quit: enoq) |
| 2021-08-11 16:19:24 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-11 16:19:45 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Ping timeout: 248 seconds) |
| 2021-08-11 16:22:27 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2021-08-11 16:24:22 | → | emliunix joins (~emliunix@8.38.148.66) |
| 2021-08-11 16:24:26 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2021-08-11 16:26:07 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 16:26:19 | → | MorrowM joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-11 16:26:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 16:30:01 | <tomsmeding> | maerwald: do you happen to know what ModTime is supposed to take in libarchive? https://hackage.haskell.org/package/libarchive-3.0.2.1/docs/Codec-Archive.html#t:ModTime |
| 2021-08-11 16:32:42 | <tomsmeding> | ah, looks like (POSIXTime, nanoseconds) |
| 2021-08-11 16:36:46 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-11 16:36:49 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-08-11 16:37:25 | → | tlaxkit joins (~hexchat@170.253.40.255) |
| 2021-08-11 16:38:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-11 16:38:52 | × | polyphem quits (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) (Ping timeout: 245 seconds) |
| 2021-08-11 16:39:29 | × | tlaxkit quits (~hexchat@170.253.40.255) (Remote host closed the connection) |
| 2021-08-11 16:43:48 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-08-11 16:50:19 | × | Matthias_ quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-08-11 16:51:08 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-11 16:54:22 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-08-11 16:54:28 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-11 16:56:15 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 16:56:34 | mnrmnaugh | is now known as awk |
| 2021-08-11 16:59:10 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-11 17:00:45 | awk | is now known as mnrmnaugh |
| 2021-08-11 17:01:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-11 17:02:45 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-11 17:04:35 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-11 17:07:52 | <bbhoss> | is there a way to use record wildcards in a function header but also assign the entire record to a binding? |
| 2021-08-11 17:08:09 | <bbhoss> | like `hello foo=MyRecord{..}` |
| 2021-08-11 17:08:32 | <geekosaur> | hello foo@MyRecord{..} |
| 2021-08-11 17:09:20 | <bbhoss> | nice thanks |
| 2021-08-11 17:09:59 | <monochrom> | Generally the @-pattern allows naming the whole thing and prescribing a detailed pattern at the same time. f wholeList@(x:xs) = ... |
| 2021-08-11 17:10:27 | <bbhoss> | awesome, I'm surprised I made it this far without knowing |
| 2021-08-11 17:10:39 | <dsal> | I experience that regularly. |
| 2021-08-11 17:11:07 | <monochrom> | You can call it "as". "whole list as x:xs" actually sounds nice in English. In fact SML uses "as", "f (wholeList as (x:xs)) = ..." |
| 2021-08-11 17:11:36 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-08-11 17:13:10 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-11 17:14:54 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-11 17:15:37 | <janus> | i'd expect the deconstructed form to come before "as", hmmm |
| 2021-08-11 17:16:06 | <janus> | usually, in english, when you use 'as', the 'new name' comes after, right? here it comes before |
| 2021-08-11 17:16:24 | <geekosaur> | same in SQL for that matter |
| 2021-08-11 17:16:39 | <geekosaur> | <expression> AS newName |
| 2021-08-11 17:19:11 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-11 17:19:12 | <geekosaur> | but that's not what SML chose, and Haskell probably followed SML there |
| 2021-08-11 17:21:52 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-08-11 17:27:29 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 248 seconds) |
| 2021-08-11 17:28:15 | → | azeem joins (~azeem@176.200.246.189) |
| 2021-08-11 17:28:30 | <davean> | bbhoss: read the report :) |
| 2021-08-11 17:34:26 | → | polyphem joins (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) |
| 2021-08-11 17:36:32 | × | azeem quits (~azeem@176.200.246.189) (Read error: Connection reset by peer) |
| 2021-08-11 17:36:50 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-11 17:37:03 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-11 17:41:08 | × | Clint quits (~Clint@user/clint) (Ping timeout: 258 seconds) |
| 2021-08-11 17:41:58 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-11 17:42:37 | × | polyphem quits (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2021-08-11 17:42:40 | → | Clint joins (~Clint@user/clint) |
| 2021-08-11 17:42:49 | → | polyphem joins (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) |
| 2021-08-11 17:44:09 | × | MorrowM quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-08-11 17:45:02 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-11 17:45:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-08-11 17:46:20 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-11 17:48:13 | → | ytg_ joins (~ytg@89-139-118-202.bb.netvision.net.il) |
| 2021-08-11 17:50:32 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-11 17:50:57 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 245 seconds) |
| 2021-08-11 17:51:40 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-11 17:51:47 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 245 seconds) |
| 2021-08-11 17:52:11 | × | ytg_ quits (~ytg@89-139-118-202.bb.netvision.net.il) (Client Quit) |
| 2021-08-11 17:52:27 | → | ytg_ joins (~ytg@89-139-118-202.bb.netvision.net.il) |
| 2021-08-11 17:52:45 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-11 17:53:10 | × | ytg_ quits (~ytg@89-139-118-202.bb.netvision.net.il) (Client Quit) |
| 2021-08-11 17:53:25 | → | ytg_ joins (~ytg@89-139-118-202.bb.netvision.net.il) |
| 2021-08-11 17:53:41 | × | ytg_ quits (~ytg@89-139-118-202.bb.netvision.net.il) (Client Quit) |
| 2021-08-11 17:56:32 | → | wanko joins (~wanko@51.15.4.226) |
| 2021-08-11 18:01:02 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-11 18:01:37 | → | MoC joins (~moc@user/moc) |
| 2021-08-11 18:06:15 | → | Guest84 joins (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) |
| 2021-08-11 18:07:14 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-11 18:07:14 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-11 18:08:35 | → | pmk joins (~user@2a02:587:941a:35d9:8f9c:6cb6:67dc:f5e3) |
| 2021-08-11 18:15:00 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-08-11 18:21:04 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-11 18:21:19 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-08-11 18:21:20 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 2021-08-11 18:22:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-11 18:28:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-11 18:29:26 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) () |
| 2021-08-11 18:32:45 | <mastarija> | Can someone help me out with Neovim LSP and HLS? |
| 2021-08-11 18:32:57 | <mastarija> | I'm having trouble getting the Hover functionality to work |
| 2021-08-11 18:33:46 | <mastarija> | Basically, when ever I try to activate it I get "man.vim: no manual entry for SomeSymbol" |
| 2021-08-11 18:34:02 | <mastarija> | SomeSymbol being what ever I'm hovering over at the moment |
| 2021-08-11 18:34:32 | <mastarija> | It worked once for a short period of time, but then it stopped :D |
| 2021-08-11 18:34:52 | <mastarija> | I have very minimal Lua init script: https://pastebin.com/i7RNs5BG |
| 2021-08-11 18:35:11 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Read error: Connection reset by peer) |
All times are in UTC.