(I posted this before I saw the messages between Dwight and Radu. 
Perhaps those explain you comments?)

On 04/03/2014 05:48 PM, Michael D. Adams wrote:
> We never claimed they were done.  What is the point of comments like these?
>
> On 04/03/2014 05:43 PM, dwightguth wrote:
>> In src/javasources/KTool/src/org/kframework/parser/concrete2/Parser.java:
>>
>>> +
>>> +            if (stateEnd != key.stateEnd) return false;
>>> +            if (!stateCall.equals(key.stateCall)) return false;
>>> +
>>> +            return true;
>>> +        }
>>> +
>>> +        @Override
>>> +        public int hashCode() {
>>> +            int result = stateCall.key.hashCode();
>>> +            result = 31 * result + stateEnd;
>>> +            return result;
>>> +        }
>>> +    }
>>> +
>>> +    final Key key;
>>
>> not done
>>
>> —
>> Reply to this email directly or view it on GitHub
>> <https://github.com/kframework/k/pull/318/files#r11276601>.
>>
>