List test

For XXXList, my mistake. For XXX, They are just put there temporarily, I plan to put list together for the ease of management, but what within list should be put in their modules, currently they are not defined, when they are perfectly defined, they should not be here in this module anyway.

Shijiao

-----Original Message-----
From: "Grigore Rosu" <notifications@github.com>
Sent: ‎1/‎1/‎2015 15:57
To: "kframework/java-semantics" <java-semantics@noreply.github.com>
Cc: "laurayuwen" <laurayuwen@gmail.com>
Subject: Re: [java-semantics] List test (#19)

In src/common/list-syntax.k:
> +                      | AnnoClassModList
> +                      | AnnoConstrModList
> +                      | AnnoConstantModList
> +                      | AnnoFieldModList
> +                      | AnnoInterfaceModList
> +                      | AnnoList
> +                      | AnnoElemDecList
> +                      | InterfaceMemberDecList
> +                      | ElemValPairList
> +                      | ElemValList
> +                      | StringPartList
> +                      | EnumConstList
> +                      | ClassBodyDecList
> +
> +
> +                      syntax   InterfaceType
Why are these indented more than the other syntax declarations?
—
Reply to this email directly or view it on GitHub.=