Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 670, Sun Jun 18 13:10:57 2000 UTC	revision 737, Fri Nov 24 08:43:56 2000 UTC
#	Line 11	Line 11
11	Date:	Date:
12	Tag: <post-commit CVS tag>	Tag: <post-commit CVS tag>
13	Description:	Description:
14
15		----------------------------------------------------------------------
16		Name: Matthias Blume
17		Date: 2000/11/24 17:45:00 JST
18		Tag: blume-20001124-link
19		Description:
20
21		Drastically improved link traversal code for the case that the dynamic
22		value was already loaded at bootstrap time.  As a result, CM and CMB
23		now both load blazingly fast -- even on a very slow machine.  Also,
24		memory consumption has been further reduced by this.
25
26		Warning: The format of the PIDMAP file has changed.  THerefore, to
27		bootstrap you have to do this:
28
29		1. Run CMB.make
30		2. Make a symbolic link for the boot directory:
31		ln -s sml.boot.ARCH-OS xxx
32		3. "Rebuild" the boot directory:
33		./makeml -boot xxx -rebuild sml ; rm xxx
34		4. Boot normally:
35		./makeml
36
37		----------------------------------------------------------------------
38		Name: Matthias Blume
39		Date: 2000/11/21 21:20:00 JST
40		Tag: blume-20001121-tools
41		Description:
42
43		Continued hacking on autoloading problem -- with success this time.
44		Also changed tool-plugin mechanism.  See new CM manual.
45
46		----------------------------------------------------------------------
47		Name: Matthias Blume
48		Date: 2000/11/19 14:30:00 JST
49		Tag:  blume-20001119-autoload
50		Description:
51
52		Some hacking to make autoloading faster.  Success for CMB, no success
53		so far for CM.  There is a reduced structure CM' that autoloads faster.
54		(This is a temporary, non-documented hack to be eliminated again when
55		the general problem is solved.)
56
57		----------------------------------------------------------------------
58		Name: Matthias Blume
59		Date: 2000/11/17 14:10:00 JST
60		Tag: blume-20001117-pickle-lib
61		Description:
62
63		1. Eliminated comp-lib.cm
64		2. Made pickle-lib.cm
65		3. Eliminated all uses of intset.sml (from comp-lib.cm)
66		4. Replaced all uses of intmap.{sig,sml} (from comp-lib.cm) with
67		equivalent constructs from smlnj-lib.cm (INtHashTable).
68		5. Point 4. also goes for those uses of intmap.* in MLRISC.
69		Duplicated intmap modules thrown out.
70		6. Hunted down all duplicated SCC code and replaced it with
71		equivalent stuff (GraphSCCFn from smlnj-lib.cm).
72		7. Rewrote Feedback module.
73		8. Moved sortedlist.sml into viscomp-lib.cm.  Eventually it
74		should be thrown out and equivalent modules from smlnj-lib.cm
75		should be used (IntRedBlackSet, IntListSet, ...).
76
77		Confirmed that compiler compiles to fixpoint.
78
79		----------------------------------------------------------------------
80		Name: Allen Leung
81		Date: 2000/11/10 18:00:00
82		Tag: leunga-20001110-new-x86-fp
83
84		A new x86 floating point code generator has been added.
85		By default this is turned off.  To turn this on, do:
86
87		CM.autoload "$smlnj/compiler.cm";
88		Compiler.Control.MLRISC.getFlag "x86-fast-fp" := true;
89
90		Changes:
91
92		1.  Changed FTAN to FPTAN so that the assembly output is correct.
93		2.  Changed the extension callback for FTANGENT to generate:
94
95		fptan
96		fstp  %st(0)
97		instead of
98		fptan
99		fstpl ftempmem
100
101		3.  Numerous assembly fixes for x86.
102
103		5.  Cleaned up the machine code output module x86/x86MC.sml and added
104		support for a whole bunch of instructions and addressing modes:
105
106		fadd/fsub/fsubr/fmul/fdiv/fdivr  %st, %st(n)
107		faddp/fsubp/fsubrp/fmulp/fdivp/fdivrp  %st, %st(n)
108		fadd/fsub/fsubr/fmul/fdiv/fdivr  %st(n), %st
109		fiadd/fisub/fisubr/fimul/fidiv/fidivr mem
110		fxch %st(n)
111		fld %st(n)
112		fst %st(n)
113		fst mem
114		fstp %st(n)
115		fucom %st(n)
116		fucomp %st(n)
117
118		All these are now generated when the fast fp mode is turned on.
119
120		6.  Removed the dedicated registers %st(0), ..., %st(7) from X86CpsRegs
121
122		----------------------------------------------------------------------
123		Name: Matthias Blume
124		Date: 2000/11/09 11:20:00 JST
125		Tag: blume-20001109-scc
126		Description:
127
128		Eliminated some code duplication:
129
130		1. Added "where" clause to GraphSCCFn in SML/NJ Library.
131		(Otherwise the functor is useless.)
132		2. Used GraphSCCFn where SCCUtilFun was used previously.
133		3. Got rid of SCCUtilFun (in comp-lib.cm).
134
135		----------------------------------------------------------------------
136		Name: Lal George
137		Date: 2000/11/06 09:02:21 EST 2000
138		Tag: Release_110_30
139		Description:
140
141		- Version 110.30
142		----------------------------------------------------------------------
143		Name: Matthias Blume
144		Date: 2000/11/04 14:45:00
145		Tag: blume-20001104-mlbuild
146		Description:
147
148		- Made ml-build faster on startup.
149		- Documentation fixes.
150
151		----------------------------------------------------------------------
152		Name: Matthias Blume
153		Date: 2000/11/02 17:00:00 JST
154		Tag: blume-20001102-condcomp
155		Description:
156
157		- Small tweaks to pickler -- new BOOTFILES!
158		- Version bumped to 110.29.2.
159		- Added conditional compilation facility to init.cmi (see comment there).
160		----------------------------------------------------------------------
161		Name: Allen Leung
162		Date: 2000/10/23 19:31:00
163		Tag: leunga-20001023-demo-ra
164
165		1. Minor RA changes that improves spilling on x86 (affects Moby and C-- only)
166		2. Test programs for the graph library updated
167		3. Some new MLRISC demo programs added
168
169		----------------------------------------------------------------------
170		Name: Matthias Blume
171		Date: 2000/08/31 22:15:00 JST
172		Tag: blume-20001017-errmsg
173		Description:
174
175		More error message grief: Where there used to be no messages, there
176		now were some that had bogus error regions.  Fixed.
177
178		----------------------------------------------------------------------
179		Name: Matthias Blume
180		Date: 2000/08/31 17:30:00 JST
181		Tag: blume-20001017-v110p29p1
182		Description:
183
184		I made a version 110.29.1 with new bootfiles.
185
186		Changes:  Modified pickler/unpickler for faster and leaner unpickling.
187		CM documentation changes and a small bugfix in CM's error reporting.
188
189		----------------------------------------------------------------------
190		Name: Lal George
191		Date: 2000/09/27 14:42:35 EDT
192		Tag: george-20000927-nodestatus
193		Description:
194
195		Changed the type of the nodestatus, so that:
196
197		SPILLED(~1)             is now SPILLED
198		SPILLED(m) where m>=0   is now MEMREG(m)
199		SPILLED(s) where s<~1   is now SPILL_LOC(~s)
200
201		----------------------------------------------------------------------
202		Name: Matthias Blume
203		Date: 2000/09/07 14:45:00 JST
204		Tag: blume-20000907-cmerrmsg
205		Description:
206
207		Small tweak to CM to avoid getting ML syntax error messages twice.
208
209		----------------------------------------------------------------------
210		Name: Matthias Blume
211		Date: 2000/08/31 18:00:00 JST
212		Tag: blume-20000831-cvsbootfiles
213		Description:
214
215		New URL for boot files (because the 110.29 files on the BL server do
216		now work correctly with my updated install scripts for yacc and lex).
217
218		----------------------------------------------------------------------
219		Name: Matthias Blume
220		Date: 2000/08/08 12:33:00 JST
221		Tag: blume-20000808-manual
222		Description:
223
224		Tiny update to CM manual.
225
226		----------------------------------------------------------------------
227		Name: Allen Leung
228		Date: 2000/08/7 19:31:00
229		Tag: leunga-20000807-a-whole-bunch-of-stuff
230
231		Moby, C--, SSA, x86, machine descriptions etc.  Should only affect C--
232		and Mobdy.
233
234		1.  x86
235
236		a.  Fixes to peephole module by John and Dan.
237		b.  Assembly fix to SETcc by Allen.
238		c.  Fix to c-call by John.
239		d.  Fix to spilling by John.  (This one deals with the missing FSTPT case)
240		e.  Instruction selection optimization to SETcc as suggested by John.
241
242		For example,
243
244		MV(32, x, COND(32, CMP(32, LT, a, b), LI 1, LI 0))
245
246		should generate:
247
248		MOVL a, x
249		SUBL b, x
250		SHRL 31, x
251
252		2.  IR stuff
253
254		A bunch of new DJ-graph related algorithms added.  These
255		speed up SSA construction.
256
257		3.  SSA + Scheduling
258
259		Added code for SSA and scheduling to the repository
260
261		----------------------------------------------------------------------
262		Name: Lal George
263		Date: 2000/07/27 11:53:14 EDT
264
265		Tag: lal-20000727-linux-ppc
266		Description:
267
268		Made changes to support Linux PPC.
269		p.s. I have confirmation that the 110.29 boot files work fine.
270
271		----------------------------------------------------------------------
272		Name: Matthias Blume
273		Date: 2000/07/27 17:40:00 JST
274		Tag: blume-20000727-scripts
275		Description:
276
277		!!!! WARNING !!!!
278		You must recompile the runtime system!
279		!!!! WARNING !!!!
280
281		This is basically another round of script-enhancements:
282
283		1. sml, ml-build, and ml-makedepend accept options -D and -U to define
284		and undefine CM preprocessor symbols.
285
286		2. ml-build avoids generating a new heap image if it finds that the
287		existing one is still ok.  (The condition is that no ML file had to
288		be recompiled and all ML files are found to be older that the heap
289		file.)
290
291		To make this work smoothly, I also hacked the runtime system as
292		well as SMLofNJ.SysInfo to get access to the heap image suffix
293		(.sparc-solaris, ...) that is currently being used.
294
295		Moreover, the signature of CM.mk_standalone has changed.  See the
296		CM manual.
297
298		3. ml-makedepend accepts additional options -n, -a, and -o.  (See the
299		CM manual for details.)
300
301		4. More CM manual updates:
302		- all of the above has been documented.
303		- there is now a section describing the (CM-related) command line
304		arguments that are accepted by the "sml" command
305
306		----------------------------------------------------------------------
307		Name: Matthias Blume
308		Date: 2000/07/25 16:20:00 JST
309		Tag: blume-20000725-makedepend
310		Description:
311
312		Added a script called ml-makedepend.  This can be used in makefiles
313		for Unix' make in a way very similar to the "makedepend" command for
314		C.
315
316		The script internally uses function CM.sources.
317
318		Synopsis:
319
320		ml-makedepend [-f makefile] cmfile targetname
321
322		The default for the makefile is "makefile" (or "Makefile" should
323		"makefile" not exist).
324
325		ml-makedepend adds a cmfile/targetname-specific section to this
326		makefile (after removing the previous version of this section).  The
327		section contains a single dependency specification with targetname on
328		the LHS (targetname is an arbitrary name), and a list of files derived
329		from the cmfile on the RHS.  Some of the files on the RHS are
330		ARCH/OPSYS-specific.  Therefore, ml-makedepend inserts references to
331		"make" variables $(ARCH) and $(OPSYS) in place of the corresponding
332		path names.  The makefile writer is responsible for making sure that
333		these variables have correct at the time "make" is invoked.
334
335		----------------------------------------------------------------------
336		Name: Matthias Blume
337		Date: 2000/07/22 23:30:00 JST
338		Tag: blume-20000722-urlupdate
339		Description:
340
341		Changed BOOT and config/srcarchiveurl to point to BL server:
342
343		ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.29/
344
345		----------------------------------------------------------------------
346		Name: Matthias Blume
347		Date: 2000/07/18 18:00:00 JST
348		Tag: blume-20000718-Version_110_29
349		Description:
350
351		1. Updated src/compiler/TopLevel/main/version.sml to version 110.29
352
353		2. Updated config/version to 110.29
354
355		3. Updated config/srcarchiveurl
356
357		3. New boot files!
358		ftp://ftp.cs.princeton.edu/pub/people/blume/sml/110.29-autofetch
359
360		----------------------------------------------------------------------
361		Name: Matthias Blume
362		Date: 2000/07/11 13:58:00 JST
363		Tag: blume-20000711-doctypo
364		Description:
365
366		Fixed a few typos in CM manual.
367
368		----------------------------------------------------------------------
369		Name: Allen Leung
370		Date: 2000/06/15 00:38:00
371		Tag: leunga-20000704-sparc-x86
372
373		1. x86 peephole improvement sp += k; sp -= k => nop  [from John]
374		2. fix to x86 RET bug [found by Dan Grossman]
375		3. sparc assembly bug fix for ticc instructions [found by Fermin]
376
377		Affects c-- and moby only
378
379		----------------------------------------------------------------------
380		Name: Matthias Blume
381		Date: 2000/07/04 15:26:00
382		Tag: blume-20000704-trigger
383		Description:
384
385		1. Improvements to CM manual.
386		2. SMLofNJ.Internals.BTrace.trigger reinstated as an alternative way
387		of getting a back-trace.  The function, when called, raises an
388		internal exception which explicitly carries the full back-trace history,
389		so it is unaffected by any intervening handle-raise pairs ("trivial"
390		or not).  The interactive loop will print that history once it arrives
391		at top level.
392		Short of having all exceptions implicitly carry the full history, the
393		recommended way of using this facility is:
394		- compile your program with instrumentation "on"
395		- run it, when it raises an exception, look at the history
396		- if the history is "cut off" because of some handler, go and modify
397		your program so that it explicitly calls BTrace.trigger
398		- recompile (still instrumented), and rerun; look at the full history
399
400		----------------------------------------------------------------------
401		Name: Matthias Blume
402		Date: 2000/07/03 15:36:00 JST
403		Tag: blume-20000702-manual
404		Description:
405
406		Small corrections and updates to CM manual.
407
408		----------------------------------------------------------------------
409		Name: Matthias Blume
410		Date: 2000/06/29 16:04:00 JST
411		Tag: blume-20000629-yacctool
412		Description:
413
414		Changes:
415
416		1. Class "mlyacc" now takes separate arguments to pass options to
417		generated .sml- and .sig-files independently.
418		2. Corresponding CM manual updates.
419		3. BTrace module now also reports call sites.  (However, for loop clusters
420		it only shows from where the cluster was entered.)  There are associated
421		modifications to core.sml, internals.{sig,sml}, btrace.sml, and btimp.sml.
422
423		----------------------------------------------------------------------
424		Name: Matthias Blume
425		Date: 2000/06/27 16:51:00 JST
426		Tag: blume-20000627-noweb
427		Description:
428
429		Changes:
430
431		1. Implemented "subdir" and "witness" options for noweb tool.
432		This caused some slight internal changes in CM's tool implementation.
433		2. Fixed bug in "tool plugin" mechanism.  This is essentially cleaning
434		some remaining issues from earlier path anchor changes.
435		3. Updated CM manual accordingly.
436
437		4. Changed implementation of back-tracing so that I now consider it
438		ready for prime-time.
439
440		In particular, you don't have to explicitly trigger the back-trace
441		anymore.  Instead, if you are running BTrace-instrumented code and
442		there is an uncaught exception (regardless of whether or not it was
443		raised in instrumented code), the top-level evalloop will print
444		the back-trace.
445
446		Features:
447
448		- Instrumented and uninstrumented code work together seemlessly.
449		(Of course, uninstrumented code is never mentioned in actual
450		back-traces.)
451
452		- Asymptotic time- and space-complexity of instrumented code is
453		equal to that of uninstrumented code.  (This means that
454		tail-recursion is preserved by the instrumentation phase.)
455
456		- Modules whose code has been instrumented in different sessions
457		work together without problem.
458
459		- There is no penalty whatsoever on uninstrumented code.
460
461		- There is no penalty on "raise" expressions, even in
462		instrumented code.
463
464		A potential bug (or perhaps it is a feature, too):
465
466		A back-trace reaches no further than the outermost instrumented
467		non-trivial "raise".  Here, a "trivial" raise is one that is the
468		sole RHS of a "handle" rule.  Thus, back-traces reach trough
469
470		<exp> handle e => raise e
471
472		and even
473
474		<exp> handle Foo => raise Bar
475
476		and, of course, through
477
478		<exp> handle Foo => ...
479
480		if the exception was not Foo.
481
482		Back-traces always reach right through any un-instrumented code
483		including any of its "handle" expressions, trivial or not.
484
485		To try this out, do the following:
486
487		- Erase all existing binfiles for your program.
488		(You may keep binfiles for those modules where you think you
489		definitely don't need back-tracing.)
490		- Turn on back-trace instrumentation:
491		SMLofNJ.Internals.BTrace.mode (SOME true);
492		- Recompile your program.  (I.e., run "CM.make" or "use".)
493		- You may now turn instrumentation off again (if you want):
494		SMLofNJ.Internals.BTrace.mode (SOME false);
495		- Run your program as usual.  If it raises an exception that
496		reaches the interactive toplevel, then a back-trace will
497		automatically be printed.  After that, the toplevel loop
498		will print the exception history as usual.
499
500		----------------------------------------------------------------------
501		Name: Matthias Blume
502		Date: 2000/06/26 09:56:46 JST
503		Tag: blume-20000626-setup
504		Description:
505
506		CM: - setup-parameter to "sml" added; this can be used to run arbitrary
507		ML code before and after compiling a file (e.g., to set compiler
508		flags)
509
510		Compiler: - improved btrace API (in core.sml, internals.{sig,sml})
511		- associated changes to btrace.sml (BTrace instrumentation pass)
512		- cleaner implementation of btimp.sml (BTrace tracing and report
513		module)
514
515		CM manual: * new path encoding documented
516		* description of setup-parameter to "sml" added
517
518		The biggest user-visible change to back-tracing is that it is no
519		longer necessary to compile all traced modules within the same
520		session.  (This was a real limitation.)
521
522		----------------------------------------------------------------------
523		Name: Matthias Blume
524		Date: 2000/06/24 12:40:00 JST
525		Tag: blume-20000624-startup
526		Description:
527
528		Fixes startup slowdown problem.  (I was calling SrcPath.sync a _tad_
529		bit too often -- to put it mildly. :)
530
531		----------------------------------------------------------------------
532		Name: Matthias Blume
533		Date: 2000/06/23 18:20:00 JST
534		Tag: blume-20000623-btrace
535		Description:
536
537		This updates adds a backtrace facility to aid programmers in debugging
538		their programs.  This involves the following changes:
539
540		1. Module system/smlnj/init/core.sml (structure _Core) now has hooks for
541		keeping track of the current call stack.  When programs are compiled
542		in a special mode, the compiler will insert calls to these hooks
543		into the user program.
544		"Hook" means that it is possible for different implementations of
545		back-tracing to register themselves (at different times).
546
547		2. compiler/MiscUtil/profile/btrace.sml implements the annotation phase
548		as an Absyn.dec->Absyn.dec rewrite.  Normally this phase is turned off.
549		It can be turned on using this call:
550		SMLofNJ.Internals.BTrace.mode (SOME true);
551		Turning it off again:
552		SMLofNJ.Internals.BTrace.mode (SOME false);
553		Querying the current status:
554		SMLofNJ.Internals.BTrace.mode NONE;
555		Annotated programs are about twice as big as normal ones, and they
556		run a factor of 2 to 4 slower with a dummy back-trace plugin (one
557		where all hooks do nothing).  The slowdown with a plugin that is
558		actually useful (such as the one supplied by default) is even greater,
559		but in the case of the default plugin it is still only an constant
560		factor (amortized).
561
562		3. system/Basis/Implementation/NJ/internals.{sig,sml} have been augmented
563		with a sub-structure BTrace for controlling back-tracing.  In particular,
564		the above-mentioned function "mode" controls whether the annotation
565		phase is invoked by the compiler.  Another important function is
566		"trigger": when called it aborts the current execution and causes
567		the top-level loop to print a full back-trace.
568
569		4. compiler/MiscUtil/profile/btimp.sml is the current default plugin
570		for back-tracing.  It keeps track of the dynamic call stack and in
571		addition to that it keeps a partial history at each "level" of that
572		stack.  For example, if a tail-calls b, b tail-calls c, and c tail-calls
573		d and b (at separate times, dynamically), then the report will show:
574
575		GOTO   d
576		/c
577		GOTO  \b
578		CALL   a
579
580		This shows that there was an initial non-tail call of a, then a
581		tail-call to b or c, looping behavior in a cluster of functions that
582		consist of b and c, and then a goto from that cluster (i.e., either from
583		b or from c) to d.
584
585		Note that (depending on the user program) the amount of information
586		that the back-trace module has to keep track of at each level is bounded
587		by a constant.  Thus, the whole implementation has the same asymptotical
588		complexity as the original program (both in space and in time).
589
590		5. compiler/TopLevel/interact/evalloop.sml has been modified to
591		handle the special exception SMLofNJ.Internals.BTrace.BTrace
592		which is raised by the "trigger" function mentioned above.
593
594		Notes on usage:
595
596		- Annotated code works well together with unannotated code:
597		Unannotated calls simply do not show up at all in the backtrace.
598
599		- It is not a good idea to let modules that were annotated during
600		different sessions run at the same time.  This is because the compiler
601		chooses small integers to identify individual functions, and there
602		will be clashes if different modules were compiled in separate sessions.
603		(Nothing will crash, and you will even be told about the clashes, but
604		back-trace information will in general not be useful.)
605
606		- Back-tracing can be confused by callcc and capture.
607
608		- The only way of getting a back-trace right now is to explicitly
609		invoke the "trigger" function from your user program.  Eventually, we
610		should make every exception carry back-trace information (if
611		available).  But since this creates more overhead at "raise"-time
612		(similar to the current exnHistory overhead), I have not yet
613		implemented this.  (The implementation will be rather easy.)  With
614		exceptions carrying back-trace information, this facility will be even
615		more useful because users don't need to modify their programs...
616
617		- While it is possible to compile the compiler with back-trace
618		annotations turned on (I did it to get some confidence in
619		correctness), you must make absolutely sure that core.sml and
620		btimp.sml are compiled WITHOUT annotation!  (core.sml cannot actually
621		be compiled with annotation because there is no core access yet, but
622		if you compile btimp.sml with annotation, then the system will go into
623		an infinite recursion and crash.)
624		Since CM currently does not know about BTrace, the only way to turn
625		annotations on and off for different modules of the compiler is to
626		interrupt CMB.make, change the settings, and re-invoke it.  Of course,
627		this is awkward and clumsy.
628
629		Sample sessions:
630
631		Standard ML of New Jersey v110.28.1 [FLINT v1.5], June 5, 2000
632		- SMLofNJ.Internals.BTrace.mode (SOME true);
633		[autoloading]
634		[autoloading done]
635		val it = false : bool
636		- structure X = struct
637		-     fun main n = let
638		-         fun a (x, 0) = d x
639		-           | a (x, n) = b (x, n - 1)
640		-         and b (x, n) = c (x, n)
641		-         and c (x, n) = a (x, n)
642		-         and d x = e (x, 3)
643		-         and e (x, 0) = f x
644		-           | e (x, n) = e (x, n - 1)
645		-         and f 0 = SMLofNJ.Internals.BTrace.trigger ()
646		-           | f n = n * g (n - 1)
647		-         and g n = a (n, 3)
648		-     in
649		-         f n
650		-     end
651		- end;
652		structure X : sig val main : int -> int end
653		- X.main 3;
654		*** BACK-TRACE ***
655		GOTO   stdIn:4.2-13.20: X.main[2].f
656		GOTO-( stdIn:4.2-13.20: X.main[2].e
657		GOTO   stdIn:4.2-13.20: X.main[2].d
658		/ stdIn:4.2-13.20: X.main[2].a
659		| stdIn:4.2-13.20: X.main[2].b
660		GOTO-\ stdIn:4.2-13.20: X.main[2].c
661		CALL   stdIn:4.2-13.20: X.main[2].g
662		GOTO   stdIn:4.2-13.20: X.main[2].f
663		GOTO-( stdIn:4.2-13.20: X.main[2].e
664		GOTO   stdIn:4.2-13.20: X.main[2].d
665		/ stdIn:4.2-13.20: X.main[2].a
666		| stdIn:4.2-13.20: X.main[2].b
667		GOTO-\ stdIn:4.2-13.20: X.main[2].c
668		CALL   stdIn:4.2-13.20: X.main[2].g
669		GOTO   stdIn:4.2-13.20: X.main[2].f
670		GOTO-( stdIn:4.2-13.20: X.main[2].e
671		GOTO   stdIn:4.2-13.20: X.main[2].d
672		/ stdIn:4.2-13.20: X.main[2].a
673		| stdIn:4.2-13.20: X.main[2].b
674		GOTO-\ stdIn:4.2-13.20: X.main[2].c
675		CALL   stdIn:4.2-13.20: X.main[2].g
676		GOTO   stdIn:4.2-13.20: X.main[2].f
677		CALL   stdIn:2.15-17.4: X.main[2]
678		-
679
680		(Note that because of a FLINt bug the above code currently does not
681		compile without BTrace turned on.)
682
683		Here is another example, using my modified Tiger compiler:
684
685		Standard ML of New Jersey v110.28.1 [FLINT v1.5], June 5, 2000
686		- SMLofNJ.Internals.BTrace.mode (SOME true);
687		[autoloading]
688		[autoloading done]
689		val it = false : bool
690		- CM.make "sources.cm";
691		[autoloading]
692		...
693		[autoloading done]
694		[scanning sources.cm]
695		[parsing (sources.cm):parse.sml]
696		[creating directory CM/SKEL ...]
697		[parsing (sources.cm):tiger.lex.sml]
698		...
699		[wrote CM/sparc-unix/semant.sml]
700		[compiling (sources.cm):main.sml]
701		[wrote CM/sparc-unix/main.sml]
702		[New bindings added.]
703		val it = true : bool
704		- Main.compile ("../testcases/merge.tig", "foo.out");
705		*** BACK-TRACE ***
706		CALL   lib/semant.sml:99.2-396.21: SemantFun[2].transExp.trvar
707		CALL   lib/semant.sml:99.2-396.21: SemantFun[2].transExp.trexp
708		CALL   lib/semant.sml:289.3-295.22: SemantFun[2].transExp.trexp.check[2]
709		GOTO   lib/semant.sml:289.3-295.22: SemantFun[2].transExp.trexp.check[2]
710		CALL   lib/semant.sml:99.2-396.21: SemantFun[2].transExp.trexp
711		CALL   lib/semant.sml:99.2-396.21: SemantFun[2].transExp.trexp
712		CALL   lib/semant.sml:488.3-505.6: SemantFun[2].transDec.trdec[2].transBody[2]
713		/ lib/semant.sml:411.65-543.8: SemantFun[2].transDec
714		CALL-\ lib/semant.sml:413.2-540.9: SemantFun[2].transDec.trdec[2]
715		CALL   lib/semant.sml:99.2-396.21: SemantFun[2].transExp.trexp
716		CALL   lib/semant.sml:8.52-558.4: SemantFun[2].transProg[2]
717		CALL   main.sml:1.18-118.4: Main.compile[2]
718		-
719
720		----------------------------------------------------------------------
721		Name: Matthias Blumen
722		Date: 2000/06/21 18:00:00 JST
723		Tag: blume-20000621-manual
724		Description:
725
726		CM manual update: Path environments documented.
727
728		----------------------------------------------------------------------
729		Name: Matthias Blume
730		Date: 2000/06/19 13:40:00
731		Tag: blume-20000619-manual
732		Description:
733
734		CM manual and system/README update.  This only covers the fact that
735		there are no more implicit anchors.  (Path environments and the "bind"
736		option to "cm" have yet to be documented.)
737
738		----------------------------------------------------------------------
739		Name: Matthias Blume
740		Date: 2000/06/19 11:05:00 JST
741		Tag: blume-20000619-chdir-bugfix
742		Description:
743
744		Fixed a bug in new SrcPath module that sometimes led to a bad chDir call.
745
746	----------------------------------------------------------------------	----------------------------------------------------------------------
747	Name: Matthias Blume	Name: Matthias Blume
748	Date: 2000/06/18 22:00:10 JST	Date: 2000/06/18 22:00:10 JST

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.670   changed lines   Added in v.737

---

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