Two low-hanging fruits: Replace the phrase 'unification error' with the phrase 'type error', and replace '<UNIF:nnnn>' with a lowercase letter like GHC does.
GHC also has pretty good formatting for type errors, which would go a long way here as well. Perhaps this could be an application of https://github.com/urweb/urweb/issues/59 ? _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
