OnWorks favicon

smlsharp - Online in the Cloud

Run smlsharp in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command smlsharp that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator



shlsharp - Standard ML compiler with practical extensions


smlsharp [options] file ...


SML# is a new programming language in the Standard ML family being
developed at RIEC (Research Institute of Electrical Communication),
Tohoku University. Its design goal is to provide practically important
extensions while maintaining the compatibility of the Definition of
Standard ML.


--help print this message

-v verbose mode

-o <file>
place the output to <file>

-c compile only; do not assemble and link

-S compile and assemble; do not link

-M make dependency for compile

-MM make dependency for compile but ignore system files

-Ml make dependency for link

-MMl make dependency for link but ignore system files

check for syntax errors, and exit

check for type errors, and exit

print main entry identifiers, and exit

-I <dir>
add <dir> to file search path

-L <dir>
add <dir> to library path of the linker

-l <libname>
link with <libname> to create an executable file

pass comma-separated <args> to the linker

pass comma-separated <args> to the assembler

set target platform to <target>

no standard file search path is used

-d <key>=<value>
set extra option for compiler developers.

Use smlsharp online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    libjpeg-turbo is a JPEG image codec
    that uses SIMD instructions (MMX, SSE2,
    NEON, AltiVec) to accelerate baseline
    JPEG compression and decompression on
    x86, x8...
    Download libjpeg-turbo
  • 2
    Xtreme Download Manager
    Xtreme Download Manager
    The project has a new home now:
    https://xtremedownloadmanager.com/ For
    https://github.com/subhra74/xdm Xtreme
    Download Manager is a powerful tool t...
    Download Xtreme Download Manager
  • 3
    TTGO VGA32 Lite
    TTGO VGA32 Lite
    Features:4:3 and 16:9 low resolution
    VGA outputPS/2 keyboard and mouse
    inputText-based user interface (TUI)
    with dialog managerPartial Unicode
    supportSlave dis...
    Download TTGO VGA32 Lite
  • 4
    Clover EFI bootloader
    Clover EFI bootloader
    Project has moved to
    Features:Boot macOS, Windows, and Linux
    in UEFI or legacy mode on Mac or PC with
    Download Clover EFI bootloader
  • 5
    Join us in Gitter!
    Enable the URPMS repository in your
    system -
    Download unitedrpms
  • 6
    Boost C++ Libraries
    Boost C++ Libraries
    Boost provides free portable
    peer-reviewed C++ libraries. The
    emphasis is on portable libraries which
    work well with the C++ Standard Library.
    See http://www.bo...
    Download Boost C++ Libraries
  • 7
    VirtualGL redirects 3D commands from a
    Unix/Linux OpenGL application onto a
    server-side GPU and converts the
    rendered 3D images into a video stream
    with which ...
    Download VirtualGL
  • More »

Linux commands