Filewatcher File Search File Search
Catalog
Content Search
» » » » »

mlton-basis

Optimizing compiler for Standard ML - basis library

MLton is a whole-program optimizing compiler for Standard ML. MLton generates standalone executables with excellent runtime performance, is SML 97 compliant, and has a complete basis library. MLton has source-level profiling, a fast C FFI, an interface to the GNU multiprecision library, and lots of useful libraries.

This package includes the cross-platform basis.

Homepage:
Package version:20100608-5
Architecture:all
Distribution:Debian
Filename:mlton-basis_20100608-5_all.deb

/usr/lib/mlton/sml/ckit-lib/regression/README

Regression README

Map of regression directory
---------------------------
Test directories
  valid-programs/
  invalid-programs/
  output/
  valid-programs.obs/

SML code for running tests
  sources.cm
  test-fn.sml   defines TestFn
  tests/ instantiations of TestFn
    simplify/   for simplify
      [not active]
    typecheck/  for typecheck
      sources.cm
      typecheck-test.sml  defines str
more»

/usr/lib/mlton/sml/ckit-lib/src/parser/grammar/README

The principal file here is cd.grm.
c.grm and d.grm are derived from it via cpp and should not be edited.

For C:
 1. comment out #define DPARSE
 2. /lib/cpp -P cd.grm > c.grm

For D:
 1. uncomment #define DPARSE
 2. /lib/cpp -P cd.grm > d.grm

Note: "-P" so that don't get control info (e.g. # 218 "cd.grm").



/usr/lib/mlton/sml/mlrisc-lib/IR/README

This directory contains the main IR used by the MLRISC optimizer.
The IR is mainly concerned with control flow and control dependence.
The IR contains the CFG, (post-)dominator tree, control depenence graph,
loop (interval) structure, plus other facets.  

This IR is quite different from the cluster datatype, which is used by the basic
MLRISC system.  In any case the cluster and the CFG are interc
more»

/usr/lib/mlton/sml/mlrisc-lib/Tools/PP/README

This is a simple combinator style pretty printer

/usr/lib/mlton/sml/mlrisc-lib/Tools/README

What's In Here
==============

  This directory contains some tools that I've written for generating
more»

/usr/lib/mlton/sml/mlrisc-lib/Tools/RewriteGen/README

What's in Here
--------------

   This directory contains a simple tool for generating generic map, 
more»

/usr/lib/mlton/sml/mlrisc-lib/Tools/nowhere/README

What is in this directory
------------------------
This directory contains the source to 'nowhere'.

more»

/usr/lib/mlton/sml/mlrisc-lib/aliasing/README

This directory contains various for memory aliasing support.
This is made into a separate directory 
more»

Browse inside mlton-basis_20100608-5_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download mlton-basis_20100608-5_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com