Logs: freenode/#haskell
| 2020-11-12 17:39:00 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-12 17:39:59 | × | jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 272 seconds) |
| 2020-11-12 17:40:37 | × | alp quits (~alp@2a01:e0a:58b:4920:ed32:ff85:b3a6:ae06) (Ping timeout: 272 seconds) |
| 2020-11-12 17:40:39 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-12 17:41:06 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2020-11-12 17:44:03 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-kihpfdwzdbjfjvbb) |
| 2020-11-12 17:44:45 | × | g-belmonte quits (~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d) (Quit: Leaving) |
| 2020-11-12 17:45:16 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2020-11-12 17:45:31 | <maralorn> | When cabal tries to find a valid build plan, does it try all possible flag constellation for all dependencies? Or does it only try the default flags of every dependency? |
| 2020-11-12 17:45:39 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-12 17:47:10 | <int-e> | maralorn: it tries toggling the automatic flags, but not the manual ones |
| 2020-11-12 17:48:31 | hackage | phonetic-languages-examples 0.4.2.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.4.2.0 (OleksandrZhabenko) |
| 2020-11-12 17:49:12 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-12 17:50:07 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-12 17:50:13 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-12 17:52:42 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2020-11-12 17:53:35 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-12 17:53:55 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-12 17:54:39 | → | avdb joins (~avdb@ip-83-134-68-229.dsl.scarlet.be) |
| 2020-11-12 18:00:01 | × | mrd quits (~mrd@185.163.110.116) () |
| 2020-11-12 18:02:16 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 272 seconds) |
| 2020-11-12 18:02:57 | → | neiluj joins (~jco@238.106.204.77.rev.sfr.net) |
| 2020-11-12 18:09:15 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2020-11-12 18:10:37 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-12 18:12:55 | × | asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 2020-11-12 18:13:30 | hackage | uniqueness-periods-vector-general 0.5.3.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.5.3.0 (OleksandrZhabenko) |
| 2020-11-12 18:14:27 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-12 18:14:53 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 2020-11-12 18:16:22 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-12 18:17:37 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-12 18:19:39 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-12 18:19:50 | × | borne quits (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2020-11-12 18:21:02 | → | kierank1 joins (~kierank@184.75.221.35) |
| 2020-11-12 18:21:07 | × | renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds) |
| 2020-11-12 18:21:48 | → | Ariakenom joins (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se) |
| 2020-11-12 18:25:43 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-11-12 18:27:14 | × | bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection) |
| 2020-11-12 18:27:47 | → | borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) |
| 2020-11-12 18:27:49 | × | neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Ping timeout: 264 seconds) |
| 2020-11-12 18:28:31 | → | neiluj joins (~jco@238.106.204.77.rev.sfr.net) |
| 2020-11-12 18:29:23 | → | chaosmasttter joins (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) |
| 2020-11-12 18:31:30 | hackage | uniqueness-periods-vector-examples 0.14.5.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.14.5.0 (OleksandrZhabenko) |
| 2020-11-12 18:33:19 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-11-12 18:33:19 | → | electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-12 18:34:44 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-12 18:36:59 | × | chaosmasttter quits (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2020-11-12 18:37:01 | hackage | polysemy-methodology 0.1.6.0 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.6.0 (locallycompact) |
| 2020-11-12 18:41:12 | × | neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2020-11-12 18:41:17 | → | alp joins (~alp@2a01:e0a:58b:4920:881:8954:9deb:fcb5) |
| 2020-11-12 18:41:41 | × | asnyx quits (~asnyx@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com/irc.html>) |
| 2020-11-12 18:41:41 | × | brettgilio quits (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com/irc.html>) |
| 2020-11-12 18:41:54 | → | neiluj joins (~jco@238.106.204.77.rev.sfr.net) |
| 2020-11-12 18:43:31 | → | juri_ joins (~juri@178.63.35.222) |
| 2020-11-12 18:43:33 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection) |
| 2020-11-12 18:46:03 | → | jedai joins (~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr) |
| 2020-11-12 18:46:56 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-12 18:47:20 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2020-11-12 18:47:26 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) () |
| 2020-11-12 18:47:57 | → | asnyx joins (~asnyx@brettgilio.com) |
| 2020-11-12 18:51:22 | → | luke joins (~luke@bitnomial/staff/luke) |
| 2020-11-12 18:51:50 | × | luke quits (~luke@bitnomial/staff/luke) (Client Quit) |
| 2020-11-12 18:53:03 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-12 18:53:16 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds) |
| 2020-11-12 18:53:49 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 2020-11-12 18:54:26 | → | brettgilio joins (~brettgili@brettgilio.com) |
| 2020-11-12 18:54:49 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-11-12 18:57:25 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-12 18:59:26 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2020-11-12 19:00:09 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2020-11-12 19:00:36 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 2020-11-12 19:00:52 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2020-11-12 19:01:26 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2020-11-12 19:02:22 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-12 19:03:18 | <kritzefitz> | In parsec (string "a" >> mzero) `mplus` string "ab" behaves differently than mzero `mplus` string "ab". Does that violate the laws for mzero or am I misinterpreting the laws for mzero? |
| 2020-11-12 19:03:34 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2020-11-12 19:03:57 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2020-11-12 19:05:08 | → | chaosmasttter joins (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) |
| 2020-11-12 19:06:17 | <glguy> | kritzefitz: I think you're misunderstanding the laws |
| 2020-11-12 19:06:30 | <glguy> | because MonadPlus doesn't have very many |
| 2020-11-12 19:06:52 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds) |
| 2020-11-12 19:06:52 | <kritzefitz> | I'm specifically talking about v >> mzero = mzero. |
| 2020-11-12 19:06:55 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-12 19:06:56 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-12 19:07:33 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-11-12 19:07:52 | <glguy> | I think parsec doesn't satisfy the laws as written in Haddock, but also that people often don't agree on how MonadPlus should actually behave |
| 2020-11-12 19:07:57 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-12 19:08:33 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-12 19:08:46 | <glguy> | IO also fails the laws as implemented there |
| 2020-11-12 19:08:58 | <kritzefitz> | Good point |
| 2020-11-12 19:09:08 | <electricityZZZZ> | is anyone here also in #rust? can i get a #rust invite? |
| 2020-11-12 19:09:22 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-12 19:09:23 | <glguy> | electricityZZZZ: You're looking for ##rust |
| 2020-11-12 19:09:43 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 2020-11-12 19:09:53 | <electricityZZZZ> | oh wow ok freenode should change their error message |
| 2020-11-12 19:10:14 | <glguy> | #rust automatically forwards to ##rust except you weren't logged in so you weren't allowed in |
| 2020-11-12 19:10:27 | <glguy> | (because ##rust requires login for whatever reason) |
| 2020-11-12 19:11:26 | <electricityZZZZ> | ok. yeah #rust on irc.mozilla had problems with haxxorz or something so they are a little more paranoid |
| 2020-11-12 19:12:06 | → | stackdimes joins (~stackdime@70.39.102.181) |
| 2020-11-12 19:12:53 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 2020-11-12 19:13:06 | × | kierank1 quits (~kierank@184.75.221.35) (Ping timeout: 265 seconds) |
All times are in UTC.