Ok.


On Tue, Jun 3, 2014 at 10:41 AM, Liyi Li <notifications@github.com> wrote:

> In semantics/language/common/compat.k:
>
> > @@ -135,8 +135,21 @@ module COMPAT
> >       rule K:K in (ListItem(K':K) L:List) => K:K in L:List
> >            when K:K =/=K K':K
> >
> > -     //TODO Support ==Bag: rule X:Bag ==Bag Y:Bag => (Bag2KLabel X)(.KList) ==K (Bag2KLabel Y)(.KList)
> > -     // rule X:Bag ==Bag Y:Bag => (X =Bag Y) ==K true
> > +     //TODO Support ==Bag: Might need to support multiset equivalence
>
> At least, it works in maude backend in unified-builtins.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/c-semantics/pull/9/files#r13341447>.
>