Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 844, Wed Jun 20 20:39:15 2001 UTC	revision 1003, Fri Dec 7 02:45:32 2001 UTC
#	Line 8	Line 8
8	The form of an entry should be:	The form of an entry should be:
9
10	Name:	Name:
11	Date:	Date: yyyy/mm/dd
12	Tag: <post-commit CVS tag>	Tag: <post-commit CVS tag>
13	Description:	Description:
14		----------------------------------------------------------------------
15		Name: Lal George
16		Date: 2001/12/06 16:50:13 EST 2001
17		Tag: george-20011206-mlrisc-instruction
18		Description:
19
20		Changed the representation of instructions from being fully abstract
21		to being partially concrete. That is to say:
22
23		from
24		type instruction
25
26		to
27		type instr                              (* machine instruction *)
28
29		datatype instruction =
30		LIVE of {regs: C.cellset, spilled: C.cellset}
31		| KILL of {regs: C.cellset, spilled: C.cellset}
32		| COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
33		| ANNOTATION of {i: instruction, a: Annotations.annotation}
34		| INSTR of instr
35
36		This makes the handling of certain special instructions that appear on
37		all architectures easier and uniform.
38
39		LIVE and KILL say that a list of registers are live or killed at the
40		program point where they appear. No spill code is generated when an
41		element of the 'regs' field is spilled, but the register is moved to
42		the 'spilled' (which is present, more for debugging than anything else).
43
44		LIVE replaces the (now deprecated) DEFFREG instruction on the alpha.
45		We used to generate:
46
47		DEFFREG f1
48		f1 := f2 + f3
49		trapb
50
51		but now generate:
52
53		f1 := f2 + f3
54		trapb
55		LIVE {regs=[f1,f2,f3], spilled=[]}
56
57		Furthermore, the DEFFREG (hack) required that all floating point instruction
58		use all registers mentioned in the instruction. Therefore f1 := f2 + f3,
59		defines f1 and uses [f1,f2,f3]! This hack is no longer required resulting
60		in a cleaner alpha implementation. (Hopefully, intel will not get rid of
61		this architecture).
62
63		COPYXXX is intended to replace the parallel COPY and FCOPY  available on
64		all the architectures. This will result in further simplification of the
65		register allocator that must be aware of them for coalescing purposes, and
66		will also simplify certain aspects of the machine description that provides
67		callbacks related to parallel copies.
68
69		ANNOTATION should be obvious, and now INSTR represents the honest to God
70		machine instruction set!
71
72		The <arch>/instructions/<arch>Instr.sml files define certain utility
73		functions for making porting easier -- essentially converting upper case
74		to lower case. All machine instructions (of type instr) are in upper case,
75		and the lower case form generates an MLRISC instruction. For example on
76		the alpha we have:
77
78		datatype instr =
79		LDA of {r:cell, b:cell, d:operand}
80		| ...
81
82		val lda : {r:cell, b:cell, d:operand} -> instruction
83		...
84
85		where lda is just (INSTR o LDA), etc.
86
87		----------------------------------------------------------------------
88		Name: Matthias Blume
89		Date: 2001/11/22 21:40:00 EST
90		Tag: Release_110_37
91		Description:
92
93		Release 110.37.  This time for real.
94
95		----------------------------------------------------------------------
96		Name: Matthias Blume
97		Date: 2001/11/21 16:35:00 EST
98		Tag: blume-20011121-foot-in-mouth
99		Description:
100
101		Removed the "Release_110_37" tag because of a serious bug.
102		This will be re-tagged once the bug is fixed.
103
104		----------------------------------------------------------------------
105		Name: Matthias Blume
106		Date: 2001/11/21 16:14:00 EST
107		Tag: blume-20011121-forgottenfile
108		Description:
109
110		Forgot to add a file.  (Just a .tex-file -- part of
111		the CM manual source.)
112
113		----------------------------------------------------------------------
114		Name: Matthias Blume
115		Date: 2001/11/21 16:10:00 EST
116		Tag: blume-20011121-invalid_110_37
117		Description:
118
119		Note: I removed the original tag "Release_110_37" from this commit
120		because we found a serious bug in all non-x86 backends.
121		- Matthias
122
123		1. Modifications to the SML/NJ code generator and to the runtime system
124		so that code object name strings are directly inserted into code
125		objects at code generation time.  The only business the runtime system
126		has with this is now to read the name strings on occasions.
127		(The encoding of the name string has also changed somewhat.)
128
129		2. CM now implements a simple "set calculus" for specifying export lists.
130		In particular, it is now possible to refer to the export lists of
131		other libraries/groups/sources and form unions as well as differences.
132		See the latest CM manual for details.
133
134		3. An separate notion of "proxy" libraries has again be eliminated from
135		CM's model.  (Proxy libraries are now simply a special case of using
136		the export list calculus.)
137
138		4. Some of the existing libraries now take advantage of the new set
139		calculus.
140		(Notice that not all libraries have been converted because some
141		of the existing .cm-files are supposed to be backward compatible
142		with 110.0.x.)
143
144		5. Some cleanup in stand-alone programs.  (Don't use "exnMessage" -- use
145		"General.exnMessage"!  The former relies on a certain hook to be
146		initialized, and that often does not happen in the stand-alone case.)
147
148		----------------------------------------------------------------------
149		Name: Lal George
150		Date: 2001/11/21  13:56:18 EST
151		Tag: george-2001121-pseudo-ops
152		Description:
153
154		Implemented a complete redesign of MLRISC pseudo-ops. Now there
155		ought to never be any question of incompatabilities with
156		pseudo-op syntax expected by host assemblers.
157
158		For now, only modules supporting GAS syntax are implemented
159		but more should follow, such as MASM, and vendor assembler
160		syntax, e.g. IBM as, Sun as, etc.
161
162		----------------------------------------------------------------------
163		Name: Matthias Blume
164		Date: 2001/11/14 11:52:00 EST
165		Tag: blume-20011114-srcname
166		Description:
167
168		1. Routed the name of the current source file to mlriscgen where it
169		should be directly emitted into the code object.  (This last part
170		is yet to be done.)
171
172		2. Some cleanup of the pgraph code to make it match the proposal that
173		I put out the other day.  (The proposal notwithstanding, things are
174		still in flux here.)
175
176		----------------------------------------------------------------------
177		Name: Lal George
178		Date: 2001/11/14 09:44:04 EST
179		Tag:
180		Description:
181
182		Fix for a backpatching bug reported by Allen.
183
184		Because the boundary between short and long span-dependent
185		instructions is +/- 128, there are an astounding number of
186		span-dependent instructions whose size is over estimated.
187
188		Allen came up with the idea of letting the size of span
189		dependent instructions be non-monotonic, for a maxIter
190		number of times, after which the size must be monotonically
191		increasing.
192
193		This table shows the number of span-dependent instructions
194		whose size was over-estimated as a function of maxIter, for the
195		file Parse/parse/ml.grm.sml:
196
197		maxIter            # of instructions:
198		10                      687
199		20                      438
200		30                      198
201		40                        0
202
203		In compiling the compiler, there is no significant difference in
204		compilation speed between maxIter=10 and maxIter=40. Actually,
205		my measurements showed that maxIter=40 was a tad faster than
206		maxIter=10! Also 96% of the  files in the compiler reach a fix
207		point within 13 iterations, so fixing maxIter at 40, while high,
208		is okay.
209
210		----------------------------------------------------------------------
211		Name: Matthias Blume
212		Date: 2001/10/31 15:25:00 EST
213		Tag: blume-20011031-pgraph
214		Description:
215
216		CKIT:
217		* Changed the "Function" constructor of type Ast.ctype to carry optional
218		argument identifiers.
219		* Changed the return type of TypeUtil.getFunction accordingly.
220		* Type equality ignores the argument names.
221		* TypeUtil.composite tries to preserve argument names but gives up quickly
222		if there is a mismatch.
223
224		installation script:
225		* attempts to use "curl" if available (unless "wget" is available as well)
226
227		CM:
228		* has an experimental implementation of "portable graphs" which I will
229		soon propose as an implementation-independent library format
230		* there are also new libraries $/pgraph.cm and $/pgraph-util.cm
231
232		NLFFI-LIB:
233		* some cleanup (all cosmetic)
234
235		NLFFIGEN:
236		* temporarily disabled the mechanism that suppresses ML output for
237		C definitions whose identifiers start with an underscore character
238		* generate val bindings for enum constants
239		* user can request that only one style (light or heavy) is being used;
240		default is to use both (command-line arguments: -heavy and -light)
241		* fixed bug in handling of function types involving incomplete pointers
242		* generate ML entry points that take record arguments (i.e., using
243		named arguments) for C functions that have a prototype with named
244		arguments
245		(see changes to CKIT)
246
247		----------------------------------------------------------------------
248		Name: Allen Leung
249		Date: 2001/10/27 20:34:00 EDT
250		Tag: leunga-20011027-x86-fast-fp-call
251		Description:
252
253		Fixed the bug described in blume-20010920-slowfp.
254
255		The fix involves
256		1. generating FCOPYs in FSTP in ia32-svid
257		2. marking a CALL with the appropriate annotation
258
259		----------------------------------------------------------------------
260		Name: Matthias Blume
261		Date: 2001/10/16 11:32:00 EDT
262		Tag: blume-20011016-netbsd
263		Description:
264
265		Underscore patch from Chris Richards (fixing problem with compiling
266		runtime system under recent NetBSD).
267
268		----------------------------------------------------------------------
269		Name: Allen Leung
270		Date: 2001/10/12 17:18:32 EDT 2001
271		Tag: leung-20011012-x86-printflowgraph
272		Description:
273
274		X86RA now uses a valid (instead of dummy) PrintFlowgraph module.
275
276		----------------------------------------------------------------------
277		Name: Lal George
278		Date: 2001/10/11 23:51:34 EDT
279		Tag: george-20011011-too-many-instrs
280		Description:
281
282		The representation of a program point never expected to see more
283		than 65536 instructions in a basic block!
284
285		----------------------------------------------------------------------
286		Name: Lal George
287		Date: 2001/10/09 09:41:37 EDT
288		Tag: george-20011008-mlrisc-labels
289		Description:
290
291		Changed the machine description files to support printing of
292		local and global labels in assembly code, based on host assembler
293		conventions.
294
295		----------------------------------------------------------------------
296		Name: Matthias Blume
297		Date: 2001/09/25 15:25:00 EDT
298		Tag: blume-20010925-exninfo
299		Description:
300
301		I provided a non-hook implementation of exnName (at the toplevel) and
302		made the "dummy" implementation of exnMessage (at the toplevel) more
303		useful: if nothing gets "hooked in", then at least you are going to
304		see the exception name and a message indicating why you don't see more.
305
306		[For the time being, programs that need exnMessage and want to use
307		ml-build should either use General.exnMessage (strongly recommended) or
308		refer to structure General at some other point so that CM sees a
309		static dependency.]
310
311		[Similar remarks go for "print" and "use":  If you want to use their
312		functionality in stand-alone programs generated by ml-build, then use
313		TextIO.output and Backend.Interact.useFile (from $smlnj/compiler.cm).]
314
315		----------------------------------------------------------------------
316		Name: Matthias Blume
317		Date: 2001/09/20 17:28:00 EDT
318		Tag: blume-20010920-slowfp
319		Description:
320
321		Allen says that x86-fast-fp is not safe yet, so I turned it off again...
322
323		----------------------------------------------------------------------
324		Name: Matthias Blume
325		Date: 2001/09/20 17:20:00 EDT
326		Tag: blume-20010920-canonicalpaths
327		Description:
328
329		0. Updated the BOOT file (something that I forgot to do earlier).
330
331		1. Small internal change to CM so that it avoids "/../" in filenames
332		as much as possible (but only where it is safe).
333
334		2. Changed config/_run-sml (resulting in a changed bin/.run-sml) so
335		that arguments that contain delimiters are passed through correctly.
336		This change also means that all "special" arguments of the form
337		@SMLxxx... must come first.
338
339		3. Changed install script to put relative anchor names for tool commands
340		into pathconfig.
341
342		----------------------------------------------------------------------
343		Name: Matthias Blume
344		>>>>>>> 1.169
345		Date: 2001/09/18 15:35:00 EDT
346		Tag: blume-20010918-readme11036
347		Description:
348
349		Added README files.
350
351		----------------------------------------------------------------------
352		Name: Matthias Blume
353		Date: 2001/09/18 11:45:00 EDT
354		Tag: Release_110_36 (retag)
355		Description:
356
357		Fixed mistake in config/preloads. Retagged as 110.36.
358
359		----------------------------------------------------------------------
360		Name: Matthias Blume
361		Date: 2001/09/18 09:40:00 EDT
362		Tag: Release_110_36_orig (tag changed)
363		Description:
364
365		New version (110.36).  New bootfiles.
366
367		----------------------------------------------------------------------
368		Name: Matthias Blume
369		Date: 2001/09/14 16:15:00 EDT
370		Tag: blume-20010914-x86fastfp
371		Description:
372
373		John committed some changes that Allen made, in particular a (hopefully)
374		correctly working version of the x86-fp module.
375
376		I changed the default setting of the Control.MLRISC.getFlag "x86-fast-fp"
377		flag to "true".  Everything seems to compile to a fixpoint ok, and
378		"mandelbrot" speeds up by about 15%.
379
380		----------------------------------------------------------------------
381		Name: Matthias Blume
382		Date: 2001/09/13 11:20:00 EDT
383		Tag: blume-20010913-minimal
384		Description:
385
386		1. Stefan Monnier's patch to fix a miscompilation problem that
387		was brought to light by John Reppy's work on Moby.
388
389		2. Implemented a minimal "structure Compiler" that contains just
390		"version" and "architecture".  The minimal version will be
391		available when the full version is not.  This is for backward-
392		compatibility with code that wants to test Compiler.version.
393
394		----------------------------------------------------------------------
395		Name: Matthias Blume
396		Date: 2001/08/28 14:03:00 EDT
397		Tag: blume-20010828-ml-lex
398		Description:
399
400		Fix for bug 1581, received from Neophytos Michael.
401
402		----------------------------------------------------------------------
403		Name: Matthias Blume
404		Date: 2001/08/27 11:20:00 EDT
405		Tag: blume-20010827-readme11035
406		Description:
407
408		Fleshed out the README file for 110.35.
409
410		----------------------------------------------------------------------
411		Name: Matthias Blume
412		Date: 2001/08/24 17:10:00 EDT
413		Tag: Release_110_35
414		Description:
415
416		New version number (110.35).  New bootfiles.
417
418		----------------------------------------------------------------------
419		Name: Lal George
420		Date: 2001/08/24 13:47:18 EDT 2001
421		Tag: george-20010824-MLRISC-graphs
422		Description:
423
424		removed clusters from MLRISC completely and replaced with graphs.
425
426		----------------------------------------------------------------------
427		Name: Matthias Blume
428		Date: 2001/08/23 17:50:00 EDT
429		Tag: blume-20010823-toplevel
430		Description:
431
432		- some reorganization of the code that implements various kinds of
433		environments in the compiler (static, dynamic, symbolic, combined)
434		- re-implemented the EnvRef module so that evalStream works properly
435		(if the stream contains references to "use", "CM.make", etc.)
436		- cleaned up evalloop.sml and interact.sml (but they need more cleaning)
437
438		----------------------------------------------------------------------
439		Name: Matthias Blume
440		Date: 2001/08/20 15:50 EDT
441		Tag: blume20010820-slipup
442		Description:
443
444		I forgot to commit a few files.  Here they are...
445
446		----------------------------------------------------------------------
447		Name: Matthias Blume
448		Date: 2001/08/20 15:35:00 EDT
449		Tag: blume-20010820-debugprof
450		Description:
451
452		!!!! NEW BOOTFILES !!!!
453
454		This is another round of reorganizing the compiler sources.  This
455		time the main goal was to factor out all the "instrumentation"
456		passes (for profiling and backtracing) into their own library.
457		The difficulty was to do it in such a way that it does not depend
458		on elaborate.cm but only on elabdata.cm.
459
460		Therefore there have been further changes to both elaborate.cm and
461		elabdata.cm -- more "generic" things have been moved from the former
462		to the latter.  As a result, I was forced to split the assignment
463		of numbers indicating "primtyc"s into two portions: SML-generic and
464		SML/NJ-specific.  Since it would have been awkward to maintain,
465		I bit the bullet and actually _changed_ the mapping between these
466		numbers and primtycs.  The bottom line of this is that you need
467		a new set of bin- and bootfiles.
468
469		I have built new bootfiles for all architectures, so doing a fresh
470		checkout and config/install.sh should be all you need.
471
472		The newly created library's name is
473
474		$smlnj/viscomp/debugprof.cm
475
476		and its sources live under
477
478		src/compiler/DebugProf
479
480		----------------------------------------------------------------------
481		Name: Matthias Blume
482		Date: 2001/08/15 17:15:00 EDT
483		Tag: blume-20010815-compreorg
484		Description:
485
486		This is a first cut at reorganizing the CM libraries that make up the
487		core of the compiler.  The idea is to separate out pieces that could
488		be used independently by tools, e.g., the parser, the typechecker, etc.
489
490		The current status is a step in this direction, but it is not quite
491		satisfactory yet.  Expect more changes in the future.
492
493		Here is the current (new) organization...
494
495		What used to be $smlnj/viscomp/core.cm is now divided into
496		six CM libraries:
497
498		$smlnj/viscomp/basics.cm
499		/parser.cm
500		/elabdata.cm
501		/elaborate.cm
502		/execute.cm
503		/core.cm
504
505		The CM files for these libraries live under src/system/smlnj/viscomp.
506		All these libraries are proxy libraries that contain precisely
507		one CM library component.  Here are the locations of the components
508		(all within the src/compiler tree):
509
510		Basics/basics.cm
511		Parse/parser.cm
512		ElabData/elabdata.cm
513		Elaborator/elaborate.cm
514		Execution/execute.cm
515		core.cm
516
517		[This organization is the same that has been used already
518		for a while for the architecture-specific parts of the visible
519		compiler and for the old version of core.cm.]
520
521		As you will notice, many source files have been moved from their
522		respective original locations to a new home in one of the above
523		subtrees.
524
525		The division of labor between the new libraries is the following:
526
527		basics.cm:
528		- Simple, basic definitions that pertain to many (or all) of
529		the other libraries.
530		parser.cm:
531		- The SML parser, producing output of type Ast.dec.
532		- The type family for Ast is also defined and exported here.
533		elabdata.cm:
534		- The datatypes that describe input and output of the elaborator.
535		This includes types, absyn, and static environments.
536		elaborator.cm:
537		- The SML/NJ type checker and elaborator.
538		This maps an Ast.dec (with a given static environment) to
539		an Absyn.dec (with a new static environment).
540		- This libraries implements certain modules that used to be
541		structures as functors (to remove dependencies on FLINT).
542		execute.cm:
543		- Everything having to do with executing binary code objects.
544		- Dynamic environments.
545		core.cm:
546		- SML/NJ-specific instantiations of the elaborator and MLRISC.
547		- Top-level modules.
548		- FLINT (this should eventually become its own library)
549
550		Notes:
551
552		I am not 100% happy with the way I separated the elaborator (and its
553		data structures) from FLINT.  Two instances of the same problem:
554
555		1. Data structures contain certain fields that carry FLINT-specific
556		information.  I hacked around this using exn and the property list
557		module from smlnj-lib.  But the fact that there are middle-end
558		specific fields around at all is a bit annoying.
559
560		2. The elaborator calculates certain FLINT-related information.  I tried
561		to make this as abstract as I could using functorization, but, again,
562		the fact that the elaborator has to perform calculations on behalf
563		of the middle-end at all is not nice.
564
565		3. Having to used exn and property lists is unfortunate because it
566		weakens type checking.  The other alternative (parameterizing
567		nearly *everything*) is not appealing, though.
568
569		I removed the "rebinding =" warning hack because due to the new organization
570		it was awkward to maintain it.  As a result, the compiler now issues some of
571		these warnings when compiling init.cmi during bootstrap compilation. On
572		the plus side, you also get a warning when you do, for example:
573		val op = = Int32.+
574		which was not the case up to now.
575
576		I placed "assign" and "deref" into the _Core structure so that the
577		code that deals with the "lazy" keyword can find them there.  This
578		removes the need for having access to the primitive environment
579		during elaboration.
580
581		----------------------------------------------------------------------
582		Name: Matthias Blume
583		Date: 2001/08/13
584		Tag: blume-20010813-closures
585		Description:
586
587		This fix was sent to us by Zhong Shao.  It is supposed to improve the
588		performance of certain loops by avoiding needless closure allocation.
589
590		----------------------------------------------------------------------
591		Name: Lal George
592		Date: 2001/07/31 10:03:23 EDT 2001
593		Tag: george-20010731-x86-fmalloc
594		Description: Fixed bug in x86 calls
595
596		There was a bug where call instructions would mysteriously
597		vanish. The call instruction had to be one that returned
598		a floating point value.
599
600		----------------------------------------------------------------------
601		Name: Lal George
602		Date: 2001/07/19 16:36:29 EDT 2001
603		Tag: george-20010719-simple-cells
604		Description:
605
606		I have dramatically simplified the interface for CELLS in MLRISC.
607
608		In summary, the cells interface is broken up into three parts:
609
610		1. CellsBasis : CELLS_BASIS
611
612		CellsBasis is a top level structure and common for all
613		architectures.  it contains the definitions of basic datatypes
614		and utility  functions over these types.
615
616		2. functor Cells() : CELLS
617
618		Cells generates an interface for CELLS that incorporates the
619		specific resources on the target architecture, such as the
620		presence of special register classes, their number and size,
621		and various useful substructures.
622
623		3. <ARCH>CELLS
624
625		e.g. SparcCells: SPARCCELLS
626
627		<ARCH>CELLS usually contains additional bindings for special
628		registers  on the architecture, such as:
629
630		val r0 : cell           (* register zero *)
631		val y : cell            (* Y register *)
632		val psr : cell          (* processor status register *)
633		...
634
635		The structure returned by applying the Cells functor is opened
636		in this interface.
637
638		The main implication of all this is that the datatypes for cells is
639		split between CellsBasis and CELLS -- a fairly simple change for user
640		code.
641
642		In the old scheme the CELLS interface had a definitional binding of
643		the form:
644
645		signature CELLS = sig
646
647		structure CellsBasis = CellsBasis
648
649		...
650
651		end
652
653		With all the sharing constraints that goes on in MLRISC, this old
654		design  quickly leads to errors such as:
655
656		"structure definition spec inside of sharing ... "
657
658
659		and appears to require an unacceptable amount of sharing and where
660		constraint hackery.
661
662		I think this error message (the interaction of definitional specs and
663		sharing) requires more explanation on our web page.
664
665		----------------------------------------------------------------------
666		Name: Matthias Blume
667		Date: 2001/07/19 15:00:00 EDT
668		Tag: blume-20010719-libreorg
669		Description:
670
671		This update puts together a fairly extensive but straightforward change
672		to the way the libraries that implement the interactive system are
673		organized:
674
675		The biggest change is the elimination of structure Compiler.  As a
676		replacement for this structure, there is now a CM library
677		(known as $smlnj/compiler.cm or $smlnj/compiler/current.cm)
678		that exports all the substructures of the original structure Compiler
679		directly.  So instead of saying Compiler.Foo.bar one now simply
680		says Foo.bar.  (The CM libraries actually export a collection of
681		structures that is richer than the collection of substructures of
682		structure Compiler.)
683
684		To make the transition smooth, there is a separate library called
685		$smlnj/compiler/compiler.cm which puts together and exports the
686		original structure Compiler (or at least something very close to it).
687
688		There are five members of the original structure Compiler
689		that are not exported directly but which instead became members
690		of a new structure Backend (described by signature BACKEND).  These are:
691		structure Profile (: PROFILE), structure Compile (: COMPILE), structure
692		Interact (: INTERACT), structure Machine (: MACHINE), and val
693		architecture (: string).
694
695		Structure Compiler.Version has become structure CompilerVersion.
696
697		Cross-compilers for alpha32, hppa, ppc, sparc, and x86 are provided
698		by $smlnj/compiler/<arch>.cm where <arch> is alpha32, hppa, ppc, sparc,
699		or x86, respectively.
700		Each of these exports the same frontend structures that
701		$smlnj/compiler.cm exports.  But they do not have a structure Backend
702		and instead export some structure <Arch>Backend where <Arch> is Alpha32,
703		Hppa, PPC, Sparc, or X86, respectively.
704
705		Library $smlnj/compiler/all.cm exports the union of the exports of
706		$smlnj/compiler/<arch>.cm
707
708		There are no structures <Arch>Compiler anymore, use
709		$smlnj/compiler/<arch>.cm instead.
710
711		Library host-compiler-0.cm is gone.  Instead, the internal library
712		that instantiates CM is now called cm0.cm.  Selection of the host
713		compiler (backend) is no longer done here but. (Responsibility for it
714		now lies with $smlnj/compiler/current.cm.  This seems to be more
715		logical.)
716
717		Many individual files have been moved or renamed.  Some files have
718		been split into multiple files, and some "dead" files have been deleted.
719
720		Aside from these changes to library organization, there are also changes
721		to the way the code itself is organized:
722
723		Structure Binfile has been re-implemented in such a way that it no
724		longer needs any knowledge of the compiler.  It exclusively deals
725		with the details of binfile layout.  It no longer invokes the
726		compiler (for the purpose of creating new prospective binfile
727		content), and it no longer has any knowledge of how to interpret
728		pickles.
729
730		Structure Compile (: COMPILE) has been stripped down to the bare
731		essentials of compilation.  It no longer deals with linking/execution.
732		The interface has been cleaned up considerably.
733
734		Utility routines for dealing with linking and execution have been
735		moved into their own substructures.
736
737		(The ultimate goal of these changes is to provide a light-weight
738		binfile loader/linker (at least for, e.g., stable libraries) that
739		does not require CM or the compiler to be present.)
740
741		CM documentation has been updated to reflect the changes to library
742		organization.
743
744		----------------------------------------------------------------------
745		Name: Matthias Blume
746		Date: 2001/07/10 17:30:00 EDT
747		Tag: Release_110_34
748		Description:
749
750		Minor tweak to 110.34 (re-tagged):
751
752		- README.html file added to CVS repository
753		- runtime compiles properly under FreeBSD 3.X and 4.X
754
755		----------------------------------------------------------------------
756		Name: Matthias Blume
757		Date: 2001/07/10 17:30:00 EDT
758		Tag: Release_110_34
759		Description:
760
761		New version number (110.34). New bootfiles.
762
763		----------------------------------------------------------------------
764		Name: Matthias Blume
765		Date: 2001/07/09 16:00:00 EDT
766		Tag: blume-20010709-more-varargs
767		Description:
768
769		I changed the handling of varargs in ml-nlffigen again:
770		The ellipsis ... will now simply be ignored (with an accompanying warning).
771
772		The immediate effect is that you can actually call a varargs function
773		from ML -- but you can't actually supply any arguments beyond the ones
774		specified explicitly.  (For example, you can call printf with its format
775		string, but you cannot pass additional arguments.)
776
777		This behavior is only marginally more useful than the one before, but
778		it has the advantage that a function or, more importantly, a function
779		type never gets dropped on the floor, thus avoiding follow-up problems with
780		other types that refer to the offending one.
781
782		----------------------------------------------------------------------
783		Name: Matthias Blume
784		Date: 2001/07/09 11:25:00 EDT
785		Tag: blume-20010709-varargs
786		Description:
787
788		1. ckit-lib.cm now exports structure Error
789		2. ml-nlffigen reports occurences of "..." (i.e., varargs function types)
790		with a warning accompanied by a source location.  Moreover, it
791		merely skips the offending function or type and proceeds with the
792		rest of its work.u  As a result, one can safely feed C code containing
793		"..." to ml-nlffigen.
794		3. There are some internal improvements to CM, providing slightly
795		more general string substitutions in the tools subsystem.
796
797		----------------------------------------------------------------------
798		Name: Matthias Blume
799		Date: 2001/06/27 15:10:00 EDT
800		Tag: blume-20010627-concur
801		Description:
802
803		Fixed a small bug in CM's handling of parallel compilation.
804		(You could observe the bug by Control-C-interrupting an ordinary
805		CMB.make or CM.stabilize and then attaching some compile servers.
806		The result was that all of a sudden the previously interrupted
807		compilation would continue on its own.  This was because of
808		an over-optimization: CM did not bother to clean out certain queues
809		when no servers were attached "anyway", resulting in the contents
810		of these queues to grab control when new servers did get attached.)
811
812		There is also another minor update to the CM manual.
813
814		----------------------------------------------------------------------
815		Name: Matthias Blume
816		Date: 2001/06/26 16:15:00 EDT
817		Tag: blume-20010626-cmdoc
818		Description:
819
820		Minor typo fixed in CM manual (syntax diagram for libraries).
821
822		----------------------------------------------------------------------
823		Name: Matthias Blume
824		Date: 2001/06/25 22:55:00 EDT
825		Tag: blume-20010625-x86pc
826		Description:
827
828		Fixed a nasty bug in the X86 assembly code that caused signal
829		handlers to fail (crash) randomly.
830
831		----------------------------------------------------------------------
832		Name: Matthias Blume
833		Date: 2001/06/25 12:05:00 EDT
834		Tag: blume-20010625-nlffigen
835		Description:
836
837		This update fixes a number of minor bugs in ml-nlffigen as reported by
838		Nick Carter <nbc@andrew.cmu.edu>.
839
840		1. Silly but ok typedefs of the form "typedef void myvoid;" are now accepted.
841		2. Default names for generated files are now derived from the name of
842		the C file *without its directory*.  In particular, this causes generated
843		files to be placed locally even if the C file is in some system directory.
844		3. Default names for generated signatures and structures are also derived
845		from the C file name without its directory.  This avoids silly things
846		like "structure GL/GL".
847		(Other silly names are still possible because ml-nlffigen does not do
848		a thorough check of whether generated names are legal ML identifiers.
849		When in doubt, use command line arguments to force particular names.)
850
851		----------------------------------------------------------------------
852		Name: Matthias Blume
853		Date: 2001/06/21 12:25:00 EDT
854		Tag: blume-20010621-eXene
855		Description:
856
857		eXene now compiles and (sort of) works again.
858
859		The library name (for version > 110.33) is $/eXene.cm.
860
861		I also added an new example in src/eXene/examples/nbody.  See the
862		README file there for details.
863
864	----------------------------------------------------------------------	----------------------------------------------------------------------
865	Name: Matthias Blume	Name: Matthias Blume
#	Line 2469	Line 3318
3318	elaborator). There were a lot of changes during my "linkpath" trials	elaborator). There were a lot of changes during my "linkpath" trials
3319	that could have been reverted to their original state but weren't.	that could have been reverted to their original state but weren't.
3320	Please, don't be too harsh on me for messing with this code a bit more	Please, don't be too harsh on me for messing with this code a bit more
3321	than what was strictly necessary...  (I _did_ resist the tempation	than what was strictly necessary...  (I _did_ resist the temptation
3322	of doing any "global reformatting" to avoid an untimely death at	of doing any "global reformatting" to avoid an untimely death at
3323	Dave's hands. :)	Dave's hands. :)
3324

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.844   changed lines   Added in v.1003

---

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