add ==K for Bags

@andreistefanescu please review
Should it? I thought the intuition was that ==K works on all terms...

I don't feel that strongly about it though. Andrei, what do you think?


On Thu, Jun 19, 2014 at 3:15 PM, Radu Mereuta <notifications@github.com>
wrote:

> In include/builtins/k-equal.k:
>
> > @@ -17,6 +17,9 @@ module K-EQUAL-HOOKS
> >    syntax Bool ::= left:
> >    				  K "==K" K           [function, hook(#K-EQUAL:_==K_), latex({#1}\mathrel{=_K}{#2}), equalEqualK]
> >  				| K "=/=K" K          [function, hook(#K-EQUAL:_=/=K_), latex({#1}\mathrel{\neq_K}{#2}), notEqualEqualK]
> > +				// TODO(dwightguth): fix once bags are K
> > +  				| Bag "==K" Bag           [function, hook(#K-EQUAL:_==K_), latex({#1}\mathrel{=_K}{#2}), equalEqualK]
> > +				| Bag "=/=K" Bag          [function, hook(#K-EQUAL:_=/=K_), latex({#1}\mathrel{\neq_K}{#2}), notEqualEqualK]
>
> Shouldn't this be ==Bag?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/638/files#r13991073>.
>