fixed LtyKernel.tc_eqv for TC_FIX case

inl_infPrec still not correct, but getting there...

debugging -- prim precision conversion types do not match in translate.sml inl_infPrec

fixed built-in.sml Word32.toLargeIntX (needed type annotation), num-scan.sml compiles

Narrowed down num-scan.sml type error

streamlined printing, bug/halt on type check error

various debugging changes

fixed parser2.sml problem

minor printing tweaks for debugging lt_inst problem

added further debugging instrumentation

switched all pretty printing to use PrettyPrintNew

updating pplexp.sml to use new pretty printing

partially finished rpplexp.sml to replace pplexp.sml

refining debugging instrumentation

added datatype names to TC_FIX for printing tycs better

pplexp uses new pplty/pptkind pretty printers

debugging info for chklexp and more extensive kind checking

improved error reporting in chkplexp

*** empty log message ***

chkplexp now exports checkLty and checkLtyTop taking and not taking an ltyEnv respectively

updated kind check, ppLty

added printer for kind environments

adding ltykindchk.sml

debugging kind check error

continued instrumentation and commenting for tcc_env bug

debugging plambda type checking

newlines for transtypes warnings

fixed TC_IND/normalized AX_FLAG bug

chkplexp compiles

Kind checking exceptions re-exported through LtyExtern

adding kind checking to chkplexp.sml

lty kind checker and tyc kind checker handle IND cases correctly now

lty kind checker

kind checker moved to lty.sml

kind checker unfolds teBinder list from tycEnv

added TC_ENV checking to kind checker

preparing for kind checking

tycEnv representation change propagated through ltykernel.sml

tycEnv representation change propagated through pplty.sml

lty.sml typos

lty.sml typos

ltyextern subkinding type functions and kind checking error reporting fixes

new representation and interface for tycEnv

kind checking

beginning full FLINT kind checker

completed prototype kind checker

partially done rewrite of tycEnv machinery - not yet correct

added lty.sig, lty.sml in FLINT/kernel

added kindch directory

broke ltykernel into lty and ltykernel, improved pplty

Narrowed down where bad suspension was built

lexp trace of culprit, pplexp (which should be updated to use the PP lib) now uses PPLTy.ppTyc

cleaned up pplty tyc part

made plambda lexp printout dependent on debugging flag

hooked up PPPrim and turned off some debugging printouts

pplty updated to pretty priint rectycs more sensibly

(mutually-)rectype arity checking done

*** empty log message ***

new pretty printer pputil-new

added rule comments to ltykernel.sml

pp for prim, transtype IBOUND case a bug

added more PP.break's to PPLTy

changed LtyKernel tcUnbound to carry tycEnv...printing tycEnv upon tcUnbound exception

PPLty complete at least for printing Ltycs

more work on pplty -- ppTyc complete

started LTy pretty printer using SMLNJ-lib

flintnm debug printouts refined

flintnm debug printouts -- call trace info

translate now reports every site of introduction for lvars

extended LTyKernel.tc_print to print out TC_ENV

further debugging code

typesutil, moduleutils, and translate...debugging output now checks debugging flag...more debugging for flintnm/ltykernel

added questions to notes, touched up sigmatch

debugging printouts

temporary stand-in for primopid pretty printer

StrPrimInfo selectors now return [] or NonPrim by default if StrPrimInfo is empty -- probably wrong but this is what InlInfo did before

debugging info flintnm and translate

minor edits -- comments, etc.

debug printout

more debugging printouts

debug printout for getStrElem/getFctElem (slot selection on empty strPrimInfo) bug

commented out some Translator and TypesUtil debugging info

more debug info printout for prune looping bug -- peql type pruning causes problems

matchInstType: added TV_MARK case...prune VARty infinite loops problem

Debug info for matchInstTypes bug during translate of core.sml

further specification of types of InLine bindings

primOpTypeMap addition now compiles...makeml still does not work

primoptypemap added

fixes for new primop scheme

*** empty log message ***

added some error printing to lt_inst

removed typecheck.sml from Semant because defunctorized version is now in Elaborator and also sigmatchfn because still functorized sigmatch in Elaborator

sigmatch is still functorized because of PLambda Types, the compiler builds now but does not bootstrap

further primop hacking -- getting close to compile

Use strPrimInfo instead of strPrimElem

*** empty log message ***

further changes to primops, starting on translate.sml

some more updating of tdp-instrument

Updated some DebugProf modules to use PrimOpId and param ty var list

Elaborator compilers, updated Elaborate modules to use new PrimOpId and param ty vars

elabdata builds again, fixed prim.sml

fixed some typesutil syntax and signature specs

fixup matchTypes in sigmatch, VALvar in many files

elabdata builds now -- everything updated to new primopid representation scheme

elabdata builds now -- everything updated to new primopid representation scheme

added FLINT/trans/primopmap.sml defining mapping from names to primops

ElabData work on moduleutil.sml mainly

new prim.sml that doesn't depend on Primop

revised primopid.sml/sig

Moving to new PrimOpId instead of InlInfo (int based primop id scheme)

Shifted VARexp, CONexp, CONpat back to carrying ty list (for determining type app parameters in FLINT)

Moved matchTypes to TypeUtils

hacking on sigmatch.sml - primops and type instantiation

Added some more InlineT entries into primop-list up to 110 p64i

updated primop-list, modified translate.sml

added to notes

further primop changes

DebugProf updated to new VARexp, CONexp, CONpat absyn ty option

added sigmatchfn which was in Elaborate/modules/sigmatch.sml

Separated out SIGMATCH and TYPECHECK sig files in elaborate.cm group

Moved PrimOp dependent TypesUtil.isValue function to Semant/types/typecheck module and SigMatchFn.sml to Semant/modules/

Propagating VARexp, CONpat, CONexp type change to ?? * ty option change

Fixed some syntax errors

update of InlInfo

added notes file for primop-branch-2 branch

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

This commit was manufactured by cvs2svn to create branch
'dbm-branch-2005_09_20'.

minor edits

merge changes from main trunk

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

merging changes from main trunk

merge changes from main trunk

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

fixed pattern-match bug and missing cases in c-calls implementation

merging changes up to 110.47 from main trunk

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

editing notes, MAP

editing notes, sigmatch.sml

working on eqvTnspTy

revised eqvTnspTy

another merge from main trunk

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

merge changes from main trunk

merge changes from main trunk

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

merge changes from main trunk

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

merge changes from main trunk up to 110.46

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

merge changes from main trunk

merged changes from main trunk

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

merge changes from main trunk

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

change CONexp, CONpat to take instantiated type instead of tyvar list

notes and added comments

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

merged trunk from primop-branch to HEAD into primop-branch

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

merge changes up to 110.45 from main trunk

implemented SUPERCAST in FLINT;
(pushed it through as far as it seemed necessary -- but more TODO
corners are probably lurking...);
used SUPERCAST to implement link_plugin;
simple test case compiles and works; everything beyond that is untested

merged changes from main trunk into devel branch

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

sync of devel branch

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

added copyright notices

implemented readline stream

fixed problem with not having linked curses

added readline example to ml-nlffi-lib

snapshot of plugin hacking

exported Unify from elaborate.cm

undo last attempted change

more fiddling with plugins; now there are FLINT problems...

reorganized the link_plugin implementation;
it should have a better chance at being ok now, but something still
breaks;  looks like something more fundamental is going on

print ast/absyn earlier

merged changes from main trunk

merge changes from main trunk

merge changes from main trunk

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.