-
Ben Gamari authored
This partially reverts commit 37299536 as it doesn't actually fix #13594. Namely it does not revert the mkPrefixFunRhs refactoring since this is rather independent from the functional changes. Going to try again with a whole working patch
3032ae81