Logs on 2023-08-28 (liberachat/#haskell)
| 00:00:05 | <c_wraith> | Just write a default instance. |
| 00:00:27 | <c_wraith> | and all the types you want can opt in without doing anything other than saying they're opting in. |
| 00:00:33 | <aaronv> | you can use deriving via to derive the boilerplate instances |
| 00:00:51 | <c_wraith> | .... there are no boilerplate instance. why is everyone making this complicated? |
| 00:00:58 | × | gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:01:19 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 00:01:26 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 00:01:47 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 00:01:48 | <Jeanne-Kamikaze> | By default instance, do you mean writing default implementations for the functions in the type class? |
| 00:02:29 | <c_wraith> | yes. Use https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/default_signatures.html to put the constraint on the definition |
| 00:02:31 | <aaronv> | probably means default signatures. but you can only have one default signature and may have multiple ways to derive a superclass |
| 00:02:35 | <EvanR> | ok yeah, write the default implementation in the type class. Then every type you want to be an instance put instance MyOtherClass Bar |
| 00:02:56 | <c_wraith> | aaronv: did you read the initial question? This is the correct solution to that. |
| 00:02:56 | <Jeanne-Kamikaze> | I see... but what if they are not "the same" after all? |
| 00:03:00 | <EvanR> | lol |
| 00:03:08 | <int-e> | Whenever I hear this question... I wonder... are you trying to do OO in Haskell? |
| 00:03:08 | <c_wraith> | then you write a correct instance |
| 00:03:09 | <aaronv> | until you have another subclass |
| 00:03:34 | <int-e> | (It can be done and it's usually not a great approach to anything.) |
| 00:03:39 | <aaronv> | this is the general default superclass problem which has existed forever and for which there are a bunch of proposed extensions none of which have ever gone anywhere |
| 00:04:14 | <c_wraith> | I mean, it's not a problem because attempting to do it magically is the problem. Being explicit is the solution. |
| 00:04:33 | <EvanR> | Jeanne-Kamikaze, so what is it, if not actually the same |
| 00:04:37 | <aaronv> | the real problem is the inability to abstract over construction of type class instances |
| 00:04:38 | <int-e> | Though the AMP mess was a counterexample to that OO idea. |
| 00:05:07 | <Jeanne-Kamikaze> | Trying to think of a minimal example. |
| 00:05:16 | <int-e> | (After AMP, everything that was a single Monad instance suddenly had to be a Functor, an Applicative, and a Monad instance.) |
| 00:05:45 | <int-e> | (All without any OO in sight.) |
| 00:05:49 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::5235) |
| 00:06:02 | <aaronv> | what is OO |
| 00:06:11 | <int-e> | object-oriented programming |
| 00:06:13 | <aaronv> | what is that |
| 00:06:15 | <c_wraith> | int-e: all the types that were monads without also being instances of Applicative were terrible. I'm glad they were forced to be sane. |
| 00:06:19 | <EvanR> | lol |
| 00:06:23 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 00:06:25 | <int-e> | aaronv: I won't answer that |
| 00:06:29 | <aaronv> | there is no answer |
| 00:06:43 | <EvanR> | OO haskell is where you try to emulate classes, subclasses, and reimplementing the superclass functionality selectively |
| 00:06:56 | <EvanR> | where classes are as in java |
| 00:07:14 | <aaronv> | I thought OO haskell was the lens library |
| 00:07:25 | <EvanR> | that's optics oriented programming |
| 00:07:26 | <aaronv> | with all it's subtyping |
| 00:07:30 | <int-e> | c_wraith: It wasn't exactly a complaint. But I did write code before Applicative was a thing. |
| 00:07:32 | <aaronv> | *its |
| 00:07:37 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 00:08:19 | <int-e> | c_wraith: And adapting that was tedious. |
| 00:08:20 | <EvanR> | the lens stuff is an example of "OO" subtyping actually working right, unlike most of the time java |
| 00:09:00 | <aaronv> | well, except the quantified types aren't first class, which can be annoying |
| 00:09:15 | <EvanR> | first class types? |
| 00:09:47 | <EvanR> | idris I can hear you in the trunk of that car screaming to get out |
| 00:10:56 | <geekosaur> | `forall a ->` is banging on the door |
| 00:10:56 | <aaronv> | maybe I should say they aren't even second class |
| 00:11:23 | <aaronv> | `forall a ->` would give up the subtyping |
| 00:13:56 | → | zer0bitz_ joins (~zer0bitz@user/zer0bitz) |
| 00:14:01 | → | Inst joins (~liamzy@2601:6c4:4085:6d50::7f5a) |
| 00:14:51 | × | zer0bitz_ quits (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 00:15:07 | → | zer0bitz_ joins (~zer0bitz@user/zer0bitz) |
| 00:15:26 | × | ddellacosta quits (~ddellacos@143.244.47.89) (Ping timeout: 245 seconds) |
| 00:15:37 | × | falafel quits (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 246 seconds) |
| 00:17:00 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 00:17:29 | → | ddellacosta joins (~ddellacos@146.70.165.10) |
| 00:17:33 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 00:18:24 | <Inst> | erm, question |
| 00:18:40 | <Axman6> | No, statement |
| 00:18:51 | <Inst> | more like a clause, or a sentence fragment? |
| 00:18:54 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 00:19:03 | <Inst> | shoudn't tail calls be optimized to mutating code? |
| 00:19:09 | <Inst> | copy, mutate, return |
| 00:19:18 | <Inst> | *tail recursive calls |
| 00:20:33 | <Inst> | i assumed they were, someone corrected me that they weren't |
| 00:21:08 | <Inst> | i suppose state chains aren't, though, because they're not linear (yet), #1, #2, linear haskell makes no claim of enabling mutation |
| 00:21:22 | <geekosaur> | everything is a tail call by the time you reach STG, so things are much more complicated than that |
| 00:22:42 | <Jeanne-Kamikaze> | > EvanR> OO haskell is where you try to emulate classes, subclasses, and reimplementing the superclass functionality selectively; Yeah, I think that is what I was trying to do in a nutshell. |
| 00:22:44 | <lambdabot> | <hint>:1:22: error: parse error on input ‘where’ |
| 00:23:14 | <Jeanne-Kamikaze> | I need to go back to the drawing board. Part of the problem is figuring out what I really want :/ |
| 00:23:34 | <EvanR> | Jeanne-Kamikaze, probably an unpleastant road to go down but you can read some papers on past attempts |
| 00:24:25 | <EvanR> | instead of OO being a solution looking for a problem here, you should flesh out the problem |
| 00:24:42 | <Inst> | the foolish person learns from their own mistakes, the wise person learns from others' mistakes. But the foolish person has more fun! |
| 00:25:36 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:25:36 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:25:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:27:13 | <Inst> | geekosaur: it came up because someone wanted mutation, I thought TCO was already mutation in the sense that it evaluated to a jump with constant registers |
| 00:27:43 | <Inst> | they left happily with unsafeFreeze, unsafeThaw, a warning, and a grin on their face from the likely inevitable explosion |
| 00:28:22 | <EvanR> | TCO isn't mutation at all |
| 00:28:49 | <EvanR> | it's lack of mutation (of the call stack, in some other setting which has a call stack) |
| 00:29:04 | <Inst> | ah :( |
| 00:29:21 | <EvanR> | which is why it's so cool, "zero cost call" |
| 00:30:09 | <Inst> | so what happens to the function arguments? |
| 00:30:20 | <Inst> | do they get shifted around, replaced with new pointers? |
| 00:30:21 | <EvanR> | passed to the function being called |
| 00:30:40 | <EvanR> | so I lied there |
| 00:31:03 | <Inst> | strictly, but the new function call creates new memory addresses / uses new registers? :( |
| 00:31:04 | <EvanR> | when you have no arguments, it's just a jump |
| 00:31:37 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 00:31:56 | <EvanR> | haskell programs use registers too but I don't see the connection |
| 00:32:04 | <dolio> | It's definitely true that some common uses of mutation can be replaced by tail recursion. |
| 00:32:42 | <dolio> | That's because the only way to do tail recursion in many languages (without unnecessarily eating stack) is with loops and mutation. |
| 00:33:04 | <Inst> | i actually like mutation and state, i just want it to be the compiler's problem, not mine, whenever possible |
| 00:33:10 | <monochrom> | Jeanne-Kamikaze: In the standard library, "if T is a Num instance, then it is also a Monoid instance using addition" is realized by the newtype wrapper "Sum", i.e., instance Num a => instance Monoid (Sum a) |
| 00:33:13 | <Axman6> | since there's no returning from a tail call, all a call to a haskell function is is putting the arguments in registers (many caveats here) and then jumping to that, and by definition anything that was in registers in the calling code can be overwritten, since it'll never be used. |
| 00:34:10 | <Axman6> | so at some level here's always mutation going on, and a tail recursive function will repeatedly overwrite its arguments on each recursive call |
| 00:34:12 | <Jeanne-Kamikaze> | monochrom, yeah, I think that's what I was trying to formulate. |
| 00:34:46 | <Jeanne-Kamikaze> | Like there are different kinds of monoids, but those that are Num behave with mappend = (+) |
| 00:35:13 | <Axman6> | no, they _can_ behave like thaty, or they can use mappend = (*) |
| 00:35:14 | <Inst> | i'm not sure this is correct, but there's only one Monoid typeclass, but different types instanced into the typeclass |
| 00:35:15 | <Axman6> | or const |
| 00:35:18 | <monochrom> | There are other cases where there is uniqueness but you still need a newtype wrapper to intervene. |
| 00:35:34 | × | ski quits (~ski@w188040.eduroam.gu.se) (Ping timeout: 255 seconds) |
| 00:35:41 | <Inst> | kinds is a bit of a dangerous word because it's a term of art in Haskell |
| 00:35:43 | <Axman6> | or any number of other implementations, which is why we split those common implementations out into the newtypes |
| 00:35:53 | <monochrom> | Fundamentally this is how Haskell type classes work (and not work). You need a wrapper, lest it's undecidable and overlapping. |
| 00:36:15 | → | ski joins (~ski@w188047.eduroam.gu.se) |
| 00:36:49 | <EvanR> | typeclasses vs the world, for any given type there's zero or one instance of something |
| 00:36:59 | <EvanR> | in typeclasses we trust |
| 00:37:00 | <Inst> | you know what a newtype is, right? |
| 00:37:20 | <Jeanne-Kamikaze> | Yeah |
| 00:39:47 | <Inst> | also, no, Num doesn't behave with mappend = (+) because real numbers have both addition and multiplication as monoids, hence the Sum newtype wrapper for (+) vs Product (*) |
| 00:39:52 | <Jeanne-Kamikaze> | Is understanding why the newtype is needed there / comment about undecidable/overlapping something one can read out? |
| 00:40:22 | <Jeanne-Kamikaze> | I just don't really understand how the type inference and stuff generally works. |
| 00:40:36 | <Jeanne-Kamikaze> | *read about |
| 00:40:47 | <Axman6> | The problem comes when I write mappend 2.0 3.0, do I want the answer to be 5.0 or 6.0? |
| 00:41:19 | <Axman6> | there's no way the compiler can know which implementation is expected if you can define mappend = (+) and mappend = (*) |
| 00:41:36 | <EvanR> | you can write an instance that implements Monoid for all Nums. And that overlaps all the usual Num instances |
| 00:41:37 | <Jeanne-Kamikaze> | Let's say that that Num only has (+) or (*), just one possible definition of monoid. Do you still need to wrap it in a newtype to avoid the overlapping/undecidable situation? |
| 00:41:49 | <Inst> | you don't |
| 00:41:59 | <Axman6> | yes |
| 00:42:13 | <Inst> | instance Num a => Monoid a where; mappend = (+) |
| 00:42:23 | <EvanR> | that overlaps and so is bad |
| 00:42:23 | <Inst> | do you have ghci ready? |
| 00:42:24 | <Axman6> | what if I want mappend 2.0 3.0 == 2.0? a.k.a, the First Monoid (sort of) |
| 00:42:40 | <Jeanne-Kamikaze> | Yeah. I get an error that the thing overlaps when the 'a' is not a Num. |
| 00:42:54 | <EvanR> | it also overlaps when it is a Num and has a Monoid instance too |
| 00:42:59 | <Inst> | hmm, that doesn't compile :( |
| 00:43:06 | <Axman6> | there's an infinite number of monoid instances that we could want, picking one arbitrarily makes all the others more painful to use |
| 00:43:46 | <Jeanne-Kamikaze> | What does "overlap" here really mean? What's the problem? |
| 00:43:54 | <EvanR> | a type has two instances of a class |
| 00:43:58 | <monochrom> | I can only think of the Haskell Report plus Typing Haskell in Haskell. |
| 00:44:08 | <Jeanne-Kamikaze> | How? You can either be or not be a Num? |
| 00:44:09 | <Axman6> | Jeanne-Kamikaze: what does mappend 2.0 3.0 return? |
| 00:44:17 | <EvanR> | you were talking about implementing Monoid |
| 00:45:00 | <monochrom> | "instance C [a]" and "instance C (f Int)" overlap. Because [Int] matches both. |
| 00:45:24 | <monochrom> | Clearly, "instance C a" and "instance C Int" also overlap, even more badly. |
| 00:46:05 | <monochrom> | Oh, "instance ExtraCondition => C a" is not going to help. Instance matching goes backwards and optimistically. |
| 00:46:11 | <Inst> | why is it complaining about undecidableinstances and the constraint Num a being no smaller than Monoid a? :( |
| 00:46:27 | <Jeanne-Kamikaze> | monochrom, yeah, that ExtraCondition => C a is what I had. |
| 00:46:35 | <Jeanne-Kamikaze> | I thought ExtraCondition would keep me honest. |
| 00:46:48 | <monochrom> | Here is how "instance Ord a => Ord [a]" works, for example. |
| 00:46:51 | <Jeanne-Kamikaze> | But it don't. |
| 00:47:25 | <geekosaur> | Inst, the compiler does not reason about meaning, it does not know and can not tell that there are fewer Num instances than Monoid instances |
| 00:47:25 | <Inst> | just curious, do you know what a mathematical monoid is? |
| 00:47:32 | <Axman6> | What if we also have: instance (Show a, Read a) => Monoid a where mappend a b = read (show a ++ show b), that also overlaps with basically all types which are instances of Num |
| 00:47:42 | <Jeanne-Kamikaze> | It's a single object category baby |
| 00:47:44 | <geekosaur> | It knows only that they have the same shape and one is not defined in terms of the other |
| 00:47:46 | <monochrom> | [MyType] matches [a] therefore Ord [MyType] is committed. Cut. (No backtracking in the future). |
| 00:48:08 | <Jeanne-Kamikaze> | Yeah, I am roughly familiar with monoids, that's as far as I got into the category theory book. |
| 00:48:14 | <monochrom> | Then "Ord MyType" is checked. If none found. error. There is no search for alternative solutions. |
| 00:48:32 | <monochrom> | Apply the same logic to "instance Num a => C a". |
| 00:48:56 | <monochrom> | Int matches "a", therefore C Mytype is committed. Cut. |
| 00:48:58 | <Inst> | wait, am I wrong when I say the most accessible concept of monoid is from algebra, not category theory? |
| 00:49:09 | <monochrom> | Then, if Num Mytype fails, error. THE END. |
| 00:49:43 | <monochrom> | Conclusion: "instance Num a => C a" does not mean "if Num a, then C a". |
| 00:50:19 | <Inst> | the way I understand the Haskeller fascination with abstract mathematics is that, in other languages, people want interfaces with contracts |
| 00:50:27 | <Inst> | mathematics gives you free interfaces with contracts |
| 00:50:44 | <Inst> | erm, gives you interfaces with free contracts |
| 00:50:46 | <Jeanne-Kamikaze> | monochrom, that explains it, thank you. I was going backwards in that reasoning. |
| 00:50:50 | <monochrom> | at least not with causal "if-then". |
| 00:51:28 | <monochrom> | Haskell's type class system is a very simplified Prolog with implicit cuts almost everywhere. |
| 00:53:06 | <Jeanne-Kamikaze> | Or rather, I was going forwards. |
| 00:53:11 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 250 seconds) |
| 00:53:44 | <Jeanne-Kamikaze> | "No backtracking" sounds like the opposite of SFINAE in C++ too. |
| 00:54:21 | × | ski quits (~ski@w188047.eduroam.gu.se) (Ping timeout: 260 seconds) |
| 00:58:51 | <monochrom> | The most important deviation from Prolog (which justifies other deviations) is that Prolog has closed-world assumption, Haskell is a separate compilation language so it has open-world assumption. |
| 00:59:54 | <monochrom> | backtracking and failre=negation require closed world |
| 01:00:19 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 01:02:24 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 01:04:15 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 01:04:56 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 01:05:38 | → | yisef joins (~yisef@202.81.231.204) |
| 01:08:11 | × | zer0bitz_ quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 01:08:51 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 01:10:55 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:05 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 01:11:20 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 01:12:52 | → | notzmv joins (~zmv@user/notzmv) |
| 01:17:02 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:23 | → | zer0bitz_ joins (~zer0bitz@user/zer0bitz) |
| 01:18:36 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 246 seconds) |
| 01:20:47 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 01:23:20 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 01:23:38 | → | bratwurst joins (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 01:32:03 | × | Inst quits (~liamzy@2601:6c4:4085:6d50::7f5a) (Ping timeout: 246 seconds) |
| 01:37:28 | <Jeanne-Kamikaze> | Alright, welp, thanks for the lesson, I'm calling it a day. |
| 01:37:52 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@142.147.89.237) (Quit: Leaving) |
| 01:41:17 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::5235) (Ping timeout: 246 seconds) |
| 01:41:30 | × | doyougnu quits (~doyougnu@45.46.170.68) (Ping timeout: 246 seconds) |
| 01:44:23 | × | zer0bitz_ quits (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 01:44:38 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 01:44:57 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 01:45:07 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 01:46:42 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 01:48:23 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 01:50:04 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 01:57:52 | × | otto_s quits (~user@p4ff27798.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:59:55 | → | otto_s joins (~user@p5b044fa6.dip0.t-ipconnect.de) |
| 02:05:42 | × | bratwurst quits (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 02:08:11 | → | hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net) |
| 02:13:17 | → | danza_ joins (~francesco@151.43.231.136) |
| 02:15:26 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:15:48 | × | danza quits (~francesco@151.19.248.14) (Ping timeout: 246 seconds) |
| 02:21:01 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 02:24:12 | × | Square quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 02:27:04 | → | Square joins (~Square@user/square) |
| 02:46:07 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 02:48:05 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:48:05 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:48:05 | finn_elija | is now known as FinnElija |
| 02:48:41 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 02:50:23 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 02:50:24 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 02:50:24 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 02:52:29 | × | td_ quits (~td@83.135.9.2) (Ping timeout: 248 seconds) |
| 02:53:46 | × | yisef quits (~yisef@202.81.231.204) (Remote host closed the connection) |
| 02:54:10 | → | td_ joins (~td@i5387090B.versanet.de) |
| 02:54:36 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 02:59:30 | → | sm joins (~sm@plaintextaccounting/sm) |
| 03:00:21 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 03:01:01 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 03:06:34 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:06:35 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:06:35 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:09:34 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:10:36 | × | remmie quits (ianremsen@tilde.team) (Ping timeout: 246 seconds) |
| 03:11:11 | → | dolio joins (~dolio@130.44.134.54) |
| 03:11:35 | × | vulpine quits (xfnw@tilde.team) (Ping timeout: 246 seconds) |
| 03:12:38 | → | vulpine joins (xfnw@tilde.team) |
| 03:12:44 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 03:14:21 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 03:16:49 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:16:49 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:16:49 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:17:55 | → | dolio joins (~dolio@130.44.134.54) |
| 03:18:42 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 03:21:36 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 03:27:14 | → | doyougnu joins (~doyougnu@45.46.170.68) |
| 03:29:10 | → | actioninja4 joins (~actioninj@user/actioninja) |
| 03:29:43 | → | aforemny joins (~aforemny@2001:9e8:6cc3:b300:7be0:f3fb:8199:5ccd) |
| 03:30:29 | × | actioninja quits (~actioninj@user/actioninja) (Ping timeout: 250 seconds) |
| 03:30:30 | actioninja4 | is now known as actioninja |
| 03:30:32 | × | aforemny_ quits (~aforemny@i59F516C9.versanet.de) (Ping timeout: 240 seconds) |
| 03:35:07 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 03:36:24 | → | Sciencentistguy2 joins (~sciencent@hacksoc/ordinary-member) |
| 03:36:52 | → | remmie joins (ianremsen@tilde.team) |
| 03:38:07 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 03:38:25 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 245 seconds) |
| 03:38:25 | Sciencentistguy2 | is now known as Sciencentistguy |
| 03:38:43 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:38:43 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:38:43 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:45:04 | × | aaronv quits (~aaronv@user/aaronv) (Quit: Leaving) |
| 03:45:24 | → | aaronv joins (~aaronv@user/aaronv) |
| 03:45:55 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 03:48:00 | × | aaronv quits (~aaronv@user/aaronv) (Client Quit) |
| 03:48:20 | → | aaronv joins (~aaronv@user/aaronv) |
| 03:48:31 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 03:48:54 | <segfaultfizzbuzz> | hmm, people didn't respond in #haskell-offtopic so i thought i would try asking here, but feel free to tell me this is too offtopic: |
| 03:49:23 | <segfaultfizzbuzz> | let's say someone writes a planetary motion simulator using newton's laws, and uses a type system for this so for instance, the type system prevents the implementor from adding time to position without multiplying by a velocity, for instance, and all is well with the universe |
| 03:49:31 | × | Square quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 03:49:38 | <segfaultfizzbuzz> | and then einstein comes along and this shit wrong |
| 03:49:49 | <segfaultfizzbuzz> | is the type system now wrong? |
| 03:50:15 | <segfaultfizzbuzz> | put another way, when domain knowledge shifts, does the type system always survive, often survive, rarely survive...? |
| 03:50:41 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:50:41 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:50:41 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:52:26 | → | Square joins (~Square@user/square) |
| 03:53:59 | → | notzmv joins (~zmv@user/notzmv) |
| 03:59:26 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 04:00:17 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:00:17 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:00:17 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:00:30 | × | actioninja quits (~actioninj@user/actioninja) (Quit: see ya mane) |
| 04:00:58 | → | actioninja joins (~actioninj@user/actioninja) |
| 04:04:25 | → | zer0bitz_ joins (~zer0bitz@user/zer0bitz) |
| 04:06:49 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:07:23 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 04:10:02 | → | sm joins (~sm@plaintextaccounting/sm) |
| 04:11:22 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 04:11:53 | <EvanR> | segfaultfizzbuzz, haskell is known for it's relative ease of refactoring existing code. So if you used newtypes everywhere on numbers to track units and conversions, and later changed your mind on the units, you are refactoring |
| 04:12:16 | <EvanR> | but I imagine that example is pretty far fetched |
| 04:12:55 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 04:15:33 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 04:16:04 | → | sm joins (~sm@plaintextaccounting/sm) |
| 04:18:45 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 04:22:14 | → | dibblego joins (~dibblego@116.255.1.151) |
| 04:22:14 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 04:22:14 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:22:19 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 04:22:26 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 04:23:00 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 246 seconds) |
| 04:23:24 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 04:25:37 | → | ripspin joins (~chatzilla@1.145.142.139) |
| 04:29:05 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 04:29:26 | × | ripspin quits (~chatzilla@1.145.142.139) (Remote host closed the connection) |
| 04:31:53 | × | zer0bitz_ quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 04:39:22 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 04:48:42 | × | nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 04:49:21 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 04:52:28 | × | Square quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 04:53:23 | → | dibblego joins (~dibblego@220-233-36-23.ip4.superloop.au) |
| 04:53:23 | × | dibblego quits (~dibblego@220-233-36-23.ip4.superloop.au) (Changing host) |
| 04:53:23 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:58:35 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 05:09:02 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:12:35 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 05:14:42 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 05:14:42 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 05:14:42 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 05:15:53 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:19:32 | × | Guest3051 quits (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 05:19:56 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 05:21:10 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 05:21:35 | → | Guest3051 joins (sid1055@id-1055.tinside.irccloud.com) |
| 05:21:41 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 05:22:14 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 05:24:54 | → | dibblego joins (~dibblego@220.233.36.23) |
| 05:24:54 | × | dibblego quits (~dibblego@220.233.36.23) (Changing host) |
| 05:24:54 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 05:25:15 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 05:26:31 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 05:26:43 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 05:31:33 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 05:32:17 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 05:33:01 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 05:36:22 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:49:38 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 05:50:47 | → | michalz joins (~michalz@185.246.207.217) |
| 05:51:46 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 05:52:22 | → | michalz joins (~michalz@185.246.207.197) |
| 05:52:39 | → | kenran joins (~user@user/kenran) |
| 05:55:32 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 05:58:36 | → | zer0bitz_ joins (~zer0bitz@user/zer0bitz) |
| 05:59:16 | <kenran> | I'm trying out the optics library, and my project is using fourmolu to format things (on GHC 9.6). If anyone is doing something similar: can I get fourmolu to not heavily break lines in things like: s & registers % a .~ 0x3 & foo .~ "bar" |
| 06:00:27 | <Axman6> | what even is going on there XD |
| 06:00:45 | <Axman6> | oh, my terminal was playing up, looks more sensible now |
| 06:00:54 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 06:00:57 | <kenran> | Ideally I'd like to have the (&) calls on separate lines (maybe even aligned; at work an older fourmolu does that, but using lens), but as soon as I break before the 2nd one or both, I get every operand on a new line |
| 06:02:15 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 06:02:59 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 06:04:52 | <Axman6> | What's % do in optics? |
| 06:05:42 | <kenran> | It's their (.) |
| 06:06:16 | <kenran> | I've tried using (.) instead just to test the formatting, but no difference either |
| 06:06:38 | → | sm joins (~sm@plaintextaccounting/sm) |
| 06:07:14 | <kenran> | right now I check using the older version of fourmolu from the work project (0.9) and it definitely formats it differently :/ |
| 06:07:37 | <Axman6> | This is one of the (very uninformed) reasons I've stuck with stylish-haskell, it doesn't mess too much with the code itself, and I find I want to retain control of alignment in functions because it helps convey meaning or makes differences between similar looking lines far more obvious |
| 06:09:07 | <kenran> | Yes exactly! fourmolu is so nice though if it works like you intended, as it's afaik the only formatter to look something like what I'd write without one :) but if it doesn't... oh boy |
| 06:10:21 | <Axman6> | I feel like any one of these tools needs an insane number of configuration options so you can disable that one thing that annoys you. I really don't like the "opinionated" ones, because they are pretty much guaranteed to have the wrong opinion =) |
| 06:11:01 | <kenran> | That's why I quickly moved away from ormolu :D |
| 06:11:40 | <kenran> | I mean, I'd still use it at work, as Haskell seems to "provoke" lots of different, opinionated code styles, but for a personal project |
| 06:12:22 | <kenran> | I wonder if I should bite the bullet and just not use one in this... stylish-haskell (iirc) does the annoying thing with the imports, i.e., aligning the module names, qualified or not, right? |
| 06:13:46 | → | danza__ joins (~francesco@151.57.253.143) |
| 06:15:02 | → | acidjnk joins (~acidjnk@p200300d6e7072f52f8062bd386216d20.dip0.t-ipconnect.de) |
| 06:15:27 | <Axman6> | it has flags for that. |
| 06:15:57 | <Axman6> | one of the reasons I like PostQualifiedImports or whatever it's called, makes for much nicer alignment |
| 06:16:13 | × | danza_ quits (~francesco@151.43.231.136) (Ping timeout: 255 seconds) |
| 06:16:19 | <Axman6> | and you can just sort th line directly if you want |
| 06:16:37 | <kenran> | I wanted to try it out just now, but alas the version in nixpkgs doesn't build yet with GHC 9.6 |
| 06:16:54 | <Axman6> | Huh, what issues? |
| 06:17:18 | <kenran> | constraint problems: ghc-lib-parser < 9.5 |
| 06:17:21 | <kenran> | I'll check github |
| 06:17:29 | × | hyvoid quits (~hyenavoid@222-0-178-69.static.gci.net) (Read error: Connection reset by peer) |
| 06:18:35 | <kenran> | ah, recent commits have fixed this. I'll try with `main` then |
| 06:24:41 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 06:28:09 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 06:28:10 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 06:28:34 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 06:28:44 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 06:30:32 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 06:31:43 | → | mmhat joins (~mmh@p200300f1c70427faee086bfffe095315.dip0.t-ipconnect.de) |
| 06:32:47 | <kenran> | Axman6: ok, it works, and maybe I'll really give it a try, as it doesn't touch most of my code at all. I'll have to align my let/in myself, but I can live with that =) |
| 06:32:59 | <kenran> | thanks for the suggestion, I'd have dismissed it otherwise! |
| 06:33:13 | → | chele joins (~chele@user/chele) |
| 06:33:36 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:34:16 | → | aeroplane joins (~user@user/aeroplane) |
| 06:37:47 | × | mmhat quits (~mmh@p200300f1c70427faee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4) |
| 06:38:02 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 06:38:14 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 06:41:25 | × | zer0bitz_ quits (~zer0bitz@user/zer0bitz) (Ping timeout: 258 seconds) |
| 06:41:26 | → | CiaoSen joins (~Jura@5.83.185.51) |
| 06:50:01 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 06:52:27 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 06:54:26 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 07:01:14 | × | k3ut0i quits (~keutoi@122.169.217.14) (Quit: leaving) |
| 07:08:55 | → | todi joins (~todi@p4fd1a580.dip0.t-ipconnect.de) |
| 07:12:03 | → | yisef joins (~yisef@202.81.231.204) |
| 07:14:20 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:17:18 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 07:17:38 | → | fendor joins (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) |
| 07:18:21 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 07:21:23 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 07:29:22 | → | artem joins (~artem@73.145.240.143) |
| 07:32:47 | × | ulysses4ever quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 258 seconds) |
| 07:34:24 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 07:37:17 | × | danza__ quits (~francesco@151.57.253.143) (Ping timeout: 246 seconds) |
| 07:44:09 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:48:27 | → | danse-nr3 joins (~francesco@151.57.253.143) |
| 07:49:45 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:50:01 | → | connrs joins (~connrs@user/connrs) |
| 07:52:56 | × | connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 07:55:48 | → | connrs joins (~connrs@user/connrs) |
| 07:58:37 | <kenran> | I think I might have found out what the problem is: |
| 07:59:34 | <kenran> | (&) is imported as a reexport from Optics, and it seems like (in newer versions) ormolu/fourmolu only get the correct fixity for operators that are not reexports. as soon as I import Data.Function ((&)) or specify the fixity manually, it formats correctly again! |
| 08:03:13 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:03:23 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:05:06 | × | Rydwxz quits (~rw@cpe-75-82-51-90.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 08:12:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:21:04 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 08:21:32 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 08:23:35 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:28:06 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 08:28:41 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:31:59 | → | Pickchea joins (~private@user/pickchea) |
| 08:33:56 | × | elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 08:34:35 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 08:37:42 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Quit: WeeChat 4.0.3) |
| 08:40:52 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 08:42:12 | → | elkcl joins (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 08:43:19 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:50:29 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:58:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:59:12 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 09:03:14 | × | matijja quits (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:05:07 | → | matijja joins (~matijja@193.77.181.201) |
| 09:07:07 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 09:09:39 | → | sm joins (~sm@plaintextaccounting/sm) |
| 09:13:50 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 09:14:41 | AlexNoo_ | is now known as AlexNoo |
| 09:15:59 | × | acidjnk quits (~acidjnk@p200300d6e7072f52f8062bd386216d20.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 09:18:00 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 09:20:13 | stefan-__ | is now known as stefan-_ |
| 09:27:02 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 09:37:13 | × | ft quits (~ft@p508db658.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:40:09 | × | yisef quits (~yisef@202.81.231.204) (Remote host closed the connection) |
| 09:41:55 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 09:45:22 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 09:47:34 | → | razetime joins (~quassel@49.207.213.87) |
| 09:52:14 | × | danse-nr3 quits (~francesco@151.57.253.143) (Remote host closed the connection) |
| 09:52:38 | → | danse-nr3 joins (~francesco@151.57.253.143) |
| 09:59:41 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 10:02:06 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 10:06:11 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:6c62:6245:cbff:fe9f:48b1) |
| 10:12:05 | → | Inst joins (~liamzy@2601:6c4:4085:6d50::7f5a) |
| 10:13:37 | → | danse-nr3_ joins (~francesco@151.43.236.65) |
| 10:13:41 | → | acidjnk joins (~acidjnk@p200300d6e7072f52f8062bd386216d20.dip0.t-ipconnect.de) |
| 10:14:04 | × | danse-nr3 quits (~francesco@151.57.253.143) (Read error: Connection reset by peer) |
| 10:17:01 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:18:46 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 10:19:32 | × | danse-nr3_ quits (~francesco@151.43.236.65) (Ping timeout: 245 seconds) |
| 10:21:35 | → | danse-nr3_ joins (~francesco@151.43.236.65) |
| 10:25:05 | × | danse-nr3_ quits (~francesco@151.43.236.65) (Remote host closed the connection) |
| 10:25:27 | → | danse-nr3_ joins (~francesco@151.43.236.65) |
| 10:29:34 | → | andrei_n joins (~andrei.n@2a02:a03f:c0bc:8400:c96:3a2a:8b5f:e9ce) |
| 10:31:40 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 10:35:10 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 10:36:21 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 10:36:49 | → | puke joins (~puke@user/puke) |
| 10:38:34 | × | danse-nr3_ quits (~francesco@151.43.236.65) (Ping timeout: 255 seconds) |
| 10:40:04 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 10:40:26 | × | Inst quits (~liamzy@2601:6c4:4085:6d50::7f5a) (Ping timeout: 246 seconds) |
| 10:40:44 | → | danza joins (~francesco@151.43.236.65) |
| 10:41:47 | → | danse-nr3_ joins (~francesco@151.43.236.65) |
| 10:43:30 | → | sm joins (~sm@plaintextaccounting/sm) |
| 10:44:28 | → | Inst joins (~liamzy@2601:6c4:4085:6d50::85df) |
| 10:45:26 | × | danza quits (~francesco@151.43.236.65) (Ping timeout: 246 seconds) |
| 10:48:10 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:57:26 | × | CiaoSen quits (~Jura@5.83.185.51) (Ping timeout: 245 seconds) |
| 10:58:26 | × | andrei_n quits (~andrei.n@2a02:a03f:c0bc:8400:c96:3a2a:8b5f:e9ce) (Remote host closed the connection) |
| 10:58:43 | → | andrei_n joins (~andrei.n@2a02:a03f:c0bc:8400:c96:3a2a:8b5f:e9ce) |
| 11:00:23 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 11:00:56 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:04:12 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 11:11:24 | × | razetime quits (~quassel@49.207.213.87) (Ping timeout: 255 seconds) |
| 11:12:44 | × | Inst quits (~liamzy@2601:6c4:4085:6d50::85df) (Ping timeout: 248 seconds) |
| 11:17:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:17:56 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 11:18:46 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 11:18:48 | → | Inst joins (~liamzy@2601:6c4:4085:6d50::85df) |
| 11:18:55 | → | Guest68 joins (~Guest68@p200300e79f22800038d6aa3d99bb30f0.dip0.t-ipconnect.de) |
| 11:22:53 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 11:26:00 | × | renegade quits (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 11:26:18 | → | yosef` joins (~yosef`@user/yosef/x-2947716) |
| 11:26:27 | → | renegade joins (~renegade@bcdcac82.skybroadband.com) |
| 11:29:05 | [exa]_ | is now known as [exa] |
| 11:29:14 | × | [exa] quits (~exa@srv3n.blesmrt.net) (Changing host) |
| 11:29:14 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 11:30:51 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 11:32:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:35:21 | → | fserucas joins (~fserucas@83.223.248.85) |
| 11:40:02 | → | fserucas_ joins (~fserucas@92.250.103.7) |
| 11:40:09 | × | yosef` quits (~yosef`@user/yosef/x-2947716) (Quit: Client closed) |
| 11:42:27 | × | fserucas quits (~fserucas@83.223.248.85) (Ping timeout: 246 seconds) |
| 11:47:25 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 11:49:15 | → | yosef`84 joins (~yosef`@user/yosef/x-2947716) |
| 11:49:52 | → | yosef`97 joins (~yosef`@user/yosef/x-2947716) |
| 11:50:10 | × | yosef`84 quits (~yosef`@user/yosef/x-2947716) (Write error: Broken pipe) |
| 11:57:26 | → | yosef` joins (~yosef`@user/yosef/x-2947716) |
| 11:57:38 | × | Guest68 quits (~Guest68@p200300e79f22800038d6aa3d99bb30f0.dip0.t-ipconnect.de) (Quit: Client closed) |
| 11:59:08 | × | Inst quits (~liamzy@2601:6c4:4085:6d50::85df) (Ping timeout: 248 seconds) |
| 12:02:30 | → | razetime joins (~quassel@49.207.213.87) |
| 12:04:35 | × | yosef`97 quits (~yosef`@user/yosef/x-2947716) (Quit: Client closed) |
| 12:04:53 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:04:54 | × | andrei_n quits (~andrei.n@2a02:a03f:c0bc:8400:c96:3a2a:8b5f:e9ce) (Quit: Leaving) |
| 12:08:48 | × | yosef` quits (~yosef`@user/yosef/x-2947716) (Remote host closed the connection) |
| 12:09:24 | → | yosef` joins (~yosef`@user/yosef/x-2947716) |
| 12:09:46 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 12:24:29 | × | myxokephale quits (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokephale) |
| 12:24:41 | → | CiaoSen joins (~Jura@2a05:5800:29b:d00:664b:f0ff:fe37:9ef) |
| 12:24:44 | → | myxos joins (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 12:24:53 | × | gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:29:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:30:25 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 12:30:45 | × | ddellacosta quits (~ddellacos@146.70.165.10) (Ping timeout: 246 seconds) |
| 12:32:47 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 12:36:30 | → | sm joins (~sm@plaintextaccounting/sm) |
| 12:41:14 | <Axman6> | kenran: huh, interesting! Has a bug been filed? (/Have you filed one yet?) |
| 12:43:06 | × | ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds) |
| 12:43:47 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 12:43:57 | × | actioninja quits (~actioninj@user/actioninja) (Ping timeout: 248 seconds) |
| 12:45:18 | → | ddellacosta joins (~ddellacos@146.70.165.180) |
| 12:45:30 | → | actioninja joins (~actioninj@user/actioninja) |
| 12:58:05 | × | razetime quits (~quassel@49.207.213.87) (Ping timeout: 246 seconds) |
| 13:06:12 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 13:06:37 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 13:12:58 | × | yosef` quits (~yosef`@user/yosef/x-2947716) (Remote host closed the connection) |
| 13:16:16 | → | razetime joins (~quassel@49.207.213.87) |
| 13:19:16 | × | ddellacosta quits (~ddellacos@146.70.165.180) (Ping timeout: 260 seconds) |
| 13:21:08 | → | ddellacosta joins (~ddellacos@143.244.47.76) |
| 13:21:14 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 13:21:33 | → | yosef` joins (~yosef`@user/yosef/x-2947716) |
| 13:28:12 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:28:12 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:28:12 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:28:33 | → | fserucas__ joins (~fserucas@89.214.146.18) |
| 13:30:57 | × | fserucas_ quits (~fserucas@92.250.103.7) (Ping timeout: 246 seconds) |
| 13:37:40 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 13:38:14 | → | lzszt joins (~lzszt@ip-037-024-119-190.um08.pools.vodafone-ip.de) |
| 13:40:18 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 13:40:49 | × | ddellacosta quits (~ddellacos@143.244.47.76) (Ping timeout: 255 seconds) |
| 13:42:42 | → | ddellacosta joins (~ddellacos@143.244.47.89) |
| 13:42:53 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 13:55:36 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 13:57:52 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 14:00:32 | × | lzszt quits (~lzszt@ip-037-024-119-190.um08.pools.vodafone-ip.de) (Quit: Client closed) |
| 14:01:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:03:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:03:51 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 14:04:07 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:05:54 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 14:10:33 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 14:12:12 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 14:13:24 | × | danse-nr3_ quits (~francesco@151.43.236.65) (Read error: Connection reset by peer) |
| 14:13:48 | → | danse-nr3_ joins (~francesco@151.57.232.137) |
| 14:20:41 | × | yosef` quits (~yosef`@user/yosef/x-2947716) (Ping timeout: 246 seconds) |
| 14:25:08 | → | thegeekinside joins (~thegeekin@189.180.81.59) |
| 14:27:06 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 14:31:39 | → | Square2 joins (~Square4@user/square) |
| 14:32:44 | × | CiaoSen quits (~Jura@2a05:5800:29b:d00:664b:f0ff:fe37:9ef) (Ping timeout: 248 seconds) |
| 14:33:05 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 14:40:01 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 14:40:25 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 14:49:50 | × | kimiamania600 quits (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 14:50:09 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 14:50:12 | → | kimiamania600 joins (~65804703@user/kimiamania) |
| 14:53:47 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 14:54:15 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 14:54:17 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 14:57:00 | × | gatekempt quits (~gatekempt@user/gatekempt) (Remote host closed the connection) |
| 14:59:56 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:01:34 | → | sm joins (~sm@plaintextaccounting/sm) |
| 15:02:45 | × | sm quits (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 15:03:25 | → | sm joins (~sm@plaintextaccounting/sm) |
| 15:04:16 | → | hrberg joins (~quassel@171.79-160-161.customer.lyse.net) |
| 15:08:07 | → | Square joins (~Square@user/square) |
| 15:08:17 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 15:08:34 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:11:41 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 15:13:17 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 15:14:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:16:59 | → | danza joins (~francesco@151.57.232.137) |
| 15:17:11 | × | tabemann quits (~tabemann@128.92.110.163) (Quit: Leaving) |
| 15:17:45 | × | danza quits (~francesco@151.57.232.137) (Remote host closed the connection) |
| 15:18:03 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 15:19:41 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 15:19:52 | → | danza joins (~francesco@151.57.232.137) |
| 15:23:45 | × | thegeekinside quits (~thegeekin@189.180.81.59) (Ping timeout: 250 seconds) |
| 15:24:23 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 15:24:50 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 15:32:14 | <kenran> | Axman6: I'll do so tomorrow, but I want to test it some more. I could only find a single somewhat related issue, but that seems to have been a user error. |
| 15:33:03 | <kenran> | I also don't know how the fourmolu tests work yet, so I'll read those and see if I can reproduce the issue there to have a starting point for a fix |
| 15:35:34 | × | danse-nr3_ quits (~francesco@151.57.232.137) (Ping timeout: 255 seconds) |
| 15:36:49 | <kenran> | hum, a colleague of mine upgraded our project to GHC 9.4, but now I see ==..== Simplifier statistics ==...== with "Total ticks: xyz" cluttering all the build output. any idea where that's coming from? |
| 15:37:31 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 15:38:43 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 15:39:06 | <geekosaur> | sounds like `-ddump-simpl-stats` got turned on somehow? |
| 15:39:52 | → | ulysses4ever joins (~artem@73.145.240.143) |
| 15:39:53 | × | artem quits (~artem@73.145.240.143) (Read error: Connection reset by peer) |
| 15:40:18 | → | Rydwxz joins (~rw@cpe-75-82-51-90.socal.res.rr.com) |
| 15:40:56 | <geekosaur> | what point version? |
| 15:41:19 | <geekosaur> | 9.4.7 just came out, maybe it has a messaging bug |
| 15:41:25 | <kenran> | geekosaur: grepping for the option yields no results. 9.4.6 |
| 15:43:11 | <kenran> | ah, one dependency has changed branches, and that uses GHC. this might be it, let me check |
| 15:44:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:46:06 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 15:46:27 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 15:47:11 | ← | aeroplane parts (~user@user/aeroplane) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 15:49:41 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 15:59:58 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 16:03:41 | <kenran> | nothing there either. this is very strange |
| 16:04:39 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:06:14 | × | g quits (g@libera/staff/glguy) (Remote host closed the connection) |
| 16:06:17 | → | g joins (g@libera/staff/glguy) |
| 16:08:05 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 16:09:53 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 16:12:16 | → | apteryx joins (~maxim@dsl-10-132-204.b2b2c.ca) |
| 16:12:54 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 16:15:08 | × | Rydwxz quits (~rw@cpe-75-82-51-90.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 16:17:04 | <haskellbridge> | <Artem> Just curious how the Matrix bridge works, don't mind me |
| 16:17:11 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:17:19 | <ulysses4ever> | Oh, looks nice |
| 16:17:48 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 16:17:52 | ulysses4ever | is now known as artem |
| 16:18:57 | × | mrmr1 quits (~mrmr@user/mrmr) (Read error: Connection reset by peer) |
| 16:19:02 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 16:19:22 | <geekosaur> | I'm doing some builds with 9.4.6 and 9.4.7 and not seeing any such output with either |
| 16:19:22 | → | mrmr1 joins (~mrmr@user/mrmr) |
| 16:19:28 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 16:22:19 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:23:27 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 16:23:53 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 16:28:02 | × | remmie quits (ianremsen@tilde.team) (Read error: Connection reset by peer) |
| 16:30:57 | → | aaronv joins (~aaronv@user/aaronv) |
| 16:31:00 | <kenran> | geekosaur: I've narrowed it down to a single package of ours, and that one uses the `concat` plugin. But the specific fork of the plugin doesn't seem to dump simplifier stats either, so I dunno |
| 16:31:13 | <kenran> | but if it's just in that package, it's no big deal, as that's "stable" |
| 16:32:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:34:02 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:44:21 | × | artem quits (~artem@73.145.240.143) (Ping timeout: 250 seconds) |
| 16:45:54 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 16:45:56 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 258 seconds) |
| 16:50:52 | → | hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net) |
| 16:51:23 | → | aaronv joins (~aaronv@user/aaronv) |
| 16:51:53 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 16:52:11 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 16:53:10 | → | cyphase joins (~cyphase@user/cyphase) |
| 16:53:58 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 16:55:13 | × | vulpine quits (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 16:55:13 | × | nullsh quits (nullsh@user/nexeq) (Quit: WeeChat 3.8) |
| 16:56:36 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 17:00:30 | × | kenran quits (~user@user/kenran) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 17:06:51 | → | ulysses4ever joins (~artem@2601:408:c408:3bbb:f474:e3f8:9806:671) |
| 17:10:21 | → | artem joins (~artem@73.145.240.96) |
| 17:10:21 | × | ulysses4ever quits (~artem@2601:408:c408:3bbb:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 17:11:29 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds) |
| 17:12:11 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 17:12:32 | → | remmie joins (ianremsen@tilde.team) |
| 17:13:04 | → | drewjose joins (~drewjose@223.178.82.141) |
| 17:13:34 | × | artem quits (~artem@73.145.240.96) (Read error: Connection reset by peer) |
| 17:16:36 | → | ulysses4ever joins (~artem@73.145.240.96) |
| 17:18:43 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 17:20:17 | → | thegeekinside joins (~thegeekin@189.180.81.59) |
| 17:21:36 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:22:33 | × | razetime quits (~quassel@49.207.213.87) (Remote host closed the connection) |
| 17:23:32 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:23:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:25:56 | × | ulysses4ever quits (~artem@73.145.240.96) (Read error: Connection reset by peer) |
| 17:26:56 | → | ulysses4ever joins (~artem@73.145.240.96) |
| 17:27:20 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 17:28:44 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 17:28:59 | × | thegeekinside quits (~thegeekin@189.180.81.59) (Ping timeout: 250 seconds) |
| 17:31:05 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 17:32:14 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 17:38:22 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 17:38:41 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:42:27 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Client Quit) |
| 17:42:45 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:43:30 | → | thegeekinside joins (~thegeekin@189.180.81.59) |
| 17:44:17 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Client Quit) |
| 17:44:52 | × | thegeekinside quits (~thegeekin@189.180.81.59) (Remote host closed the connection) |
| 17:46:09 | → | thegeekinside joins (~thegeekin@189.180.81.59) |
| 17:47:34 | × | yahb2 quits (~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection) |
| 17:47:39 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 17:47:58 | → | yahb2 joins (~yahb2@static.56.27.47.78.clients.your-server.de) |
| 17:50:42 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:51:21 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 246 seconds) |
| 17:51:23 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 17:54:45 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Client Quit) |
| 17:55:37 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:55:50 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:55:56 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 17:57:15 | <apteryx> | this resource is offline: http://learnyouahaskell.com/, referenced from https://www.haskell.org/get-started/ |
| 18:00:24 | <EvanR> | works for me |
| 18:02:32 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 18:02:47 | <geekosaur> | working here as well |
| 18:03:40 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 18:03:45 | <[exa]> | apteryx: there's an updated version thereof on github somewhere |
| 18:04:02 | <[exa]> | apteryx: ah here https://learnyouahaskell.github.io/ |
| 18:08:34 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 18:11:01 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 18:11:16 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 18:14:03 | → | danza_ joins (~francesco@151.19.236.144) |
| 18:15:03 | × | danza quits (~francesco@151.57.232.137) (Read error: Connection reset by peer) |
| 18:16:22 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:17:29 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 18:18:39 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 18:19:57 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:8b40:1e1c:2812:6b15) |
| 18:20:41 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 18:21:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 18:25:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:25:31 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 18:25:32 | ← | extor parts (~extor@ns3018124.ip-149-202-82.eu) (Leaving) |
| 18:25:55 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 18:30:20 | × | ulysses4ever quits (~artem@73.145.240.96) (Ping timeout: 246 seconds) |
| 18:32:47 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 18:35:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:36:37 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 18:38:23 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 18:39:13 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:39:36 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 18:40:00 | → | ulysses4ever joins (~artem@73.145.241.136) |
| 18:41:23 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 18:41:26 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:95d9:c452:b765:5142) |
| 18:44:35 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:95d9:c452:b765:5142) (Remote host closed the connection) |
| 18:45:15 | → | artem joins (~artem@73.145.241.136) |
| 18:45:15 | × | ulysses4ever quits (~artem@73.145.241.136) (Read error: Connection reset by peer) |
| 18:46:39 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:46:49 | × | thegeekinside quits (~thegeekin@189.180.81.59) (Ping timeout: 255 seconds) |
| 18:47:33 | → | thegeekinside joins (~thegeekin@189.180.81.59) |
| 18:47:49 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 18:48:13 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 18:48:54 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 18:49:21 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 18:53:45 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 18:54:03 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 18:55:50 | → | gmg joins (~user@user/gehmehgeh) |
| 18:58:58 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 19:04:50 | × | chele quits (~chele@user/chele) (Quit: Leaving) |
| 19:05:16 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 19:07:18 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 19:07:39 | → | vulpine joins (xfnw@tilde.team) |
| 19:11:38 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 19:12:27 | → | aaronv joins (~aaronv@user/aaronv) |
| 19:21:11 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 19:25:16 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 19:26:12 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 19:27:36 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 19:30:02 | <ph88> | why is there an instance of Traversable List in base but not Foldable List ? |
| 19:31:04 | <ncf> | there is a Foldable List |
| 19:31:06 | <c_wraith> | :t sum |
| 19:31:07 | <lambdabot> | (Foldable t, Num a) => t a -> a |
| 19:31:12 | <c_wraith> | > sum [1,2,3] |
| 19:31:13 | <ncf> | it might be printed as Foldable [] depending on the haddock version |
| 19:31:13 | <lambdabot> | 6 |
| 19:31:33 | <c_wraith> | what lead you to think that instance doesn't exist? |
| 19:31:33 | <ncf> | (https://gitlab.haskell.org/ghc/ghc/-/issues/23368) |
| 19:32:08 | <c_wraith> | for what it's worth, Foldable is a requirement for Traversable. You literally cannot have an instance of Traversable without an instance of Foldable for the same type |
| 19:32:26 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 19:33:17 | <ph88> | c_wraith, when i search on this page https://hackage.haskell.org/package/base-4.16.3.0/docs/Data-Foldable.html#t:Foldable for "Foldable List" nothing comes up |
| 19:33:40 | <ph88> | ok i see Foldable [] |
| 19:34:29 | <mauke> | that's because there is no List in base |
| 19:34:35 | <c_wraith> | apparently there is |
| 19:35:06 | <c_wraith> | https://hackage.haskell.org/package/base-4.18.0.0/docs/GHC-List.html#t:List |
| 19:35:11 | <ph88> | there is Traversable List so that's why i was looking for Foldable List too |
| 19:35:41 | <c_wraith> | that's a weird thing. |
| 19:35:43 | <mauke> | huh, interesting |
| 19:35:48 | <ph88> | by the way where is the documentation for [] ? |
| 19:35:52 | <ph88> | https://hoogle.haskell.org/?hoogle=%5B%5D |
| 19:36:27 | <c_wraith> | [] is a special case. the name isn't available to normal definitions, so I'm not surprised hoogle doesn't find it |
| 19:36:40 | <c_wraith> | Err, the name [] is a special case. Not the type itself. |
| 19:36:46 | <ph88> | [a] then i guess |
| 19:36:58 | <ph88> | https://hoogle.haskell.org/?hoogle=%5Ba%5D ?? |
| 19:37:39 | <geekosaur> | that wouldn't be there either. the documentation is in the Haskell Report, not in function or type docs |
| 19:39:03 | <mauke> | data () => Char |
| 19:39:05 | <mauke> | uh ... |
| 19:39:11 | <mauke> | https://hoogle.haskell.org/?scope=set%3Astackage&hoogle=Char |
| 19:39:14 | <c_wraith> | I'm not quite sure what to make of GHC.List.List. I guess I have to count it as internal GHC weirdness |
| 19:40:30 | <mauke> | now that's an operator: https://hackage.haskell.org/package/leancheck-1.0.0/docs/Test-LeanCheck-Utils-TypeBinding.html#v:-45--62--62--62--62--62--62--62--62--62--62--62-:-62- |
| 19:40:33 | <erisco> | every language needs a blessed data structure :) |
| 19:40:37 | <mauke> | (I was looking for (->)) |
| 19:42:51 | → | sm joins (~sm@plaintextaccounting/sm) |
| 19:45:06 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:95d9:c452:b765:5142) |
| 19:49:26 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:95d9:c452:b765:5142) (Ping timeout: 246 seconds) |
| 19:52:54 | × | son0p quits (~ff@152.203.98.110) (Quit: Bye) |
| 19:53:37 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 19:55:12 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 240 seconds) |
| 19:56:14 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 20:00:01 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 20:01:59 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 20:03:09 | <ph88> | how can i debug this code ? instance Aeson.ToJSON Scheduling where toEncoding = Aeson.genericToEncoding Aeson.defaultOptions When i use ddump-deriv i only see Data.Aeson.Types.FromJSON.FromJSON [App.Scheduling]; Data.Aeson.Types.FromJSON.parseJSON = Data.Aeson.Types.FromJSON.$dmparseJSON @(App.Scheduling) |
| 20:04:14 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 20:05:36 | <mauke> | debug in what way? |
| 20:06:55 | → | Guest|14 joins (~Guest|14@104.223.98.183) |
| 20:07:40 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 20:07:50 | <ph88> | mauke, while decoding it can't find a field. but im pretty sure its in the right place in the json |
| 20:08:48 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 244 seconds) |
| 20:09:26 | <mauke> | I don't see how ToJSON is relevant for decoding |
| 20:10:21 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:10:43 | ← | Guest|14 parts (~Guest|14@104.223.98.183) () |
| 20:12:12 | <mauke> | I don't know a way to debug this other than staring very hard at the code/json data |
| 20:12:56 | × | ddellacosta quits (~ddellacos@143.244.47.89) (Ping timeout: 246 seconds) |
| 20:13:09 | <ph88> | mauke, that was a copy paste mistake, should have been FromJSON which looks like the same Data.Aeson.Types.FromJSON.FromJSON [App.Scheduling]; Data.Aeson.Types.FromJSON.parseJSON = Data.Aeson.Types.FromJSON.$dmparseJSON @(App.Scheduling) |
| 20:13:55 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 20:14:16 | → | ft joins (~ft@p508db658.dip0.t-ipconnect.de) |
| 20:14:49 | → | Skill-ton joins (~Skill-ton@189.172.86.37) |
| 20:15:15 | → | ddellacosta joins (~ddellacos@146.70.165.180) |
| 20:16:00 | <ph88> | here type and json side to side https://bpa.st/FFVQ |
| 20:16:19 | <ph88> | perhaps it has to do with the order .. but thats pretty lame because they should be found by key name i guess |
| 20:17:07 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:17:54 | <Skill-ton> | https://justpaste.it/Speedy_Gonzalez_Jerry_Blowjob Jerry gives Speedy Gonzalez a delicious blowjob and ends up with mouse cum on his face! |
| 20:18:02 | ChanServ | sets mode +o geekosaur |
| 20:18:08 | geekosaur | sets mode +b *!*@189.172.86.37 |
| 20:18:08 | Skill-ton | is kicked by geekosaur (Skill-ton) |
| 20:18:14 | geekosaur | sets mode -o geekosaur |
| 20:23:11 | <mauke> | ph88: what are Vector and Planning? |
| 20:23:16 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 20:25:14 | <ph88> | mauke, here a small reproducable example https://bpa.st/X4FA |
| 20:27:35 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 20:27:50 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 20:29:20 | <mauke> | not quite self-contained: Not in scope: type constructor or class ‘Generic’; Couldn't match type ‘[Char]’ with ‘bytestring-0.11.4.0:Data.ByteString.Lazy.Internal.ByteString’ |
| 20:29:39 | <ph88> | https://play.haskell.org/saved/y8bHMTyM |
| 20:29:46 | <ph88> | mauke, ^ |
| 20:30:40 | <mauke> | ph88: bs = "{\"tag\":\"Bla\",\"a\":true,\"b\":false}" works |
| 20:32:40 | <ph88> | ok i will try to change client side encoder |
| 20:35:56 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 20:37:03 | <mauke> | "contents" is only used if the constructor is not a record |
| 20:37:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:39:10 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 20:39:38 | → | Qudit joins (~user@user/Qudit) |
| 20:40:49 | → | aaronv joins (~aaronv@user/aaronv) |
| 20:42:47 | × | fendor quits (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) (Remote host closed the connection) |
| 20:43:33 | <int-e> | That is fun if you have data FooBar = Foo | Bar { tag :: Bool } |
| 20:43:58 | <int-e> | encode $ Bar True --> {"tag":true}, oops. |
| 20:44:07 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 20:44:45 | → | sm joins (~sm@plaintextaccounting/sm) |
| 20:45:32 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:45:32 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 20:48:29 | <mauke> | that's why tagFieldName exists |
| 20:48:29 | ChanServ | sets mode +o litharge |
| 20:48:29 | litharge | sets mode -bo *!*@189.172.86.37 litharge |
| 20:49:55 | <ncf> | why unban? |
| 20:51:15 | <darkling> | Bot, timer... |
| 20:51:31 | <monochrom> | "All good bans come to an end." >:) |
| 20:51:50 | <geekosaur> | yeh, I set a 30min unban, if they pop back in I'll make it permanent but they seem to use a different nick each time anyway |
| 20:52:21 | <geekosaur> | (look for the "justpaste.it" url in the logs) |
| 20:54:12 | → | pavonia joins (~user@user/siracusa) |
| 20:54:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:55:46 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 20:55:50 | → | Inst joins (~liamzy@2601:6c4:4085:6d50::7f5a) |
| 20:56:06 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:6c62:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 21:00:01 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 21:00:42 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 21:03:28 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 21:03:37 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 21:05:25 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 21:08:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:20:48 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 21:22:27 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 245 seconds) |
| 21:23:29 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 21:24:04 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:28:18 | <apteryx> | EvanR: ah, it must have been my "HTTPS everywhere" add-on for Firefox |
| 21:28:25 | <apteryx> | the site must be HTTP only |
| 21:28:32 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 21:33:20 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 21:33:25 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:34:59 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 21:35:19 | → | aaronv joins (~aaronv@user/aaronv) |
| 21:38:01 | × | Angelz quits (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Quit: IRCNow and Forever!) |
| 21:38:36 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 21:39:04 | <Inst> | i checked re don stewart, seems to be working on Glean with Simon Marlow |
| 21:39:33 | <Inst> | don't like making false claims, or at least leaving them uncorrected |
| 21:42:00 | → | sm joins (~sm@plaintextaccounting/sm) |
| 21:42:41 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 21:43:03 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 21:45:38 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 21:46:20 | × | artem quits (~artem@73.145.241.136) (Ping timeout: 248 seconds) |
| 21:49:46 | → | ulysses4ever joins (~artem@2601:408:c408:1a9d:f474:e3f8:9806:671) |
| 21:50:47 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 245 seconds) |
| 21:52:03 | → | finsternis joins (~X@23.226.237.192) |
| 21:53:37 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 21:58:36 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 22:00:41 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 22:02:14 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 22:03:18 | <justsomeguy> | I'm writing tests with hspec, and one of them runs in an infinite loop. Is there a way to write the test so it times out after a minute or two instead of crashing my computer? |
| 22:04:06 | × | acidjnk quits (~acidjnk@p200300d6e7072f52f8062bd386216d20.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 22:05:43 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 22:06:22 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 22:06:23 | <justsomeguy> | Here's a dumb example of what I mean... a Vingere cipher that works with infinite loops. https://gist.github.com/kingparra/60ef78d2bb70a9d33ff8daf298f9de17 |
| 22:06:53 | → | son0p joins (~ff@152.203.98.110) |
| 22:07:10 | <justsomeguy> | (It's a broken implementation, I was halfway through an experiment with my homework when I ran into this.) |
| 22:07:44 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 22:08:34 | <geekosaur> | maybe System.Timeout and `shouldNotThrow`? |
| 22:13:51 | × | danza_ quits (~francesco@151.19.236.144) (Read error: Connection reset by peer) |
| 22:14:01 | → | danza_ joins (~francesco@151.43.241.54) |
| 22:16:01 | × | Inst quits (~liamzy@2601:6c4:4085:6d50::7f5a) (Remote host closed the connection) |
| 22:16:19 | → | Inst joins (~liamzy@2601:6c4:4085:6d50::a469) |
| 22:18:58 | → | kupi_ joins (uid212005@id-212005.hampstead.irccloud.com) |
| 22:19:10 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 22:19:38 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 22:21:07 | kupi_ | is now known as kupi |
| 22:24:44 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:25:30 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 22:28:15 | × | accord quits (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:30:44 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 22:31:41 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 22:33:48 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 22:34:43 | → | Square2 joins (~Square4@user/square) |
| 22:35:24 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 22:37:50 | × | Square quits (~Square@user/square) (Ping timeout: 258 seconds) |
| 22:40:12 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 22:43:20 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 22:48:10 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 22:48:25 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:50:23 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 22:51:24 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 22:51:46 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:53:09 | → | sm joins (~sm@plaintextaccounting/sm) |
| 22:54:48 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 22:55:36 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 23:01:41 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
| 23:02:02 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 23:03:36 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:04:44 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 248 seconds) |
| 23:08:01 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 23:09:03 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 23:09:03 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 23:09:03 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:09:56 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 23:18:50 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 23:21:12 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 23:22:57 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 23:24:00 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 23:24:52 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 23:28:13 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 23:29:27 | × | thegeekinside quits (~thegeekin@189.180.81.59) (Ping timeout: 246 seconds) |
| 23:30:51 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 23:30:57 | → | thegeekinside joins (~thegeekin@189.180.81.59) |
| 23:36:08 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 23:37:58 | × | foul_owl_ quits (~kerry@174-21-66-189.tukw.qwest.net) (Ping timeout: 255 seconds) |
| 23:40:47 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 23:42:08 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 23:42:11 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 244 seconds) |
| 23:43:55 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 23:44:01 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 23:46:12 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 23:47:06 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 23:48:04 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:48:09 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:50:23 | → | foul_owl_ joins (~kerry@185.219.141.160) |
All times are in UTC on 2023-08-28.