tag:blogger.com,1999:blog-7094652.post5080407943094959342..comments2024-03-23T14:36:09.980+00:00Comments on Neil Mitchell's Blog (Haskell etc): Improving Rebindable SyntaxNeil Mitchellhttp://www.blogger.com/profile/13084722756124486154noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-7094652.post-14697079447776130072019-10-21T10:54:59.105+01:002019-10-21T10:54:59.105+01:00@Joachim: You may well be right. But what if Integ...@Joachim: You may well be right. But what if Integer itself could be rebindable too? I know GHC has some magic Integer optimisations that might be lost, but usually it just calls mkInteger I believe.Neil Mitchellhttps://www.blogger.com/profile/13084722756124486154noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-57776451402049075152019-10-21T08:56:12.066+01:002019-10-21T08:56:12.066+01:00> Things like which integer library to use can ...> Things like which integer library to use can become a library concern, rather than requiring compiler changes.<br /><br />Note quite: RebindableSyntax allows you to change fromInteger, but the argument to that is still an “Integer”; you can only change the result type. The argument is still constructed by GHC, and needs to be a specific integer library (I think). So a bit more than just RebindableSyntax is needed for this to work.Joachim Breitnernoreply@blogger.com