===================================================================
RCS file: /cvs/mandoc/mdoc_macro.c,v
retrieving revision 1.2
retrieving revision 1.5
diff -u -p -r1.2 -r1.5
--- mandoc/mdoc_macro.c	2009/03/23 15:41:09	1.2
+++ mandoc/mdoc_macro.c	2009/03/31 13:50:19	1.5
@@ -1,4 +1,4 @@
-/* $Id: mdoc_macro.c,v 1.2 2009/03/23 15:41:09 kristaps Exp $ */
+/* $Id: mdoc_macro.c,v 1.5 2009/03/31 13:50:19 kristaps Exp $ */
 /*
  * Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@openbsd.org>
  *
@@ -24,15 +24,10 @@
 
 #include "libmdoc.h"
 
-/*
- * This has scanning/parsing routines, each of which extract a macro and
- * its arguments and parameters, then know how to progress to the next
- * macro. 
- */
-
 /* FIXME: .Fl, .Ar, .Cd handling of `|'. */
 
 enum	mwarn {
+	WIGNE,
 	WIMPBRK,
 	WMACPARM,
 	WOBS
@@ -237,6 +232,9 @@ pwarn(struct mdoc *mdoc, int line, int pos, enum mwarn
 
 	p = NULL;
 	switch (type) {
+	case (WIGNE):
+		p = "ignoring empty element";
+		break;
 	case (WIMPBRK):
 		p = "crufty end-of-line scope violation";
 		break;
@@ -800,10 +798,31 @@ blk_exp_close(MACRO_PROT_ARGS)
 static int
 in_line(MACRO_PROT_ARGS)
 {
-	int		  la, lastpunct, c, w;
+	int		  la, lastpunct, c, w, cnt, d, nc;
 	struct mdoc_arg	 *arg;
 	char		 *p;
 
+	/*
+	 * Whether we allow ignored elements (those without content,
+	 * usually because of reserved words) to squeak by.
+	 */
+	switch (tok) {
+	case (MDOC_Lp):
+		/* FALLTHROUGH */
+	case (MDOC_Pp):
+		/* FALLTHROUGH */
+	case (MDOC_Nm):
+		/* FALLTHROUGH */
+	case (MDOC_Fl):
+		/* FALLTHROUGH */
+	case (MDOC_Ar):
+		nc = 1;
+		break;
+	default:
+		nc = 0;
+		break;
+	}
+
 	for (la = ppos, arg = NULL;; ) {
 		la = *pos;
 		c = mdoc_argv(mdoc, line, tok, &arg, pos, buf);
@@ -812,7 +831,6 @@ in_line(MACRO_PROT_ARGS)
 			*pos = la;
 			break;
 		} 
-
 		if (ARGV_EOLN == c)
 			break;
 		if (ARGV_ARG == c)
@@ -822,11 +840,7 @@ in_line(MACRO_PROT_ARGS)
 		return(0);
 	}
 
-	if ( ! mdoc_elem_alloc(mdoc, line, ppos, tok, arg))
-		return(0);
-	mdoc->next = MDOC_NEXT_CHILD;
-
-	for (lastpunct = 0;; ) {
+	for (cnt = 0, lastpunct = 1;; ) {
 		la = *pos;
 		w = mdoc_args(mdoc, line, pos, buf, tok, &p);
 
@@ -842,11 +856,24 @@ in_line(MACRO_PROT_ARGS)
 		c = ARGS_QWORD == w ? MDOC_MAX :
 			lookup(mdoc, line, la, tok, p);
 
-		/* MDOC_MAX (not a macro) or -1 (error). */
+		/* 
+		 * In this case, we've located a submacro and must
+		 * execute it.  Close out scope, if open.  If no
+		 * elements have been generated, either create one (nc)
+		 * or raise a warning.
+		 */
 
 		if (MDOC_MAX != c && -1 != c) {
 			if (0 == lastpunct && ! rew_elem(mdoc, tok))
 				return(0);
+			if (nc && 0 == cnt) {
+				if ( ! mdoc_elem_alloc(mdoc, line, ppos, 
+							tok, arg))
+					return(0);
+				mdoc->next = MDOC_NEXT_SIBLING;
+			} else if ( ! nc && 0 == cnt)
+				if ( ! pwarn(mdoc, line, ppos, WIGNE))
+					return(0);
 			c = mdoc_macro(mdoc, c, line, la, pos, buf);
 			if (0 == c)
 				return(0);
@@ -856,22 +883,28 @@ in_line(MACRO_PROT_ARGS)
 		} else if (-1 == c)
 			return(0);
 
-		/* Non-quote-enclosed punctuation. */
+		/* 
+		 * Non-quote-enclosed punctuation.  Set up our scope, if
+		 * a word; rewind the scope, if a delimiter; then append
+		 * the word. 
+		 */
 
-		if (ARGS_QWORD != w && mdoc_isdelim(p)) {
+		d = mdoc_isdelim(p);
+
+		if (ARGS_QWORD != w && d) {
 			if (0 == lastpunct && ! rew_elem(mdoc, tok))
 				return(0);
 			lastpunct = 1;
 		} else if (lastpunct) {
 			c = mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
-
 			if (0 == c)
 				return(0);
-
 			mdoc->next = MDOC_NEXT_CHILD;
 			lastpunct = 0;
 		}
 
+		if ( ! d)
+			cnt++;
 		if ( ! mdoc_word_alloc(mdoc, line, la, p))
 			return(0);
 		mdoc->next = MDOC_NEXT_SIBLING;
@@ -879,6 +912,22 @@ in_line(MACRO_PROT_ARGS)
 
 	if (0 == lastpunct && ! rew_elem(mdoc, tok))
 		return(0);
+
+	/*
+	 * If no elements have been collected and we're allowed to have
+	 * empties (nc), open a scope and close it out.  Otherwise,
+	 * raise a warning.
+	 *
+	 */
+	if (nc && 0 == cnt) {
+		c = mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
+		if (0 == c)
+			return(0);
+		mdoc->next = MDOC_NEXT_SIBLING;
+	} else if ( ! nc && 0 == cnt) 
+		if ( ! pwarn(mdoc, line, ppos, WIGNE))
+			return(0);
+
 	if (ppos > 1)
 		return(1);
 	return(append_delims(mdoc, line, pos, buf));