[MLton] CommandLine_commandName has no gotoInfo property

[Ben Chambers]

Quoting Stephen Weeks <sweeks at sweeks.com>:

>
> > > If we can see the SSA
> > > it should be pretty easy to figure out what's wrong.  In fact, if you
> > > look for CommandLine_commandName in the SSA you might be able to
> > > figure it out yourself.
> >
> > This doesn't seem to be the case, the only occurence of
> > CommandLine_commandName I see is something like
> > varname: word32 = CommandLine_commandName ()
>
> Indeed, it does look quite ordinary.
>
> Try compiling with -codegen c.  That will help to isolate whether the
> bug is some unchecked assumption about the ILs or an x86-codegen bug.
> And, if the C codegen completes, we can see exactly how the symbol is
> being used.
>
> It's also worth trying to compile a small program that uses
> CommandLine.commandName.  Perhaps that will tickle the same bug.

It works correctly with -codegen c, so it seems like it would be an x86-codegen
bug.  It has the same problem with the tests in regression/cmdline.sml and
regression/command-line.sml.

-- Ben Chambers

> _______________________________________________
> MLton mailing list
> MLton at mlton.org
> http://mlton.org/mailman/listinfo/mlton
>


--