Logs: liberachat/#haskell
| 2021-07-17 02:37:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-07-17 02:39:57 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-07-17 02:40:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 02:42:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-17 02:45:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-07-17 02:46:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-17 02:47:07 | Maxdaman1us | is now known as Maxdamantus |
| 2021-07-17 02:47:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-17 02:47:41 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-17 03:02:36 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-17 03:05:59 | → | img joins (~img@user/img) |
| 2021-07-17 03:18:16 | <dsal> | lechner: `return` is almost always just a longer, more confusing way of spelling `pure` |
| 2021-07-17 03:19:24 | <sm> | janus: I don't think so |
| 2021-07-17 03:20:18 | <janus> | i wonder if it is really a doctest issue? because surely, doctest shouldn't worry too much about 'low-level' things such as binding names? |
| 2021-07-17 03:20:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-17 03:20:55 | <janus> | if it is related to simplified subsumption or the for-all issue, it should be reproducable outside a doctest... |
| 2021-07-17 03:21:26 | <janus> | oh well, i don't know what i am saying, just thinking out loud ;) |
| 2021-07-17 03:21:48 | <sm> | yes.. I must dig deeper |
| 2021-07-17 03:39:41 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-17 03:41:37 | × | Null_A quits (~null_a@2601:645:8700:2290:ece9:3dfb:dec3:de97) (Remote host closed the connection) |
| 2021-07-17 03:54:52 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-17 03:58:16 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 268 seconds) |
| 2021-07-17 03:59:01 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-17 04:01:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 04:06:48 | <sm> | well it's simply that the bindings in current module (in which the doctests are embedded are not in scope by default |
| 2021-07-17 04:07:06 | <sm> | which is.. inconvenient |
| 2021-07-17 04:09:26 | <janus> | oh, now i see why you think it is a doctest issue |
| 2021-07-17 04:09:58 | <janus> | i think one argument for the doctest-like in cabal-extras is that it is more robust... i havn't tried it though |
| 2021-07-17 04:16:06 | → | mrus joins (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) |
| 2021-07-17 04:17:44 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 255 seconds) |
| 2021-07-17 04:32:36 | → | alekhine joins (~alekhine@c-73-38-152-33.hsd1.ma.comcast.net) |
| 2021-07-17 04:34:54 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-17 04:35:46 | → | Null_A joins (~null_a@2601:645:8700:2290:ece9:3dfb:dec3:de97) |
| 2021-07-17 04:45:48 | × | Null_A quits (~null_a@2601:645:8700:2290:ece9:3dfb:dec3:de97) (Remote host closed the connection) |
| 2021-07-17 04:48:35 | → | Null_A joins (~null_a@2601:645:8700:2290:ece9:3dfb:dec3:de97) |
| 2021-07-17 04:50:46 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-17 04:51:20 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-17 04:53:06 | × | Null_A quits (~null_a@2601:645:8700:2290:ece9:3dfb:dec3:de97) (Ping timeout: 255 seconds) |
| 2021-07-17 05:00:08 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-17 05:03:12 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-17 05:03:40 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-07-17 05:04:06 | × | xkuru quits (~xkuru@user/xkuru) (Client Quit) |
| 2021-07-17 05:05:12 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-17 05:07:39 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-07-17 05:09:22 | × | xkuru quits (~xkuru@user/xkuru) (Client Quit) |
| 2021-07-17 05:09:47 | × | hexeme quits (~hexeme@user/hexeme) (Quit: co'o ro do) |
| 2021-07-17 05:11:18 | → | hexeme joins (~hexeme@user/hexeme) |
| 2021-07-17 05:17:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-17 05:21:42 | → | Guest9 joins (~Guest9@43.242.116.127) |
| 2021-07-17 05:26:35 | × | keutoi quits (~keutoi@157.48.206.170) (Ping timeout: 255 seconds) |
| 2021-07-17 05:34:49 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-07-17 05:34:53 | → | Null_A joins (~null_a@2601:645:8700:2290:ece9:3dfb:dec3:de97) |
| 2021-07-17 05:45:29 | × | hexeme quits (~hexeme@user/hexeme) (Quit: co'o ro do) |
| 2021-07-17 05:45:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 05:47:51 | → | hexeme joins (~hexeme@user/hexeme) |
| 2021-07-17 05:48:37 | × | alekhine quits (~alekhine@c-73-38-152-33.hsd1.ma.comcast.net) (Quit: Konversation terminated!) |
| 2021-07-17 05:48:49 | → | qbt joins (~edun@user/edun) |
| 2021-07-17 05:49:46 | × | dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-17 05:50:15 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
| 2021-07-17 05:50:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-17 05:51:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-17 05:53:52 | × | Null_A quits (~null_a@2601:645:8700:2290:ece9:3dfb:dec3:de97) (Remote host closed the connection) |
| 2021-07-17 05:58:31 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-17 05:58:49 | → | img joins (~img@user/img) |
| 2021-07-17 06:02:07 | → | dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-07-17 06:02:09 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-17 06:02:09 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-07-17 06:02:09 | → | turlando joins (~turlando@user/turlando) |
| 2021-07-17 06:03:48 | × | sim590 quits (~simon@23.233.248.248) (Ping timeout: 258 seconds) |
| 2021-07-17 06:06:20 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 06:06:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-17 06:07:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 06:07:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-17 06:11:19 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 246 seconds) |
| 2021-07-17 06:12:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-07-17 06:14:10 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Reconnecting) |
| 2021-07-17 06:14:25 | → | zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-07-17 06:15:18 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Client Quit) |
| 2021-07-17 06:15:33 | → | zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-07-17 06:15:50 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host) |
| 2021-07-17 06:15:50 | → | zfnmxt joins (~zfnmxtzfn@user/zfnmxt) |
| 2021-07-17 06:21:51 | × | zmt00 quits (~zmt00@user/zmt00) (Quit: Gone.) |
| 2021-07-17 06:24:46 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-07-17 06:26:36 | × | mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Quit: Leaving) |
| 2021-07-17 06:31:12 | → | dunkeln joins (~dunkeln@94.128.224.230) |
| 2021-07-17 06:34:46 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-17 06:36:48 | × | earthy quits (~arthurvl@deban2.xs4all.space) (Quit: WeeChat 2.3) |
| 2021-07-17 06:42:34 | → | earthy joins (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) |
| 2021-07-17 06:45:55 | → | keutoi joins (~keutoi@157.48.202.216) |
| 2021-07-17 06:56:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 07:00:55 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-07-17 07:01:26 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-17 07:01:29 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-17 07:02:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 07:04:14 | × | Guest9 quits (~Guest9@43.242.116.127) (Ping timeout: 255 seconds) |
| 2021-07-17 07:11:42 | × | matsurago quits (~matsurago@p0111162-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp) (Quit: Leaving) |
| 2021-07-17 07:18:49 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-17 07:24:14 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-17 07:24:49 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-17 07:26:53 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
All times are in UTC.