-
Ross Paterson authored
fixes to desugaring of arrow notation: * fix free variable calculation for if's * various fixes for case please merge to STABLE
71d25e0a
fixes to desugaring of arrow notation: * fix free variable calculation for if's * various fixes for case please merge to STABLE