String?


On Fri, May 23, 2014 at 1:14 PM, Andrei Stefanescu <notifications@github.com
> wrote:

> In src/javasources/KTool/src/org/kframework/backend/java/kil/Token.java:
>
> > @@ -19,6 +22,17 @@
> >   */
> >  public abstract class Token extends Term {
> >
> > +    public static Token of(String sort, String value) {
> > +        switch (sort) {
> > +            case BoolToken.SORT_NAME:
>
> Because we do not have float yet (you are working on it), and the machine
> integers do not have a string representation. The remaining Tokens are
> uninterpreted.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/493/files#r13012022>
> .
>