Logs: freenode/#haskell
| 2020-11-19 14:40:10 | → | ystael joins (~ystael@209.6.50.55) |
| 2020-11-19 14:40:44 | <ski> | xsperry : ah, ok. so it's just method selection for object types that's polymororphic, not field selection for record types. see < |
| 2020-11-19 14:40:50 | × | ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 2020-11-19 14:41:55 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2020-11-19 14:42:25 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-19 14:43:05 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-19 14:43:16 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-19 14:44:55 | <ski> | see <https://caml.inria.fr/pub/docs/manual-ocaml/coreexamples.html#ss:record-and-variant-disambiguation> and <https://caml.inria.fr/pub/docs/manual-ocaml/objectexamples.html> |
| 2020-11-19 14:45:01 | × | byorgey quits (~byorgey@155.138.238.211) (Quit: leaving) |
| 2020-11-19 14:45:13 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-19 14:45:28 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 2020-11-19 14:45:30 | × | toorevitimirp quits (~tooreviti@117.182.180.118) (Remote host closed the connection) |
| 2020-11-19 14:46:01 | → | toorevitimirp joins (~tooreviti@117.182.180.118) |
| 2020-11-19 14:46:23 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-19 14:46:47 | × | Lycurgus quits (~niemand@cpe-45-46-142-188.buffalo.res.rr.com) (Quit: Exeunt) |
| 2020-11-19 14:47:26 | → | ystael joins (~ystael@209.6.50.55) |
| 2020-11-19 14:50:31 | × | hseg quits (~gesh@185.120.126.113) (Quit: WeeChat 2.9) |
| 2020-11-19 14:50:56 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 240 seconds) |
| 2020-11-19 14:52:19 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz) |
| 2020-11-19 14:53:12 | → | knupfer joins (~Thunderbi@dynamic-046-114-144-166.46.114.pool.telefonica.de) |
| 2020-11-19 14:55:30 | × | knupfer quits (~Thunderbi@dynamic-046-114-144-166.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2020-11-19 14:56:36 | × | oish quits (~charlie@217.169.25.228) (Ping timeout: 240 seconds) |
| 2020-11-19 14:57:52 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-11-19 15:00:13 | × | LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Read error: Connection reset by peer) |
| 2020-11-19 15:00:13 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-11-19 15:00:31 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-19 15:00:48 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 2020-11-19 15:01:34 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 2020-11-19 15:02:39 | × | GilReiter quits (4d7e19c5@77.126.25.197) (Remote host closed the connection) |
| 2020-11-19 15:07:38 | → | nbloomf joins (~nbloomf@76.217.43.73) |
| 2020-11-19 15:08:35 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-19 15:08:50 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-11-19 15:09:46 | × | coco quits (~coco@212-51-146-87.fiber7.init7.net) (Quit: WeeChat 2.9) |
| 2020-11-19 15:12:02 | × | xff0x quits (~fox@2001:1a81:534b:a000:65df:cebc:ef3d:70f7) (Ping timeout: 264 seconds) |
| 2020-11-19 15:12:19 | × | nbloomf quits (~nbloomf@76.217.43.73) (Ping timeout: 265 seconds) |
| 2020-11-19 15:13:55 | → | xff0x joins (~fox@141.98.255.145) |
| 2020-11-19 15:14:34 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds) |
| 2020-11-19 15:15:20 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-19 15:15:43 | × | alp quits (~alp@2a01:e0a:58b:4920:7562:27bf:89c5:b0d) (Ping timeout: 272 seconds) |
| 2020-11-19 15:22:18 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-11-19 15:24:13 | × | xff0x quits (~fox@141.98.255.145) (Ping timeout: 264 seconds) |
| 2020-11-19 15:24:55 | → | st8less joins (~st8less@2603:a060:11fd:0:744d:b66f:d608:4e8e) |
| 2020-11-19 15:25:02 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:f4f3:bbb1:9462:91ce) |
| 2020-11-19 15:26:07 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds) |
| 2020-11-19 15:26:09 | → | xff0x joins (~fox@2001:1a81:534b:a000:65df:cebc:ef3d:70f7) |
| 2020-11-19 15:26:53 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-11-19 15:29:55 | × | toorevitimirp quits (~tooreviti@117.182.180.118) (Read error: Connection reset by peer) |
| 2020-11-19 15:32:36 | × | FreeBirdLjj quits (~freebirdl@101.228.42.108) (Remote host closed the connection) |
| 2020-11-19 15:35:11 | → | Shiranai joins (beed0255@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.2.85) |
| 2020-11-19 15:39:03 | → | Sarma joins (~Amras@unaffiliated/amras0000) |
| 2020-11-19 15:39:15 | × | __monty_1 quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2020-11-19 15:41:03 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-11-19 15:46:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 256 seconds) |
| 2020-11-19 15:46:15 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 2020-11-19 15:47:04 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-uhdfbowqpmvzztxz) |
| 2020-11-19 15:47:58 | → | Mrkz71 joins (c1ef2595@193-239-37-149.ksi-system.net) |
| 2020-11-19 15:48:41 | × | carlomagno quits (~cararell@148.87.23.12) (Remote host closed the connection) |
| 2020-11-19 15:49:01 | → | carlomagno joins (~cararell@148.87.23.5) |
| 2020-11-19 15:51:57 | <dminuoso> | Mmm, I have a file with lines of varying indention, and I intend to interpret that as a tree like this https://gist.github.com/dminuoso/7911cb8e16c4de0d48de20e7270ebc68 |
| 2020-11-19 15:52:24 | <dminuoso> | I can cook up some sort of stateful unfold, but I was wondering whether there was some tree related library that would give me this for free |
| 2020-11-19 15:52:43 | → | northman_ joins (~textual@204.111.252.124) |
| 2020-11-19 15:53:02 | <dminuoso> | (Doesnt have to be that exact tree data type) |
| 2020-11-19 15:53:03 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2020-11-19 15:53:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-104-55.w86-212.abo.wanadoo.fr) |
| 2020-11-19 15:56:37 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2020-11-19 15:57:28 | <[exa]> | dminuoso: you can preprocess the leading whitespace to 'indent' and 'unindent' marks easily, then it's pretty easy to do |
| 2020-11-19 15:57:40 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-lviokxjrzjjmnlqh) |
| 2020-11-19 16:01:39 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-11-19 16:01:45 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-19 16:01:55 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-19 16:01:59 | <dminuoso> | [exa]: Mmm, what kind of un/indent mark are you referring to? Should these become conceptual push/pop instructions of a stack of things? |
| 2020-11-19 16:03:20 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 244 seconds) |
| 2020-11-19 16:04:19 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-19 16:04:26 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-11-19 16:05:24 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
| 2020-11-19 16:05:48 | × | concept2 quits (~concept2@unaffiliated/tubo) (Ping timeout: 256 seconds) |
| 2020-11-19 16:05:51 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-11-19 16:06:32 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-sgcggzhikhhgebxn) |
| 2020-11-19 16:06:42 | × | Shiranai quits (beed0255@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.2.85) (Quit: Connection closed) |
| 2020-11-19 16:06:47 | → | concept2 joins (~concept2@unaffiliated/tubo) |
| 2020-11-19 16:06:59 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
| 2020-11-19 16:07:26 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-11-19 16:07:54 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 265 seconds) |
| 2020-11-19 16:08:34 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
| 2020-11-19 16:09:05 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-11-19 16:11:15 | <[exa]> | dminuoso: yeah, it's not supersmart but safest way around I found |
| 2020-11-19 16:11:17 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2020-11-19 16:12:01 | <dmj`> | why can't we :unset -Werror in ghci |
| 2020-11-19 16:14:19 | <dolio> | Seems like it doesn't no how to :unset any -W flag. |
| 2020-11-19 16:14:25 | <dolio> | Know, even. |
| 2020-11-19 16:15:00 | hackage | subG-instances 0.1.0.0 - Additional instances for the InsertLeft class from subG package. https://hackage.haskell.org/package/subG-instances-0.1.0.0 (OleksandrZhabenko) |
| 2020-11-19 16:15:45 | <dminuoso> | [exa]: heh yeah that's what Im already doing. I just keep the previous indention as state around, so if it increases it becomes a push on a buffer where I push things onto, and on a pop I just flush the butter |
| 2020-11-19 16:15:49 | <boxscape> | does :set -Wno-error work? |
| 2020-11-19 16:15:52 | <dminuoso> | this is incredibly imperative, sadly |
| 2020-11-19 16:16:06 | <[exa]> | https://gist.github.com/exaexa/9920eb85d2bd20f4c575f2f1d307ae96 |
| 2020-11-19 16:16:08 | <dolio> | You can `:set -Wwarn` |
| 2020-11-19 16:16:13 | <boxscape> | ah |
| 2020-11-19 16:16:14 | <dolio> | Which is supposed to reverse it. |
| 2020-11-19 16:16:26 | <dminuoso> | % :set -Wno-warn |
| 2020-11-19 16:16:26 | <yahb> | dminuoso: ; <no location info>: warning: unrecognised warning flag: -Wno-warn |
All times are in UTC.