some fixes in terms of map

Mainly, make a intermediate function to get the keys we want. 
I agree, too.  The Maude backend in unified-builting gives lots of warnings currently, but it works.

Grigore


________________________________
From: Liyi Li [notifications@github.com]
Sent: Friday, June 06, 2014 2:50 PM
To: kframework/c-semantics
Cc: Rosu, Grigore
Subject: Re: [c-semantics] some fixes in terms of map (#10)


In semantics/language/common/memory/writing.k:

>            [structural]
>
>       syntax KItem ::= makeUnknown(SymLoc, CId, FieldInfo)
> +             | makeUnionUnKnown(K,Set)
> +
> +     rule makeUnionUnKnown(.K,.Set) => . [structural]
> +     rule makeUnionUnKnown(.K,SetItem(K) S:Set)
> +       => makeUnionUnKnown(K,S)
> +       [structural]
> +     rule makeUnionUnKnown(fromUnion(UnionLoc:SymLoc, F:CId,
> +              Fields:FieldInfo),S:Set)
> +       => allowInit(makeUnknown(UnionLoc, F, Fields)) ~> makeUnionUnKnown(K,S)


That is true.

—
Reply to this email directly or view it on GitHub<https://github.com/kframework/c-semantics/pull/10/files#r13507288>.