]> git.cameronkatri.com Git - mandoc.git/blobdiff - mdoc_validate.c
git.ckatri.com / mandoc.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Switch on the `TS' documentation in roff.7. As per off-line discussion,
[mandoc.git] / mdoc_validate.c
diff --git a/mdoc_validate.c b/mdoc_validate.c
index 3c61f3e21ff160774ae738f609c2b5d0ae87d341..f5ac5be7042e1b163bcc76a1601e3800b720f99c 100644 (file)
--- a/mdoc_validate.c
+++ b/mdoc_validate.c
@@ -1,4 +1,4 @@
-/*     $Id: mdoc_validate.c,v 1.132 2010/11/30 12:59:20 kristaps Exp $ */
+/*     $Id: mdoc_validate.c,v 1.150 2011/01/01 12:18:37 kristaps Exp $ */
 /*
  * Copyright (c) 2008, 2009, 2010 Kristaps Dzonsons <kristaps@bsd.lv>
  *
 /*
  * Copyright (c) 2008, 2009, 2010 Kristaps Dzonsons <kristaps@bsd.lv>
  *
@@ -42,7 +42,7 @@
 #define        POST_ARGS struct mdoc *mdoc
 
 #define        NUMSIZ    32
 #define        POST_ARGS struct mdoc *mdoc
 
 #define        NUMSIZ    32
-#define        DATESIZ   32
+#define        DATESIZE  32
 
 enum   check_ineq {
        CHECK_LT,
 
 enum   check_ineq {
        CHECK_LT,
@@ -67,11 +67,10 @@ struct      valids {
 static int      check_count(struct mdoc *, enum mdoc_type, 
                        enum check_lvl, enum check_ineq, int);
 static int      check_parent(PRE_ARGS, enum mdoct, enum mdoc_type);
 static int      check_count(struct mdoc *, enum mdoc_type, 
                        enum check_lvl, enum check_ineq, int);
 static int      check_parent(PRE_ARGS, enum mdoct, enum mdoc_type);
-static int      check_stdarg(PRE_ARGS);
-static int      check_text(struct mdoc *, int, int, char *);
-static int      check_argv(struct mdoc *, 
+static void     check_text(struct mdoc *, int, int, char *);
+static void     check_argv(struct mdoc *, 
                        struct mdoc_node *, struct mdoc_argv *);
                        struct mdoc_node *, struct mdoc_argv *);
-static int      check_args(struct mdoc *, struct mdoc_node *);
+static void     check_args(struct mdoc *, struct mdoc_node *);
 
 static int      concat(struct mdoc *, char *, 
                        const struct mdoc_node *, size_t);
 
 static int      concat(struct mdoc *, char *, 
                        const struct mdoc_node *, size_t);
@@ -108,6 +107,7 @@ static      int      post_it(POST_ARGS);
 static int      post_lb(POST_ARGS);
 static int      post_nm(POST_ARGS);
 static int      post_os(POST_ARGS);
 static int      post_lb(POST_ARGS);
 static int      post_nm(POST_ARGS);
 static int      post_os(POST_ARGS);
+static int      post_ignpar(POST_ARGS);
 static int      post_prol(POST_ARGS);
 static int      post_root(POST_ARGS);
 static int      post_rs(POST_ARGS);
 static int      post_prol(POST_ARGS);
 static int      post_root(POST_ARGS);
 static int      post_rs(POST_ARGS);
@@ -127,9 +127,9 @@ static      int      pre_it(PRE_ARGS);
 static int      pre_literal(PRE_ARGS);
 static int      pre_os(PRE_ARGS);
 static int      pre_par(PRE_ARGS);
 static int      pre_literal(PRE_ARGS);
 static int      pre_os(PRE_ARGS);
 static int      pre_par(PRE_ARGS);
-static int      pre_rv(PRE_ARGS);
 static int      pre_sh(PRE_ARGS);
 static int      pre_ss(PRE_ARGS);
 static int      pre_sh(PRE_ARGS);
 static int      pre_ss(PRE_ARGS);
+static int      pre_std(PRE_ARGS);
 
 static v_post   posts_an[] = { post_an, NULL };
 static v_post   posts_at[] = { post_at, post_defaults, NULL };
 
 static v_post   posts_an[] = { post_an, NULL };
 static v_post   posts_at[] = { post_at, post_defaults, NULL };
@@ -151,9 +151,9 @@ static      v_post   posts_nm[] = { post_nm, NULL };
 static v_post   posts_notext[] = { ewarn_eq0, NULL };
 static v_post   posts_os[] = { post_os, post_prol, NULL };
 static v_post   posts_rs[] = { berr_ge1, herr_eq0, post_rs, NULL };
 static v_post   posts_notext[] = { ewarn_eq0, NULL };
 static v_post   posts_os[] = { post_os, post_prol, NULL };
 static v_post   posts_rs[] = { berr_ge1, herr_eq0, post_rs, NULL };
-static v_post   posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };
+static v_post   posts_sh[] = { post_ignpar, herr_ge1, bwarn_ge1, post_sh, NULL };
 static v_post   posts_sp[] = { eerr_le1, NULL };
 static v_post   posts_sp[] = { eerr_le1, NULL };
-static v_post   posts_ss[] = { herr_ge1, NULL };
+static v_post   posts_ss[] = { post_ignpar, herr_ge1, bwarn_ge1, NULL };
 static v_post   posts_st[] = { eerr_eq1, post_st, NULL };
 static v_post   posts_std[] = { post_std, NULL };
 static v_post   posts_text[] = { eerr_ge1, NULL };
 static v_post   posts_st[] = { eerr_eq1, post_st, NULL };
 static v_post   posts_std[] = { post_std, NULL };
 static v_post   posts_text[] = { eerr_ge1, NULL };
@@ -169,14 +169,13 @@ static    v_pre    pres_dl[] = { pre_literal, pre_display, NULL };
 static v_pre    pres_dd[] = { pre_dd, NULL };
 static v_pre    pres_dt[] = { pre_dt, NULL };
 static v_pre    pres_er[] = { NULL, NULL };
 static v_pre    pres_dd[] = { pre_dd, NULL };
 static v_pre    pres_dt[] = { pre_dt, NULL };
 static v_pre    pres_er[] = { NULL, NULL };
-static v_pre    pres_ex[] = { NULL, NULL };
 static v_pre    pres_fd[] = { NULL, NULL };
 static v_pre    pres_fd[] = { NULL, NULL };
-static v_pre    pres_it[] = { pre_it, NULL };
+static v_pre    pres_it[] = { pre_it, pre_par, NULL };
 static v_pre    pres_os[] = { pre_os, NULL };
 static v_pre    pres_pp[] = { pre_par, NULL };
 static v_pre    pres_os[] = { pre_os, NULL };
 static v_pre    pres_pp[] = { pre_par, NULL };
-static v_pre    pres_rv[] = { pre_rv, NULL };
 static v_pre    pres_sh[] = { pre_sh, NULL };
 static v_pre    pres_ss[] = { pre_ss, NULL };
 static v_pre    pres_sh[] = { pre_sh, NULL };
 static v_pre    pres_ss[] = { pre_ss, NULL };
+static v_pre    pres_std[] = { pre_std, NULL };
 
 const  struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, NULL },                         /* Ap */
 
 const  struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, NULL },                         /* Ap */
@@ -201,7 +200,7 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, NULL },                         /* Dv */ 
        { pres_er, posts_text },                /* Er */ 
        { NULL, NULL },                         /* Ev */ 
        { NULL, NULL },                         /* Dv */ 
        { pres_er, posts_text },                /* Er */ 
        { NULL, NULL },                         /* Ev */ 
-       { pres_ex, posts_std },                 /* Ex */ 
+       { pres_std, posts_std },                /* Ex */ 
        { NULL, NULL },                         /* Fa */ 
        { pres_fd, posts_wtext },               /* Fd */
        { NULL, NULL },                         /* Fl */
        { NULL, NULL },                         /* Fa */ 
        { pres_fd, posts_wtext },               /* Fd */
        { NULL, NULL },                         /* Fl */
@@ -212,10 +211,10 @@ const     struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, posts_defaults },               /* Li */
        { NULL, posts_nd },                     /* Nd */
        { NULL, posts_nm },                     /* Nm */
        { NULL, posts_defaults },               /* Li */
        { NULL, posts_nd },                     /* Nd */
        { NULL, posts_nm },                     /* Nm */
-       { NULL, posts_wline },                  /* Op */
+       { NULL, NULL },                         /* Op */
        { NULL, NULL },                         /* Ot */
        { NULL, posts_defaults },               /* Pa */
        { NULL, NULL },                         /* Ot */
        { NULL, posts_defaults },               /* Pa */
-       { pres_rv, posts_std },                 /* Rv */
+       { pres_std, posts_std },                /* Rv */
        { NULL, posts_st },                     /* St */ 
        { NULL, NULL },                         /* Va */
        { NULL, posts_vt },                     /* Vt */ 
        { NULL, posts_st },                     /* St */ 
        { NULL, NULL },                         /* Va */
        { NULL, posts_vt },                     /* Vt */ 
@@ -233,18 +232,18 @@ const     struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, posts_text },                   /* %V */
        { NULL, NULL },                         /* Ac */
        { NULL, NULL },                         /* Ao */
        { NULL, posts_text },                   /* %V */
        { NULL, NULL },                         /* Ac */
        { NULL, NULL },                         /* Ao */
-       { NULL, posts_wline },                  /* Aq */
+       { NULL, NULL },                         /* Aq */
        { NULL, posts_at },                     /* At */ 
        { NULL, NULL },                         /* Bc */
        { NULL, posts_bf },                     /* Bf */
        { NULL, NULL },                         /* Bo */
        { NULL, posts_at },                     /* At */ 
        { NULL, NULL },                         /* Bc */
        { NULL, posts_bf },                     /* Bf */
        { NULL, NULL },                         /* Bo */
-       { NULL, posts_wline },                  /* Bq */
+       { NULL, NULL },                         /* Bq */
        { NULL, NULL },                         /* Bsx */
        { NULL, NULL },                         /* Bx */
        { NULL, posts_bool },                   /* Db */
        { NULL, NULL },                         /* Dc */
        { NULL, NULL },                         /* Do */
        { NULL, NULL },                         /* Bsx */
        { NULL, NULL },                         /* Bx */
        { NULL, posts_bool },                   /* Db */
        { NULL, NULL },                         /* Dc */
        { NULL, NULL },                         /* Do */
-       { NULL, posts_wline },                  /* Dq */
+       { NULL, NULL },                         /* Dq */
        { NULL, NULL },                         /* Ec */
        { NULL, NULL },                         /* Ef */ 
        { NULL, NULL },                         /* Em */ 
        { NULL, NULL },                         /* Ec */
        { NULL, NULL },                         /* Ef */ 
        { NULL, NULL },                         /* Em */ 
@@ -258,16 +257,16 @@ const     struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, NULL },                         /* Pc */
        { NULL, posts_text1 },                  /* Pf */
        { NULL, NULL },                         /* Po */
        { NULL, NULL },                         /* Pc */
        { NULL, posts_text1 },                  /* Pf */
        { NULL, NULL },                         /* Po */
-       { NULL, posts_wline },                  /* Pq */
+       { NULL, NULL },                         /* Pq */
        { NULL, NULL },                         /* Qc */
        { NULL, NULL },                         /* Qc */
-       { NULL, posts_wline },                  /* Ql */
+       { NULL, NULL },                         /* Ql */
        { NULL, NULL },                         /* Qo */
        { NULL, NULL },                         /* Qo */
-       { NULL, posts_wline },                  /* Qq */
+       { NULL, NULL },                         /* Qq */
        { NULL, NULL },                         /* Re */
        { NULL, posts_rs },                     /* Rs */
        { NULL, NULL },                         /* Sc */
        { NULL, NULL },                         /* So */
        { NULL, NULL },                         /* Re */
        { NULL, posts_rs },                     /* Rs */
        { NULL, NULL },                         /* Sc */
        { NULL, NULL },                         /* So */
-       { NULL, posts_wline },                  /* Sq */
+       { NULL, NULL },                         /* Sq */
        { NULL, posts_bool },                   /* Sm */ 
        { NULL, posts_text },                   /* Sx */
        { NULL, posts_text },                   /* Sy */
        { NULL, posts_bool },                   /* Sm */ 
        { NULL, posts_text },                   /* Sx */
        { NULL, posts_text },                   /* Sy */
@@ -289,7 +288,7 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, posts_notext },                 /* Lp */ 
        { NULL, posts_text },                   /* Lk */ 
        { NULL, posts_defaults },               /* Mt */ 
        { NULL, posts_notext },                 /* Lp */ 
        { NULL, posts_text },                   /* Lk */ 
        { NULL, posts_defaults },               /* Mt */ 
-       { NULL, posts_wline },                  /* Brq */ 
+       { NULL, NULL },                         /* Brq */ 
        { NULL, NULL },                         /* Bro */ 
        { NULL, NULL },                         /* Brc */ 
        { NULL, posts_text },                   /* %C */
        { NULL, NULL },                         /* Bro */ 
        { NULL, NULL },                         /* Brc */ 
        { NULL, posts_text },                   /* %C */
@@ -330,15 +329,23 @@ mdoc_valid_pre(struct mdoc *mdoc, struct mdoc_node *n)
        int              line, pos;
        char            *tp;
 
        int              line, pos;
        char            *tp;
 
-       if (MDOC_TEXT == n->type) {
+       switch (n->type) {
+       case (MDOC_TEXT):
                tp = n->string;
                line = n->line;
                pos = n->pos;
                tp = n->string;
                line = n->line;
                pos = n->pos;
-               return(check_text(mdoc, line, pos, tp));
+               check_text(mdoc, line, pos, tp);
+               /* FALLTHROUGH */
+       case (MDOC_TBL):
+               /* FALLTHROUGH */
+       case (MDOC_ROOT):
+               return(1);
+       default:
+               break;
        }
 
        }
 
-       if ( ! check_args(mdoc, n))
-               return(0);
+       check_args(mdoc, n);
+
        if (NULL == mdoc_valids[n->tok].pre)
                return(1);
        for (p = mdoc_valids[n->tok].pre; *p; p++)
        if (NULL == mdoc_valids[n->tok].pre)
                return(1);
        for (p = mdoc_valids[n->tok].pre; *p; p++)
@@ -357,10 +364,16 @@ mdoc_valid_post(struct mdoc *mdoc)
                return(1);
        mdoc->last->flags |= MDOC_VALID;
 
                return(1);
        mdoc->last->flags |= MDOC_VALID;
 
-       if (MDOC_TEXT == mdoc->last->type)
+       switch (mdoc->last->type) {
+       case (MDOC_TEXT):
+               /* FALLTHROUGH */
+       case (MDOC_TBL):
                return(1);
                return(1);
-       if (MDOC_ROOT == mdoc->last->type)
+       case (MDOC_ROOT):
                return(post_root(mdoc));
                return(post_root(mdoc));
+       default:
+               break;
+       }
 
        if (NULL == mdoc_valids[mdoc->last->tok].post)
                return(1);
 
        if (NULL == mdoc_valids[mdoc->last->tok].post)
                return(1);
@@ -396,6 +409,9 @@ check_count(struct mdoc *m, enum mdoc_type type,
                if (val == m->last->nchild)
                        return(1);
                break;
                if (val == m->last->nchild)
                        return(1);
                break;
+       default:
+               abort();
+               /* NOTREACHED */
        }
 
        if (CHECK_WARN == lvl) {
        }
 
        if (CHECK_WARN == lvl) {
@@ -405,6 +421,8 @@ check_count(struct mdoc *m, enum mdoc_type type,
                                p, val, m->last->nchild));
        }
 
                                p, val, m->last->nchild));
        }
 
+       /* FIXME: THIS IS THE SAME AS THE ABOVE. */
+
        return(mdoc_vmsg(m, MANDOCERR_ARGCOUNT,
                        m->last->line, m->last->pos,
                        "require %s%d children (have %d)",
        return(mdoc_vmsg(m, MANDOCERR_ARGCOUNT,
                        m->last->line, m->last->pos,
                        "require %s%d children (have %d)",
@@ -490,56 +508,35 @@ hwarn_le1(POST_ARGS)
        return(check_count(mdoc, MDOC_HEAD, CHECK_WARN, CHECK_LT, 2));
 }
 
        return(check_count(mdoc, MDOC_HEAD, CHECK_WARN, CHECK_LT, 2));
 }
 
-
-static int
-check_stdarg(PRE_ARGS)
-{
-
-       if (n->args && 1 == n->args->argc)
-               if (MDOC_Std == n->args->argv[0].arg)
-                       return(1);
-       return(mdoc_nmsg(mdoc, n, MANDOCERR_NOARGV));
-}
-
-
-static int
+static void
 check_args(struct mdoc *m, struct mdoc_node *n)
 {
        int              i;
 
        if (NULL == n->args)
 check_args(struct mdoc *m, struct mdoc_node *n)
 {
        int              i;
 
        if (NULL == n->args)
-               return(1);
+               return;
 
        assert(n->args->argc);
        for (i = 0; i < (int)n->args->argc; i++)
 
        assert(n->args->argc);
        for (i = 0; i < (int)n->args->argc; i++)
-               if ( ! check_argv(m, n, &n->args->argv[i]))
-                       return(0);
-
-       return(1);
+               check_argv(m, n, &n->args->argv[i]);
 }
 
 }
 
-
-static int
+static void
 check_argv(struct mdoc *m, struct mdoc_node *n, struct mdoc_argv *v)
 {
        int              i;
 
        for (i = 0; i < (int)v->sz; i++)
 check_argv(struct mdoc *m, struct mdoc_node *n, struct mdoc_argv *v)
 {
        int              i;
 
        for (i = 0; i < (int)v->sz; i++)
-               if ( ! check_text(m, v->line, v->pos, v->value[i]))
-                       return(0);
+               check_text(m, v->line, v->pos, v->value[i]);
 
 
-       if (MDOC_Std == v->arg) {
-               if (v->sz || m->meta.name)
-                       return(1);
-               if ( ! mdoc_nmsg(m, n, MANDOCERR_NONAME))
-                       return(0);
-       }
+       /* FIXME: move to post_std(). */
 
 
-       return(1);
+       if (MDOC_Std == v->arg)
+               if ( ! (v->sz || m->meta.name))
+                       mdoc_nmsg(m, n, MANDOCERR_NONAME);
 }
 
 }
 
-
-static int
+static void
 check_text(struct mdoc *m, int ln, int pos, char *p)
 {
        int              c;
 check_text(struct mdoc *m, int ln, int pos, char *p)
 {
        int              c;
@@ -555,27 +552,21 @@ check_text(struct mdoc *m, int ln, int pos, char *p)
                pos += (int)sz;
 
                if ('\t' == *p) {
                pos += (int)sz;
 
                if ('\t' == *p) {
-                       if (MDOC_LITERAL & m->flags)
-                               continue;
-                       if (mdoc_pmsg(m, ln, pos, MANDOCERR_BADTAB))
-                               continue;
-                       return(0);
+                       if ( ! (MDOC_LITERAL & m->flags))
+                               mdoc_pmsg(m, ln, pos, MANDOCERR_BADTAB);
+                       continue;
                }
 
                }
 
-               /* Check the special character. */
-
-               c = mandoc_special(p);
-               if (c) {
-                       p += c - 1;
-                       pos += c - 1;
-               } else
+               if (0 == (c = mandoc_special(p))) {
                        mdoc_pmsg(m, ln, pos, MANDOCERR_BADESCAPE);
                        mdoc_pmsg(m, ln, pos, MANDOCERR_BADESCAPE);
-       }
+                       continue;
+               }
 
 
-       return(1);
+               p += c - 1;
+               pos += c - 1;
+       }
 }
 
 }
 
-
 static int
 check_parent(PRE_ARGS, enum mdoct tok, enum mdoc_type t)
 {
 static int
 check_parent(PRE_ARGS, enum mdoct tok, enum mdoc_type t)
 {
@@ -598,22 +589,18 @@ pre_display(PRE_ARGS)
 {
        struct mdoc_node *node;
 
 {
        struct mdoc_node *node;
 
-       /* Display elements (`Bd', `D1'...) cannot be nested. */
-
        if (MDOC_BLOCK != n->type)
                return(1);
 
        if (MDOC_BLOCK != n->type)
                return(1);
 
-       /* LINTED */
        for (node = mdoc->last->parent; node; node = node->parent) 
                if (MDOC_BLOCK == node->type)
                        if (MDOC_Bd == node->tok)
                                break;
 
        for (node = mdoc->last->parent; node; node = node->parent) 
                if (MDOC_BLOCK == node->type)
                        if (MDOC_Bd == node->tok)
                                break;
 
-       if (NULL == node)
-               return(1);
+       if (node)
+               mdoc_nmsg(mdoc, n, MANDOCERR_NESTEDDISP);
 
 
-       mdoc_nmsg(mdoc, n, MANDOCERR_NESTEDDISP);
-       return(0);
+       return(1);
 }
 
 
 }
 
 
@@ -635,8 +622,6 @@ pre_bl(PRE_ARGS)
                assert(np);
                assert(MDOC_BLOCK == np->type);
                assert(MDOC_Bl == np->tok);
                assert(np);
                assert(MDOC_BLOCK == np->type);
                assert(MDOC_Bl == np->tok);
-               assert(np->data.Bl);
-               n->data.Bl = np->data.Bl;
                return(1);
        }
 
                return(1);
        }
 
@@ -646,9 +631,6 @@ pre_bl(PRE_ARGS)
         * ones.  If we find no list type, we default to LIST_item.
         */
 
         * ones.  If we find no list type, we default to LIST_item.
         */
 
-       assert(NULL == n->data.Bl);
-       n->data.Bl = mandoc_calloc(1, sizeof(struct mdoc_bl));
-
        /* LINTED */
        for (i = 0; n->args && i < (int)n->args->argc; i++) {
                lt = LIST__NONE;
        /* LINTED */
        for (i = 0; n->args && i < (int)n->args->argc; i++) {
                lt = LIST__NONE;
@@ -691,22 +673,21 @@ pre_bl(PRE_ARGS)
                        break;
                /* Set list arguments. */
                case (MDOC_Compact):
                        break;
                /* Set list arguments. */
                case (MDOC_Compact):
-                       dup = n->data.Bl->comp;
+                       dup = n->norm->Bl.comp;
                        comp = 1;
                        break;
                case (MDOC_Width):
                        comp = 1;
                        break;
                case (MDOC_Width):
-                       dup = (NULL != n->data.Bl->width);
+                       dup = (NULL != n->norm->Bl.width);
                        width = n->args->argv[i].value[0];
                        break;
                case (MDOC_Offset):
                        /* NB: this can be empty! */
                        if (n->args->argv[i].sz) {
                                offs = n->args->argv[i].value[0];
                        width = n->args->argv[i].value[0];
                        break;
                case (MDOC_Offset):
                        /* NB: this can be empty! */
                        if (n->args->argv[i].sz) {
                                offs = n->args->argv[i].value[0];
-                               dup = (NULL != n->data.Bl->offs);
+                               dup = (NULL != n->norm->Bl.offs);
                                break;
                        }
                                break;
                        }
-                       if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV))
-                               return(0);
+                       mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);
                        break;
                default:
                        continue;
                        break;
                default:
                        continue;
@@ -714,53 +695,50 @@ pre_bl(PRE_ARGS)
 
                /* Check: duplicate auxiliary arguments. */
 
 
                /* Check: duplicate auxiliary arguments. */
 
-               if (dup && ! mdoc_nmsg(mdoc, n, MANDOCERR_ARGVREP))
-                       return(0);
+               if (dup)
+                       mdoc_nmsg(mdoc, n, MANDOCERR_ARGVREP);
 
                if (comp && ! dup)
 
                if (comp && ! dup)
-                       n->data.Bl->comp = comp;
+                       n->norm->Bl.comp = comp;
                if (offs && ! dup)
                if (offs && ! dup)
-                       n->data.Bl->offs = offs;
+                       n->norm->Bl.offs = offs;
                if (width && ! dup)
                if (width && ! dup)
-                       n->data.Bl->width = width;
+                       n->norm->Bl.width = width;
 
                /* Check: multiple list types. */
 
 
                /* Check: multiple list types. */
 
-               if (LIST__NONE != lt && n->data.Bl->type != LIST__NONE)
-                       if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_LISTREP))
-                               return(0);
+               if (LIST__NONE != lt && n->norm->Bl.type != LIST__NONE)
+                       mdoc_nmsg(mdoc, n, MANDOCERR_LISTREP);
 
                /* Assign list type. */
 
 
                /* Assign list type. */
 
-               if (LIST__NONE != lt && n->data.Bl->type == LIST__NONE) {
-                       n->data.Bl->type = lt;
+               if (LIST__NONE != lt && n->norm->Bl.type == LIST__NONE) {
+                       n->norm->Bl.type = lt;
                        /* Set column information, too. */
                        if (LIST_column == lt) {
                        /* Set column information, too. */
                        if (LIST_column == lt) {
-                               n->data.Bl->ncols = 
+                               n->norm->Bl.ncols = 
                                        n->args->argv[i].sz;
                                        n->args->argv[i].sz;
-                               n->data.Bl->cols = (const char **)
+                               n->norm->Bl.cols = (const char **)
                                        n->args->argv[i].value;
                        }
                }
 
                /* The list type should come first. */
 
                                        n->args->argv[i].value;
                        }
                }
 
                /* The list type should come first. */
 
-               if (n->data.Bl->type == LIST__NONE)
-                       if (n->data.Bl->width || 
-                                       n->data.Bl->offs || 
-                                       n->data.Bl->comp)
-                               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_LISTFIRST))
-                                       return(0);
+               if (n->norm->Bl.type == LIST__NONE)
+                       if (n->norm->Bl.width || 
+                                       n->norm->Bl.offs || 
+                                       n->norm->Bl.comp)
+                               mdoc_nmsg(mdoc, n, MANDOCERR_LISTFIRST);
 
                continue;
        }
 
        /* Allow lists to default to LIST_item. */
 
 
                continue;
        }
 
        /* Allow lists to default to LIST_item. */
 
-       if (LIST__NONE == n->data.Bl->type) {
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_LISTTYPE))
-                       return(0);
-               n->data.Bl->type = LIST_item;
+       if (LIST__NONE == n->norm->Bl.type) {
+               mdoc_nmsg(mdoc, n, MANDOCERR_LISTTYPE);
+               n->norm->Bl.type = LIST_item;
        }
 
        /* 
        }
 
        /* 
@@ -769,13 +747,12 @@ pre_bl(PRE_ARGS)
         * and must also be warned.
         */
 
         * and must also be warned.
         */
 
-       switch (n->data.Bl->type) {
+       switch (n->norm->Bl.type) {
        case (LIST_tag):
        case (LIST_tag):
-               if (n->data.Bl->width)
-                       break;
-               if (mdoc_nmsg(mdoc, n, MANDOCERR_NOWIDTHARG))
+               if (n->norm->Bl.width)
                        break;
                        break;
-               return(0);
+               mdoc_nmsg(mdoc, n, MANDOCERR_NOWIDTHARG);
+               break;
        case (LIST_column):
                /* FALLTHROUGH */
        case (LIST_diag):
        case (LIST_column):
                /* FALLTHROUGH */
        case (LIST_diag):
@@ -785,11 +762,9 @@ pre_bl(PRE_ARGS)
        case (LIST_inset):
                /* FALLTHROUGH */
        case (LIST_item):
        case (LIST_inset):
                /* FALLTHROUGH */
        case (LIST_item):
-               if (NULL == n->data.Bl->width)
-                       break;
-               if (mdoc_nmsg(mdoc, n, MANDOCERR_WIDTHARG))
-                       break;
-               return(0);
+               if (n->norm->Bl.width)
+                       mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);
+               break;
        default:
                break;
        }
        default:
                break;
        }
@@ -816,14 +791,9 @@ pre_bd(PRE_ARGS)
                assert(np);
                assert(MDOC_BLOCK == np->type);
                assert(MDOC_Bd == np->tok);
                assert(np);
                assert(MDOC_BLOCK == np->type);
                assert(MDOC_Bd == np->tok);
-               assert(np->data.Bd);
-               n->data.Bd = np->data.Bd;
                return(1);
        }
 
                return(1);
        }
 
-       assert(NULL == n->data.Bd);
-       n->data.Bd = mandoc_calloc(1, sizeof(struct mdoc_bd));
-
        /* LINTED */
        for (i = 0; n->args && i < (int)n->args->argc; i++) {
                dt = DISP__NONE;
        /* LINTED */
        for (i = 0; n->args && i < (int)n->args->argc; i++) {
                dt = DISP__NONE;
@@ -853,15 +823,14 @@ pre_bd(PRE_ARGS)
                        /* NB: this can be empty! */
                        if (n->args->argv[i].sz) {
                                offs = n->args->argv[i].value[0];
                        /* NB: this can be empty! */
                        if (n->args->argv[i].sz) {
                                offs = n->args->argv[i].value[0];
-                               dup = (NULL != n->data.Bd->offs);
+                               dup = (NULL != n->norm->Bd.offs);
                                break;
                        }
                                break;
                        }
-                       if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV))
-                               return(0);
+                       mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);
                        break;
                case (MDOC_Compact):
                        comp = 1;
                        break;
                case (MDOC_Compact):
                        comp = 1;
-                       dup = n->data.Bd->comp;
+                       dup = n->norm->Bd.comp;
                        break;
                default:
                        abort();
                        break;
                default:
                        abort();
@@ -870,32 +839,30 @@ pre_bd(PRE_ARGS)
 
                /* Check whether we have duplicates. */
 
 
                /* Check whether we have duplicates. */
 
-               if (dup && ! mdoc_nmsg(mdoc, n, MANDOCERR_ARGVREP))
-                       return(0);
+               if (dup)
+                       mdoc_nmsg(mdoc, n, MANDOCERR_ARGVREP);
 
                /* Make our auxiliary assignments. */
 
                if (offs && ! dup)
 
                /* Make our auxiliary assignments. */
 
                if (offs && ! dup)
-                       n->data.Bd->offs = offs;
+                       n->norm->Bd.offs = offs;
                if (comp && ! dup)
                if (comp && ! dup)
-                       n->data.Bd->comp = comp;
+                       n->norm->Bd.comp = comp;
 
                /* Check whether a type has already been assigned. */
 
 
                /* Check whether a type has already been assigned. */
 
-               if (DISP__NONE != dt && n->data.Bd->type != DISP__NONE)
-                       if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_DISPREP))
-                               return(0);
+               if (DISP__NONE != dt && n->norm->Bd.type != DISP__NONE)
+                       mdoc_nmsg(mdoc, n, MANDOCERR_DISPREP);
 
                /* Make our type assignment. */
 
 
                /* Make our type assignment. */
 
-               if (DISP__NONE != dt && n->data.Bd->type == DISP__NONE)
-                       n->data.Bd->type = dt;
+               if (DISP__NONE != dt && n->norm->Bd.type == DISP__NONE)
+                       n->norm->Bd.type = dt;
        }
 
        }
 
-       if (DISP__NONE == n->data.Bd->type) {
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_DISPTYPE))
-                       return(0);
-               n->data.Bd->type = DISP_ragged;
+       if (DISP__NONE == n->norm->Bd.type) {
+               mdoc_nmsg(mdoc, n, MANDOCERR_DISPTYPE);
+               n->norm->Bd.type = DISP_ragged;
        }
 
        return(1);
        }
 
        return(1);
@@ -930,10 +897,7 @@ pre_it(PRE_ARGS)
 
        if (MDOC_BLOCK != n->type)
                return(1);
 
        if (MDOC_BLOCK != n->type)
                return(1);
-       /* 
-        * FIXME: this can probably be lifted if we make the It into
-        * something else on-the-fly?
-        */
+
        return(check_parent(mdoc, n, MDOC_Bl, MDOC_BODY));
 }
 
        return(check_parent(mdoc, n, MDOC_Bl, MDOC_BODY));
 }
 
@@ -947,14 +911,13 @@ pre_an(PRE_ARGS)
                return(1);
        
        for (i = 1; i < (int)n->args->argc; i++)
                return(1);
        
        for (i = 1; i < (int)n->args->argc; i++)
-               if ( ! mdoc_pmsg(mdoc, n->args->argv[i].line,
-                       n->args->argv[i].pos, MANDOCERR_IGNARGV))
-                       return(0);
+               mdoc_pmsg(mdoc, n->args->argv[i].line, 
+                       n->args->argv[i].pos, MANDOCERR_IGNARGV);
 
        if (MDOC_Split == n->args->argv[0].arg)
 
        if (MDOC_Split == n->args->argv[0].arg)
-               n->data.An.auth = AUTH_split;
+               n->norm->An.auth = AUTH_split;
        else if (MDOC_Nosplit == n->args->argv[0].arg)
        else if (MDOC_Nosplit == n->args->argv[0].arg)
-               n->data.An.auth = AUTH_nosplit;
+               n->norm->An.auth = AUTH_nosplit;
        else
                abort();
 
        else
                abort();
 
@@ -962,10 +925,15 @@ pre_an(PRE_ARGS)
 }
 
 static int
 }
 
 static int
-pre_rv(PRE_ARGS)
+pre_std(PRE_ARGS)
 {
 
 {
 
-       return(check_stdarg(mdoc, n));
+       if (n->args && 1 == n->args->argc)
+               if (MDOC_Std == n->args->argv[0].arg)
+                       return(1);
+
+       mdoc_nmsg(mdoc, n, MANDOCERR_NOARGV);
+       return(1);
 }
 
 static int
 }
 
 static int
@@ -973,11 +941,11 @@ pre_dt(PRE_ARGS)
 {
 
        if (0 == mdoc->meta.date || mdoc->meta.os)
 {
 
        if (0 == mdoc->meta.date || mdoc->meta.os)
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO))
-                       return(0);
+               mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO);
+
        if (mdoc->meta.title)
        if (mdoc->meta.title)
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP))
-                       return(0);
+               mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP);
+
        return(1);
 }
 
        return(1);
 }
 
@@ -986,11 +954,11 @@ pre_os(PRE_ARGS)
 {
 
        if (NULL == mdoc->meta.title || 0 == mdoc->meta.date)
 {
 
        if (NULL == mdoc->meta.title || 0 == mdoc->meta.date)
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO))
-                       return(0);
+               mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO);
+
        if (mdoc->meta.os)
        if (mdoc->meta.os)
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP))
-                       return(0);
+               mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP);
+
        return(1);
 }
 
        return(1);
 }
 
@@ -999,11 +967,11 @@ pre_dd(PRE_ARGS)
 {
 
        if (mdoc->meta.title || mdoc->meta.os)
 {
 
        if (mdoc->meta.title || mdoc->meta.os)
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO))
-                       return(0);
+               mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGOOO);
+
        if (mdoc->meta.date)
        if (mdoc->meta.date)
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP))
-                       return(0);
+               mdoc_nmsg(mdoc, n, MANDOCERR_PROLOGREP);
+
        return(1);
 }
 
        return(1);
 }
 
@@ -1031,15 +999,12 @@ post_bf(POST_ARGS)
                assert(np);
                assert(MDOC_HEAD == np->type);
                assert(MDOC_Bf == np->tok);
                assert(np);
                assert(MDOC_HEAD == np->type);
                assert(MDOC_Bf == np->tok);
-               assert(np->data.Bf);
-               mdoc->last->data.Bf = np->data.Bf;
                return(1);
        }
 
        np = mdoc->last;
        assert(MDOC_BLOCK == np->parent->type);
        assert(MDOC_Bf == np->parent->tok);
                return(1);
        }
 
        np = mdoc->last;
        assert(MDOC_BLOCK == np->parent->type);
        assert(MDOC_Bf == np->parent->tok);
-       np->data.Bf = mandoc_calloc(1, sizeof(struct mdoc_bf));
 
        /* 
         * Cannot have both argument and parameter.
 
        /* 
         * Cannot have both argument and parameter.
@@ -1049,19 +1014,21 @@ post_bf(POST_ARGS)
        if (np->parent->args && np->child) {
                mdoc_nmsg(mdoc, np, MANDOCERR_SYNTARGVCOUNT);
                return(0);
        if (np->parent->args && np->child) {
                mdoc_nmsg(mdoc, np, MANDOCERR_SYNTARGVCOUNT);
                return(0);
-       } else if (NULL == np->parent->args && NULL == np->child)
-               return(mdoc_nmsg(mdoc, np, MANDOCERR_FONTTYPE));
+       } else if (NULL == np->parent->args && NULL == np->child) {
+               mdoc_nmsg(mdoc, np, MANDOCERR_FONTTYPE);
+               return(1);
+       }
 
        /* Extract argument into data. */
        
        if (np->parent->args) {
                arg = np->parent->args->argv[0].arg;
                if (MDOC_Emphasis == arg)
 
        /* Extract argument into data. */
        
        if (np->parent->args) {
                arg = np->parent->args->argv[0].arg;
                if (MDOC_Emphasis == arg)
-                       np->data.Bf->font = FONT_Em;
+                       np->norm->Bf.font = FONT_Em;
                else if (MDOC_Literal == arg)
                else if (MDOC_Literal == arg)
-                       np->data.Bf->font = FONT_Li;
+                       np->norm->Bf.font = FONT_Li;
                else if (MDOC_Symbolic == arg)
                else if (MDOC_Symbolic == arg)
-                       np->data.Bf->font = FONT_Sy;
+                       np->norm->Bf.font = FONT_Sy;
                else
                        abort();
                return(1);
                else
                        abort();
                return(1);
@@ -1070,13 +1037,13 @@ post_bf(POST_ARGS)
        /* Extract parameter into data. */
 
        if (0 == strcmp(np->child->string, "Em"))
        /* Extract parameter into data. */
 
        if (0 == strcmp(np->child->string, "Em"))
-               np->data.Bf->font = FONT_Em;
+               np->norm->Bf.font = FONT_Em;
        else if (0 == strcmp(np->child->string, "Li"))
        else if (0 == strcmp(np->child->string, "Li"))
-               np->data.Bf->font = FONT_Li;
+               np->norm->Bf.font = FONT_Li;
        else if (0 == strcmp(np->child->string, "Sy"))
        else if (0 == strcmp(np->child->string, "Sy"))
-               np->data.Bf->font = FONT_Sy;
-       else if ( ! mdoc_nmsg(mdoc, np, MANDOCERR_FONTTYPE))
-               return(0);
+               np->norm->Bf.font = FONT_Sy;
+       else 
+               mdoc_nmsg(mdoc, np, MANDOCERR_FONTTYPE);
 
        return(1);
 }
 
        return(1);
 }
@@ -1117,9 +1084,9 @@ static int
 post_eoln(POST_ARGS)
 {
 
 post_eoln(POST_ARGS)
 {
 
-       if (NULL == mdoc->last->child)
-               return(1);
-       return(mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_ARGSLOST));
+       if (mdoc->last->child)
+               mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_ARGSLOST);
+       return(1);
 }
 
 
 }
 
 
@@ -1142,8 +1109,7 @@ post_vt(POST_ARGS)
        
        for (n = mdoc->last->child; n; n = n->next)
                if (MDOC_TEXT != n->type) 
        
        for (n = mdoc->last->child; n; n = n->next)
                if (MDOC_TEXT != n->type) 
-                       if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_CHILD))
-                               return(0);
+                       mdoc_nmsg(mdoc, n, MANDOCERR_CHILD);
 
        return(1);
 }
 
        return(1);
 }
@@ -1184,7 +1150,7 @@ post_literal(POST_ARGS)
         */
 
        if (MDOC_BODY == mdoc->last->type)
         */
 
        if (MDOC_BODY == mdoc->last->type)
-               mdoc->last->flags &= ~MDOC_LITERAL;
+               mdoc->flags &= ~MDOC_LITERAL;
 
        return(1);
 }
 
        return(1);
 }
@@ -1281,15 +1247,18 @@ post_an(POST_ARGS)
        struct mdoc_node *np;
 
        np = mdoc->last;
        struct mdoc_node *np;
 
        np = mdoc->last;
-       if (AUTH__NONE != np->data.An.auth && np->child)
+       if (AUTH__NONE != np->norm->An.auth && np->child)
                return(eerr_eq0(mdoc));
                return(eerr_eq0(mdoc));
+
        /* 
         * FIXME: make this ewarn and make sure that the front-ends
         * don't print the arguments.
         */
        /* 
         * FIXME: make this ewarn and make sure that the front-ends
         * don't print the arguments.
         */
-       if (AUTH__NONE != np->data.An.auth || np->child)
+       if (AUTH__NONE != np->norm->An.auth || np->child)
                return(1);
                return(1);
-       return(mdoc_nmsg(mdoc, np, MANDOCERR_NOARGS));
+
+       mdoc_nmsg(mdoc, np, MANDOCERR_NOARGS);
+       return(1);
 }
 
 
 }
 
 
@@ -1305,12 +1274,11 @@ post_it(POST_ARGS)
                return(1);
 
        n = mdoc->last->parent->parent;
                return(1);
 
        n = mdoc->last->parent->parent;
-       assert(n->data.Bl);
-       lt = n->data.Bl->type;
+       lt = n->norm->Bl.type;
 
        if (LIST__NONE == lt) {
                mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_LISTTYPE);
 
        if (LIST__NONE == lt) {
                mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_LISTTYPE);
-               return(0);
+               return(1);
        }
 
        switch (lt) {
        }
 
        switch (lt) {
@@ -1318,8 +1286,7 @@ post_it(POST_ARGS)
                if (mdoc->last->head->child)
                        break;
                /* FIXME: give this a dummy value. */
                if (mdoc->last->head->child)
                        break;
                /* FIXME: give this a dummy value. */
-               if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOARGS))
-                       return(0);
+               mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOARGS);
                break;
        case (LIST_hang):
                /* FALLTHROUGH */
                break;
        case (LIST_hang):
                /* FALLTHROUGH */
@@ -1329,8 +1296,7 @@ post_it(POST_ARGS)
                /* FALLTHROUGH */
        case (LIST_diag):
                if (NULL == mdoc->last->head->child)
                /* FALLTHROUGH */
        case (LIST_diag):
                if (NULL == mdoc->last->head->child)
-                       if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOARGS))
-                               return(0);
+                       mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOARGS);
                break;
        case (LIST_bullet):
                /* FALLTHROUGH */
                break;
        case (LIST_bullet):
                /* FALLTHROUGH */
@@ -1340,22 +1306,19 @@ post_it(POST_ARGS)
                /* FALLTHROUGH */
        case (LIST_hyphen):
                if (NULL == mdoc->last->body->child)
                /* FALLTHROUGH */
        case (LIST_hyphen):
                if (NULL == mdoc->last->body->child)
-                       if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOBODY))
-                               return(0);
+                       mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOBODY);
                /* FALLTHROUGH */
        case (LIST_item):
                if (mdoc->last->head->child)
                /* FALLTHROUGH */
        case (LIST_item):
                if (mdoc->last->head->child)
-                       if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_ARGSLOST))
-                               return(0);
+                       mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_ARGSLOST);
                break;
        case (LIST_column):
                break;
        case (LIST_column):
-               cols = (int)n->data.Bl->ncols;
+               cols = (int)n->norm->Bl.ncols;
 
                assert(NULL == mdoc->last->head->child);
 
                if (NULL == mdoc->last->body->child)
 
                assert(NULL == mdoc->last->head->child);
 
                if (NULL == mdoc->last->body->child)
-                       if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOBODY))
-                               return(0);
+                       mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NOBODY);
 
                for (i = 0, c = mdoc->last->child; c; c = c->next)
                        if (MDOC_BODY == c->type)
 
                for (i = 0, c = mdoc->last->child; c; c = c->next)
                        if (MDOC_BODY == c->type)
@@ -1394,17 +1357,17 @@ post_bl_block(POST_ARGS)
 
        n = mdoc->last;
 
 
        n = mdoc->last;
 
-       if (LIST_tag == n->data.Bl->type && 
-                       NULL == n->data.Bl->width) {
+       if (LIST_tag == n->norm->Bl.type && 
+                       NULL == n->norm->Bl.width) {
                if ( ! post_bl_block_tag(mdoc))
                        return(0);
                if ( ! post_bl_block_tag(mdoc))
                        return(0);
-       } else if (NULL != n->data.Bl->width) {
+       } else if (NULL != n->norm->Bl.width) {
                if ( ! post_bl_block_width(mdoc))
                        return(0);
        } else 
                return(1);
 
                if ( ! post_bl_block_width(mdoc))
                        return(0);
        } else 
                return(1);
 
-       assert(n->data.Bl->width);
+       assert(n->norm->Bl.width);
        return(1);
 }
 
        return(1);
 }
 
@@ -1428,12 +1391,14 @@ post_bl_block_width(POST_ARGS)
         * the macro's width as set in share/tmac/mdoc/doc-common.
         */
 
         * the macro's width as set in share/tmac/mdoc/doc-common.
         */
 
-       if (0 == strcmp(n->data.Bl->width, "Ds"))
+       if (0 == strcmp(n->norm->Bl.width, "Ds"))
                width = 6;
                width = 6;
-       else if (MDOC_MAX == (tok = mdoc_hash_find(n->data.Bl->width)))
+       else if (MDOC_MAX == (tok = mdoc_hash_find(n->norm->Bl.width)))
                return(1);
                return(1);
-       else if (0 == (width = mdoc_macro2len(tok))) 
-               return(mdoc_nmsg(mdoc, n, MANDOCERR_BADWIDTH));
+       else if (0 == (width = mdoc_macro2len(tok)))  {
+               mdoc_nmsg(mdoc, n, MANDOCERR_BADWIDTH);
+               return(1);
+       }
 
        /* The value already exists: free and reallocate it. */
 
 
        /* The value already exists: free and reallocate it. */
 
@@ -1450,7 +1415,7 @@ post_bl_block_width(POST_ARGS)
        n->args->argv[i].value[0] = mandoc_strdup(buf);
 
        /* Set our width! */
        n->args->argv[i].value[0] = mandoc_strdup(buf);
 
        /* Set our width! */
-       n->data.Bl->width = n->args->argv[i].value[0];
+       n->norm->Bl.width = n->args->argv[i].value[0];
        return(1);
 }
 
        return(1);
 }
 
@@ -1479,12 +1444,8 @@ post_bl_block_tag(POST_ARGS)
                assert(MDOC_BLOCK == nn->type);
                nn = nn->head->child;
 
                assert(MDOC_BLOCK == nn->type);
                nn = nn->head->child;
 
-               if (nn == NULL) {
-                       /* No -width for .Bl and first .It is emtpy */
-                       if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_NOWIDTHARG))
-                               return(0);
+               if (nn == NULL)
                        break;
                        break;
-               }
 
                if (MDOC_TEXT == nn->type) {
                        sz = strlen(nn->string) + 1;
 
                if (MDOC_TEXT == nn->type) {
                        sz = strlen(nn->string) + 1;
@@ -1493,8 +1454,6 @@ post_bl_block_tag(POST_ARGS)
 
                if (0 != (ssz = mdoc_macro2len(nn->tok)))
                        sz = ssz;
 
                if (0 != (ssz = mdoc_macro2len(nn->tok)))
                        sz = ssz;
-               else if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_NOWIDTHARG))
-                       return(0);
 
                break;
        } 
 
                break;
        } 
@@ -1522,7 +1481,7 @@ post_bl_block_tag(POST_ARGS)
        n->args->argv[i].value[0] = mandoc_strdup(buf);
 
        /* Set our width! */
        n->args->argv[i].value[0] = mandoc_strdup(buf);
 
        /* Set our width! */
-       n->data.Bl->width = n->args->argv[i].value[0];
+       n->norm->Bl.width = n->args->argv[i].value[0];
        return(1);
 }
 
        return(1);
 }
 
@@ -1533,7 +1492,7 @@ post_bl_head(POST_ARGS)
        struct mdoc_node *np, *nn, *nnp;
        int               i, j;
 
        struct mdoc_node *np, *nn, *nnp;
        int               i, j;
 
-       if (LIST_column != mdoc->last->data.Bl->type)
+       if (LIST_column != mdoc->last->norm->Bl.type)
                /* FIXME: this should be ERROR class... */
                return(hwarn_eq0(mdoc));
 
                /* FIXME: this should be ERROR class... */
                return(hwarn_eq0(mdoc));
 
@@ -1550,7 +1509,7 @@ post_bl_head(POST_ARGS)
         * lists, but I'll leave that for another day.
         */
 
         * lists, but I'll leave that for another day.
         */
 
-       if (mdoc->last->data.Bl->ncols && mdoc->last->nchild) {
+       if (mdoc->last->norm->Bl.ncols && mdoc->last->nchild) {
                mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_COLUMNS);
                return(0);
        } else if (NULL == mdoc->last->child)
                mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_COLUMNS);
                return(0);
        } else if (NULL == mdoc->last->child)
@@ -1576,8 +1535,8 @@ post_bl_head(POST_ARGS)
        np->args->argv[j].value = mandoc_malloc
                ((size_t)mdoc->last->nchild * sizeof(char *));
 
        np->args->argv[j].value = mandoc_malloc
                ((size_t)mdoc->last->nchild * sizeof(char *));
 
-       mdoc->last->data.Bl->ncols = np->args->argv[j].sz;
-       mdoc->last->data.Bl->cols = (const char **)np->args->argv[j].value;
+       mdoc->last->norm->Bl.ncols = np->args->argv[j].sz;
+       mdoc->last->norm->Bl.cols = (const char **)np->args->argv[j].value;
 
        for (i = 0, nn = mdoc->last->child; nn; i++) {
                np->args->argv[j].value[i] = nn->string;
 
        for (i = 0, nn = mdoc->last->child; nn; i++) {
                np->args->argv[j].value[i] = nn->string;
@@ -1604,21 +1563,22 @@ post_bl(POST_ARGS)
                return(post_bl_block(mdoc));
        if (MDOC_BODY != mdoc->last->type)
                return(1);
                return(post_bl_block(mdoc));
        if (MDOC_BODY != mdoc->last->type)
                return(1);
-       if (NULL == mdoc->last->child)
-               return(1);
 
 
-       /*
-        * We only allow certain children of `Bl'.  This is usually on
-        * `It', but apparently `Sm' occurs here and there, so we let
-        * that one through, too.
-        */
-
-       /* LINTED */
        for (n = mdoc->last->child; n; n = n->next) {
        for (n = mdoc->last->child; n; n = n->next) {
-               if (MDOC_BLOCK == n->type && MDOC_It == n->tok)
-                       continue;
-               if (MDOC_Sm == n->tok)
+               switch (n->tok) {
+               case (MDOC_Lp):
+                       /* FALLTHROUGH */
+               case (MDOC_Pp):
+                       mdoc_nmsg(mdoc, n, MANDOCERR_CHILD);
+                       /* FALLTHROUGH */
+               case (MDOC_It):
+                       /* FALLTHROUGH */
+               case (MDOC_Sm):
                        continue;
                        continue;
+               default:
+                       break;
+               }
+
                mdoc_nmsg(mdoc, n, MANDOCERR_SYNTCHILD);
                return(0);
        }
                mdoc_nmsg(mdoc, n, MANDOCERR_SYNTCHILD);
                return(0);
        }
@@ -1626,45 +1586,55 @@ post_bl(POST_ARGS)
        return(1);
 }
 
        return(1);
 }
 
-
 static int
 ebool(struct mdoc *mdoc)
 {
 static int
 ebool(struct mdoc *mdoc)
 {
-       struct mdoc_node *n;
 
 
-       /* LINTED */
-       for (n = mdoc->last->child; n; n = n->next) {
-               if (MDOC_TEXT != n->type)
-                       break;
-               if (0 == strcmp(n->string, "on"))
-                       continue;
-               if (0 == strcmp(n->string, "off"))
-                       continue;
-               break;
-       }
+       if (NULL == mdoc->last->child)
+               return(1);
+
+       assert(MDOC_TEXT == mdoc->last->child->type);
 
 
-       if (NULL == n)
+       if (0 == strcmp(mdoc->last->child->string, "on"))
+               return(1);
+       if (0 == strcmp(mdoc->last->child->string, "off"))
                return(1);
                return(1);
-       return(mdoc_nmsg(mdoc, n, MANDOCERR_BADBOOL));
-}
 
 
+       mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADBOOL);
+       return(1);
+}
 
 static int
 post_root(POST_ARGS)
 {
 
 static int
 post_root(POST_ARGS)
 {
+       int               erc;
+       struct mdoc_node *n;
 
 
-       if (NULL == mdoc->first->child)
-               mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCBODY);
-       else if ( ! (MDOC_PBODY & mdoc->flags))
+       erc = 0;
+
+       /* Check that we have a finished prologue. */
+
+       if ( ! (MDOC_PBODY & mdoc->flags)) {
+               erc++;
                mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCPROLOG);
                mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCPROLOG);
-       else if (MDOC_BLOCK != mdoc->first->child->type)
-               mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCBODY);
-       else if (MDOC_Sh != mdoc->first->child->tok)
-               mdoc_nmsg(mdoc, mdoc->first, MANDOCERR_NODOCBODY);
-       else
-               return(1);
+       }
 
 
-       return(0);
+       n = mdoc->first;
+       assert(n);
+       
+       /* Check that we begin with a proper `Sh'. */
+
+       if (NULL == n->child) {
+               erc++;
+               mdoc_nmsg(mdoc, n, MANDOCERR_NODOCBODY);
+       } else if (MDOC_BLOCK != n->child->type || 
+                       MDOC_Sh != n->child->tok) {
+               erc++;
+               /* Can this be lifted?  See rxdebug.1 for example. */
+               mdoc_nmsg(mdoc, n, MANDOCERR_NODOCBODY);
+       }
+
+       return(erc ? 0 : 1);
 }
 
 static int
 }
 
 static int
@@ -1709,6 +1679,8 @@ post_rs(POST_ARGS)
                                break;
 
                if (i < RSORD_MAX) {
                                break;
 
                if (i < RSORD_MAX) {
+                       if (MDOC__J == rsord[i])
+                               mdoc->last->norm->Rs.child_J = nn;
                        next = nn->next;
                        continue;
                }
                        next = nn->next;
                        continue;
                }
@@ -1783,7 +1755,6 @@ post_rs(POST_ARGS)
        return(1);
 }
 
        return(1);
 }
 
-
 static int
 post_sh(POST_ARGS)
 {
 static int
 post_sh(POST_ARGS)
 {
@@ -1796,7 +1767,6 @@ post_sh(POST_ARGS)
        return(1);
 }
 
        return(1);
 }
 
-
 static int
 post_sh_body(POST_ARGS)
 {
 static int
 post_sh_body(POST_ARGS)
 {
@@ -1811,24 +1781,26 @@ post_sh_body(POST_ARGS)
         * children of the BODY declaration can also be "text".
         */
 
         * children of the BODY declaration can also be "text".
         */
 
-       if (NULL == (n = mdoc->last->child))
-               return(mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC));
+       if (NULL == (n = mdoc->last->child)) {
+               mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC);
+               return(1);
+       }
 
        for ( ; n && n->next; n = n->next) {
                if (MDOC_ELEM == n->type && MDOC_Nm == n->tok)
                        continue;
                if (MDOC_TEXT == n->type)
                        continue;
 
        for ( ; n && n->next; n = n->next) {
                if (MDOC_ELEM == n->type && MDOC_Nm == n->tok)
                        continue;
                if (MDOC_TEXT == n->type)
                        continue;
-               if ( ! mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC))
-                       return(0);
+               mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC);
        }
 
        assert(n);
        if (MDOC_BLOCK == n->type && MDOC_Nd == n->tok)
                return(1);
        }
 
        assert(n);
        if (MDOC_BLOCK == n->type && MDOC_Nd == n->tok)
                return(1);
-       return(mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC));
-}
 
 
+       mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADNAMESEC);
+       return(1);
+}
 
 static int
 post_sh_head(POST_ARGS)
 
 static int
 post_sh_head(POST_ARGS)
@@ -1909,12 +1881,37 @@ post_sh_head(POST_ARGS)
        return(1);
 }
 
        return(1);
 }
 
+static int
+post_ignpar(POST_ARGS)
+{
+       struct mdoc_node *np;
+
+       if (MDOC_BODY != mdoc->last->type)
+               return(1);
+
+       if (NULL != (np = mdoc->last->child))
+               if (MDOC_Pp == np->tok || MDOC_Lp == np->tok) {
+                       mdoc_nmsg(mdoc, np, MANDOCERR_IGNPAR);
+                       mdoc_node_delete(mdoc, np);
+               }
+
+       if (NULL != (np = mdoc->last->last))
+               if (MDOC_Pp == np->tok || MDOC_Lp == np->tok) {
+                       mdoc_nmsg(mdoc, np, MANDOCERR_IGNPAR);
+                       mdoc_node_delete(mdoc, np);
+               }
+
+       return(1);
+}
+
 static int
 pre_par(PRE_ARGS)
 {
 
        if (NULL == mdoc->last)
                return(1);
 static int
 pre_par(PRE_ARGS)
 {
 
        if (NULL == mdoc->last)
                return(1);
+       if (MDOC_ELEM != n->type && MDOC_BLOCK != n->type)
+               return(1);
 
        /* 
         * Don't allow prior `Lp' or `Pp' prior to a paragraph-type
 
        /* 
         * Don't allow prior `Lp' or `Pp' prior to a paragraph-type
@@ -1923,10 +1920,11 @@ pre_par(PRE_ARGS)
 
        if (MDOC_Pp != mdoc->last->tok && MDOC_Lp != mdoc->last->tok)
                return(1);
 
        if (MDOC_Pp != mdoc->last->tok && MDOC_Lp != mdoc->last->tok)
                return(1);
-
-       if (MDOC_Bl == n->tok && n->data.Bl->comp)
+       if (MDOC_Bl == n->tok && n->norm->Bl.comp)
+               return(1);
+       if (MDOC_Bd == n->tok && n->norm->Bd.comp)
                return(1);
                return(1);
-       if (MDOC_Bd == n->tok && n->data.Bd->comp)
+       if (MDOC_It == n->tok && n->parent->norm->Bl.comp)
                return(1);
 
        mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_IGNPAR);
                return(1);
 
        mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_IGNPAR);
@@ -1951,10 +1949,9 @@ pre_literal(PRE_ARGS)
                mdoc->flags |= MDOC_LITERAL;
                break;
        case (MDOC_Bd):
                mdoc->flags |= MDOC_LITERAL;
                break;
        case (MDOC_Bd):
-               assert(n->data.Bd);
-               if (DISP_literal == n->data.Bd->type)
+               if (DISP_literal == n->norm->Bd.type)
                        mdoc->flags |= MDOC_LITERAL;
                        mdoc->flags |= MDOC_LITERAL;
-               if (DISP_unfilled == n->data.Bd->type)
+               if (DISP_unfilled == n->norm->Bd.type)
                        mdoc->flags |= MDOC_LITERAL;
                break;
        default:
                        mdoc->flags |= MDOC_LITERAL;
                break;
        default:
@@ -1968,25 +1965,24 @@ pre_literal(PRE_ARGS)
 static int
 post_dd(POST_ARGS)
 {
 static int
 post_dd(POST_ARGS)
 {
-       char              buf[DATESIZ];
+       char              buf[DATESIZE];
        struct mdoc_node *n;
 
        n = mdoc->last;
 
        if (NULL == n->child) {
                mdoc->meta.date = time(NULL);
        struct mdoc_node *n;
 
        n = mdoc->last;
 
        if (NULL == n->child) {
                mdoc->meta.date = time(NULL);
-               return(post_prol(mdoc));
+               return(1);
        }
 
        }
 
-       if ( ! concat(mdoc, buf, n->child, DATESIZ))
+       if ( ! concat(mdoc, buf, n->child, DATESIZE))
                return(0);
 
        mdoc->meta.date = mandoc_a2time
                (MTIME_MDOCDATE | MTIME_CANONICAL, buf);
 
        if (0 == mdoc->meta.date) {
                return(0);
 
        mdoc->meta.date = mandoc_a2time
                (MTIME_MDOCDATE | MTIME_CANONICAL, buf);
 
        if (0 == mdoc->meta.date) {
-               if ( ! mdoc_nmsg(mdoc, n, MANDOCERR_BADDATE))
-                       return(0);
+               mdoc_nmsg(mdoc, n, MANDOCERR_BADDATE);
                mdoc->meta.date = time(NULL);
        }
 
                mdoc->meta.date = time(NULL);
        }
 
@@ -2017,8 +2013,12 @@ post_dt(POST_ARGS)
                for (p = nn->string; *p; p++) {
                        if (toupper((u_char)*p) == *p)
                                continue;
                for (p = nn->string; *p; p++) {
                        if (toupper((u_char)*p) == *p)
                                continue;
-                       if ( ! mdoc_nmsg(mdoc, nn, MANDOCERR_UPPERCASE))
-                               return(0);
+
+                       /* 
+                        * FIXME: don't be lazy: have this make all
+                        * characters be uppercase and just warn once.
+                        */
+                       mdoc_nmsg(mdoc, nn, MANDOCERR_UPPERCASE);
                        break;
                }
 
                        break;
                }
 
@@ -2061,11 +2061,11 @@ post_dt(POST_ARGS)
        if (cp) {
                mdoc->meta.vol = mandoc_strdup(cp);
                mdoc->meta.msec = mandoc_strdup(nn->string);
        if (cp) {
                mdoc->meta.vol = mandoc_strdup(cp);
                mdoc->meta.msec = mandoc_strdup(nn->string);
-       } else if (mdoc_nmsg(mdoc, n, MANDOCERR_BADMSEC)) {
+       } else {
+               mdoc_nmsg(mdoc, n, MANDOCERR_BADMSEC);
                mdoc->meta.vol = mandoc_strdup(nn->string);
                mdoc->meta.msec = mandoc_strdup(nn->string);
                mdoc->meta.vol = mandoc_strdup(nn->string);
                mdoc->meta.msec = mandoc_strdup(nn->string);
-       } else
-               return(0);
+       } 
 
        if (NULL == (nn = nn->next))
                return(1);
 
        if (NULL == (nn = nn->next))
                return(1);
@@ -2148,14 +2148,17 @@ post_os(POST_ARGS)
                        return(0);
                }
 #else /*!OSNAME */
                        return(0);
                }
 #else /*!OSNAME */
-               if (-1 == uname(&utsname))
-                       return(mdoc_nmsg(mdoc, n, MANDOCERR_UTSNAME));
+               if (uname(&utsname)) {
+                       mdoc_nmsg(mdoc, n, MANDOCERR_UNAME);
+                        mdoc->meta.os = mandoc_strdup("UNKNOWN");
+                        return(post_prol(mdoc));
+                }
 
                if (strlcat(buf, utsname.sysname, BUFSIZ) >= BUFSIZ) {
                        mdoc_nmsg(mdoc, n, MANDOCERR_MEM);
                        return(0);
                }
 
                if (strlcat(buf, utsname.sysname, BUFSIZ) >= BUFSIZ) {
                        mdoc_nmsg(mdoc, n, MANDOCERR_MEM);
                        return(0);
                }
-               if (strlcat(buf, " ", 64) >= BUFSIZ) {
+               if (strlcat(buf, " ", BUFSIZ) >= BUFSIZ) {
                        mdoc_nmsg(mdoc, n, MANDOCERR_MEM);
                        return(0);
                }
                        mdoc_nmsg(mdoc, n, MANDOCERR_MEM);
                        return(0);
                }
@@ -2185,6 +2188,7 @@ post_std(POST_ARGS)
 
        if (n->child)
                return(1);
 
        if (n->child)
                return(1);
+
        if (NULL == mdoc->meta.name)
                return(1);
        
        if (NULL == mdoc->meta.name)
                return(1);
        
@@ -2193,6 +2197,7 @@ post_std(POST_ARGS)
 
        if ( ! mdoc_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name))
                return(0);
 
        if ( ! mdoc_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name))
                return(0);
+
        mdoc->last = nn;
        return(1);
 }
        mdoc->last = nn;
        return(1);
 }
@@ -2206,7 +2211,8 @@ concat(struct mdoc *m, char *p, const struct mdoc_node *n, size_t sz)
        /*
         * Concatenate sibling nodes together.  All siblings must be of
         * type MDOC_TEXT or an assertion is raised.  Concatenation is
        /*
         * Concatenate sibling nodes together.  All siblings must be of
         * type MDOC_TEXT or an assertion is raised.  Concatenation is
-        * separated by a single whitespace.
+        * separated by a single whitespace.  Returns 0 on fatal (string
+        * overrun) error.
         */
 
        for ( ; n; n = n->next) {
         */
 
        for ( ; n; n = n->next) {
A git conversion mirror of mandoc.bsd.lv