Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1335, Tue May 27 21:54:23 2003 UTC	revision 1348, Fri Aug 29 17:06:53 2003 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume (blume@tti-c.org)	Name: Matthias Blume (blume@tti-c.org)
17		Date: 2003/08/28 17:00:00 CDT
18		Tag: blume-20030828-intinf
19		Description:
20
21		This is a major update which comes with a version number bump
22		(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES,
23		and an implementation of IntInf in the Basis.
24
25		There are a fairly large number of related changes and updates throughout
26		the system:
27
28		Basis:
29		- Implemented IntInf.
30		- Made LargeInt a projection of IntInf (by filtering through INTEGER).
31		- Added some missing Real64 operations, most notably Real.toLargeInt.
32		- Added FixedInt as a synonym for Int32.
33
34		compiler:
35		* Added support for a built-in intinf type.
36		- literals
37		- pattern matching
38		- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.)
39		- overloading on literals and operations
40
41		This required adding a primitive type intinf, some additional
42		primops, and implementations for several non-trivial intinf
43		operations in Core.  (The intinf type is completely abstract
44		to the compiler; all operations get delegated back to the Core.)
45
46		* Intinf equality is handled by polyequal.  However, the compiler
47		does not print its usual warning in this case (since polyequal
48		is the right thing to do there).
49
50		* Improved the organization of structure InlineT.
51
52		* A word about conversion primops:
53		If conversions involving intinf do not cancel out during
54		CPS contract, then the compiler must insert calls to Core functions.
55		Since all core access must be resolved already during the FLINT
56		translate phase, it would be too late a the time of CPS contract
57		to add new Core calls.  For this reason, conversion primops
58		for intinf carry two arguments:  1. the numeric argument that
59		they are supposed to convert, and 2. the Core function that
60		can help with this conversion if necessary.  If CPS contract
61		eliminates a primop, then the associated Core function becomes
62		dead and goes away.  Intinf conversion primops that do not get
63		eliminated by CPS contract get rewritten into calls of their
64		core functions by a separate, new phase.
65
66		interactive system:
67		- Control.Print.intinfDepth controls max length of intinf constants
68		being printed. (Analogous to Control.Print.stringDepth.)
69		- Cleanup in printutil and pputil: got rid of unused stuff and
70		duplicates; replaced some of the code with code that makes better
71		use of library functionality.
72
73		CM:
74		Bugfix: parse-errors in init group (system/smlnj/init/init.cmi)
75		are no longer silent.
76
77		CKIT:
78		Fixed mismatched uses of Int32 and LargeInt.  I always decided
79		in favor of LargeInt -- which is now the same as IntInf.
80		CKIT-knowledgable people should check whether this is what's
81		intended and otherwise change things back to using Int32 or
82		FixedInt.
83
84		Throughout the code:
85		Started using IntInf.int literals and built-in operations
86		(e.g., comparison with 0) where this seems appropriate.
87
88
89		----------------------------------------------------------------------
90		Name: Dave MacQueen (dbm@cs.uchicago.edu)
91		Date: 2003/08/13 11:36:00 CDT
92		Tag: dbm-20030813-mcz-merge1
93		Description:
94
95		Merging changes from the mcz-branch development branch into trunk.
96		These changes involve replacement of the emulated old prettyprinter
97		interface with direct use of the SML/NJ Lib PP library, and fixing
98		of a couple of bugs (895, 1186) relating to error messages.  A new
99		prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
100		has been added.
101
102		----------------------------------------------------------------------
103		Name: Matthias Blume (blume@tti-c.org)
104		Date: 2003/08/11 15:45:00 CDT
105		Tag: blume-20030811-windows
106		Description:
107
108		Version number bumped to 110.42.9.  NEW BOOTFILES!!!
109
110		http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
111
112		This patch restores SML/NJ's ability to run under win32.  There are a
113		number of changes, including fixes for several bugs that had gone
114		unnoticed until now:
115
116		- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
117		trying to run the win32 version from within cygwin.)
118
119		- There are a number of simple .bat scripts that substitute for their
120		corresponding Unix shell-scripts.  (See below.)
121
122		- The internals of ml-build have been modified slightly.  The main
123		difference is that instead of calling ".link-sml" (or link-sml.bat)
124		using OS.Process.system, the ML process delegates this task back
125		to the script.  Otherwise problems arise in mixed environments such
126		as Cygwin where scripts look and work like Unix scripts, but
127		where OS.Process.system cannot run them.
128
129		- In CM, the srcpath pickler used native pathname syntax -- which
130		is incorrect in the case of cross-compilation.  The new pickle format
131		is independent of platform-specific naming conventions.
132
133		- Path configuration files (such as lib/pathconfig) can now choose
134		between native and standard syntax.  Placing a line of the form
135
136		standard!
137
138		into the file causes all subsequent paths to be interpreted using
139		CM standard pathname syntax (= Unix conventions); a line
140
141		native!
142
143		switches back to native style.  This was needed so that
144		path config files can be written portably, see src/system/pathconfig.
145
146		- Runtime system:
147
148		- win32-filesys.c:  get_file_time and set_file_time now
149		access modification time, not creation time.
150
151		- I/O code made aware of new array representation.
152
153		- Bug fixes in X86.prim.masm.
154
155		- src/system/makeml made aware of win32. (For use under cygwin
156		and other Unix-environments for windows.)
157
158		- In Basis, fixed off-by-one error in win32-io.sml (function vecF)
159		which caused BinIO.inputAll to fail consistently.
160
161		.bat scripts:
162
163		Windows .bat scripts assume that SMLNJ_HOME is defined.
164
165		- sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
166		applications (sml, ml-yacc, ml-lex).
167		- ml-build.bat: analogous to ml-build.
168		- config\install.bat:  Analogous to config/install.sh.  This requires
169		that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
170		(nmake etc. must be on the path, and vcvars32 must have been run.)
171		Moreover, sources for ml-lex and ml-yacc need to exist under src,
172		and the bootfile hierarchy must have been unpacked under
173		sml.boot.x86-win32.
174		The script is very primitive and does a poor job at error checking.
175		It only installs the base system, ml-lex, and ml-yacc.  No other
176		libraries are being installed (i.e., you get only those that
177		are part of the compiler.)
178		- link-sml.bat:  analogous to .link-sml, but not currently used
179
180		Unrelated bug fixes:
181
182		- ml-nlffigen now exports structures ST_* corresponding to incomplete
183		types.
184		- Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
185		otherwise.)
186
187		----------------------------------------------------------------------
188		Name: Dave MacQueen (macqueen@cs.uchicago.edu)
189		Date: 2003/06/17
190		Tag: macqueen-20030617-bug895
191		Description:
192
193		Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
194		Tag will be used for new development branch (mcz-branch) for
195		use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
196
197		----------------------------------------------------------------------
198		Name: Matthias Blume (blume@tti-c.org)
199	Date: 2003/05/27 16:55:00 CDT	Date: 2003/05/27 16:55:00 CDT
200	Tag: blume-20030527-polyeq	Tag: blume-20030527-polyeq
201	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1335   changed lines   Added in v.1348

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0