Logs: freenode/#haskell
| 2021-03-11 08:25:48 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95955d3c722039acad7c.dip0.t-ipconnect.de) |
| 2021-03-11 08:28:44 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-11 08:29:37 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-11 08:29:41 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-03-11 08:30:36 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-11 08:31:11 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-03-11 08:32:31 | × | forgottenone quits (~forgotten@176.42.29.216) (Quit: Konversation terminated!) |
| 2021-03-11 08:36:54 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:81da:cf62:15f1:d8b5) |
| 2021-03-11 08:39:24 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-03-11 08:40:24 | → | knupfer joins (~Thunderbi@200116b82c08c0006ce99ffffe88cc76.dip.versatel-1u1.de) |
| 2021-03-11 08:40:25 | × | knupfer quits (~Thunderbi@200116b82c08c0006ce99ffffe88cc76.dip.versatel-1u1.de) (Client Quit) |
| 2021-03-11 08:40:40 | → | knupfer joins (~Thunderbi@i59F7FF85.versanet.de) |
| 2021-03-11 08:40:55 | → | redmp_ joins (~redmp@172.58.22.188) |
| 2021-03-11 08:44:28 | × | redmp quits (~redmp@172.58.27.233) (Ping timeout: 260 seconds) |
| 2021-03-11 08:47:00 | × | nomeata quits (~jojo@dslb-002-202-161-084.002.202.pools.vodafone-ip.de) (Quit: Client exiting) |
| 2021-03-11 08:48:10 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2021-03-11 08:48:46 | <invaser> | Hey, anyone having problems with latest haskell-language-server version on VSCode? |
| 2021-03-11 08:50:08 | <invaser> | I have a message "Downloading haskell-language-server 1.0.0 for GHC 8.10.3" pop up and stay |
| 2021-03-11 08:50:22 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-03-11 08:51:47 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-03-11 08:55:03 | → | yoneda joins (~mike@193.206.102.122) |
| 2021-03-11 08:55:30 | → | michalz joins (~user@185.246.204.111) |
| 2021-03-11 08:56:41 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-ruqfhmrhwkcudnys) |
| 2021-03-11 08:57:09 | <tomjaguarpaw> | How do you get ghci to print the time taken and bytes allocated after every command? |
| 2021-03-11 08:57:34 | × | invaser quits (~Thunderbi@31.148.23.125) (Remote host closed the connection) |
| 2021-03-11 08:58:26 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 08:58:32 | <Boomerang> | :set +s |
| 2021-03-11 08:58:47 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-03-11 08:58:50 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-11 08:59:06 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 08:59:17 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-11 08:59:55 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-xmnmssabcgdtuskn) (Quit: Connection closed for inactivity) |
| 2021-03-11 09:00:04 | × | polyrain quits (~polyrain@130.102.13.112) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 09:00:14 | → | kritzefitz joins (~kritzefit@p548c9398.dip0.t-ipconnect.de) |
| 2021-03-11 09:01:07 | → | polyrain joins (~polyrain@130.102.13.112) |
| 2021-03-11 09:01:43 | × | drbean quits (~drbean@TC210-63-209-216.static.apol.com.tw) (Ping timeout: 265 seconds) |
| 2021-03-11 09:02:12 | → | fendor joins (~fendor@77.119.131.80.wireless.dyn.drei.com) |
| 2021-03-11 09:02:54 | × | neiluj_ quits (~jco@91-167-203-101.subs.proxad.net) (Remote host closed the connection) |
| 2021-03-11 09:03:10 | × | polyrain quits (~polyrain@130.102.13.112) (Client Quit) |
| 2021-03-11 09:03:36 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-11 09:04:05 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2021-03-11 09:04:28 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-11 09:04:52 | → | ubert joins (~Thunderbi@p200300ecdf25d965e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-11 09:05:27 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-11 09:09:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection) |
| 2021-03-11 09:11:59 | → | bergey`` joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-11 09:14:48 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-11 09:16:06 | <pjb> | esch |
| 2021-03-11 09:16:32 | × | fendor quits (~fendor@77.119.131.80.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-03-11 09:16:33 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-11 09:16:33 | × | bergey`` quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-11 09:16:52 | → | fendor joins (~fendor@77.119.131.80.wireless.dyn.drei.com) |
| 2021-03-11 09:17:22 | × | lupulo quits (~lupulo@163.117.64.56) (Ping timeout: 256 seconds) |
| 2021-03-11 09:19:11 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-11 09:19:38 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-11 09:21:37 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-11 09:22:07 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 09:22:25 | <ukari> | is the typeclass a better practise than the type synonym when the signature needs to be simplied? https://gist.github.com/ukari/527531c4e23de7ad5d6d94613bbed9d2 |
| 2021-03-11 09:25:18 | × | kritzefitz quits (~kritzefit@p548c9398.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-03-11 09:25:37 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-03-11 09:25:53 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-11 09:26:46 | × | jackdk quits (sid373013@gateway/web/irccloud.com/x-lqgqplxheakucczf) () |
| 2021-03-11 09:27:02 | → | jackdk joins (sid373013@gateway/web/irccloud.com/x-glkhsmxnqrqntahu) |
| 2021-03-11 09:29:13 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-11 09:30:03 | × | srhb quits (sid400352@NixOS/user/srhb) () |
| 2021-03-11 09:30:04 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Read error: Connection reset by peer) |
| 2021-03-11 09:30:20 | → | srhb joins (sid400352@NixOS/user/srhb) |
| 2021-03-11 09:30:36 | × | agander_m quits (sid407952@gateway/web/irccloud.com/x-wqacywbdoyeeptul) () |
| 2021-03-11 09:30:52 | → | agander_m joins (sid407952@gateway/web/irccloud.com/x-weptnobpezywiofc) |
| 2021-03-11 09:31:56 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-03-11 09:33:13 | × | kmein quits (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-03-11 09:34:06 | <lortabac> | ukari: the simplest solution is probably to define a synonym for the context only (it requires ConstraintKinds) |
| 2021-03-11 09:35:07 | → | kmein joins (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-03-11 09:36:27 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 09:36:59 | → | ed12 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 2021-03-11 09:38:29 | <ed12> | hi guys im trying to write a function that gives me the second argument if the first statement is true or the third argument if the first is false |
| 2021-03-11 09:38:41 | <ed12> | this is what I have so far |
| 2021-03-11 09:38:43 | <ed12> | (&&) :: Bool -> Int -> Int -> Int |
| 2021-03-11 09:38:44 | <ed12> | (&&) a b c | a == True = b | a == False = c |
| 2021-03-11 09:39:07 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-11 09:39:17 | <ed12> | e.g. (4 > 7) 5 10 would give 10 |
| 2021-03-11 09:39:18 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-11 09:39:30 | <ed12> | im getting errors |
| 2021-03-11 09:39:32 | <dibblego> | \p t f -> if p then t else f |
| 2021-03-11 09:39:36 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-11 09:40:25 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-11 09:40:25 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-11 09:40:25 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-11 09:41:10 | → | JokerAscensionEx joins (~egp_@2.95.74.168) |
| 2021-03-11 09:41:21 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-03-11 09:42:46 | <merijn> | ed12: "a == True" is just "a" |
| 2021-03-11 09:43:33 | <merijn> | dibblego: That's just bool with its arguments flipped ;) |
| 2021-03-11 09:44:45 | <ed12> | and then just "not a" for false? |
| 2021-03-11 09:44:58 | <ed12> | sorry im very new don't really understand it yet |
| 2021-03-11 09:49:04 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-11 09:50:03 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 245 seconds) |
| 2021-03-11 09:50:14 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 256 seconds) |
| 2021-03-11 09:51:02 | → | shad0w_ joins (67573b43@103.87.59.67) |
| 2021-03-11 09:51:45 | <shad0w_> | i can't seem to use my existing gitlab account with the gitlab haskell instance? |
| 2021-03-11 09:52:21 | → | xsperry joins (~as@unaffiliated/xsperry) |
All times are in UTC.