Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Change Tasty parameter encoding #7504
The new scheme is to drop PARAMS and to have PARAM, TYPEPARAM, and PARAMEND tags instead.
A PARAMEND is needed to mark a preceding empty parameter section,
The advantage of the new scheme is that it also accommodates a possible generalisation of the language that allows interspersed type params and normal params as well as curried type params.
Bumps Tasty version.