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/src/compiler/FLINT/kernel/ltykernel.sig
[smlnj] / sml / trunk / src / compiler / FLINT / kernel / ltykernel.sig  
ViewVC logotype

Log of /sml/trunk/src/compiler/FLINT/kernel/ltykernel.sig

Parent Directory Parent Directory


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

Revision 651 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Thu Jun 1 18:34:03 2000 UTC (20 years, 1 month ago) by monnier
File length: 5727 byte(s)
Diff to previous 251 , to selected 24
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 (21 years, 2 months ago) by monnier
File length: 5727 byte(s)
Diff to previous 197 , to selected 24
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 (21 years, 7 months ago) by monnier
File length: 5746 byte(s)
Diff to previous 118 , to selected 24
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 118 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Fri Jun 5 21:38:17 1998 UTC (22 years, 1 month ago) by monnier
File length: 5682 byte(s)
Diff to previous 109 , to selected 24
merged in 110.7 changes

Revision 109 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Fri May 29 02:12:55 1998 UTC (22 years, 1 month ago) by monnier
File length: 5998 byte(s)
Diff to previous 102 , to selected 24
merged in 110.6 changes

Revision 102 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Thu May 14 05:53:10 1998 UTC (22 years, 2 months ago) by monnier
File length: 5769 byte(s)
Diff to previous 95 , to selected 24
merged in 110.5.1 from Zhong

Revision 95 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Wed May 13 00:49:12 1998 UTC (22 years, 2 months ago) by monnier
File length: 5838 byte(s)
Diff to previous 71 , to selected 24
merged with 110.5

Revision 71 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Fri Apr 3 01:57:57 1998 UTC (22 years, 3 months ago) by monnier
File length: 5734 byte(s)
Diff to previous 65 , to selected 24
merged in Zhong's 110.4

Revision 65 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Wed Apr 1 20:57:44 1998 UTC (22 years, 3 months ago) by league
File length: 5819 byte(s)
Diff to previous 53 , to selected 24
made changes to kind-checking so that enc_tvar need not be exported
by ltykernel.  one awkwardness is that the tkLookupFreeVars function
in ltykernel manipulates a tkindenv, which is technically not defined
until ltyextern.

Revision 53 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Mon Mar 23 04:02:58 1998 UTC (22 years, 3 months ago) by league
File length: 5713 byte(s)
Diff to previous 46 , to selected 24
Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

Revision 46 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Sun Mar 22 20:11:09 1998 UTC (22 years, 3 months ago) by monnier
File length: 5526 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltykernel.sig revision 45
Diff to previous 45 , to selected 24
This commit was generated by cvs2svn to compensate for changes in r45,
which included commits to RCS files with non-trunk default branches.

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

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

Revision 17 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Wed Mar 11 21:00:18 1998 UTC (22 years, 4 months ago) by
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltykernel.sig
File length: 4934 byte(s)
Diff to previous 16 , to selected 24
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 (22 years, 4 months ago) by monnier
File length: 4934 byte(s)
Diff to selected 24
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