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

SCM Repository

[smlnj] Log of /sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod.sml
ViewVC logotype

Log of /sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod.sml

Parent Directory Parent Directory


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 3344 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 15 12:52:07 2009 UTC (10 years, 5 months ago) by gkuan
File length: 42620 byte(s)
Diff to previous 3299
added primaries field representing primaries as tycons

Revision 3299 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 24 13:58:04 2009 UTC (10 years, 5 months ago) by dbm
File length: 42548 byte(s)
Diff to previous 3290
cleanup: removed Semant/modules and contents, removed bodyRlzn field from fctEntity record

Revision 3290 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 17 09:33:39 2009 UTC (10 years, 6 months ago) by dbm
File length: 42589 byte(s)
Diff to previous 3287
removed references to LAMBDA_TP, small improvements in ppabsyn.sml

Revision 3287 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 8 06:15:05 2009 UTC (10 years, 6 months ago) by dbm
File length: 42688 byte(s)
Diff to previous 3229
removed LAMBDA_TP and prepared for deletion of bodyRlzn field in fctEntity

Revision 3229 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 21 23:03:38 2008 UTC (11 years ago) by gkuan
File length: 42675 byte(s)
Diff to previous 3006
merge from trunk into primop-branch-3 (2931:3228)

Revision 3006 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 25 20:02:56 2008 UTC (11 years, 5 months ago) by gkuan
File length: 42585 byte(s)
Diff to previous 2961
lots of bugfixes and formal functor setup...not complete

Revision 2961 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 24 02:55:01 2008 UTC (11 years, 6 months ago) by gkuan
File length: 42560 byte(s)
Diff to previous 2751
merged in primop-branch-gkuan 2742:2960 elimination of tycpath in Elaboration and reconstitution in translate

Revision 2751 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 11 21:57:29 2007 UTC (12 years, 1 month ago) by gkuan
File length: 42549 byte(s)
Diff to previous 2745
Added RepTycProps module for computing tycpaths just before translation. Saving functor parameter dummy instantiation as paramEnts in resp. fctEntity and Lambda

Revision 2745 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 30 18:56:33 2007 UTC (12 years, 1 month ago) by dbm
File length: 42359 byte(s)
Diff to previous 2742
reorganization of FLINT/kernel, step 1

Revision 2742 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 27 04:03:53 2007 UTC (12 years, 1 month ago) by gkuan
File length: 42355 byte(s)
Diff to previous 2740
merge from trunk into primop-branch-3 (2650:2741)

Revision 2740 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 21 21:05:34 2007 UTC (12 years, 2 months ago) by gkuan
File length: 42327 byte(s)
Diff to previous 2574
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

Revision 2574 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 21 05:32:14 2007 UTC (12 years, 5 months ago) by dbm
File length: 41105 byte(s)
Diff to previous 2572
minor improvement to printing type specs in inferred functor result signatures

Revision 2572 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 20 16:15:51 2007 UTC (12 years, 5 months ago) by dbm
File length: 41086 byte(s)
Copied from: sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod-new.sml revision 2571
Diff to previous 2571
renamed pickmod-new.sml and unpickmod-new.sml (deleting -new) and updated compiler/MAP,INDEX

Revision 2571 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 20 15:12:54 2007 UTC (12 years, 5 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod-new.sml
File length: 41086 byte(s)
Diff to previous 2532
split of TYCspec in Modules into regular and inferred variants using new tycSpecInfo datatype for an info field of TYPspec. Purpose to support printing of inferred functor sigs

Revision 2532 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 10 05:09:42 2007 UTC (12 years, 5 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod-new.sml
File length: 40745 byte(s)
Diff to previous 2222
eliminated redundant symbols field from sigrec in modules.sig/sml

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 10 months ago) by blume
Original Path: sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod-new.sml
File length: 40842 byte(s)
Diff to previous 2221
merged all changes from primop-branch-2

Revision 2221 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 21:56:55 2006 UTC (12 years, 10 months ago) by blume
Original Path: sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod-new.sml
File length: 40286 byte(s)
Diff to previous 2162
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (12 years, 11 months ago) by blume
Original Path: sml/trunk/compiler/Semant/pickle/pickmod-new.sml
File length: 40286 byte(s)
Diff to previous 1683
eliminated src dir

Revision 1683 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 11 00:12:41 2004 UTC (14 years, 11 months ago) by mblume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 40286 byte(s)
Diff to previous 1548
more 64-bit hacking (still in the middle of it, though)

Revision 1548 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jul 14 21:25:43 2004 UTC (15 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 40261 byte(s)
Diff to previous 1374
added C_UNION to c-types.sml

Revision 1374 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 22:17:10 2003 UTC (16 years, 1 month ago) by macqueen
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 40215 byte(s)
Diff to previous 1370
undoing accidental commit of files intended for primop-branch

Revision 1370 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 03:38:25 2003 UTC (16 years, 1 month ago) by macqueen
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 40219 byte(s)
Diff to previous 1347
eliminate types from primop info

Revision 1347 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 28 21:59:15 2003 UTC (16 years, 1 month ago) by mblume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 40215 byte(s)
Diff to previous 1183
implemented IntInf in Basis and compiler;
new version number; new bootfiles

Revision 1183 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 29 19:09:48 2002 UTC (17 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 40020 byte(s)
Diff to previous 1178
division primops, inline primops for min/max/abs

Revision 1178 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 25 20:51:48 2002 UTC (17 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 39915 byte(s)
Diff to previous 1174
raw-primop cleanup

Revision 1174 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 23 21:14:40 2002 UTC (17 years, 7 months ago) by leunga
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 39904 byte(s)
Diff to previous 1058

    Added some new primops for creating/manipulating temporary "C" objects
    allocated on the ml heap.

Revision 1058 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 8 20:02:56 2002 UTC (17 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 39562 byte(s)
Diff to previous 902
110.38.1; new bootfiles; new PID generation scheme; installer improvements

Revision 902 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 15 21:17:05 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 39609 byte(s)
Diff to previous 879
new organization of compiler libraries

Revision 879 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 19 18:59:38 2001 UTC (18 years, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 39574 byte(s)
Diff to previous 774
extensive organizational changes

Revision 774 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jan 10 12:50:56 2001 UTC (18 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 39585 byte(s)
Diff to previous 773
merging changes from private branch

Revision 773 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jan 8 16:18:37 2001 UTC (18 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 39570 byte(s)
Diff to previous 772
merging changes from private branch

Revision 772 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jan 4 15:36:41 2001 UTC (18 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 38323 byte(s)
Diff to previous 742
merging changes from private branch

Revision 742 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 30 14:09:32 2000 UTC (18 years, 10 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 38200 byte(s)
Diff to previous 717
merging changes from private branch

Revision 717 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 5 15:07:51 2000 UTC (18 years, 11 months ago) by george
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 38199 byte(s)
Diff to previous 651
support for sqrt and trig functions on the x86

Revision 651 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 38071 byte(s)
Diff to previous 632
bring revisions from the vendor branch to the trunk

Revision 632 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 29 15:50:42 2000 UTC (19 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 38071 byte(s)
Diff to previous 588
merged pending changes into main trunk; see HISTORY; new binfiles!!

Revision 588 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 31 09:00:02 2000 UTC (19 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 38095 byte(s)
Diff to previous 587
changes to modmap generator and CM tool parameter mechanism (see HISTORY)

Revision 587 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 30 09:01:52 2000 UTC (19 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 38065 byte(s)
Diff to previous 569
merging back development branch blume_devel_v110p26p1_3...
This involves changes to CM and the removal of CMStaticEnv from
the compiler.  See the HISTORY file for more information.

Revision 569 - (view) (download) (annotate) - [select for diffs]
Modified Tue Mar 7 04:01:07 2000 UTC (19 years, 7 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 38277 byte(s)
Diff to previous 537
- size info in BOOTLIST
     * no fixed upper limits for number of bootfiles or length of
       bootfile names in runtime
     * falling back to old behavior if no BOOTLIST size info found
- allocation size heuristics in .run-sml
     * tries to read cache size from /proc/cpuinfo (this is important for
        small-cache Celeron systems!)
- install.sh robustified
- CM manual updates
- paranoid mode
     * no more CMB.deliver() (i.e., all done by CMB.make())
     * can re-use existing sml.boot.* files
     * init.cmi now treated as library
     * library stamps for consistency checks
- sml.boot.<arch>-<os>/PIDMAP file
     * This file is read by the CM startup code.  This is used to minimize
       the amount of dynamic state that needs to be stowed away for the
       purpose of sharing between interactive system and user code.
- CM.Anchor.anchor instead of CM.Anchor.{set,cancel}
     * Upon request by Elsa.  Anchors now controlled by get-set-pair
       like most other CM state variables.
- Compiler.CMSA eliminated
     * No longer supported by CM anyway.
- fixed bugs in pickler that kept biting Stefan
     * past refs to past refs (was caused by the possibility that
       ad-hoc sharing is more discriminating than hash-cons sharing)
     * integer overflow on LargeInt.minInt
- ml-{lex,yacc} build scripts now use new mechanism
  for building standalone programs
- fixed several gcc -Wall warnings that were caused by missing header
  files, missing initializations, etc., in runtime (not all warnings
  eliminated, though)

Revision 537 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 18 17:20:16 2000 UTC (19 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 37855 byte(s)
Diff to previous 515
CM changes: standalone builds, better CMB.make/deliver, general improvements

Revision 515 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jan 9 09:59:14 2000 UTC (19 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 37903 byte(s)
Diff to previous 506
pickler bug fixes; some cosmetic changes

Revision 506 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 10 00:15:35 1999 UTC (19 years, 10 months ago) by monnier
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 37992 byte(s)
Diff to previous 504
The compiler now compiles to a fix point but "split" still
doesn't work because of a problem with the pickler.

Revision 504 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 7 18:31:05 1999 UTC (19 years, 10 months ago) by monnier
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 37970 byte(s)
Diff to previous 489
the 110.25 merge compiles

Revision 489 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 23 12:55:00 1999 UTC (19 years, 11 months ago) by monnier
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 35784 byte(s)
Diff to previous 476
somewhat functional

Revision 476 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 10 22:59:58 1999 UTC (19 years, 11 months ago) by monnier
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 35349 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/Semant/pickle/pickmod-new.sml revision 475
Diff to previous 475
This commit was generated by cvs2svn to compensate for changes in r475,
which included commits to RCS files with non-trunk default branches.

Revision 475 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 10 22:59:58 1999 UTC (19 years, 11 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/Semant/pickle/pickmod-new.sml
File length: 35349 byte(s)
Diff to previous 439
version 110.24

Revision 439 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 15 16:37:27 1999 UTC (20 years, 1 month ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/Semant/pickle/pickmod-new.sml
File length: 35238 byte(s)
Diff to previous 428
version 110.22

Revision 428 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 8 09:47:00 1999 UTC (20 years, 1 month ago) by
Original Path: sml/branches/SMLNJ/src/compiler/Semant/pickle/pickmod-new.sml
File length: 34645 byte(s)
Copied from: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml revision 427
Diff to previous 427
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 427 - (view) (download) (annotate) - [select for diffs]
Added Wed Sep 8 09:40:08 1999 UTC (20 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml
File length: 34645 byte(s)
Initial revision

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

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