olof@cs.umu.se (Olof Johansson) (05/13/91)
Archive-name: languages/functional/uml/1991-04-30
Archive: ftp.cs.umu.se:/pub/umlexe01.zoo [130.239.1.101]
Original-posting-by: olof@cs.umu.se (Olof Johansson)
Original-subject: ML on PC
Reposted-by: emv@msen.com (Edward Vielmetti, MSEN)
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 -
----------------------------------------------------------------------------
-- comp.archives file verification
ftp.cs.umu.se
-r--r--r-- 1 ftp ftp 108207 Apr 30 10:11 /pub/umlexe01.zoo
found uml ok
ftp.cs.umu.se:/pub/umlexe01.zoo