- (ErrorMsg.error (SOME loc) (place ^ " has a non-" ^ form ^ " type.");
- preface ("Expression:", p_exp e);
- preface (" Type:", p_typ t);
- Option.app (describe_unification_error t) ueo)
+ if form = "action" andalso will_be_action t then
+ (ErrorMsg.error (SOME loc) "Not enough arguments passed to configuration function.";
+ preface (" Expression so far:", p_exp e);
+ preface ("Next argument type:", p_typ (get_first_arg t)))
+ else
+ (ErrorMsg.error (SOME loc) (place ^ " has a non-" ^ form ^ " type.");
+ preface ("Expression:", p_exp e);
+ preface (" Type:", p_typ t);
+ Option.app (describe_unification_error t) ueo)