[MLton-user] Re: MLton and Cygwin installation

[Stephen Weeks]

> I've got MLton working (I think) - after I changed the value of lib on
> line 8 in the mlton bash script to :
> 
> lib='C:/cygwin/usr/lib/mlton'

Ah.  I think I understand.  To confirm, can you send the output of
mount?  Recall that mine showed

  C:\cygwin\bin on /usr/bin type system (binmode)
  C:\cygwin\lib on /usr/lib type system (binmode)
  C:\cygwin on / type system (binmode)
  c: on /cygdrive/c type system (binmode,noumount)

I suspect that some difference in our Cygwin installs caused yours to
not have those first two lines, which would explain why the MLton bash
script couldn't find /usr/lib/mlton/.

> I was able to compile the helloworld.ml file to a 364KB file with no
> extension named simply helloworld.  This seems to be expected (that
> it's extensionless), but helloworld won't run from either the bash or
> the Windows prompt.  Manually editing the filename to end in .exe lets
> me run it and get the expected "Hello, world!".

No clue here.  What error do you get when you run the extensionless
version?

> Is there some separate step after the compile to get me to an exe? 

There's not supposed to be.

> Is manually adding ".exe" to the filename what other Windows MLton
> users do? 

I don't.

> Would the MinGW package produce extensionless files as well?

No.  The MinGW package is more Windows and less Unix than Cygwin.