Logs: liberachat/#haskell
| 2021-07-31 17:13:07 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-07-31 17:14:17 | → | psydroid joins (~psydroid@user/psydroid) |
| 2021-07-31 17:18:02 | → | econo joins (uid147250@user/econo) |
| 2021-07-31 17:18:24 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-07-31 17:21:58 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-07-31 17:34:59 | → | dagit joins (~dagit@2601:1c2:1b7f:9fa0:5146:76a:259b:45c5) |
| 2021-07-31 17:37:58 | × | MorrowM quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds) |
| 2021-07-31 17:38:54 | <aegon> | i'd like to understand more but I was looking too deep, this can be done with a type level list to the RowGen |
| 2021-07-31 17:39:47 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-31 17:41:12 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-31 17:45:58 | <dsal> | aegon: People *love* questions here. You should feel bad when you don't have questions. |
| 2021-07-31 17:46:33 | <aegon> | :) good, because i'm lost again, i thought i got a workaround to compile which was to copy the rowGen function inclucded in Frames.TH but pass my own type list to RowGen |
| 2021-07-31 17:46:39 | <aegon> | but now i'm getting type errors i can't parse |
| 2021-07-31 17:46:51 | <dsal> | Paste some examples. |
| 2021-07-31 17:47:12 | <dsal> | I'm doing a bunch of silly TH right now to generate coloring functions from PNGs at compile time. |
| 2021-07-31 17:49:16 | <aegon> | whoa hpaste is down o_o |
| 2021-07-31 17:49:25 | <geekosaur> | @where paste |
| 2021-07-31 17:49:25 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-07-31 17:49:35 | <geekosaur> | hpaste has been gonbe for several years |
| 2021-07-31 17:49:37 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-07-31 17:49:40 | <aegon> | oh :X |
| 2021-07-31 17:51:38 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 17:52:16 | <aegon> | https://paste.tomsmeding.com/BIJtdLO9 |
| 2021-07-31 17:52:35 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-31 17:53:00 | <aegon> | i don't understand the RowGen type, but I'm trying to remove the option for Bool table column inference since it gets it wrong sometimes, my tables are all Int / Double |
| 2021-07-31 17:53:40 | <aegon> | the commented out tableTypes call works but guesses wrong sometimes |
| 2021-07-31 17:54:44 | <aegon> | I'm starting to read through Vinyl to see if i can grok that but am quite lost |
| 2021-07-31 17:59:16 | <dsal> | Heh, I accidentally imported `Data.Map (mapMaybe)` instead of `Data.Maybe (mapMaybe)` and confused myself quite a bit. |
| 2021-07-31 17:59:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-31 18:00:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-31 18:00:36 | <dsal> | aegon: It says you are using undefined variables. |
| 2021-07-31 18:04:00 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 272 seconds) |
| 2021-07-31 18:04:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-31 18:04:38 | <Gurkenglas> | what's the proper word for bypassing the typechecker? it should evoke the impression of me swooning at a bad boy. evil is already taken by not being equivalence invariant. |
| 2021-07-31 18:04:47 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-31 18:04:51 | <dsal> | bug? |
| 2021-07-31 18:05:01 | <dsal> | "unsafe" is probably common |
| 2021-07-31 18:05:15 | <Gurkenglas> | no that evokes the image of a stern disciplinarian |
| 2021-07-31 18:06:49 | <aegon> | dsal: hmm, trying to fix the imports, for some reason its complaingin about Data.Proxy and Pipes.Internal.Proxy |
| 2021-07-31 18:06:53 | <aegon> | I'm not including pipes in that file |
| 2021-07-31 18:07:33 | <Hecate> | G0urkenglas: we have unsafePerformIO, and accursedUnutterablePerformIO |
| 2021-07-31 18:07:44 | <Hecate> | so maybe accursed can be reused? :) |
| 2021-07-31 18:08:15 | <Gurkenglas> | closer, if just because the previous one was so far away :3 |
| 2021-07-31 18:08:18 | <Hecate> | koz: take a look, maybe this can help you with naming :P |
| 2021-07-31 18:08:56 | <Hecate> | Gurkenglas: my last suggestion is "eldritch" ;) |
| 2021-07-31 18:09:05 | <aegon> | dsal: this is where i'm att now in trying to figure it out https://paste.tomsmeding.com/dGvajduB |
| 2021-07-31 18:09:21 | <Gurkenglas> | better yet! imma keep lookin. |
| 2021-07-31 18:14:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-31 18:14:15 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-31 18:15:14 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-31 18:15:19 | <aegon> | its wierd, in their source they are able to use syntax that mine doesn't allow |
| 2021-07-31 18:16:55 | <monochrom> | "unsafeCoerce" bypasses the type checker and we are fine with "just" calling it unsafe. |
| 2021-07-31 18:19:34 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 18:19:38 | <monochrom> | And "the evil mangler" is actually a semantics-preserving code optimizer. So "evil" actually means safe. |
| 2021-07-31 18:21:27 | × | nuncanada quits (~dude@179.235.162.215) (Read error: Connection reset by peer) |
| 2021-07-31 18:21:46 | <koz> | Hecate: What's this in reference to? |
| 2021-07-31 18:22:22 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-31 18:22:41 | → | dudek joins (~dudek@185.150.236.155) |
| 2021-07-31 18:22:48 | <Hecate> | koz: the accursed, unutterable things you do during the week-end :3 |
| 2021-07-31 18:23:09 | <koz> | LOL |
| 2021-07-31 18:24:07 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-31 18:24:28 | <boxscape> | is there a canonical way to convert from CString to ByteString? |
| 2021-07-31 18:25:55 | <boxscape> | ah, found it |
| 2021-07-31 18:26:11 | <boxscape> | it's packCString in the bytestring library |
| 2021-07-31 18:26:33 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-31 18:26:42 | → | nuncanada joins (~dude@179.235.162.215) |
| 2021-07-31 18:26:50 | <aegon> | ok, hacked thoruhg it, what can I read to understand more about what Vinyl / Frames is doing there :? |
| 2021-07-31 18:29:00 | <Hecate> | aegon: step 1 : read about row polymorphism ; step 2 : come to terms with the fact that Haskell isn't row-polymorphic ; step 3 : live a good life full of happiness, find joy in the little things, go outside play in the park, and definitely do something else than use vinyl :P |
| 2021-07-31 18:29:47 | <aegon> | lol, staring on step 1 |
| 2021-07-31 18:30:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 18:30:30 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 18:30:45 | <Hecate> | aegon: PureScript is a nice and ergonomic implmentation of extensible records / row-polymorphism |
| 2021-07-31 18:32:55 | <boxscape> | hm GHC has this really clever thing where they warn about bindings that are unused because they are only used in other unused bindings, but I'd actually prefer if it just stuck to only warning about first-order unused bindings :/ |
| 2021-07-31 18:35:39 | <monochrom> | I kill that warning in the first place. |
| 2021-07-31 18:36:31 | <monochrom> | I can be talked into turning it on just for a last-minute check. |
| 2021-07-31 18:37:00 | <boxscape> | understandable |
| 2021-07-31 18:39:35 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-31 18:39:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-31 18:43:47 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-07-31 18:43:47 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-31 18:44:10 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-31 18:44:34 | × | mattil quits (~mattilinn@78-27-98-194.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-07-31 18:44:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 18:45:21 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 18:47:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-31 18:51:19 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-31 18:51:47 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-07-31 18:54:02 | × | Guest9 quits (~Guest9@103.240.169.29) (Ping timeout: 272 seconds) |
| 2021-07-31 18:55:09 | <Hecate> | boxscape: you can enable it during CI only |
| 2021-07-31 18:57:56 | <boxscape> | Hecate: just had the idea to write an issue (and possibly implement it) to suggest explicitly saying when an unused binding is actually unused vs only used in unused bindings, and possibly split it into two separate warnings |
| 2021-07-31 18:58:29 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-31 18:59:41 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Remote host closed the connection) |
| 2021-07-31 19:00:06 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-31 19:06:29 | <Hecate> | boxscape: hint: if you implement it, you have much more chance to see it in GHC ;) |
| 2021-07-31 19:06:54 | <Hecate> | that being said, you may want to start with a compiler plugin if possible |
| 2021-07-31 19:07:18 | <boxscape> | to be able to use it sooner or for another reason? |
| 2021-07-31 19:09:02 | <Hecate> | boxscape: to see how it behaves on real codebases in real workflows |
| 2021-07-31 19:09:13 | <boxscape> | hm I see |
| 2021-07-31 19:09:14 | <Hecate> | before undertaking the long and tedious process of a GHC Proposal |
| 2021-07-31 19:09:32 | <boxscape> | I don't think this really requires a GHC proposal, it's just changing a few words in a warning message |
All times are in UTC.