Hmm. Alright, it's probably fine.


On Wed, Apr 9, 2014 at 1:05 PM, Radu Mereuta <notifications@github.com>wrote:

> In src/javasources/KTool/src/org/kframework/parser/concrete2/Parser.java:
>
> >                          }
> > -                    }
> > -                case '\n'      :
> > -                case  '\u000B' :
> > -                case  '\u000C' :
> > -                case  '\u0085' :
> > -                case  '\u2028' :
> > -                case  '\u2029' :
> > -                    l++; c = 1; break;
> > -                default :
> > -                    c++;
> > +                    case '\n'      :
> > +                    case  '\u000B' :
>
> We took the codes exactly like in the links mentioned above that code
> block. Also, the fact that CRLF has two characters, complicates the
> algorithm, because you need to look ahead.
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/340/files#r11449220>
> .
>