Newest at the top
| 2024-11-16 23:50:16 +0100 | <hellwolf> | gn. |
| 2024-11-16 23:50:07 +0100 | <hellwolf> | all good. glorious to the haskell. |
| 2024-11-16 23:49:55 +0100 | <hellwolf> | and it runs |
| 2024-11-16 23:48:53 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2024-11-16 23:48:12 +0100 | <hellwolf> | Not too bad |
| 2024-11-16 23:48:07 +0100 | <geekosaur> | s/by/for/ 😈 |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | sys 0m0.514s |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | user 0m51.876s |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | real 0m52.627s |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | [2 of 2] Linking constraintslim |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | [1 of 2] Compiling Main ( constraintslim.hs, constraintslim.o ) |
| 2024-11-16 23:48:06 +0100 | <hellwolf> | $ time ghc constraintslim.hs -freduction-depth=0 |
| 2024-11-16 23:47:59 +0100 | <hellwolf> | (alright, compiling, I am using "time" to record the time) |
| 2024-11-16 23:46:48 +0100 | <hellwolf> | GHC is made by non humans! |
| 2024-11-16 23:46:40 +0100 | <hellwolf> | oh, I didn't just give up yet, ghc again suggest another way to go darker path |
| 2024-11-16 23:44:37 +0100 | <geekosaur> | mm, I don't see a way to change that, sadly |
| 2024-11-16 23:44:18 +0100 | <hellwolf> | alright, I call it a day. That was some dark corner I just visited. |
| 2024-11-16 23:43:38 +0100 | <geekosaur> | lol |
| 2024-11-16 23:43:38 +0100 | <hellwolf> | https://play-haskell.tomsmeding.com/saved/5phxN7yg <-- good luck :) |
| 2024-11-16 23:43:21 +0100 | <hellwolf> | oh oh |
| 2024-11-16 23:43:18 +0100 | <hellwolf> | When simplifying the following type: A200 Int |
| 2024-11-16 23:43:18 +0100 | <hellwolf> | • Reduction stack overflow; size = 201 |
| 2024-11-16 23:43:18 +0100 | <hellwolf> | Main.hs:3014:8: error: |
| 2024-11-16 23:40:12 +0100 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) (Quit: Client closed) |
| 2024-11-16 23:38:33 +0100 | <hellwolf> | it took GHCi few seconds to load this abomination, but it did it. |
| 2024-11-16 23:38:18 +0100 | sdrfan123 | (~sdrfan123@2607:fb91:db5:49ea:b971:f45f:2d53:96d1) (Quit: Client closed) |
| 2024-11-16 23:38:17 +0100 | <hellwolf> | g a = show1000 a |
| 2024-11-16 23:38:17 +0100 | <hellwolf> | g :: As a => a -> String |
| 2024-11-16 23:33:41 +0100 | <hellwolf> | not your garden variety of senior engineer |
| 2024-11-16 23:33:31 +0100 | <hellwolf> | oh, that's a nice CV title "Type-level programmer" |
| 2024-11-16 23:33:04 +0100 | <hellwolf> | I haven't applied to an actual type yet. let me keep coercing vim to generate code for me. |
| 2024-11-16 23:33:02 +0100 | <geekosaur> | there's probably some type level programmer who's hit it |
| 2024-11-16 23:32:39 +0100 | <geekosaur> | best not to ask that question, I suspect 🙂 |
| 2024-11-16 23:32:22 +0100 | <hellwolf> | in what the actual practical case that error message can be useful? |
| 2024-11-16 23:32:12 +0100 | <hellwolf> | I mean, why would you suggest that? |
| 2024-11-16 23:32:05 +0100 | <hellwolf> | I am just glad that the compiler error messages suggest me to go on that dark path |
| 2024-11-16 23:31:50 +0100 | <geekosaur> | did you actually apply that? |
| 2024-11-16 23:31:36 +0100 | <geekosaur> | surprised they didn't simply consider that some weird Lisp 🙂 |
| 2024-11-16 23:31:31 +0100 | <hellwolf> | so, we shall declare that, the Glorious Haskell Compile can support unlimited amount of constraints. |
| 2024-11-16 23:30:52 +0100 | <hellwolf> | type As :: Type -> Constraint |
| 2024-11-16 23:30:29 +0100 | <hellwolf> | https://paste.tomsmeding.com/fTQmMzsa |
| 2024-11-16 23:30:24 +0100 | <geekosaur> | huh. recent pastes shows a bunch of gift card ads but they censor you? |
| 2024-11-16 23:30:14 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-11-16 23:30:14 +0100 | <int-e> | @where paste |
| 2024-11-16 23:30:11 +0100 | <hellwolf> | would i flood the screen if I do it here |
| 2024-11-16 23:30:00 +0100 | <hellwolf> | oh, being censorred |
| 2024-11-16 23:29:42 +0100 | <hellwolf> | 1000 of them |
| 2024-11-16 23:29:40 +0100 | <geekosaur> | 404 |
| 2024-11-16 23:29:33 +0100 | <hellwolf> | (a, (..)). A NP constraint. |
| 2024-11-16 23:29:16 +0100 | <hellwolf> | https://pastebin.com/BTCYzKLN |