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/ltybasic.sml
ViewVC logotype

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

Parent Directory Parent Directory


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

Revision 2396 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 10 22:15:30 2007 UTC (12 years, 6 months ago) by gkuan
File length: 10641 byte(s)
Diff to previous 2389 , to selected 46
Turned off debug printing in TypesUtil, SigMatch, FLINT, translate

Revision 2389 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 9 17:03:21 2007 UTC (12 years, 6 months ago) by gkuan
File length: 10554 byte(s)
Diff to previous 2222 , to selected 46
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) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 10 months ago) by blume
File length: 10336 byte(s)
Diff to previous 2221 , to selected 46
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
File length: 10816 byte(s)
Diff to previous 2162 , to selected 46
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/FLINT/kernel/ltybasic.sml
File length: 10816 byte(s)
Diff to previous 651 , to selected 46
eliminated src dir

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/FLINT/kernel/ltybasic.sml
File length: 10816 byte(s)
Diff to previous 504 , to selected 46
bring revisions from the vendor branch to the trunk

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/FLINT/kernel/ltybasic.sml
File length: 10816 byte(s)
Diff to previous 422 , to selected 46
the 110.25 merge compiles

Revision 422 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 5 22:49:38 1999 UTC (20 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml
File length: 10808 byte(s)
Diff to previous 251 , to selected 46
merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

Revision 251 - (view) (download) (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/ltybasic.sml
File length: 10838 byte(s)
Diff to previous 197 , to selected 46
First try at a merge of 110.16

Revision 197 - (view) (download) (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/ltybasic.sml
File length: 10856 byte(s)
Diff to previous 118 , to selected 46
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) (annotate) - [select for diffs]
Modified Fri Jun 5 21:38:17 1998 UTC (21 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml
File length: 10927 byte(s)
Diff to previous 109 , to selected 46
merged in 110.7 changes

Revision 109 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 29 02:12:55 1998 UTC (21 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml
File length: 11085 byte(s)
Diff to previous 102 , to selected 46
merged in 110.6 changes

Revision 102 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 14 05:53:10 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml
File length: 11013 byte(s)
Diff to previous 95 , to selected 46
merged in 110.5.1 from Zhong

Revision 95 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 13 00:49:12 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml
File length: 11071 byte(s)
Diff to previous 71 , to selected 46
merged with 110.5

Revision 71 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml
File length: 10968 byte(s)
Diff to previous 65 , to selected 46
merged in Zhong's 110.4

Revision 65 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 1 20:57:44 1998 UTC (21 years, 6 months ago) by league
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml
File length: 10928 byte(s)
Diff to previous 53 , to selected 46
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) (annotate) - [select for diffs]
Modified Mon Mar 23 04:02:58 1998 UTC (21 years, 7 months ago) by league
Original Path: sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml
File length: 11779 byte(s)
Diff to previous 46
Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

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

Revision 24 - (view) (download) (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/ltybasic.sml
File length: 9705 byte(s)
Diff to previous 17 , to selected 46
*** empty log message ***

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