A Standard ML to C compiler. sml2c is a batch compiler and
compiles only module-level declarations, i.e. signatures,
structures and functors. It provides the same pervasive
environment for the compilation of these programs as SML/NJ.
As a result, module-level programs that run on SML/NJ can be
compiled by sml2c without any changes. Based on SML/NJ
version 0.67 and shares front end and most of its run-time
system, but does not support SML/NJ style debugging and
profiling.
School of Computer Science, Carnegie Mellon University
ftp://dravido.soar.cs.cmu.edu/usr/nemo/sml2c/sml2c.tar.Z.
Linux.
conformance: superset
+ first-class continuations,
+ asynchronous signal handling
+ separate compilation
+ freeze and restart programs
ports: IBM-RT Decstation3100 Omron-Luna-88k Sun-3 Sun-4
386(Mach)
portability: easy, easier than SML/NJ
E-mail: <david.tarditi@cs.cmu.edu>, <peter.lee@cs.cmu.edu>