[m-rev.] for review: structured higher order types in type error messages

Zoltan Somogyi zoltan.somogyi at runbox.com
Fri Sep 25 15:34:22 AEST 2020


2020-09-25 13:15 GMT+10:00 "Peter Wang" <novalazy at gmail.com>:
> The rest looks fine.

Thank you. I followed both your suggestions.

Zoltan.


More information about the reviews mailing list