merged changes from main trunk

added let-bound structures, but they do not work right

in the middle of hacking the plugin stuff

more fuzzing around with the plugin stuff (I am still learning my
way around the elaborator, basically)

more plugin hacking

started implementation of plugin support

This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

VARexp changed to take whole instantiated type

eliminating type from primop info

This commit was manufactured by cvs2svn to create branch
'primop-branch'.

added missing stuff to sml-basis.idl and friends;
filled in missing parts of date.sml

added sml-basis.idl (for reference)

filled in more of the date stuff;
made OS.Path raise InvalidArc where appropriate;
small tweaks to idl-generated files to make things compile for now

more filling of gaps

provided implementations for fromUnixPath and toUnixPath

provided scan and fromString in IEEEReal

fixed and exported various missing slice modules

changed iodesc type to word; implemented text readers and writers

made everything compile; there are still holes to be fixed

made more stuff compile; now stuck in MLRISC-related library code

merged all changes from main trunk

This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

This commit was manufactured by cvs2svn to create branch
'shao-private-devel'.

merged changes up to latest status of MainTrunk;
Basis still compiles (and is still incomplete in parts);
smlnj-lib does not compile because of changes to Basis signatures

This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

forgot to commit the substring module in init.cmi

Basis compiles for now;
Date module still has big holes;
NJ still needs to be converted

begun to rebuild the IO tower and the
generic OS stuff based on SMLBasis;  OS-specific code has been disabled
in sources.cm for now

dealing with OS and IO issues

begun to do something about Time

more inching forward;
there are several unresolved issues that I decided to ignore for
now (usually by just raising a signal);
current sticking point: Time.time vs. SMLBasis.Time_t

more fixup work

latest idl version for sml-basis*.sml

map signatures in MONO_VECTOR_SLICE fixed(?)

moved to latest sml-basis-sig.sml;
converted some more code

some work towards making vectors and arrays compile;
by far not everything is done yet, plus, there still seem to be
some discrepancies between our signatures and the Basis spec

CharArray.vector added; Real64ArraySlice is back

adding real64-array-slice.sml and a fix to word8-array-slice.sml

merged changes from main trunk;
some typos etc. fixed (but still does not compile yet)

adding list-sig.sml, SML90-sig.sml

adding sml-basis files

adding sml-basis-sig.sml and sml-basis.sml

adding isSubstring

adding new -sig files

adding new files

adding array-slice-sig.sml

This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

*** empty log message ***

This commit was manufactured by cvs2svn to create branch 'smlnj'.

This commit was manufactured by cvs2svn to create branch 'ckit'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'smlnj'.

version 110.25.1

version 110.25

version 110.25

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.24

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.23

version 110.23

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.22

version 110.22

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.21

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.20

version 110.20

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.19

version 110.19

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.17

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.16.1

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.16

version 110.16

version 110.16

version 110.16

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.15

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.14

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.13

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.12

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.11

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version 110.10

version 110.10

version 110.10

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

version $version

version $version

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Release_110_8_1

110.8

110.8

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Release_110_8

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Release_110_7_3

  Release_110_7_2

  Release_110_7_1

removed deleted files

110.7

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

removed files from older versions

110.6

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

110.5.1 from Zhong

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

*** empty log message ***

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'FLINT'.

*** empty log message ***

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

*** empty log message ***

This commit was manufactured by cvs2svn to create branch 'FLINT'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

*** empty log message ***

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

*** empty log message ***

This commit was manufactured by cvs2svn to create branch 'FLINT'.

This commit was manufactured by cvs2svn to create branch 'FLINT'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

This commit was manufactured by cvs2svn to create branch 'FLINT'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

*** empty log message ***

This commit was manufactured by cvs2svn to create branch 'FLINT'.

This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

New repository initialized by cvs2svn.