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/FLINT/kernel/ltydef.sig
ViewVC logotype

Log of /sml/branches/primop-branch-3/compiler/FLINT/kernel/ltydef.sig

Parent Directory Parent Directory


Sticky Revision:
(Current path doesn't exist after revision 2745)

Revision 2389 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Mon Apr 9 17:03:21 2007 UTC (12 years, 6 months ago) by gkuan
File length: 10287 byte(s)
Diff to previous 2222 , to selected 17
fixed matchInstTypes case for translate -- i.e., matchInstTypes should follow through abstract types unlike during signature matching, turned off plam typechecking and kind checking to get to the realconst (matchInstTypes) bug

Revision 2222 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 10 months ago) by blume
File length: 10267 byte(s)
Diff to previous 2221 , to selected 17
merged all changes from primop-branch-2

Revision 2221 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Tue Nov 28 21:56:55 2006 UTC (12 years, 10 months ago) by blume
File length: 11054 byte(s)
Diff to previous 2162 , to selected 17
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2162 - (view) (download) (as text) (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/FLINT/kernel/ltydef.sig
File length: 11054 byte(s)
Diff to previous 651 , to selected 17
eliminated src dir

Revision 651 - (view) (download) (as text) (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/FLINT/kernel/ltydef.sig
File length: 11054 byte(s)
Diff to previous 251 , to selected 17
bring revisions from the vendor branch to the trunk

Revision 251 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltydef.sig
File length: 11054 byte(s)
Diff to previous 197 , to selected 17
First try at a merge of 110.16

Revision 197 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Sun Nov 22 01:25:23 1998 UTC (20 years, 11 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltydef.sig
File length: 11071 byte(s)
Diff to previous 114 , to selected 17
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars from the first lcontract all the way to cps.

* reps/rttype.sml: changes from Bratin.
(rtLexp): define the NVAR case (return the tvar as an lvar).
* opt/[fl]contract.sml: removed the restriction on inlining at the same
  deBruijn depth.
* opt/lift.sml: new file for typelifting.
* flint/flintutil.sml (copy): added tvar renaming.
* flint/tvarcvt.sml: new file for named tvar <-> deBruijn conversions.

Revision 114 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltydef.sig
File length: 11146 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltydef.sig revision 113
Diff to previous 113 , to selected 17
This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.

Revision 113 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 4 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltydef.sig
File length: 11146 byte(s)
Diff to previous 106 , to selected 17
110.7

Revision 106 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Thu May 28 21:30:17 1998 UTC (21 years, 4 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltydef.sig
File length: 11459 byte(s)
Diff to previous 100 , to selected 17
110.6

Revision 100 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Thu May 14 04:56:46 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltydef.sig
File length: 11230 byte(s)
Diff to previous 93 , to selected 17
110.5.1 from Zhong

Revision 93 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Tue May 12 21:56:22 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltydef.sig
File length: 11492 byte(s)
Diff to previous 45 , to selected 17
*** empty log message ***

Revision 45 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltydef.sig
File length: 11391 byte(s)
Diff to previous 24 , to selected 17
*** empty log message ***

Revision 24 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltydef.sig
File length: 10069 byte(s)
Diff to previous 17
*** empty log message ***

Revision 17 - (view) (download) (as text) (annotate) - [selected]
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 7 months ago) by
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltydef.sig
File length: 10108 byte(s)
Diff to previous 16
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 16 - (view) (download) (as text) (annotate) - [select for diffs]
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltydef.sig
File length: 10108 byte(s)
Diff to selected 17
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