olof@cs.umu.se (Olof Johansson) (04/30/91)
An implementation of a subset of SML for a PC is now available on
anonymous ftp from ftp.cs.umu.se /pub/umlexe01.uue.
Including the readme file:
----------------------------------------------------------------------------
microML (uML) a subset of SML
Version 0.1 alpha , April 1991
This file gives a brief description of microML.
This software comes with ABSOLUTELY NO WARRANTY.
uML is an interpretator for a subset of Standard ML where modules
and records are excluded.
Usage:
uml [setupfile]
Hardware demands:
The program runs under MS-DOS on IBM-PC compatible computers, but
we recommend at least an i286 based computer.
To get the best performance remove all unneccessary TSR programs.
The following components have (known) bugs:
- Exception handling.
- The check of pattern match exhaustivness.
- Function/expression typing may not contain type variables.
- Please note that this is an alpha release, so don't be surprised if
other bugs appear.
Differences from SML:
- An operator may not be declared infix before its definition.
- The "op" keyword is not yet implemented.
- Polymorphic types are not allowed in ref expression.
Olof Johansson olof@cs.umu.se
Roger Mahler mahler@cs.umu.se
----------------------------------------------------------------------------
- Olof Johansson Institute of Information Processing -
- University of Umea S-901 97 UMEA SWEDEN -
- olof@cs.umu.se Ph: +46 090-166791 Fax: +46 090-166126 -
----------------------------------------------------------------------------