pick between default and weighted block placement

Tested the jump chain elimination on all architectures (except the
hppa).  This is on by default right now and is profitable for the
alpha and x86, however, it may not be profitable for the sparc and ppc
when compiling the compiler.

The gc test will typically jump to a label at the end of the cluster,
where there is another jump to an external cluster containing the actual
code to invoke gc. This is to allow factoring of common gc invocation
sequences. That is to say, we generate:

	f:
	   testgc
	   ja	L1	% jump if above to L1

	L1:
	   jmp L2


After jump chain elimination the 'ja L1' instructions is converted to
'ja L2'. On the sparc and ppc, many of the 'ja L2' instructions may end
up being implemented in their long form (if L2 is far away) using:

	jbe	L3	% jump if below or equal to L3
        jmp 	L2
     L3:
	...


For large compilation units L2  may be far away.

fixed problem with missing functor parameter

     ML's empty string "" now points to a legal null terminated C string.

      Machine code generation for CALL (relative displacement mode)

  Fixed jump chaining bug.  Indentation fixes.

implemented entry points; NEW BOOTFILES

      Bug fixes for CMOVcc on x86

implemented generic Controls module and used it for
all compiler flags/tuneable knobs/...;
more command-line options accepted (for setting the above controls);
some minor bug fixes

  Changed representation of probabilities and frequencies.

Tested the weighted block placement optimization on all architectures
(except the hppa) using AMPL to generate the block and edge frequencies.
Changes were required in the machine properties to correctly
categorize trap instructions. There is an MLRISC flag
"weighted-block-placement" that can be used to enable weighted block
placement, but this will be ineffective without block/edge
frequencies (coming soon).

*** empty log message ***

(FSplit.split.stfn): Check "split all" before checking
"split nothing" in case the TFN has nothing but RET[v].

fixed downstream problems caused by those Freq type change in MLRISC

  Simplified the fcond type in ml-tree-basis.  Put in a temporary
  fix for a type error in weighted-block-placement-fn.sml.

  Better error messages.

  Added dumpBlock printing routine.

  Uncommented support for FCMP in mltree-gen.sml (this required making
  the Cells structure a functor parameter).

In order to support the block placement optimization, the first
cluster that is generated (called the linkage cluster) contains a jump
to the entry point for the compilation unit. The linkage cluster
contains only one 'function', so block placement will have no effect on
the linkage cluster itself, but all the other clusters have full
freedom in the manner in which they reorder blocks or functions.

On the x86 the typical linkage code that is generated is:
   ----------------------
	.align 2
   L0:
        addl    $L1-L0, 72(%esp)
        jmp     L0


        .align  2
   L1:
   ----------------------

72(%esp) is the memory location for the stdlink register. This
must contain the address of the CPS function being called. In the
above example, it contains the address of  L0; before
calling L1 (the real entry point for the compilation unit), it
must contain the address for L1, and hence

	addl $L1-L0, 72(%esp)

I have tested this on all architectures except the hppa.The increase
in code size is of course negligible.

   Added #[ ... ] expressions to the mlrisc-tools library

  Added comment.

  Dump CFG in block placement order.

bug fixes

  Removed use of polymorphic equality.

  Switch to using probabilities (instead of ints) for BRANCH_PROB annotation.

  New implementation of probabilities.

  removed extra blank line when printing annotations in assembly code

  Documentation update.

  Fixed bugs and added control flags.

  Added control flags.

  Added dump function to CFG module (this can replace the PrintFlowgraph
  functor).

  Removing unused (and incomplete) file.

fix exit edge labels

  Fixed type error.

  Implemented negateConditional.

  The INTO instruction should be marked as an escaping jump.

made types in C and C_Debug coincide; simplifications

fix problem with CM noweb tool;
reworked FFI: enum types;
              the (non-)distinction between incomplete and complete types

    Backedge method.

    A new CPS spill phase.  Compilation of large structures with over
1000 items can now finish before the heat death of the universe.

*** empty log message ***

My earlier commits to install the cfgView were not tested,
however they broke the various CM files used to build the compiler.
This commit is just to fix the problem and I will do a major cleanup
later. Sorry if you stumbled on this.

  Added jump-chain elimination and weighted block placement.

  Added jump-chain elimination and fixed type errors in block placement.

  Expanded comment.

  Added comments.

added a graphical visualization module for cfg

      Minor fix to mlrisc-tools's parser

    Regenerated these files.  They didn't compile.

  Removed SIDEEXIT edge kind and HYPER block kind.  Added FLOWSTO edge kind.

  New file: implementation of Pettis-Hansen block placement.

  Changed specification of negateConditional.

  Sync with master copy.

   Typo

    Minor bug fixes to the mlrisc-tools library

a mix of changes to CM and FFI

forgot to edit CHANGES file

applied bug fix for PQ implementation

typo fixed

last-minute bug fix for installer script

Working release, version 110.39

added CM.State.showBindings (and EnvRef.listBoundSymbols)

ml-nlffigen: cpif mechanism and iptr repository implemented

added additional phantom type constructor to ml-nlffi-lib.cm(tag.sml)

Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
of Isabelle on the x86.

From Allen:
-----------
 I've found the problem:

     in ra-core.sml, I use the counter "blocked" to keep track of the
     true number of elements in the freeze queue.  When the counter goes
     to zero, I skip examining the queue.  But I've messed up the
     bookkeeping in combine():

         else ();
         case !ucol of
           PSEUDO => (if !cntv > 0 then
                 (if !cntu > 0 then blocked := !blocked - 1 else ();
                                    ^^^^^^^^^^^^^^^^^^^^^^^
                  moveu := mergeMoveList(!movev, !moveu)
                 )
              else ();

     combine() is called to coalesce two nodes u and v.
     I think I was thinking that if the move counts of u and v are both
     greater than zero then after they are coalesced then one node is
     removed from the freeze queue.  Apparently I was thinking that
     both u and v are of low degree, but that's clearly not necessarily true.


02/12/2002:
    Here's the patch.  HOL now compiles.

    I don't know how this impact on performance (compile
    time or runtime).  This bug caused the RA (especially on the x86)
    to go thru the potential spill phase when there are still nodes on the
    freeze queue.

bug fix for ml-nlffigen (fptr-rtti-)

added prio-q exports to CML version of smlnj-lib.cm

ml-nlffigen updates; minor Basis updates

  Added priority queue implementation.

added -gensym option to ml-nlffigen

minor fix for a problem with GenSML

110.38.1; new bootfiles; new PID generation scheme; installer improvements

  regenerated x86Peephole.sml

  Use isZeroLE in the definition of isZero.

Compilers that generate assembly code may produce  global labels
whose value is resolved at link time. The various peephole optimization
modules did not take this in account.

TODO. The Labels.addrOf function should really return an option
type so that clients are forced to deal with this issue, rather
than an exception being raised.

  small ommission in the last commit

   Pulled out various utility modules that were embedded in the modules
   of the register allocator. I need these modules for other purposes, but
   they are not complete enough to put into a library (just yet).

  A bug fix from Allen.

  A typo causes extra fstp %st(0)'s to be generated at compensation
edges, which might cause stack underflow traps at runtime.  This
occurs in fft where there are extraneous fstps right before the 'into'
trap instruction (in this case they are harmless since none of the
integers overflow.)

Alignment directives were only recognized as being
text segment directives.

  added support for the comment pseudo op

two small bug fixes: sparc c-calls and ml-nlffigen

     MLRISC bug fixes.  MachineInt.fromString was negating its value.

INSTALL instructions added; install script improved

bug fix and minor improvement to sparc-c-calls

c-calls API modification: paramAlloc callback

  Added hooks for parameter-area management by client to CCalls API.
  Currently, these hooks are not being used.

Now For Real(tm):  Release_110_38

110.38 RETRACTED; bug fixes (real64 and FFI)

     The 'nowhere' program generator (which translates programs
     with where clauses into legal SML) is now an installation target.

Release_110_38

more FFI tweaks and improvements

    Minor lexer bug fixed

*** empty log message ***

   There is a dramatic simplification in the interface to the
   register allocator for RISC architectures as a result of making
   parallel copy instructions explicit.

fix for x86 c-call bug

FFI bug fixes and small interface enhancements

re-pointed config/srcarchiveurl

more FFI fiddling

turned x86-fp on

  Fixed label formatting bug.

  More pseudo-op fixes; added first-cut at MacOS X assembler support.

     Fixed a problem with the handling of CALLs in x86's "fast fp" mode.

  Added Allen's fix for the FP register allocator.

  Fixing formatting of pseudo-ops.

  Fixed generated comment syntax to use C syntax (not SML!).

more fiddling with the FFI interface

  When building the control flowgraph, both comments and labels
  are sensitive to the current  segment (TEXT/non-TEXT) being
  built.

bug fix for external/import declarations

Bug fixes:

  1. Emit a .text at the beginning of an assembly listing.

  2. Implement the ASCIIZ pseudo-op using .ascii and String.toCString.

  fixed various bugs with emitting pseudo-ops

1. Since COPY instructions are no longer native to the architecture,
   a generic functor can be used to implement the expandCopies function.

2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
   TEXT segment.

updates/bug fixes to FFI

  Added code for BSS and SPACE pseudo-ops.

  Added copyrights.

  added BSS and SPACE as basic pseudo-ops

updates to pgraph and, more importantly, to NLFFI

version file updated (config dir)

	Removed the native COPY and FCOPY instructions
	from all the architectures and replaced it with the
	explicit COPY instruction from the previous commit.

	It is now possible to simplify many of the optimizations
	modules that manipulate copies. This has not been
	done in this change.

*** empty log message ***

*** empty log message ***

*** empty log message ***

    Updated peephole modules to match latest MLTREE and instruction
    representation.

 committed missing file

Changed the representation of instructions from being fully abstract
to being partially concrete. That is to say:

  from
	type instruction

  to
	type instr				(* machine instruction *)

	datatype instruction =
	    LIVE of {regs: C.cellset, spilled: C.cellset}
          | KILL of {regs: C.cellset, spilled: C.cellset}
          | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
          | ANNOTATION of {i: instruction, a: Annotations.annotation}
          | INSTR of instr

This makes the handling of certain special instructions that appear on
all architectures easier and uniform.

LIVE and KILL say that a list of registers are live or killed at the
program point where they appear. No spill code is generated when an
element of the 'regs' field is spilled, but the register is moved to
the 'spilled' (which is present, more for debugging than anything else).

LIVE replaces the (now deprecated) DEFFREG instruction on the alpha.
We used to generate:

	DEFFREG f1
	f1 := f2 + f3
        trapb

but now generate:

	f1 := f2 + f3
	trapb
	LIVE {regs=[f1,f2,f3], spilled=[]}

Furthermore, the DEFFREG (hack) required that all floating point instruction
use all registers mentioned in the instruction. Therefore f1 := f2 + f3,
defines f1 and uses [f1,f2,f3]! This hack is no longer required resulting
in a cleaner alpha implementation. (Hopefully, intel will not get rid of
this architecture).

COPYXXX is intended to replace the parallel COPY and FCOPY  available on
all the architectures. This will result in further simplification of the
register allocator that must be aware of them for coalescing purposes, and
will also simplify certain aspects of the machine description that provides
callbacks related to parallel copies.

ANNOTATION should be obvious, and now INSTR represents the honest to God
machine instruction set!

The <arch>/instructions/<arch>Instr.sml files define certain utility
functions for making porting easier -- essentially converting upper case
to lower case. All machine instructions (of type instr) are in upper case,
and the lower case form generates an MLRISC instruction. For example on
the alpha we have:

  datatype instr =
     LDA of {r:cell, b:cell, d:operand}
   | ...

  val lda : {r:cell, b:cell, d:operand} -> instruction
    ...

where lda is just (INSTR o LDA), etc.

Simplified the algorithm used to reach a fixpoint.
This should have been part of 110.37 but I couldn't
get it to work until Allen pointed out the fix.

1. Made the stuff in MLRISC/Tools compile with the new pseudo ops changes.
2. Packaged the stuff in MLRISC/Tools as a library during installation.

added HTML version of README

Release 110.37 -- this time for real.

 endian related functions

  Fixed a bug on non-x86 architectures related to backpatching
  and the new pseudo-ops.

removed obsolete item from README

added README for 110.37

postponed 110.37 because of serious bug

added forgotten .tex-file

Release 110.37 -- see HISTORY

  Implemented a complete redesign of MLRISC pseudo-ops. Now there
  ought to never be any question of incompatabilities with
  pseudo-op syntax expected by host assemblers.

  For now, only modules supporting GAS syntax are implemented
  but more should follow, such as MASM, and vendor assembler
  syntax, e.g. IBM as, Sun as, etc.

  Implemented a complete redesign of MLRISC pseudo-ops. Now there
  ought to never be any question of incompatabilities with
  pseudo-op syntax expected by host assemblers.

  For now, only modules supporting GAS syntax are implemented
  but more should follow, such as MASM, and vendor assembler
  syntax, e.g. IBM as, Sun as, etc.

Initial revision

srcname routed to mlriscgen;
more fiddling with pgraph (portable library graph) code

  Fix for a backpatching bug reported by Allen.

  Because the boundary between short and long span-dependent
  instructions is +/- 128, there are an astounding number of
  span-dependent instructions whose size is over estimated.

  Allen came up with the idea of letting the size of span
  dependent instructions be non-monotonic, for a maxIter
  number of times, after which the size must be monotonically
  increasing.

  This table shows the number of span-dependent instructions
  whose size was over-estimated as a function of maxIter, for the
  file Parse/parse/ml.grm.sml:

     maxIter		# of instructions:
 	10			687
 	20			438
 	30			198
        40			  0

  In compiling the compiler, there is no significant difference in
  compilation speed between maxIter=10 and maxIter=40. Actually,
  my measurements showed that maxIter=40 was a tad faster than
  maxIter=10! Also 96% of the  files in the compiler reach a fix
  point within 13 iterations, so fixing maxIter at 40, while high,
  is okay.

updates to CKIT, CM, NLFFI, and scripts (see HISTORY)

     Fixed parsing of <pat> : <ty> and <exp> : <ty>

   Improved pretty printing of sml ast

  Fixed the x86 c call fp bug described in blume-20010920-slowfp

  Synchronizing with master copy of library.

HISTORY entry for netbsd patch

commited netbsd underscore patch from Chris Richards

X86RA now uses a valid (instead of dummy) PrintFlowgraph module.
Changes from Allen.

The representation of a program point never expected to see more
than 65536 instructions in a basic block!

*** empty log message ***

Updated input to PERL scripts used to generate
MLRISC cm files.

  Changed defineLabel to report an error is one tries to define the same
  label twice in the same cluster.

 fix in assembly output converting mov to set

  Fixed CM files so that CKit builds under 110.0.7.

 removed ir.cm from RA.cm

  Commented out mention of ir.cm, which is probably obsolete.

(fcexp.fcFix.fcEta): Fix typo.

made exnName and exnMessage a bit more robust wrt. ml-build

x86-fast-fp turned off again

minor cleanup of pathname handling in CM
as well as argument handling by the driver shell script

Updated input to PERL scripts used to generate
MLRISC cm files.

Installed patch from Allen to track compiler
environment changes that affect MLRISC/Tools.

  cleanup

  cleanup

added README files

(sml-tyvarseq-re): Fix typo.

fixed mistake in config/preloads; retagged

version 110.36

set x86-fast-fp to true by default

  Added show_edge to exported values.

Added Allen's x86-fp.sml fix

Added Allen's CFG fixes

minimal version of structure Compiler

(loopify.lexp.cfun): Don't forget to empty TFS when TCP is not true.

Typo

HISTORY (fix for bug 1581)

fix for bug 1581

fleshed out README file

Release_110_35

 fixed author of changes

Initial revision

renaming ir to ir-archive

missing files

removed clusters from MLRISC

Initial revision

updates to environments, envrefs, interactive loop

fixed a minor slipup

library debugprof.cm extracted

new organization of compiler libraries

  Converted sml/nj files to use the new CellSet

  Moved CellSets from Cells to CellsBasis.

  More CellsBasis changes for files not used by SML/NJ compiler.

committed Zhongs fix

bug fix in spilling imull instructions

*** empty log message ***

    There was a bug where call instructions would mysteriously
    vanish. The call instruction had to be one that returned
    a floating point value.

*** empty log message ***

*** empty log message ***

(sml-rightalign-and): New defcustom.
(sml-tyvarseq-re): New var.
(sml-font-lock-keywords): Use it.
(sml-imenu-create-index): Don't get confused by tyvarseq's.
(sml-mode-variables): Don't set `comment-column'.
(sml-funname-of-and): New function.
(sml-electric-pipe): Use it.
(sml-find-comment-indent): Try to ignore comment-markers in strings.
(sml-calculate-indentation): Handle closing parens specially.
(sml-indent-pipe): Recognize the case where `and' defines a datatype.
(sml-dangling-sym): Make it work if the symbol is an open-paren.
(sml-indent-default): Change the behavior when preceded by `end',
although I'm not quite sure why.
Understand dangling open-parens.
Properly skip *all* subexpressions of lower precedence.
Allow use of sml-symbol-indent to outdent lines starting with , or ;.
(sml-insert-form): Use preceding-char to avoid bug at bobp.

(sml-mode-menu): Add an explicit t for always-active.
(sml-symbol-indent): Add entries for , and ; and turn into defcustom.

I have dramatically simplified the interface for CELLS in MLRISC.

In summary, the cells interface is broken up into three parts:

  1. CellsBasis : CELLS_BASIS

	CellsBasis is a top level structure and common for all
        architectures.  it contains the definitions of basic datatypes
        and utility  functions over these types.

  2. functor Cells() : CELLS

	Cells generates an interface for CELLS that incorporates the
	specific resources on the target architecture, such as the
	presence of special register classes, their number and size,
	and various useful substructures.

  3. <ARCH>CELLS

	e.g. SparcCells: SPARCCELLS

        <ARCH>CELLS usually contains additional bindings for special
	registers  on the architecture, such as:

		val r0 : cell		(* register zero *)
		val y : cell		(* Y register *)
		val psr : cell		(* processor status register *)
		...

        The structure returned by applying the Cells functor is opened
        in this interface.

The main implication of all this is that the datatypes for cells is
split between CellsBasis and CELLS -- a fairly simple change for user
code.

In the old scheme the CELLS interface had a definitional binding of
the form:

	signature CELLS = sig

 	   structure CellsBasis = CellsBasis

	   ...

        end

With all the sharing constraints that goes on in MLRISC, this old
design  quickly leads to errors such as:

	"structure definition spec inside of sharing ... "


and appears to require an unacceptable amount of sharing and where
constraint hackery.

I think this error message (the interaction of definitional specs and
sharing) requires more explanation on our web page.

Substantial simplification in the CELLS interface

(sml-proc-buffer): Save excursion when calling run-sml.

*** empty log message ***

(sml-mode-menu): Fix activation of `start compiler'.

(sml-syntax-prec): Split ; and , from `in' and `with'.

Put the entry in `Emacs' rather than `Editors'.

(BuildArch): Simplify call to `install-info'.

(sml-mode-menu): Add an explicit t for always-active.

Add more stuff.  It might help for Emacs-19.34.

(test): Use elisp files in current dir.

extensive organizational changes

Some new cases from Makholm Henning.

minor tweaks to 110.34 (and re-tagged)

working version 110.34

handling of varargs made more robust (and different)

made ml-nlffigen handle varargs functions with a bit more grace;
some minor internal improvements to CM

bug in CM fixed (related to compile servers)

typo fixed in CM manual

fixed nasty X86 assembly bug

HISTORY

bug fixes for ml-nlffigen

eXene compiles and works again

CML compiles and works again

un-break fix for bug 1432

fix for long-standing signal handling bug

small update on the sparc c-calls code

c-calls (and NLFFI) implementation for Sparc

several internal changes related to C calls

index-file generation in CM; small changes to c-calls API

some cleanup of NLFFI

README files; small bugfix for ml-nlffigen

Release_110_33

slight tweak to config/install.sh

HISTORY entry for previous commit

ml-nlffigen bug fix; mini-tutorial

Fixed core dump when profiling using the PPC.
The problem was that the PPC cannot distinguish between
div-by-zero and overflow.

bugs in install scripts fixed;
a minor NLFFI API change

added new FFI code to repository

Fixed bugs related to patterns used to generate the
floating point multiple-add and related instructions.

bug fix for cpsopt/contract.sml

  The List.Empty exception was not bound to the pervasive Empty exception

omit frame pointer optimization

omit frame pointer optimization

Initial revision

made certain administrative libraries into CM proxy libraries
(see HISTORY for details);
made a new set of bootfiles

merging changes from devel branch and fixing up some earlier mistakes
(see HISTORY)

    FLDS encoding was missing...

  Synchronizing with master repository.

    Moby related MLRISC changes

install.sh now uses local (working) directory for pcedittmp file

fixed spelling mistake in HISTORY file

merged changes from my devel branch (inML flag twiddling)

110.3.2

Port to Mac OS X

now using tristate logic for ParseControl.underscoreKeywords
   three-way choice: 1. accept as keywords
                     2. accept as (ordinary) keywords
                     3. reject (error)

merged changes from devel branch

added a few more exports to ckit-lib.cm

new set of bootfiles

raw memory access primitives fully implemented;
some CM tweaks

  support for new x86 FFI

corrected earlier goof-up (now compiles under 110.0.x again)

2 changes:
  1.  added .cm files compatible with new (> 110.20) CM
  2.  added recognition of certain gcc-style alternative keywords
      (this is configurabe via a newly added flag)

parallel make works again

new set of bootfiles created

made HISTORY entry

added missing MLTREE.cm file to repository

   x86 optimizations for x := x op y where x is a memory location.

   Support for alternative control-flow, exception handlers added.

adding new files, mostly modules test outputs

removed now-redundant feedback-new.sml

rename feedback.sml to feedback-old.sml, feedback-new.sml to feedback.sml

updated outputs for modules tests 83, 94, 96

new output files (outputs.pre-110.5) for new tests

corrections: bug1582.1.sml -> bug1506.1.sml, bug1602.1.sml

new test cases

   Minor fixes to alpha code generator

bug fixes

update

  Synchronizing Yale repository with master copy.

 Synchronizing Yale repository with master version of SML/NJ Library.

new version in mltree

allow escapes for arrow characters

forgot the HISTORY file

merging changes from private devel branch

*** empty log message ***

made new bootfiles

syncing with my private branch

   Support for MOV[SZ][BW]L on the x86...

    Merging the types labexp and mltree.
    tag leunga-20010111-labexp=mltree

merging changes from private branch

merging changes from private branch

merging changes from private branch

merging changes from private branch

*** empty log message ***

(install): Also install .el files.
(dist): Don't rely on $CVSROOT.

Require `skeleton'.
(sml-mode): Add the menu for XEmacs.  Make sure @ is a valid skeleton.
(sml-comment-indent): Remove.
(sml-mode-variables): Don't set comment-indent-function.
(sml-def-skeleton): Nop if skeletons aren't available.
(skeletons): Use `> _' and `@'.
(sml-forms-menu): Don't bother with easy-menu-filter-return crap.
(sml-cm-mode-syntax-table, sml-cm-font-lock-keywords): New vars.
(sml-cm-mode): Use define-derived-mode rather than define-generic-mode.
(sml-lex-font-lock-keywords, sml-lex-font-lock-defaults): New vars.
(sml-yacc-font-lock-keywords): Use sml-lex-font-lock-keywords.
Refine pattern to recognize the %prec keyword.
(sml-yacc-font-lock-defaults): Fix typo.

(sml-mode-menu): Remove bogus entry for sml-mode-version.

Simplify/massacre.

(inferior-sml-mode): Disable next-error for XEmacs.

(defsyntax): Don't forget to eval `doc'.

updated config/{version,srcarchiveurl}; corrected earlier HISTORY entry

infinite precision in MLRISC

merging changes from private branch

merging changes from private branch

merging changes from private branch

merging changes from private branch

dir tool added

   Added andb, xorb, orb, notb, << and ~>> in IntInf.   Untested.
   Tag: leunga-20001214-int-inf

fix for bug 1576

updated version numbers in config directory

    Slight improvements to a code generator tool.

  Changes to bring Yale repository in sync with the master repository.

release 110.31

    A slight problem fixed.

   Clean up

   New machine descriptions...

    Forgot these...

   A CVS update record!

   Changed type cell from int to datatype, and numerous other changes.
   Affect every client of MLRISC.  Lal says this can be bootstrapped on all
   machines.  See smlnj/HISTORY for details.

   Tag:  leunga-20001207-cell-monster-hack

merging changes from private branch

merging changes from private branch

  Fixed bug 1585 --- getpeername was returning wrong type.

  Removed old script file.

  Added locale variable fix so that sorting works correctly
  under RedHat 7.0.

fixed installation problem (adjusted .cm file to work with latests CM)

further improvements to link traversals and (as a result) autoloading;
See HISTORY for how to bootstrap!

more CM tool tweaks; no HISTORY entry for this one

merging recent changes related to autoloading and tool plugins

merge latest changes related to autoloading

merged the big housecleaning patch (see HISTORY!)

Address change.

A new x86 floating point code generator.  By default it is off.
See HISTORY for details.   CVS tag=leunga-20001110-new-x86-fp

  make file for ppc linux

code duplication cleanup (merge from private branch)

  Complete fix for bug 1514.

  Fix for bug 1582.

  Removed unused VREGS macro.

  Removed obsolete -DVREGS flag.

  Runtime cleanup was commented out for some reason.

*** empty log message ***

 fix for sh error on linux machines

*** empty log message ***

updated config/version and config/srcarchiveurl

 notes on adding primops to the compiler

support for sqrt and trig functions on the x86

merging recent changes

added conditional compilation in init library; BOOTFILES

Missed these...
Tag: leunga-20001023-demo-ra

Minor changes to RA.  Added MLRISC demo files.
Tag: leunga-20001023-demo-ra

updates to ml-yacc examples; no HISTORY entry (not worth it)

merge another error message bug fix

merge my changes for 110.30; NOW BOOTFILES!

Typo

*** empty log message ***

Make the toplevel closer to usual practice.
(sml-imenu-regexp, sml-imenu-create-index): New var and fun.
(sml-mode): Use them.
(sml-beginning-of-defun): Add `and' as function-leader.
(sml-lex-mode): New trivial mode.
(sml-yacc-bnf-face, sml-yacc-indent-action, sml-yacc-indent-pipe)
(sml-yacc-indent-term, sml-yacc-font-lock-keywords)
(sml-yacc-font-lock-defaults): New vars.
(sml-yacc-indent-line, sml-yacc-indentation, sml-yacc-mode): New funs.

* sml-mode.texi: Added yours truly to the list of authors.
* sml-mode.spec: New file.
* sml-defs.el (sml-outline-regexp): Slightly improved regexp.

  changed the node status datatype

  Synchronizing Yale repository with master copy of eXene.

merge with small tweak to CM (avoid repeated errmsg)

  Syncing Yale repository with master copy of SML/NJ library (see CHANGES
  file for details).

new boot files (and new URL) because yacc/lex did not install properly

* sml-proc.el (inferior-sml-mode-map): Don't inherit from sml-bindings.
Add the binding for C-c C-l explicitly instead.
(sml-run): Look in cwd (but only if the command has slashes).

* sml-mode.el (sml-mode-abbrev-table): Remove (created by
define-derived-mode).
(sml-mode): Setup add-log's current-defun-function.
(sml-indent-line): Never indent to a negative level.
(sml-skip-siblings, sml-beginning-of-defun, sml-max-name-components)
(sml-current-fun-name): New funs and vars for add-log support.
(sml-comment-indent): Simplify.
(sml-def-skeleton): Also create the skeleton as an abbrev.
(skeletons): New for "struct", "sig", "val", "fn" and "fun".
(sml-electric-space): Rewrite to use abbrev's machinery.

* sml-defs.el (sml-mode-map): merge with sml-bindings.
(sml-bindings): Remove.

(FLINTComp.flintcomp): Convert named type vars
in `fi' back into deBruijn indices since this is still the
representation used outside of flintcomp (i.e. in LSplitInline).

(CompileF.codegen): Remove dead code.
Enforce the `nosplit' directive by dropping inlineExp if requested.

HISTORY entry

merge minor update to CM manual from devel branch into main trunk;
(this is just to be fully in sync before I leave for Germany)

   Stuff related to scheduling, SSA, x86, C-- and Moby.
   Tag: leunga-20000807-a-whole-bunch-of-stuff

  support for PPC Linux

  support for PPC Linux

more assorted script enhancements

ml-makedepend added

URL updated in BOOT and config/srcarchiveurl

fixed bug in config/preloads

  Bringing Yale copy of library in sync with my master copy.

added README file for 110.29

built 110.29

another small update to CM manual stuff;
(I did not make a new HISTORY entry for this, but I re-tagged)

typos in CM manual

   Bug fixes for sparc and x86.  Affects c-- and moby.

CM manual updates; BTrace.trigger added again

fixed tiny typo in manual; retagged but, sorry, no HISTORY entry

merging CM manual updates

even better BTrace;
modifications to how the yacc tool handles options

merging latest improvements (CM, BTrace)

merge CM and BTrace changes

fix to startup slowdown

new back-trace facility added; see HISTORY

nearly trivial typographic fix to CM manual
(shoot me, but I did not make a HISTORY entry for this one)

CM manual update: path environments

preliminary CM manual update

bugfix in SrcPath module

implicit anchors gone; update to previous HISTORY entry

Avoid the [^..] construct that some shells don't seem to understand.

*** empty log message ***

2000-06-16  Fixed the abcOpt phase. See FLINT/ChangeLog for details.

merging back my devel changes (anchor environments)

Fixed bug 14 -- see HISTORY.
Flag in config was temporarily changed and not set back.

Added 239.c

Fixed comma-question bug (from Olivier Tardieu).

question colon case was:
   expr QUESTION expr COLON expr

and should be:
   expr QUESTION exprWComma COLON expr

Full code of fix:

 expr QUESTION exprWComma COLON expr %prec QUESTION (markExpression srcMap
(QuestionColon(expr1,exprWComma1,expr2),expr1left,expr2right))

Allow @SMLfoo arguments without an explicit heap image.

Use 256K of allocation area for 512K of cache.  Seems faster here.

   x86 peephole fix by Fermin.  Affects c-- and moby only.
   cvs tag: leunga-20000615-x86-peephole

Typos.

fixed file names for parallel make

     None of these changes should affect SML/NJ.  See HISTORY file for details.
     CVS Tag=leunga-20000609-various

removed RCS log entries; smal bug fix to ml-yacc and ml-lex

added missing ml-yacc examples files

fix for bug 19

merge-back from my devel branch; see HISTORY

merging changes from devel branch; new boot files

bring revisions from the vendor branch to the trunk

fixed numbering in bug list

updated bug list

   Fixed a non-critical bug in the register allocator

*** empty log message ***

  Slight cleanup on the Alpha.
  Added a bunch of instructions to the x86 instruction set.
  The module ra-rewrite-with-renaming has been improved.
  These should have no effect on SML/NJ.
  CVS tag=leunga-20000515-alpha-x86-ra

merging changes from devel branch; see HISTORY

fixed important anchor-related bug in ml-build

merged my path anchor changes into main trunk
more config/srcarchiveurl! YOU NEED NEW BINFILES more config/srcarchiveurl!
Read HISTORY and src/system/README!

CM.sources implemented; CM.makedepend dropped

    Various bug fixes and new features for C--, Moby and MLRISC optimizations.
    See smlnj/HISTORY for details.  CVS tag: leunga-20000510-moby-c--ssa

  Fermin has found a few assembly problems with constant expressions
  generated in LabelExp.  Mostly, the problems involve extra parentheses,
  which choke on dumb assemblers.  This is his fix.

merged Olivier's changes for locations and the lex position fix

html cleanup

created 110.28 README files

corrected tag

Version 110.28

merged changes from devel branch (added noweb tool)

fixes for bugs 1498 and 1510

merged pending changes into main trunk; see HISTORY; new binfiles!!

fixed install.sh (bug 1563)

added .fun as a file name suffix known to CM

1. Alpha

   PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
   in C--.

2. RA

   Added a flag "ra-dump-size" to print out the size of the flowgraph
   and the interference graph.

update ml-yacc documentation and examples for 110.*

* opt/flintopt.txt: New file.
* main/control.sml (phases): Move loopify+fixfix to before wrap.
* cpsopt/cpsopt.sml (zeroexpand): New function.
* TopLevel/viscomp/control.sml (cpsopt): Add `zeroexpand' to reduce
RA-blowup when compiling ml.grm.sml.

* opt/abcopt.sml: New file.
* main/flintcomp.sml: Change `Compiler' to `FLINT' or `CPS' in the
name of phases printed by Compiler.Stats.
(abcopt): New phase.
* viscomp-core.cm: Add FLINT.opt/abcopt.sml.

   This update synchronizes my repository with Yale's.  Most of these
changes are related to C--, Moby, and my optimizations.  It should have
little impact on SML/NJ.

   CVS tag leunga-20000420-ssa-c---stuff

* TopLevel/viscomp/control.sml (cpsopt): Use last_contract rather than
first_contract because dropargs is needed to avoid blowing up
the register allocator.

* main/control.sml (phases): Move loopify (and its fixfix) to before
`reify' (while still keeping a fixfix after reify).
* TopLevel/viscomp/control.sml (cpsopt): Remove all but first_contract.
* TopLevel/interact/evalloop.sml (loop): Don't hide compiler errors.

(curry): Make sure that uncurrying will not make a
function recursive, but allow uncurrying a mix of functor and function
in some restricted cases.
(uncurry): Properly handle the new functor/function case.
(SWITCH): Don't change the ordering while folding over the arms.
Plus some cosmetic code movements to avoid long lines.

html version of 110.27-README

summary edited; distribution files listed

110.27-README edited some more

Edited the MLRISC/mlriscGen summary for release 110.27

added info on new distribution file names

changed install.sh script to use/handle shorter archive names

srcarchiveurl patched (again -- was wrong)

srcarchiveurl patched

Initial revision

*** empty log message ***

MLRISC.cm

Version 110.27

   Assembly fix for x86 and other miscellaneous changes to MLRISC

Oops, forgot about this one.
What kind of file format is that ?

* opt/switchoff.sml: Remove.
* reps/equal.sml: Rewritten to generate more CPS-like code.
* opt/fcontract.sml (fcLet): re-introduced the branch/switch code,
but without the deadly multiple traversals.
* */control.sml: Less flintopt and more cpsopt.

*** empty log message ***

    Forgot these files in the last update

    New peephole code, improvements to x86 instruction selection, and
    fixes for SSA and the machine description tool.

    CVS tag=leunga-20000406-peephole-x86-SSA

  x86 instructions to support c-calls

Initial revision

  SML/NJ library synch.

merging last bits before 110.27 code freeze

      Changes to assembly output and fixes a bug in the x86 assembler
      CVS tag=leunga-20000404-x86-asm

    Fixes related to C--, Moby and my optimizations.
    CVS tag=leunga-20000404-C--Moby

merging branch blume_devel_v110p26p2_1 (elimination of corenv)

   1. Renamed the constructor CALL in MLTREE by popular demand.
   2. Added a bunch of files from my repository.  These are currently
      used by other non-SMLNJ backends.

   This update contains a new module for extracting aliasing information.
   CVS tag: leunga-20000331-aliasing

fixes for c-libraries.c and bug 1556

changes to modmap generator and CM tool parameter mechanism (see HISTORY)

merging back development branch blume_devel_v110p26p1_3...
This involves changes to CM and the removal of CMStaticEnv from
the compiler.  See the HISTORY file for more information.

   Fixed a slight problem with gc types annotations.

   To turn on gc types, do this:

       CM.autoload "sml/compiler.cm";
       Compiler.Control.MLRISC.getFlag "mlrisc-gc-types" := true;

   This update contains major changes to the code generator and various
back ends.  Please see the entry leunga-20000327-mlriscGen_hppa_alpha_x86
in the file sml/HISTORY for details.

(saveLvarNames): Set it back to false (for faster smaller compiler).

1. X86 fixes/changes

   a.  The old code generated for SETcc was completely wrong.
       The Intel optimization guide is VERY misleading.

2. ALPHA fixes/changes

   a.  Added the instructions LDBU, LDWU, STB, STW as per Fermin's suggestion.
   b.  Added a new mode byteWordLoadStores to the functor parameter to Alpha()
   c.  Added reassociation code for address computation.

(ANDALSO, ORELSE): Change associativity to `right'.

(member.checkowner): Add missing parenthesis.

*** empty log message ***

1. X86 fixes/changes

   a.  x86Rewrite bug with MUL3 (found by Lal)
   b.  Added the instructions FSTS, FSTL

2. PA-RISC fixes/changes

   a.  B label should not be a delay slot candidate!  Why did this work?
   b.  ADDT(32, REG(32, r), LI n) now generates one instruction instead of two,
       as it should be.
   c.  The assembly syntax for fstds and fstdd was wrong.
   d.  Added the composite instruction COMICLR/LDO, which is the immediate
       operand variant of COMCLR/LDO.

3. Generic MLRISC

   a.  shuffle.sml rewritten to be slightly more efficient
   b.  DIV bug in mltree-simplify fixed (found by Fermin)

4. Register Allocator

   a.  I now release the interference graph earlier during spilling.
       May improve memory usage.

merging back blume_devel_v110p26p1_1

improved version of Dave's fixpt script added

More assembly output problems involving the indexed addressing mode
on the x86 have been found and corrected. Thanks to Fermin Reig for the
fix.

The interface and implementation of the register allocator have been changed
slightly to accommodate the possibility to skip the register allocation
phases completely and go directly to memory allocation.  This is needed
for C-- use.

This fix only affects the x86 assembly output.

BOOT and HISTORY file for blume_main_v110p26p1_0

files deleted that came back from the dead (CVS problem?)

merging back changes from blume_devel_v110_26_2

BOOT and HISTORY updated

BOOT file creation

HISTORY file creation

- size info in BOOTLIST
     * no fixed upper limits for number of bootfiles or length of
       bootfile names in runtime
     * falling back to old behavior if no BOOTLIST size info found
- allocation size heuristics in .run-sml
     * tries to read cache size from /proc/cpuinfo (this is important for
        small-cache Celeron systems!)
- install.sh robustified
- CM manual updates
- paranoid mode
     * no more CMB.deliver() (i.e., all done by CMB.make())
     * can re-use existing sml.boot.* files
     * init.cmi now treated as library
     * library stamps for consistency checks
- sml.boot.<arch>-<os>/PIDMAP file
     * This file is read by the CM startup code.  This is used to minimize
       the amount of dynamic state that needs to be stowed away for the
       purpose of sharing between interactive system and user code.
- CM.Anchor.anchor instead of CM.Anchor.{set,cancel}
     * Upon request by Elsa.  Anchors now controlled by get-set-pair
       like most other CM state variables.
- Compiler.CMSA eliminated
     * No longer supported by CM anyway.
- fixed bugs in pickler that kept biting Stefan
     * past refs to past refs (was caused by the possibility that
       ad-hoc sharing is more discriminating than hash-cons sharing)
     * integer overflow on LargeInt.minInt
- ml-{lex,yacc} build scripts now use new mechanism
  for building standalone programs
- fixed several gcc -Wall warnings that were caused by missing header
  files, missing initializations, etc., in runtime (not all warnings
  eliminated, though)

build script now uses new mechanism for building stanalone programs

Updated documentation on MLTree Extensions provided by Lal.

fixed misplaced expand-file-name in sml-proc.el

Fix up a few floating point bugs on the x86 that are discovered by Fermin.
Rewritten the Sethi-Ullman code.  Added new FP instructions to the x86,
including FIxxxx, FCOMxx, and FLDxx.

lal-20000303- deleted old callgc files

lal-20000303-new mltree -- take II

lal-20000303-support for C calls

Initial revision

Initial revision

lal-20000303-new mltree -- take II

lal-20000302-missing file

 new mltree

revised README with [basis/tests setup] note

revised README

Initial revision

New documentation files for MLRISC.  This version includes MLTREE extensions.

  Changes to MLTREE

  Changes to MLTREE

* sml-mode.el (sml-find-matching-starter): Use a list of syms instead of a
  regexp.
(sml-indent-default): Use symbol membership rather than a regexp.
  Also, use `sym-indent' instead of (current-column).  This fixes a problem
  with a hanging `structure Foo = (struct|let)' (due to `structure' having
  a sml-indent-rule, as opposed to `fun').  Hopefully it won't introduce
  other problems.
(sml-font-lock-keywords): Match vars `val x : int' also.
(sml-electric-pipe): Update to the new `sml-find-matching-starter' and
  return a sensible default instead of raising an error in case of
  unexpected situations.
(sml-indent-line): Ignore errors and keep the cursor where it is.
(sml-calculate-indentation, sml-indent-pipe): Use syms instead of regexps.
* sml-defs.el (sml-starters-re, sml-pipehead-re): Remove.
* testcases.sml: New file.
* makefile.pkg (test): new target to run the test suite.

added missing initialization to numFiles in runtime boot code

*** empty log message ***

Pass through checkdoc and use `eval-when-compile' whenever
possible for (require 'cl).

*** empty log message ***

Try to allow to run testml from a different directory.

*** empty log message ***

CM changes: standalone builds, better CMB.make/deliver, general improvements

*** empty log message ***

* sml-util.el (make-temp-dir, make-temp-file, temp-file-dir,
  delete-temp-dirs): Replaced by the make-temp-file from Emacs-21.
(custom-create-map): add :group arg and allow key to be a list.
(define-major-mode): Removed (use define-derived-mode instead).
(sml-builtin-nested-comments-flag): New var.

* sml-proc.el (sml-host-name): New var.
(sml-make-file-name): Replaced by `sml-compile-commands'.
(sml-config-file): New var.
(sml-compile-commands-alist): New var.
(inferior-sml-load-hook): Removed.
(sml-buffer): Query if the current buffer is not a *sml*.
(inferior-sml-mode): Use minor-mode-overriding-map-alist to disable
  compilation-minor-mode's keybindings.
(run-sml): Turn into an alias for sml-run.
(sml-run): Query the user for the command.  If prefix is set (or if
  default value is not null) query for args and host.  Use `split-string'
  rather than our own function.  Run cmd on another host if requested and
  pass it an init file if it exists.  Pop to the buffer at the end.
(sml-args-to-list): Remove.
(sml-compile): Look for special files (sml-compile-command-alist) in
  the current dir (and its parents) to choose a default command.  Remember
  the command for next time in the same buffer.  Make the `cd' explicit in
  the command so the user can change it.
(sml-make-error): Fix for when `endline' is absent.

* sml-mode.el: Pass it rhough checkdoc.
(sml-mode-version): Remove.
(sml-load-hook): Remove.
(sml-mode-info): Use `info' rather than `Info-goto-node'.
(sml-keywords-regexp): Add "o".
(sml-syntax-prop-table): Use `defsyntax'.
(sml-font-lock-syntactic-keywords): Only use nested comments if supported.
(sml-mode): Use `define-derived-mode'.
(sml-electric-pipe): `sml-indent-line' -> `indent-according-to-mode'.
(sml-indent-line): Use `indent-line-to'.
(sml-cm-mode): New mode for CM files.

* Makefile: Update.

* sml-mode-startup.el: Remove since it's now autogenerated.

* sml-defs.el (sml-bindings): Remove left over C-c` binding.
(sml-mode-map): Add binding for sml-drag-region (was in sml-proc.el).
(sml-mode-syntax-table): Only use nested comments if supported.
(sml-mode-menu): Use next-error rather than the old sml-next-error.
(sml-pipehead-re): Remove "of".

* sml-compat.el (set-keymap-=parents): Make sure it also works when called
  with a single keymap rather than a list.
(temporary-file-directory): Add a default definition for XEmacs.
(make-temp-file): New function.

Undoing David's spurious change.

*** empty log message ***

*** empty log message ***

(ilhint): Comment fix.

(fcLet/cassoc): don't do a second pass over the output of the rewrite.
  It leads to quadratic behavior for `x1 andalso x2 ...'.

*** empty log message ***

TODO and manual update

forced ml-lex and ml-yacc plugins pre-loaded for -rebuild to work

tool command names now configurable via pathconfig mechanism

using pathconfig for tool command names

two-stage fallback to accomodate config values in plugin modules

*** empty log message ***

make definition of ALLOC agree with that in config/install.sh

Allen's fix for gc code generation problem

implemented CM tool plugins

added some copyright notices

tool plugins implemented

  Removed info files generated by ML-Doc tool.

accidental change to config/targets corrected (default targets)

pickler bug fixes; some cosmetic changes

more careful cleaning when seeing/creating stable libs

tweaking the (un)pickler

added testml/installml back, this time with execute permission

deleted testml/installml so that I can add them back with execute permissions

testml, installml made executable; system.tar deleted

*** empty log message ***

*** empty log message ***

conserve_memory off by default; done anyway at bootstrap time; docu update

The compiler now compiles to a fix point but "split" still
doesn't work because of a problem with the pickler.

pickle dropper

the 110.25 merge compiles

This commit was generated by cvs2svn to compensate for changes in r502,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r500,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r498,
which included commits to RCS files with non-trunk default branches.

Initial revision

preloading made configurable; bare builds working again

memoize put into its own module

Tools cleaned up

relative osstrings; groupsOf

added cleanGroup after reading stable library

cmdline: dflt = autoload; comp->sml

somewhat functional

*** empty log message ***

smlinfo registry handled better; dia test; manual updates

deadlock in the case of crashing servers eliminated

IntRedBlackMap -> IntMap

master-slave implementation improved; now more robust against slave crashes

comment in cm-boot.sml updated

version number in manual corrected

manual updated

slave implementation put into separate file

minimal/full CM separated

cosmetic changes to concurrency modules

auto-merged to 110.24

This commit was generated by cvs2svn to compensate for changes in r475,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r471,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r469,
which included commits to RCS files with non-trunk default branches.

Initial revision

*** empty log message ***

dummy-server fixed; comments; cosmetics

concur moved; remote pathname cleanup; no dependence on target-compilers

library dependenies reorganized (viscomp-core.cm etc.)

error recovery during compile traversal finally correct (hopefully)

filtering and rehashing fixed; Servers.reset added where necessary

pickle context mostly eliminated

small change to SafeIO; cosmetic fix of master-slave interrupt handling; doc

reset logic (scheduler) fixed

more robust(?) path name protocol

even ordering in master-slave protocol improved

documentation updated

in-degree calculation and prioritizing added

interrupt handling made more robust for compile servers

servers: X-platform, rsh, stabilization now work

CMB.deliver (and probably CM.stabilize) now work with compile servers

improvements on parallel stuff

parallel make basically works (with rough edges)

getting ready for parallel...

prepared for switching to rb-trees (once they work correctly)

registerGroup goof repaired

dynlink chapter added to doc

annoying path confusion bug fixed

small cosmetic correction in code layout

This commit was generated by cvs2svn to compensate for changes in r441,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r439,
which included commits to RCS files with non-trunk default branches.

Initial revision

in Doc: tabbing changed to tabular env

stable loading is now self-contained; more cycle reporting

CMB.symval added; manual update

symval added; getterSetter changed to { get, set }

memoize in stabilize; faster autoload message; consistent handling of ctxt

merged in 110.21.  It might compile but it should won't work.

This commit was generated by cvs2svn to compensate for changes in r429,
which included commits to RCS files with non-trunk default branches.

Initial revision

destroy_state was called too early in stabilize

unused

cm-tools.cm added

It now compiles

merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

This commit was generated by cvs2svn to compensate for changes in r420,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r418,
which included commits to RCS files with non-trunk default branches.

Initial revision

first draft of manual complete

This commit was generated by cvs2svn to compensate for changes in r413,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r411,
which included commits to RCS files with non-trunk default branches.

Initial revision

some more manual writing

small error fixed in manual

first attempt at some documentation; empty lines in pathconfig files ignored

relative anchors expanded

some small bugs squashed

switchover to new library scheme seems to be completed

comments and some diagnostics added

new stable library format seems to work...

compiles now, compiles itself, but then does not boot

mostly done; need to finish Link

new stable format + improved recompile/link (in progress, not working yet)

old-style operators recognized (with warning message)

Elsa's bug fixed

* sml-mode.texi:  somewhat updated the doc.
* release 3.9.3

* Makefile: updated to the version of pcl-cvs.
* sml-proc.el: eliminated some old unused code.
* sml-defs.el,sml-mode.el,sml-proc.el: added simple customize support.

small changes in the pickler interface

bug in skel-io fixed

slight changes in pickle interface

code discarded in safe cases only

fixed smlinfo.sml; new sharing module should work now

sharing.sml added

just syncing; this version does not work

alpha32x support dropped

stable pickles use more sharing now

skel-io and stabilize use new pickler

exception history printed in recomp.sml

* opt/split.sml: don't burp when you can't split.

bug in cm.lex fixed

aliases eliminated

just updating some comment...

* sml-proc.el (sml-update-cursor): make sure it also works if compile.el
  is fixed to uses a marker.
* sml-mode.el (sml-indent): fix the `fixindent'.

some pathconfig oddness rectified

fixed AutoDir (handling of ..)

unnecessary files deleted; some files moved

small change to AbsPath; NEW_CM dependence eliminated from .cm files

no more canonicalization in AbsPath

traversals separated (private state should now also work with autoloader)

backed out of thin traversals

thin traversals implemented (whew!)

bfc_fetch_xxx bogosity eliminated; more fleshing out of CM

better pathconfig interface + some cosmetic improvements

more bugs/problems eliminated from the list...

handling of cwd corrected

parse caching limit; various control flags exported

more inching towards a usable system

transfer of state during stabilization implemented

bootstrapping now working (it seems)

bootstrapping works now (mainly); PathConfig code cleaned majorly

basic bootstrapping is now working

sparc.sml entry deleted from cm-lib.cm

listfile generation fixed

more work towards being able to bootstrap

error message improved; handling of corenv corrected in btcompile

autoloading added

a host of changes related mostly to pathname handling

various changes in pathname handling etc.

more elaborate pathname handling (for the sake of bt-compiler)

very serious (and stupid!) performance bug killed

* sml-mode-startup.el: fixed to fulfill autoload.el assumptions.

RTPID and BINLIST written

wrapped privileges cleaned up; Overview updated

* sml-defs.el (sml-bindings): removed bindings for TAB and M-C-\
* sml-mode.el (sml-font-lock-keywords): skip type vars in "fun 'a myfn"
(sml-calculate-indentation): add a hack to allow the user to manually
  override the indentation algorithm with a magic comment.
* sml-mode-startup.el: update the autoloads automatically.

IO.Io exception handled in stabilize.sml

error flag in source cancelled; IO vs. interrupts handled more robustly

installation instructions; keep_going off by default

* sml-proc.el (sml-error-regexp-alist): solved the pathological
  font-locking on long lines.

* sml-move.el (sml-forward-sexp): slightly improved.

*** empty log message ***

* sml-mode.el (sml-insert-form): Only add a space if needed.
(sml-electric-space): new command bound to M-SPC.

groups not stabilizable by themselves (sucked into surrounding stable library)

* sml-defs.el (sml-close-paren): added a second field that specifies when
  not to delegate.  Used for zero-indent single-line `if..else'.

Overview added

missing copyright notices added

SymVal implemented

build-initdg now reports binpaths and not sourcepaths

* sml-move.el (sml-(for|back)ward-sym): distinguishes between
  operator "=" and syntax for definitions "d=".
* sml-defs.el (sml-indent-starters, sml-delegate): simplified.
(sml-symbol-indent): added outdentation for `fn' and generalized it to
  also work for `of' and `in' and `end'.
* sml-mode.el (sml-nested-if-indent): reintroduced as well as the special
  casing code for it.
(sml-indent-relative): generalize the treatment of `of', `in', `end', ...
(sml-electric-pipe): removed the slow behavior and added smarts for the
  never-used type-variable arguments for function definitions.
* sml-defs.el (sml-mode-menu), sml-mode.el (sml-forms-menu): make the menu
  dynamically.
* sml-mode.el (sml-form-<foo>): use skeletons.
(sml-calculate-indentation): added `with' indentation.

* sml-move.el (sml-(for|back)ward-sym): now also return the string if any
  and take care of the "op" special keyword.
(sml-op-prec): setup an alist for the infix operators.
* version 3.9.1:  sent to Roland McGrath.

*** empty log message ***

some more tweaking of the bt compiler (still needs more, but basically works)

stablefile format enhanced; bootstrap compiler shows signs of life

bootstrap compiler half-working

*** empty log message ***

bootstrap compiler implemented (still needs list file generator etc.)

switched from mkprimperv.sml to build-initdg.sml (which is a lot cleaner)

a bit more flesh on the bootstrap skeleton

first steps towards bootstrap compiler

more flexible implementation of Primitive module

FilenamePolicy implemented

PathConfig implemented

value cache implemented correctly

First seemingly acceptable new code.

some cleanup; pathconfig modes added; grammar modified (privileges)

some explanatory comments added to link.sml

a few types cleaned up; adding bindings to toplevel implemented

Test tree added to repository

keep_going works now (apparently)

resynchronization facility added (#line)

usage of privileges reported (only a hack)

stabilization code properly hooked in

stabilization code working but only flimsily hooked up

stabilization code completed -- still needs to be hooked up

simplified da-env

more stabilization code (still not done, though)

stabilization code mostly done

some more fiddling with the stablefile pickler

first steps towards stabilize (not finished yet)

dyn-tstamp eliminated; more fiddling with sharing (now checked statically)

bug in handling of private flag fixed

recompile and exec mostly working (probably still bugs in the details)

*** empty log message ***

finished recomp.sml; now only need to put the pieces together

more flesh added to recompile/exec

persistent state/error handling bogosity fixed

improved generated skeletons; copyright notice

most of recompilation/execution machinery in place

first steps towards make/recompile and stable libraries

skeleton code rewritten (should contain no more code inherited from SC)

merged 110.17

new attempt at Skeletons (not quite satisfactory yet)

This commit was generated by cvs2svn to compensate for changes in r289,
which included commits to RCS files with non-trunk default branches.

Initial revision

skeleton type simplified; improved conversion, etc.

This commit was generated by cvs2svn to compensate for changes in r284,
which included commits to RCS files with non-trunk default branches.

full dependency analysis (hopefully) in place

stdtool as function; better depend. graphs, group export grammar fixed

GroupReg added; bad error msg behavior fixed

some cosmetic changes to error reporting

dependency analysis (hopefully) done; some simplifying changes to skeletons

more towards dependency analysis

early beginning of dep. analysis

stdtool; yacc/lex/burg tools; some odd fixes here and there

skeleton stuff added (works); error messages improved; SML export analysis

stage0 -- links fine (for testing); parses correctly (apparently)

checking for group cycles implemented (with nicely formatted error message)

implementation of Tools mechanism added

dummy.sml committed (for now)

semant/members.sml should be fairly complete now

started adding dependency graph stuff

front end completed (modulo bugs)

more fleshing out semant

some small changes + re-commit after server crash(?)

laid foundations for lexer, parser, basic path handling

Initial revision

temporarily turned cpsopt back on

*** empty log message ***

turned the CPS optimizer back on and tamed the FLINT inlining

*** empty log message ***

*** empty log message ***

*** empty log message ***

up'd RAISE size estimate to discourage its inlining

add a space for `prPrimop *' so as to avoid printing `(*'.

cleanup non-exhaustive match warning

detect empty TFN/TAPP early

First try at a merge of 110.16

This commit was generated by cvs2svn to compensate for changes in r249,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r247,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r245,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r243,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r239,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r235,
which included commits to RCS files with non-trunk default branches.

Initial revision