EnglishFrenchSpanish

OnWorks favicon

sml - Online in the Cloud

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

This is the command sml 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

PROGRAM:

NAME


sml - an interactive Standard ML system

SYNOPSIS


sml [SML-OPTIONS] [OPTIONS] [FILES]

DESCRIPTION


It is an incremental, interactive compiler that accepts declarations and expressions to be
evaluated from standard input.

OPTIONS


@SMLload=IMAGE
specifies heap image

@SMLrun=RUNTIME
specifies runtime system

@SMLversion
echo the version of SML/NJ to standard output and then exit

@SMLsuffix
echo the heap suffix for the system to standard output and then exit

@SMLalloc=SIZE
Specify the prefered sice of the

@SMLcmdname=NAME
set the command name; this is the value returned by CommandLine.name().

@SMLverbose
show heap image load progress

@SMLquiet
load heap image silently (default)

@SMLobjects
show list of executable objects

@SMLdebug=FILE
write debugging info to file

-Cctl=value
set the control ctl to value.

-Dname=value
define the CM variable name to have the given value.

-D'name
define the CM variable name to have the value 1.

-Uname
remove any definition of the CM variable name.

-H
produce complete help listing

-h
produce minimal help listing

-hlevel
help with obscurity limit

-S
list all the controls along with their default value

-slevel
limited list of settings. The number of levels of the control heirarchy is controled
by level, with 0 printing just the root of the heirarchy.

-E
list all the controls along with their corresponding environment variables

-elevel
limited list of environment variables; The number of levels of the control heirarchy
is controled by level, with 0 printing just the root of the heirarchy.

-m
switch to CM.make

-a
switch to CM.autoload; default

file.cm
run CM.make or CM.autoload on file.cm and then return to the SML prompt. Which command
is run is determined by the -m and -a flags.

file.sig
execute usefile.sig before entering the SML top-level loop.

file.sml
(use) execute usefile.sml before entering the SML top-level loop.

file.fun
(use) execute usefile.fun before entering the SML top-level loop.

Use sml online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    strace
    strace
    The strace project has been moved to
    https://strace.io. strace is a
    diagnostic, debugging and instructional
    userspace tracer for Linux. It is used
    to monitor a...
    Download strace
  • 2
    gMKVExtractGUI
    gMKVExtractGUI
    A GUI for mkvextract utility (part of
    MKVToolNix) which incorporates most (if
    not all) functionality of mkvextract and
    mkvinfo utilities. Written in C#NET 4.0,...
    Download gMKVExtractGUI
  • 3
    JasperReports Library
    JasperReports Library
    JasperReports Library is the
    world's most popular open source
    business intelligence and reporting
    engine. It is entirely written in Java
    and it is able to ...
    Download JasperReports Library
  • 4
    Frappe Books
    Frappe Books
    Frappe Books is a free and open source
    desktop book-keeping software that's
    simple and well-designed to be used by
    small businesses and freelancers. It'...
    Download Frappe Books
  • 5
    Numerical Python
    Numerical Python
    NEWS: NumPy 1.11.2 is the last release
    that will be made on sourceforge. Wheels
    for Windows, Mac, and Linux as well as
    archived source distributions can be fou...
    Download Numerical Python
  • 6
    CMU Sphinx
    CMU Sphinx
    CMUSphinx is a speaker-independent large
    vocabulary continuous speech recognizer
    released under BSD style license. It is
    also a collection of open source tools ...
    Download CMU Sphinx
  • More »

Linux commands

crm
crm
Use crm online using onworks.net
services. ...
Run crm
  • 4
    crmgr
    crmgr
    crmgr - administration utility for QDBM
    Curia ...
    Run crmgr
  • 5
    gappletviewer
    gappletviewer
    gappletviewer - Load and runs an applet
    ...
    Run gappletviewer
  • 6
    gaps
    gaps
    mummer - package for sequence alignment
    of multiple genomes ...
    Run gaps
  • s-processed="true">
    g15stats
    g15stats - A CPU/Memory/Swap usage
    meter for G15Daemon DESCRIPTION: The
    packages provides the following usage
    meter for LCD on some Logitech
    keyboards, usind g...
    Run g15stats
  • More »
  • Ad