Logs: freenode/#haskell
| 2021-05-14 17:40:58 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:42:03 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:42:22 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-14 17:42:36 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-14 17:42:46 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:43:52 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-14 17:43:59 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 2021-05-14 17:44:09 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-14 17:44:53 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-05-14 17:46:38 | → | sphi joins (~sphi@unaffiliated/sphi) |
| 2021-05-14 17:47:24 | → | a6a45081-2b83 joins (~aditya@27.58.160.217) |
| 2021-05-14 17:48:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:48:58 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:50:52 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-05-14 17:50:52 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-05-14 17:50:52 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-05-14 17:51:30 | <mxu> | Lycurgus: Thanks, I will look through the logs. But if we are already at it, is there a better method than downloading them from http://tunes.org/~nef/logs/haskell/ ? |
| 2021-05-14 17:52:04 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:52:05 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-14 17:53:19 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-14 17:53:43 | × | a6a45081-2b83 quits (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 2021-05-14 17:53:59 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:54:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-14 17:54:29 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-05-14 17:54:30 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 17:55:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 17:57:04 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:57:44 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:59:10 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-14 17:59:26 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-14 17:59:31 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 17:59:58 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 18:01:22 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 18:02:02 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-14 18:02:51 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 18:03:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:03:44 | × | mxu quits (~user@ip5b40dfb7.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2021-05-14 18:04:15 | × | jespada quits (~jespada@90.254.244.151) (Quit: Leaving) |
| 2021-05-14 18:04:37 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:05:45 | × | slack1256 quits (~slack1256@191.125.166.131) (Remote host closed the connection) |
| 2021-05-14 18:05:49 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-05-14 18:06:09 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 2021-05-14 18:06:53 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-14 18:07:02 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:07:04 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-14 18:08:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 18:09:03 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-05-14 18:09:04 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 2021-05-14 18:09:34 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:10:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 18:11:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Client Quit) |
| 2021-05-14 18:12:04 | ← | heck-to-the-gnom parts (heck-to-th@gateway/shell/matrix.org/x-dkeyhpdeslcfjwpp) ("User left") |
| 2021-05-14 18:13:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:13:43 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-14 18:14:10 | → | knupfer joins (~Thunderbi@200116b82bc56d00fdb13f5931a68ceb.dip.versatel-1u1.de) |
| 2021-05-14 18:14:13 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:18:02 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-qvhnnxxbarmvcrtm) |
| 2021-05-14 18:18:21 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:fb4d:5a47:92ec:2ac2) |
| 2021-05-14 18:18:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:19:00 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:20:33 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-05-14 18:20:45 | → | wallymathieu joins (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 18:22:53 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-14 18:22:53 | × | wallymathieu quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-14 18:23:03 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:23:22 | → | ozzymcduff joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 18:23:38 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 18:23:45 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:24:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:26:39 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:26:39 | × | ppmdo quits (~ppmdo@2a01:c22:7603:3800:c202:4cae:c828:a84e) (Ping timeout: 260 seconds) |
| 2021-05-14 18:27:06 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-14 18:27:57 | → | ppmdo joins (~ppmdo@2a01:c22:7a40:9a00:2078:e48:f536:b045) |
| 2021-05-14 18:30:15 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 18:30:33 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 2021-05-14 18:30:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:30:34 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 18:30:44 | × | Scorpions quits (Scorpions@2401:4900:52f9:e8a4:81ee:3b13:8c19:6a32) (Quit: Leaving) |
| 2021-05-14 18:31:30 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-05-14 18:31:44 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:32:08 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:33:07 | × | dyeplexer quits (~terpin@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-05-14 18:35:02 | × | shailangsa quits (~shailangs@host165-120-169-24.range165-120.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2021-05-14 18:35:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-14 18:37:05 | <sphi> | https://pastebin.com/nM64mXzw |
| 2021-05-14 18:37:25 | <sphi> | can anyone help me with lines 57-61 ? |
| 2021-05-14 18:37:45 | <sphi> | i've overloaded strings, but still it wont typecheck unless i T.pack each literal |
| 2021-05-14 18:38:06 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-iqwgqsgfaxvsrekg) (Quit: Connection closed for inactivity) |
| 2021-05-14 18:38:44 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 252 seconds) |
| 2021-05-14 18:38:58 | → | ddellac__ joins (~ddellacos@86.106.143.137) |
| 2021-05-14 18:40:08 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-14 18:40:29 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-05-14 18:40:42 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-14 18:42:04 | × | knupfer quits (~Thunderbi@200116b82bc56d00fdb13f5931a68ceb.dip.versatel-1u1.de) (Ping timeout: 245 seconds) |
| 2021-05-14 18:42:06 | → | hi joins (cdfbe9b3@205.251.233.179) |
| 2021-05-14 18:42:19 | <lyxia> | sphi: what error do you get |
| 2021-05-14 18:42:23 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-soowutbnfvimotcf) (Quit: Connection closed for inactivity) |
| 2021-05-14 18:42:56 | <sphi> | lyxia: cant match string / [char] with Text |
| 2021-05-14 18:43:10 | <sphi> | literals seem to be taken as string |
| 2021-05-14 18:43:41 | <lyxia> | sphi: are you sure you didn't remove the T.pack on the "show" expression, which is not a literal |
All times are in UTC.