[ANN] nyacc 0.80.3 released

[ANN] nyacc 0.80.3 released

[Matt Wette]

NYACC V0.80.3 is released.

This release has work on the ffi-helper and numerous bug fixes:
1) use 0 for undefined identifiers in CPP conditional expressions
2) fixed lex routine make-ident-like-p to check for zero-length strings
3) fixed bug in c99/util2.smc that added comments in struct cleanup
4) changed c99/util2.scm:c99-trans-unit->udict to use fold-right


NYACC, for Not Yet Another Compiler Compiler!, is set of guile modules for
generating parsers and lexical analyzers.  It also provides sample parsers
and pretty-printers using SXML trees as an intermediate representation.

NYACC maturity is beta level.

NYACC is free software; the full source distribution is available through

tarball repository:
    https://download.savannah.gnu.org/releases/nyacc/

git repository:
    git://git.savannah.nongnu.org/nyacc.git

home page, project page, user's guide:
    http://www.nongnu.org/nyacc
    https://savannah.nongnu.org/projects/nyacc
    http://www.nongnu.org/nyacc/nyacc-ug.html

For support see:
    https://savannah.nongnu.org/support/?group=nyacc

0ULL [WAS: [ANN] nyacc 0.80.3 released]

[Jan Nieuwenhuizen]

Matt Wette writes:

Hi Matt,

> NYACC V0.80.3 is released.

In the process of compiling tinycc and Guile's eval.c I found some minor
bugs, here's the first.

Greetings,
janneke


int
main ()
{
  return 0ULL;
}

scaffold/tests/t.c:26: parse failed at state 259, on input "L"
scaffold/tests/t.c:26: C99 parse error



-- 
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com

Unexpected extra parens on struct-ref [WAS: [ANN] nyacc 0.80.3 released]

[Jan Nieuwenhuizen]

Matt Wette writes:

> NYACC V0.80.3 is released.

This works as expected:

    typedef struct foo {
      int bar;
    } baz;

    int
    main ()
    {
      struct foo f;

      return 0;
    }

=>

    (trans-unit
      (decl (decl-spec-list
              (stor-spec (typedef))
              (type-spec
                (struct-def
                  (ident "foo")
                  (field-list
                    (comp-decl
                      (decl-spec-list (type-spec (fixed-type "int")))
                      (comp-declr-list (comp-declr (ident "bar"))))))))
            (init-declr-list (init-declr (ident "baz"))))
      (fctn-defn
        (decl-spec-list (type-spec (fixed-type "int")))
        (ftn-declr (ident "main") (param-list))
        (compd-stmt
          (block-item-list
            (decl (decl-spec-list
                    (type-spec (struct-ref (ident "foo"))))
                  (init-declr-list (init-declr (ident "f"))))
            (return (p-expr (fixed "0")))))))


but typedef'ing struct foo to foo like so:

    typedef struct foo {
      int bar;
    } foo;

    int
    main ()
    {
      struct foo f;

      return 0;
    }

gives unexpected parens when using it in main:

    (trans-unit
      (decl (decl-spec-list
              (stor-spec (typedef))
              (type-spec
                (struct-def
                  (ident "foo")
                  (field-list
                    (comp-decl
                      (decl-spec-list (type-spec (fixed-type "int")))
                      (comp-declr-list (comp-declr (ident "bar"))))))))
            (init-declr-list (init-declr (ident "foo"))))
      (fctn-defn
        (decl-spec-list (type-spec (fixed-type "int")))
        (ftn-declr (ident "main") (param-list))
        (compd-stmt
          (block-item-list
            (decl (decl-spec-list
                    (type-spec (struct-ref (ident ("foo")))))
                  (init-declr-list (init-declr (ident "f"))))
            (return (p-expr (fixed "0")))))))


This bit: (struct-ref (ident ("foo")))

There seem to be more places where the extra parens occur.

Greetings,
janneke

-- 
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com

[WAS: [ANN] nyacc 0.80.3 released]

[Jan Nieuwenhuizen]

Matt Wette writes:

> NYACC V0.80.3 is released.

This will expand the both THEN clauses, having main return 0; where in
the second case, the ELSE clause should be expanded, having main return
2.

This #define / #undef trick is used by tinycc, I just found it and now
worked around it by setting a second define instead.

    #define DEF

    #ifdef DEF
    int def () {return 0;}
    #else
    int def () {return 1;}
    #endif

    #undef DEF

    #ifdef DEF
    int expand () {return 0;}
    #else
    int expand () {return 2;}
    #endif

    int
    main ()
    {
      return def () + expand ();
    }

Greetings,
janneke

-- 
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com

libguile/eval.c: parse failed on input "x37" [WAS: [ANN] nyacc 0.80.3 released]

[Jan Nieuwenhuizen]

Matt Wette writes:

The below condensed excerpt from Guile's eval.c gives

    (unknown):1: parse failed at state 299, on input "x37"
    scaffold/tests/t.c:55: C99 parse error

This looks pretty tricky and I'm not really working on this atm, just
thought to let you know.

Greetings,
janneke


typedef int scm_t_bits;
typedef int scm_t_cell;
typedef int *SCM;

#define SCM_UNPACK(x) ((scm_t_bits) (x))
#define SCM_UNPACK_POINTER(x) ((scm_t_bits *) (SCM_UNPACK (x)))
#define SCM_PACK_POINTER(x) (SCM_PACK ((scm_t_bits) (x)))
#define SCM2PTR(x) ((scm_t_cell *) (SCM_UNPACK_POINTER (x)))
#define SCM_GC_CELL_OBJECT(x, n) (((SCM *)SCM2PTR (x)) [n])
#define SCM_GC_CELL_WORD(x, n)   (SCM_UNPACK (SCM_GC_CELL_OBJECT ((x), (n))))
#define SCM_CELL_WORD(x, n) SCM_GC_CELL_WORD ((x), (n))
#define SCM_CELL_WORD_0(x) SCM_CELL_WORD ((x), 0)
#define SCM_CELL_TYPE(x) SCM_CELL_WORD_0 (x)


#define SCM_IMP(x) 		(6 & SCM_UNPACK (x))
#define SCM_NIMP(x) 		(!SCM_IMP (x))
#define SCM_HEAP_OBJECT_P(x)    (SCM_NIMP (x))

#define SCM_TYP7(x) 		(0x7f & SCM_CELL_TYPE (x))
#define SCM_HAS_HEAP_TYPE(x, type, tag)                         \
  (SCM_NIMP (x) && type (x) == (tag))
#define SCM_HAS_TYP7(x, tag)    (SCM_HAS_HEAP_TYPE (x, SCM_TYP7, tag))
#define scm_tc7_atomic_box	0x37

int
main ()
{
  return SCM_HAS_TYP7 (0, scm_tc7_atomic_box);
}

-- 
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com