X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/113d72170910c3dd0e9b49c6b46a8ae42df66ab8..a7951e95f170a9e3534e8b36787a5af1d353156f:/src/describe.sml diff --git a/src/describe.sml b/src/describe.sml index 1e81550..11194af 100644 --- a/src/describe.sml +++ b/src/describe.sml @@ -137,7 +137,7 @@ fun describe_type_error' loc te = Option.app (describe_unification_error t1) ueo) | WrongForm (place, form, e, t, ueo) => if form = "action" andalso will_be_action t then - (ErrorMsg.error (SOME loc) "Not enough arguments passed to configuration function."; + (ErrorMsg.error (SOME loc) ("Not enough arguments passed to configuration function. (" ^ place ^ ")"); preface (" Expression so far:", p_exp e); preface ("Next argument type:", p_typ (get_first_arg t))) else