Sam Mohr (Jan 01 2025 at 21:55): Sam Mohr (Jan 01 2025 at 21:55):We've had backpassing deprecated since August, and if it comes back, it will be in the form of |arg1, arg2| func(123) instead of arg1, arg2 <- func 123. We have complexity in the form of detecting commas and arrows that would go away if we were to remove this parsing logic. The desugaring logic is pretty simple, so I don't think it's worth keeping, as it'd be simple to reimplement/copy from git history. Would anyone be opposed to ripping it out for now?
Joshua Warner (Jan 01 2025 at 21:56):I'm _still_ running into weird edge cases with multi-backpassing in fuzzing, so removing this sounds great to me.
Sam Mohr (Jan 01 2025 at 21:57):I saw that haha
Sam Mohr (Jan 01 2025 at 22:00):I'm reviewing your latest PR, I can attempt to remove backpassing once that gets merged (unless you'd rather do it)
Ayaz Hafiz (Jan 01 2025 at 22:04)::tombstone:
Sam Mohr (Jan 01 2025 at 22:05):I think it will literally be simpler to reimplement backpassing from scratch than to try to convert the current impl, and that's ignoring the maintenance burden that Joshua keeps carrying like Atlas.
Sam Mohr (Jan 01 2025 at 22:05):But yes, RIP to backpassing, we hardly knew ye
Luke Boswell (Jan 01 2025 at 22:08):The other one we should consider removing is the ! desugaring
Sam Mohr (Jan 01 2025 at 22:08):That can go as soon as Task is gone
Luke Boswell (Jan 01 2025 at 22:08):We're keeping that operator, but we have purity inference now.
Sam Mohr (Jan 01 2025 at 22:08):I'd love to remove it! But I don't know when the right time is
Luke Boswell (Jan 01 2025 at 22:09):Yeah, we probably need to at least promote the basic-cli and basic-webserver releases to latest before we can do that
Sam Mohr (Jan 01 2025 at 22:10):That's the minimum. basic-ssgshould do a release as well
Luke Boswell (Jan 01 2025 at 22:10):basic-ssg is already upgraded
Sam Mohr (Jan 01 2025 at 22:10):Yes, but the latest release is from October
Luke Boswell (Jan 01 2025 at 22:10):It's just those two... we have them in pre-release to flush out any PI related issues
Sam Mohr (Jan 01 2025 at 22:11):Oh, it's a prerelease
Luke Boswell (Jan 01 2025 at 22:11):Oh right... I'm not sure where we got to with the "hyper" upgrade - to remove the ring dependency
Sam Mohr (Jan 01 2025 at 22:11):Pretty sure that stalled
Luke Boswell (Jan 01 2025 at 22:12):Ohk, just refreshed. We needed @Anton 's nix magic wand
Anton (Jan 03 2025 at 10:37):I'll look at that today
Last updated: Jul 06 2025 at 12:14 UTC