Over/underapplication errors

[thumphries]

would be good to resolve these to something like "1 too many arguments to 'text'" "not enough arguments for 'text'".

can be done by pattern-matching on type errors when pretty-printing. if the Arrow's on the left, it's probably overapplication; if the Arrow's on the right, it's probably underapplication.

this could only ever be a suggestion/heuristic rather than a precise thing.

overapplication:

Type error. The differing types are:
  components/global/favicon-verbose/template.prj:51:5-51:14 in a function application:
    (e12 -> f12)
  In the standard library function 'text':
    Html

underapplication:

Type error. The differing types are:
  components/global/favicon-verbose/template.prj:51:3-51:11 in a HTML expression:
    Html
  In the standard library function 'text':
    (String -> Html)

[thumphries]

here's a pretty brutal example of underapplication via a refactor: http://boris.ambiata.com/build/239459/log