Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-3/NOTES/HISTORY
ViewVC logotype

Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1689, Sat Nov 13 06:25:04 2004 UTC revision 1865, Wed Nov 16 04:31:59 2005 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (http://www.tti-c.org/blume/)
17    Date: 2005/11/15 22:35:00 CST
18    Tag: blume-22051115-array2copy
19    Description:
20    
21    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume (http://www.tti-c.org/blume/)
25    Date: 2005/11/15 21:35:00 CST
26    Tag: blume-22051115-versiontool
27    Description:
28    
29    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
30    file gets loaded as a tool -- by the equivalent of CM.make during the
31    run of CMB.make.  Thus, CMB's path configuration is meaningless for
32    it.  Instead, it has the status of "user code", so it should use
33    $/basis.cm to refer to the Basis library.  (At least that's true for
34    the purpose of bootstrapping the previous change.  In the future it
35    might make sense to have versiontool.cm refer to
36    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
37    compiler itself uses.)
38    
39    Also patched src/system/testml to have it activate those extra anchor
40    bindings in config/extrapathconfig.
41    
42    ----------------------------------------------------------------------
43    Name: Matthias Blume (http://www.tti-c.org/blume/)
44    Date: 2005/11/15 16:35:00 CST
45    Tag: blume-22051115-libraries
46    Description:
47    
48    This change affects the way the following libraries are tied into
49    the system:
50    
51       $/basis.cm
52       $/smlnj-lib.cm
53       $/pp-lib.cm
54       $/controls-lib.cm
55       $/html-lib.cm
56       $/ml-yacc-lib.cm
57    
58    These libraries are now internally (as seen from the source code
59    of the implementation itself) known by the following names:
60    
61       $smlnj/basis/basis.cm
62       $smlnj/smlnj-lib/smlnj-lib.cm
63       $smlnj/smlnj-lib/pp-lib.cm
64       $smlnj/smlnj-lib/controls-lib.cm
65       $smlnj/smlnj-lib/html-lib.cm
66       $smlnj/ml-yacc/ml-yacc-lib.cm
67    
68    This makes it possible to work with code that requires different
69    versions of these libraries, and which refers to these libraries using
70    their "default" names (i.e., the first set of names above).  In other
71    words, one can un-define or re-define those default names without
72    compromising the proper functioning of the compiler itself.
73    
74    A similar procedure had already been performed for several of the
75    MLRISC libraries that are linked into the compiler.  I did some
76    cleanup on this code.
77    
78    A new file in the config directory (named extrapathconfig) is
79    responsible for setting up path anchors that the compiler itself does
80    not need, but that are typically required by user code.
81    
82    ----------------------------------------------------------------------
83    Name: Matthias Blume
84    Date: 2005/11/07 17:05:00 CST
85    Tag: blume-20051107-slice
86    Description:
87    
88    Fixed erroneous out-of-bounds test in the "update" function of
89    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
90    out the problem.)
91    
92    Pushed some Basis changes through ML-Lex, CML, and eXene.
93    
94    ----------------------------------------------------------------------
95    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
96    Date: 2005/11/07
97    Description:
98    Fixed a Basis incompatibility: The depreciated function Substring.all
99    was removed (use Substring.full instead).
100    
101    ----------------------------------------------------------------------
102    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
103    Date: 2005/11/05
104    Description:
105    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
106    
107    ----------------------------------------------------------------------
108    Name: Matthias Blume (http://www.tti-c.org/blume/)
109    Date: 2005/11/02 16:25:00 CST
110    Tag: blume-20051102-hex
111    Description:
112    
113    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
114      in either upper case or lower case format.
115    * Pushed changes to names of Pack<N>{Big,Little} structures through
116      CML and eXene.
117    
118    ----------------------------------------------------------------------
119    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
120    Date: 2005/11/02
121    Description:
122    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
123    be called PackWord<N>{Big,Little}.
124    
125    ----------------------------------------------------------------------
126    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
127    Date: 2005/10/28
128    Description:
129    Fixed a minor Basis incompatibility: hex digits should be upper case.
130    
131    ----------------------------------------------------------------------
132    Name: Matthias Blume (blume (at) tti - c (dot) org)
133    Date: 2005/10/25 16:00:00 CDT
134    Tag: Release_110_56
135    Description:
136    
137    New working version (110.56).  NEW BOOTFILES!
138    
139    ----------------------------------------------------------------------
140    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
141    Date: 2005/10/25
142    Description:
143    Added interval sets to utility library (signatures INTERVAL_DOMAIN
144    and INTERVAL_SET, and functor IntervalSetFn).
145    
146    ----------------------------------------------------------------------
147    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
148    Date: 2005/10/14
149    Description:
150    Add Zhong Shao's fix for datatype equality functions.
151    
152    ----------------------------------------------------------------------
153    Name: Allen Leung (leunga (at) reservoir (dot) com)
154    Date: 2005/10/14 12:30:00 EST
155    Tag: leunga-20051014-x86-spill
156    Description:
157    
158    Bug fix a bug found by Carl Hauser.
159    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
160    
161    ----------------------------------------------------------------------
162    Name: Allen Leung (leunga (at) reservoir (dot) com)
163    Date: 2005/10/14 11:15:00 EST
164    Tag: leunga-20051014-x86-asm
165    Description:
166    
167    Removed some debugging code in file x86Asm.sml.
168    The function emit_operand was printing out debugging output.
169    
170    ----------------------------------------------------------------------
171    Name: John Reppy
172    Date: 2005/07/27
173    Tag:
174    Description:
175    
176    Fixed ml-lex to recognize "\r" as representing carriage return.
177    
178    ----------------------------------------------------------------------
179    Name: John Reppy
180    Date: 2005/07/27
181    Tag:
182    Description:
183    
184    Fixed ml-yacc to work on files with non-native end-of-line
185    encodings (e.g., Windows text file on a Unix system).
186    
187    ----------------------------------------------------------------------
188    Name: John Reppy
189    Date: 2005/07/20
190    Tag:
191    Description:
192    
193    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
194    to support HPUX 11.
195    
196    ----------------------------------------------------------------------
197    Name: John Reppy
198    Date: 2005/07/06
199    Tag:
200    Description:
201    
202    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
203    
204    ----------------------------------------------------------------------
205    Name: Matthias Blume (blume (at) tti - c (dot) org)
206    Date: 2005/07/06 00:45:00 CDT
207    Tag: blume-20050706-slice-copy
208    Description:
209    
210    Fixed reversed logic for deciding whether to "copy up" or "copy down"
211    in *-array-slice.sml.
212    
213    ----------------------------------------------------------------------
214    Name: Allen Leung (leunga (at) reservoir (dot) com)
215    Date: 2005/05/31 17:00:00 EST
216    Tag: leunga-20050531-cygwin-fault-2
217    Description:
218    
219    A typo in the cygwin code fixed.
220    
221    ----------------------------------------------------------------------
222    Name: Allen Leung (leunga (at) reservoir (dot) com)
223    Date: 2005/05/31 16:47:00 EST
224    Tag: leunga-20050531-cygwin-fault
225    Description:
226    
227    Updated Cygwin's fault/signal handling to match the Windows version.
228    Updated the export list.
229    
230    ----------------------------------------------------------------------
231    Name: Matthias Blume (blume (at) tti - c (dot) org)
232    Date: 2005/05/18 13:35:00 CDT
233    Tag: Release_110_54
234    Description:
235    
236    New working version (110.54).  NEW BOOTFILES!
237    
238    ----------------------------------------------------------------------
239    Name: Matthias Blume (blume (at) tti - c (dot) org)
240    Date: 2005/05/18 11:58:00 CDT
241    Tag: blume-20050518-installer
242    Description:
243    
244    Added support scripts for Mac OS X PackageMaker and modified
245    config/install.sh so that it supports re-dumping a heap image
246    after customization.
247    
248    ----------------------------------------------------------------------
249    Name: Matthias Blume (blume (at) tti - c (dot) org)
250    Date: 2005/05/18 10:55:00 CDT
251    Tag: blume-20050518-realdiv-noovld
252    Description:
253    
254    Un-overloaded / to work around bug in overloading resolution code.
255    
256    ----------------------------------------------------------------------
257    Name: Matthias Blume (blume (at) tti - c (dot) org)
258    Date: 2005/05/16 23:50:00 CDT
259    Tag: blume-20050516-redump-heap
260    Description:
261    
262    Added mechanism for re-creating a heap file for the interactive system
263    after configuration variables have been changed.
264    
265       CM.redump_heap : string -> unit
266    
267    This is much like SMLofNJ.exportML, but starting from the resulting
268    heap does not return to the caller of CM.redump_heap but
269    restarts the interactive system from scratch.  The original call of
270    CM.redump_heap does not return but ends the interactive session.
271    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
272    
273    Internally, redump_heap winds the dynamic execution context back to
274    the point where the original heap image was created and re-executes
275    the heap image generation code in the boot code.
276    
277    ----------------------------------------------------------------------
278    Name: Matthias Blume (blume (at) tti - c (dot) org)
279    Date: 2005/05/09 21:55:00 CDT
280    Tag: blume-20050509-word64
281    Description:
282    
283    Added a hack to the existing hack known as Word64 to make fromString
284    behave correctly.  I am still not sure whether Word64.scan will work
285    as specified with respect to the interaction of radix and prefix.
286    
287    ----------------------------------------------------------------------
288    Name: Allen Leung (leunga (at) reservoir (dot) com)
289    Date: 2005/05/04 11:50:00 EST
290    Tag: leunga-20050504-checkgc
291    Description:
292    
293    Added a gc protocol checking phase.  This phase is enabled with
294    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
295    
296    ----------------------------------------------------------------------
297    Name: Matthias Blume (blume (at) tti - c (dot) org)
298    Date: 2005/05/04 10:45:00 CDT
299    Tag: blume-20050504-intinf
300    Description:
301    
302    Fixed a bug in the implementation of div and mod for IntInf.
303    Thanks to Neophytos Michael for reporting the problem.
304    
305    ----------------------------------------------------------------------
306    Name: Matthias Blume (blume (at) tti - c (dot) org)
307    Date: 2005/05/04 10:35:00 CDT
308    Tag: blume-20050504-join
309    Description:
310    
311    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
312    
313    ----------------------------------------------------------------------
314    Name: Matthias Blume (blume (at) tti - c (dot) org)
315    Date: 2005/02/28 23:40:00 CST
316    Tag: blume-20050228-mVar
317    Description:
318    
319    Fixed serious bug (brown paper bag variety) in new implementation of
320    structure Atom in CML.  (I had accidentally used a mailbox instead of
321    an mvar, leaving the door open for races.)
322    
323    ----------------------------------------------------------------------
324    Name: Matthias Blume (blume (at) tti - c (dot) org)
325    Date: 2005/02/25 15:00:00 CST
326    Tag: Release_110_53
327    Description:
328    
329    New working version (110.53).  NEW BOOTFILES!
330    
331    ----------------------------------------------------------------------
332    Name: Matthias Blume (blume (at) tti - c (dot) org)
333    Date: 2005/02/25 14:50:00 CST
334    Tag: blume-20050225-susp
335    Description:
336    
337    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
338    implemented in Core -- which means that it is the same as the one used
339    by the lazy extension.
340    
341    ----------------------------------------------------------------------
342    Name: Matthias Blume (blume (at) tti - c (dot) org)
343    Date: 2005/02/24 16:50:00 CST
344    Tag: blume-20050224-cml-atom
345    Description:
346    
347    Simpler and at the same time more general implementation of structure
348    Atom in CML.
349    
350    ----------------------------------------------------------------------
351    Name: Matthias Blume (blume (at) tti - c (dot) org)
352    Date: 2005/02/15 17:35:00 CST
353    Tag: blume-20050215-tools
354    Description:
355    
356    Created new "tools" directory under "src" and moved "TraceDebugProf"
357    there.
358    
359    ----------------------------------------------------------------------
360    Name: Matthias Blume (blume (at) tti - c (dot) org)
361    Date: 2005/02/10 17:55:00 CST
362    Tag: blume-20050210-longlong
363    Description:
364    
365    Implemented "long long" arguments and results for NLFFI.  (Only the
366    PPC/MacOS implementation is complete, the other backends still need to
367    be updated.)
368    
369    ----------------------------------------------------------------------
370    Name: Matthias Blume (blume (at) tti - c (dot) org)
371    Date: 2005/01/24 17:40:00 CST
372    Tag: blume-20050124-mlyacc
373    Description:
374    
375    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
376    problem with certain "as" patterns which previously got rendered
377    using incorrect syntax.
378    
379    ----------------------------------------------------------------------
380    Name: Matthias Blume (blume (at) tti - c (dot) org)
381    Date: 2005/01/18 12:00:00 CST
382    Tag: blume-20050118-profile
383    Description:
384    
385    Made time profiling code (interrupt handler) in runtime system aware
386    of new array representation.
387    
388    ----------------------------------------------------------------------
389    Name: Matthias Blume (blume (at) tti - c (dot) org)
390    Date: 2005/01/14 18:00:00 CST
391    Tag: blume-20050114-heap2exec
392    Description:
393    
394    Implemented new (but still experimental) heap2exec facility.  This is
395    tested under Mac OS X and should work under Linux (will test shortly).
396    It will probably also work on the Sparc (will test some time later).
397    
398      - removed old "HACKED_STANDALONE" hack from runtime
399    
400    To be able to test this, uncomment the request for "heap2asm" in
401    config/targets prior to installation.  (Notice that this is different
402    from "heap2exec" mentioned below.  Not a typo.)
403    
404    To perform an actual test, run the command
405    
406       $ bin/heap2exec heapfile execfile
407    
408    (You can put heap2exec on your shell's path.)
409    
410    For example, run
411    
412      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
413    
414    This will create a standalone executable called "mly" which you can
415    then invoke directly as a command.
416    
417    ----------------------------------------------------------------------
418    Name: Matthias Blume (blume (at) tti - c (dot) org)
419    Date: 2005/01/07 11:44:00 CST
420    Tag: blume-20050107-mlstring
421    Description:
422    
423    fixed off-by-one error in ML_STRING macro (globals.c)
424    
425    ----------------------------------------------------------------------
426    Name: Matthias Blume (blume (at) tti - c (dot) org)
427    Date: 2004/12/23 18:00:00 CST
428    Tag: blume-20041223-santa
429    Description:
430    
431    Made ml-build script "smarter" (but only very little).
432    
433    ----------------------------------------------------------------------
434    Name: Matthias Blume (blume (at) tti - c (dot) org)
435    Date: 2004/12/21 15:05:00 CST
436    Tag: blume-20041221-longlong
437    Description:
438    
439    * Implemented access to signed and unsigned long long data in NLFFI.
440    (The parameter-passing part of the picture has not complete. But
441    data structure access seems to work.)
442    
443    * Fixed CM's incorrect assumption that the PPC is little-endian.
444      (On the Mac, it is big-endian.  And that's currently our only
445      PPC platform.)
446    
447    ----------------------------------------------------------------------
448    Name: Matthias Blume (blume (at) tti - c (dot) org)
449    Date: 2004/12/21 12:50:00 CST
450    Tag: blume-20041221-memory
451    Description:
452    
453    Some cleanup in the $c/memory.cm library: separated some concerns by
454    moving allocation code and memory access code each into their own
455    files.
456    
457    ----------------------------------------------------------------------
458    Name: Allen Leung (leunga (at) reservoir (dot) com)
459    Date: 2004/12/17 16:12:00 EST
460    Tag: leunga-20041217-cygwin-smlnj-home
461    Description:
462    
463        The Unix I/O library of SML/NJ on cygwin does not understand
464    Windows style pathname, so problems arise when SMLNJ_HOME is set
465    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
466    to a POSIX pathname on cygwin.
467    
468    ----------------------------------------------------------------------
469    Name: Matthias Blume (blume (at) tti - c (dot) org)
470    Date: 2004/12/16 13:35:00 CST
471    Tag: Release_110_52
472    Description:
473    
474    Last-minute changes incorporated into 110.52.  Release tag moved.
475    
476    The changes:
477       - HashString.hashString' -> HashString.hashSubstring
478       - bug fix in UnivariateStats
479    
480    ----------------------------------------------------------------------
481    Name: Matthias Blume (blume (at) tti - c (dot) org)
482    Date: 2004/12/15 23:40:00 CST
483    Tag: blume-20041215-hashSubstring
484    Description:
485    
486    - HashString.hashString' -> HashString.hashSubstring
487    - corresponding changes in atom.sml
488    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
489      added some comments
490    
491    ----------------------------------------------------------------------
492    Name: Matthias Blume (blume (at) tti - c (dot) org)
493    Date: 2004/12/15 15:30:00 CST
494    Tag: (Release_110_52)
495    Description:
496    
497    New working version (110.52).  NEW BOOTFILES!
498    
499    ----------------------------------------------------------------------
500    Name: Matthias Blume (blume (at) tti - c (dot) org)
501    Date: 2004/12/15 12:45:00 CST
502    Tag: blume-20041215-spaces
503    Description:
504    
505    More on the space problem (this time for Win32).
506    
507    ----------------------------------------------------------------------
508    Name: Matthias Blume (blume (at) tti - c (dot) org)
509    Date: 2004/12/14 17:30:00 CST
510    Tag: blume-20041214-spaces
511    Description:
512    
513    Hacked some of the scripts (in particular: the installer) to cope with
514    spaces in filenames a bit better.  But beware: the current "solution"
515    is likely still full of bugs and inherently incomplete.  (We need to
516    do away with those shell scripts for a comprehensive solution.)
517    
518    ----------------------------------------------------------------------
519    Name: Matthias Blume (blume (at) tti - c (dot) org)
520    Date: 2004/12/13 14:45:00 CST
521    Tag: blume-20041213-ml-makedepend
522    Description:
523    
524    Fixed bug in code for ml-makedepend.
525    
526    ----------------------------------------------------------------------
527    Name: Matthias Blume (blume (at) tti - c (dot) org)
528    Date: 2004/12/09 16:30:00 CST
529    Tag: blume-20041209-statistics
530    Description:
531    
532    Added two simple but potentially useful statistics modules to SML/NJ Library.
533    (See CHANGES file there.)
534    
535    ----------------------------------------------------------------------
536    Name: Matthias Blume (blume (at) tti - c (dot) org)
537    Date: 2004/12/01 16:50:00 CST
538    Tag: blume-20041201-atom
539    Description:
540    
541    smlnj-lib:
542    
543      Added function HashString.hashString' for substrings.
544      Hand-inlined CharVector.foldl into HashString (for speed).
545      Modified implementation of structure Atom to avoid extracting
546      strings from substrings unless necessary.
547      (Also see CHANGES file for smlnj-lib.)
548    
549    ----------------------------------------------------------------------
550    Name: Matthias Blume (blume (at) tti - c (dot) org)
551    Date: 2004/11/24 22:15:00 CST
552    Tag: blume-20041124-cml
553    Description:
554    
555    Made sure CML compiles when Position = Int64.
556    
557    ----------------------------------------------------------------------
558    Name: Matthias Blume (blume (at) tti - c (dot) org)
559    Date: 2004/11/24 14:30:00 CST
560    Tag: blume-20041124-position
561    Description:
562    
563    The compiler can now be compiled in a mode that makes structure Position
564    equal to Int64.  The default, however, is unchanged (Position = Int31)
565    for the time being.
566    
567    To enable 64-bit positions, use the following procedure:
568    
569    1. Start sml
570    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
571    3. Type
572          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
573    4. Run CMB.make() as usual.
574    
575    This is barely tested.  The only test so far was a little SML program
576    counting the number of characters in an 8-gigabyte file by
577    reading it character-by-character.  That test was successful.
578    
579    In support of 64-bit positions, a number of new functions have been
580    added to the runtime system.
581    
582    ----------------------------------------------------------------------
583    Name: Matthias Blume (blume (at) tti - c (dot) org)
584    Date: 2004/11/23 14:45:00 CST
585    Tag: blume-20041123-useFile
586    Description:
587    
588    Fixed a problem with unhelpful error messages related to problems with
589    .cm- or .sml files that appear as part of the sml command line.
590    
591    ----------------------------------------------------------------------
592    Name: Matthias Blume (blume (at) tti - c (dot) org)
593    Date: 2004/11/18 15:40:00 CST
594    Tag: Release_110_51
595    Description:
596    
597    New working version (110.51).  NEW BOOTFILES!
598    
599    ----------------------------------------------------------------------
600    Name: Matthias Blume (blume (at) tti - c (dot) org)
601    Date: 2004/11/18 15:35:00 CST
602    Tag: <none>
603    Description:
604    
605    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
606    Joemann).
607    
608    ----------------------------------------------------------------------
609    Name: Allen Leung (leunga (at) reservoir (dot) com)
610    Date: 2004/11/17 16:05:21 EST 2004
611    Tag: leunga-20041117-mlrisc-live-kill
612    Description:
613    
614       Added support for MLTree constructs LIVE and KILL
615    to all the architectures.
616    
617    ----------------------------------------------------------------------
618  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
619  Date: 2004/11/13 00:20:00 CST  Date: 2004/11/13 00:20:00 CST
620  Tag: blume-20041113-versiontool  Tag: blume-20041113-versiontool

Legend:
Removed from v.1689  
changed lines
  Added in v.1865

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