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

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

Parent Directory Parent Directory


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

Revision 197 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 22 01:25:23 1998 UTC (21 years, 7 months ago) by monnier
File length: 51199 byte(s)
Diff to previous 122 , to selected 45
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 122 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 6 15:05:38 1998 UTC (22 years, 1 month ago) by monnier
File length: 50202 byte(s)
Diff to previous 118 , to selected 45
addition of fcontract and fixfix and Control.FLINT

Revision 118 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 21:38:17 1998 UTC (22 years, 1 month ago) by monnier
File length: 50199 byte(s)
Diff to previous 109 , to selected 45
merged in 110.7 changes

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

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

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

Revision 76 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 12 02:23:26 1998 UTC (22 years, 3 months ago) by league
File length: 50881 byte(s)
Diff to previous 71 , to selected 45
changed max # elements to flatten to 5, to support x86 floating
points.  should be made machine dependent?

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

Revision 65 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 1 20:57:44 1998 UTC (22 years, 3 months ago) by league
File length: 52013 byte(s)
Diff to previous 60 , to selected 45
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 60 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 30 19:25:56 1998 UTC (22 years, 3 months ago) by league
File length: 50741 byte(s)
Diff to previous 53 , to selected 45
major change to tc_eqv_gen and its clients; now they properly check
equivalence of two FIX nodes.

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

Revision 46 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 22 20:11:09 1998 UTC (22 years, 3 months ago) by monnier
File length: 46046 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltykernel.sml revision 45
Diff to previous 45
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) (annotate) - [selected]
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.sml
File length: 46046 byte(s)
Diff to previous 24
*** empty log message ***

Revision 24 - (view) (download) (annotate) - [select for diffs]
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.sml
File length: 36180 byte(s)
Diff to previous 17 , to selected 45
*** empty log message ***

Revision 17 - (view) (download) (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.sml
File length: 39590 byte(s)
Diff to previous 16 , to selected 45
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 16 - (view) (download) (annotate) - [select for diffs]
Added Wed Mar 11 21:00:04 1998 UTC (22 years, 4 months ago) by monnier
File length: 39590 byte(s)
Diff to selected 45
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