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/trunk/compiler/Semant/pickle/pickmod.sml
[smlnj] / sml / trunk / compiler / Semant / pickle / pickmod.sml  
ViewVC logotype

Log of /sml/trunk/compiler/Semant/pickle/pickmod.sml

Parent Directory Parent Directory


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

Revision 5015 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 29 01:51:55 2019 UTC (2 months, 2 weeks ago) by jhr
File length: 41350 byte(s)
Diff to previous 4992
  Renamings to remove 32-bit assumptions.

Revision 4992 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 27 15:18:20 2019 UTC (2 months, 2 weeks ago) by jhr
File length: 41348 byte(s)
Diff to previous 4986
  Changed Primop.REAL to Primop.INT_TO_REAL.

Revision 4986 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 26 17:08:01 2019 UTC (2 months, 2 weeks ago) by jhr
File length: 41341 byte(s)
Diff to previous 4886
  Some minor primop cleanup.  Changed the type of Primop.ROUND and Primop.REAL
  to take bitwidths, instead of numkinds, since the kinds are always the same.
  Renamed ABS to FABS, since it is only used on floating-point numbers.
  Renamed the CPS primitive operator ROUND to REAL_TO_INT and the operator
  REAL to INT_TO_REAL.

Revision 4886 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 10 16:54:46 2018 UTC (9 months ago) by jhr
File length: 41388 byte(s)
Diff to previous 4587
  Removed several unsupported primitive operators from the compiler.
  See the changelog for details.


Revision 4587 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 12 21:59:32 2018 UTC (14 months ago) by jhr
File length: 41344 byte(s)
Diff to previous 4552
  Tweaking error messages to make them more consistent

Revision 4552 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 2 15:43:07 2018 UTC (14 months, 2 weeks ago) by jhr
File length: 41223 byte(s)
Diff to previous 4546
  Switch FLINT IR to use IntInf.int for integer and word constants.

Revision 4546 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 28 15:50:28 2018 UTC (14 months, 2 weeks ago) by jhr
File length: 41487 byte(s)
Diff to previous 4540
  code formatting

Revision 4540 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 25 17:06:35 2018 UTC (14 months, 3 weeks ago) by jhr
File length: 41489 byte(s)
Diff to previous 4535
  Use RealConst.t representation in FLINT and CPS IRs.

Revision 4535 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 20 14:10:47 2018 UTC (14 months, 3 weeks ago) by jhr
File length: 41459 byte(s)
Diff to previous 4527
  code formatting and comments

Revision 4527 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 14 14:41:11 2018 UTC (15 months ago) by jhr
File length: 41419 byte(s)
Diff to previous 4523
  Switched the representation of real literals from strings to the
  RealLit.t type.  This change is the first step toward fixing
  bug #191 and supporting 32-bit reals.

Revision 4523 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 13 14:41:33 2018 UTC (15 months ago) by jhr
File length: 41380 byte(s)
Diff to previous 4452
  Removed real patterns from Absyn and FLINT, since they are not allowed by SML'93.

Revision 4452 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 21 16:37:47 2017 UTC (21 months, 3 weeks ago) by dbm
File length: 41349 byte(s)
Diff to previous 4446
changed cty in FLINT/cps/cps.{sig,sml}

Revision 4446 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 20 23:40:53 2017 UTC (21 months, 3 weeks ago) by jhr
File length: 41374 byte(s)
Diff to previous 4439
  Bug fix.  Also add headers and remove trailing whitespace.

Revision 4439 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 20 18:45:26 2017 UTC (21 months, 3 weeks ago) by jhr
File length: 41367 byte(s)
Diff to previous 4438
  Working towards 64-bit support.  Added Target module, which specifies the
  properties of the target (e.g., size in bits of default int type).  Reworked
  generation of InlineT structure to be target specific.  Some cleanup for
  primop bindings and FLINT's primtycs.

Revision 4438 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 20 16:44:18 2017 UTC (21 months, 3 weeks ago) by dbm
File length: 41329 byte(s)
Diff to previous 4437
minor edits of primtyc.sig and pickmod.sml

Revision 4437 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 20 00:08:57 2017 UTC (21 months, 3 weeks ago) by dbm
File length: 41617 byte(s)
Diff to previous 4432
getting rid of ptnum stuff

Revision 4432 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 19 21:40:38 2017 UTC (21 months, 3 weeks ago) by jhr
File length: 41626 byte(s)
Diff to previous 4419
  Working on new primops.  We've moved a bunch of code from Semant to ElabData
  and we've changed the representation of primop IDs in structures.

Revision 4419 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 18 21:53:44 2017 UTC (21 months, 3 weeks ago) by jhr
File length: 41416 byte(s)
Diff to previous 4418
  remove BOXEDUPDATE primop, since it is the same as UPDATE.

Revision 4418 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 18 21:35:55 2017 UTC (21 months, 3 weeks ago) by jhr
File length: 41376 byte(s)
Diff to previous 4314
  Removed unused primops (GETRUNVEC, DEFLVAR, USELVAR)

Revision 4314 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 15 22:46:20 2016 UTC (2 years, 10 months ago) by dbm
File length: 41314 byte(s)
Diff to previous 4297
Further cleanup of FLINT stuff in front end. module-plists.sml moved to FLINT/trans

Revision 4297 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 12 17:10:10 2016 UTC (2 years, 10 months ago) by dbm
File length: 41311 byte(s)
Diff to previous 4218
fix for bug 149: added boolean stripped field to DATATYPE tyckind. requires -rebuild option on makeml because of change of static env pickles

Revision 4218 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 7 11:56:36 2016 UTC (3 years, 3 months ago) by jhr
File length: 41285 byte(s)
Diff to previous 4000
  Update header comments

Revision 4000 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 19 22:33:49 2014 UTC (4 years, 6 months ago) by dbm
File length: 41219 byte(s)
Diff to previous 3117
Fix for bug #52. Major revision of the mechanism for overloading resolution that uses a common basis for overloaded operators and literals.

Revision 3117 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 17 03:31:51 2008 UTC (11 years ago) by dbm
File length: 41223 byte(s)
Diff to previous 2732
ported changes from sml/branches/temi-branch -r 3005:3116 into trunk

Revision 2732 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 28 06:14:28 2007 UTC (11 years, 11 months ago) by gkuan
File length: 41133 byte(s)
Diff to previous 2603
Added f64sgn signbit primop

Revision 2603 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 23 21:50:42 2007 UTC (12 years, 1 month ago) by dbm
File length: 41105 byte(s)
Copied from: sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod.sml revision 2602
Diff to previous 2574
merge of primop3/base branch -r2492:2602 into trunk

Revision 2574 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 21 05:32:14 2007 UTC (12 years, 1 month ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod.sml
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, 1 month ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod.sml
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, 1 month 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, 2 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, 7 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, 7 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, 8 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, 8 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 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 (15 years, 10 months 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 (15 years, 10 months 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 (15 years, 10 months 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, 3 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, 3 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, 3 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, 5 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 (17 years, 11 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 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, 6 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, 6 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, 6 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, 7 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, 8 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, 1 month 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, 2 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, 3 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, 3 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, 4 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, 5 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, 6 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, 7 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, 7 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, 7 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, 8 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, 8 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 (19 years, 10 months 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 (19 years, 10 months 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 (19 years, 10 months 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