-
Ross Paterson authored
There were two bugs with the implementation of rebindable syntax, so I adapted the code for if-expressions. Also noted that rebinding of if is a bit more restricted in the arrows case.
7437af6f
There were two bugs with the implementation of rebindable syntax, so I adapted the code for if-expressions. Also noted that rebinding of if is a bit more restricted in the arrows case.