Logs: freenode/#haskell
| 2021-05-05 16:59:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-05 17:01:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 17:03:11 | × | rodriga quits (~quassel@134.204.25.66) (Ping timeout: 246 seconds) |
| 2021-05-05 17:04:52 | → | ecrance joins (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 17:04:58 | × | ecrance quits (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Quit: Leaving.) |
| 2021-05-05 17:05:36 | × | nrdmn98 quits (~nrdmn@aufmachen.jetzt) (Quit: Bye) |
| 2021-05-05 17:06:19 | → | nrdmn98 joins (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 17:07:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 17:08:54 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 17:10:28 | × | nrdmn98 quits (~nrdmn@aufmachen.jetzt) (Client Quit) |
| 2021-05-05 17:10:42 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-05-05 17:10:44 | → | nrdmn98 joins (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 17:11:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 17:11:10 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-05 17:11:30 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) |
| 2021-05-05 17:11:35 | → | gitgood joins (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
| 2021-05-05 17:11:42 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-05 17:11:52 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-05 17:12:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 17:13:16 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 17:21:26 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-05 17:21:50 | → | safinaskar joins (~user@109-252-90-136.nat.spd-mgts.ru) |
| 2021-05-05 17:23:13 | <safinaskar> | is this possible to mix one-line and multi-line code in single doctest block? i'm trying to this. here is my attempt: https://paste.debian.net/1196439/ . i get error |
| 2021-05-05 17:23:15 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 2021-05-05 17:25:34 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 276 seconds) |
| 2021-05-05 17:26:06 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-05 17:26:31 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 252 seconds) |
| 2021-05-05 17:27:09 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 2021-05-05 17:27:18 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-05 17:27:37 | <monochrom> | Possibly :{ :} is not supported. doctest ≠ ghci |
| 2021-05-05 17:27:57 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 17:29:43 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-05 17:32:05 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-05 17:32:15 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-05 17:32:36 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-05 17:33:51 | → | nrdmn981 joins (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 17:33:51 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 17:34:41 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Ping timeout: 246 seconds) |
| 2021-05-05 17:35:42 | × | nrdmn98 quits (~nrdmn@aufmachen.jetzt) (Ping timeout: 240 seconds) |
| 2021-05-05 17:35:42 | nrdmn981 | is now known as nrdmn98 |
| 2021-05-05 17:36:14 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 2021-05-05 17:38:45 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-05 17:38:45 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-05-05 17:38:45 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-05-05 17:38:50 | → | nbloomf_ joins (~nbloomf@76.217.43.73) |
| 2021-05-05 17:39:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Ping timeout: 250 seconds) |
| 2021-05-05 17:39:56 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-05 17:40:46 | × | oxide quits (~lambda@unaffiliated/mclaren) (Quit: oxide) |
| 2021-05-05 17:46:33 | <safinaskar> | monochrom: docs say this is supported: https://github.com/sol/doctest#readme |
| 2021-05-05 17:47:45 | × | nbloomf_ quits (~nbloomf@76.217.43.73) (Read error: Connection reset by peer) |
| 2021-05-05 17:47:52 | → | daniil joins (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) |
| 2021-05-05 17:48:33 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:60d9:cc29:8b1b:15d4) |
| 2021-05-05 17:48:52 | × | wonko7 quits (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-05-05 17:49:18 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 2021-05-05 17:49:20 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-05 17:49:23 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 17:49:42 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 17:52:13 | → | nbloomf_ joins (~nbloomf@2600:1700:ad14:3020:6992:f1ef:6046:a3b4) |
| 2021-05-05 17:53:07 | → | nbloomf__ joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-05 17:53:31 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:60d9:cc29:8b1b:15d4) (Ping timeout: 276 seconds) |
| 2021-05-05 17:54:06 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-05 17:54:34 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-05 17:56:29 | × | nbloomf_ quits (~nbloomf@2600:1700:ad14:3020:6992:f1ef:6046:a3b4) (Ping timeout: 250 seconds) |
| 2021-05-05 17:56:31 | → | mav1 joins (~mav@200116b8124c5f00be4a448485344013.dip.versatel-1u1.de) |
| 2021-05-05 17:57:40 | → | tempate_ joins (~alpha@84.78.243.141) |
| 2021-05-05 17:59:06 | × | michalz quits (~user@185.246.204.110) (Remote host closed the connection) |
| 2021-05-05 17:59:06 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 17:59:27 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-05-05 17:59:55 | → | tempate_1 joins (~alpha@84.78.243.141) |
| 2021-05-05 18:01:52 | × | tempate_ quits (~alpha@84.78.243.141) (Ping timeout: 240 seconds) |
| 2021-05-05 18:04:12 | × | tempate_1 quits (~alpha@84.78.243.141) (Ping timeout: 240 seconds) |
| 2021-05-05 18:05:11 | ← | safinaskar parts (~user@109-252-90-136.nat.spd-mgts.ru) () |
| 2021-05-05 18:06:12 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 18:07:40 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-05 18:08:00 | × | nrdmn98 quits (~nrdmn@aufmachen.jetzt) (Quit: Bye) |
| 2021-05-05 18:08:05 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-05 18:08:36 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 18:08:42 | → | nrdmn98 joins (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 18:09:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 18:12:05 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-05 18:13:08 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-05-05 18:13:21 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 2021-05-05 18:13:40 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-05-05 18:15:19 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 18:15:47 | × | kuribas quits (~user@ptr-25vy0i8zs4ypuosdav0.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-05-05 18:17:24 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-05 18:17:24 | × | Bewdu quits (ac70cf9f@cpe-172-112-207-159.socal.res.rr.com) (Quit: Connection closed) |
| 2021-05-05 18:18:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-05 18:18:18 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 18:20:18 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-05 18:20:30 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 18:21:35 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-05 18:22:28 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-05 18:23:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 18:25:13 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-05 18:27:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 18:28:13 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 18:29:26 | <electricityZZZZ> | stack ghc --version gives me Invalid option `--version' ... what? |
| 2021-05-05 18:29:48 | <monochrom> | The syntax may be: stack ghc -- --version |
| 2021-05-05 18:30:34 | <monochrom> | Because general "stack foo --xxx" the --xxx is for stack. |
All times are in UTC.