some fixes in terms of map

Mainly, make a intermediate function to get the keys we want. 
Maybe for this typing.k I accidentally merge with master instead of java
rewrite engine.

Do you want me to use the java rewrite engine one and fix it again?


On Fri, Jun 6, 2014 at 1:57 PM, Chris Hathhorn <notifications@github.com>
wrote:

> In semantics/language/common/typing.k:
>
> > @@ -135,6 +134,10 @@ module C-TYPING-SYNTAX
> >       // Tag for old-style function defs.
> >       syntax Modifier ::= "oldStyle"
> >
> > +     // Special restrict modifier tagged with a block num.
> > +     syntax Modifier ::= RestrictBlock(RestrictTag)
> > +     syntax RestrictTag ::= Int | CId | "global"
> > +
>
> Did you merge with master instead of the java_rewrite_engine branch? This
> is getting confusing.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/c-semantics/pull/10/files#r13505093>.
>