[functional] ML on PC

Article View: comp.archives

Article #4882

#4882

From: Olof Johansson
Date: Mon, 13 May 1991 06:29

61 lines
2728 bytes

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

Technical Details

Message-ID: <1991May13.062908.24995@ox.com>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!caen!ox.com!msen.com!emv

References: <1991Apr30.104017.2399@cs.umu.se>

Show Full Headers

Complete Article Headers

Newsgroups: comp.archives
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!caen!ox.com!msen.com!emv
From: olof@cs.umu.se (Olof Johansson)
Subject: [functional] ML on PC
Message-ID: <1991May13.062908.24995@ox.com>
Followup-To: comp.lang.functional
Sender: emv@msen.com (Edward Vielmetti, MSEN)
Reply-To: olof@cs.umu.se (Olof Johansson)
Organization: Dep. of Info.Proc, Umea Univ., Sweden
References: <1991Apr30.104017.2399@cs.umu.se>
Date: Mon, 13 May 1991 06:29:08 GMT
Approved: emv@msen.com (Edward Vielmetti, MSEN)
X-Original-Newsgroups: comp.lang.functional

Reply to Parent Message