- (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)))
+ (case get_first_arg t of
+ NONE => ErrorMsg.error (SOME loc) "You probably forgot a 'with' clause here."
+ | SOME t' =>
+ (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 t')))