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

Log of /sml/branches/primop-branch-3/compiler/FLINT/trans/transtypes.sml

Parent Directory Parent Directory


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

Revision 3295 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 23 14:42:42 2009 UTC (10 years, 2 months ago) by dbm
File length: 26413 byte(s)
Diff to previous 3293
cleanup of TypesTP and its uses

Revision 3293 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 21 02:35:49 2009 UTC (10 years, 2 months ago) by gkuan
File length: 26427 byte(s)
Diff to previous 3229
removed old shim-style RepTycProps (preprocessing of absyn). using only new style realization computations for tycpath extraction

Revision 3229 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 21 23:03:38 2008 UTC (10 years, 9 months ago) by gkuan
File length: 26435 byte(s)
Diff to previous 3224
merge from trunk into primop-branch-3 (2931:3228)

Revision 3224 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 12 00:12:42 2008 UTC (10 years, 10 months ago) by dbm
File length: 25839 byte(s)
Diff to previous 3034
gatien changes to elabmod.sml plus various edits to achieve clean compilation

Revision 3034 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 23 04:40:21 2008 UTC (11 years, 1 month ago) by gkuan
File length: 25837 byte(s)
Diff to previous 3033
two pass SEQdec, strbs, fctbs processing to populate flexmap

Revision 3033 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 22 18:51:22 2008 UTC (11 years, 1 month ago) by gkuan
File length: 25776 byte(s)
Diff to previous 3031
fixing handling of SEQdec

Revision 3031 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 20 20:25:54 2008 UTC (11 years, 1 month ago) by gkuan
File length: 25778 byte(s)
Diff to previous 3027
using functional map passing in Translate and TransTypes, does not bootstrap yet

Revision 3027 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 15 20:45:40 2008 UTC (11 years, 2 months ago) by gkuan
File length: 25386 byte(s)
Diff to previous 3019


Revision 3019 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 6 20:25:44 2008 UTC (11 years, 2 months ago) by gkuan
File length: 25311 byte(s)
Diff to previous 3006
bootstraps but higher order functors still do not fully work

Revision 3006 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 25 20:02:56 2008 UTC (11 years, 2 months ago) by gkuan
File length: 25332 byte(s)
Diff to previous 2989
lots of bugfixes and formal functor setup...not complete

Revision 2989 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 14 18:24:56 2008 UTC (11 years, 3 months ago) by gkuan
File length: 23564 byte(s)
Diff to previous 2976
removed redundant getTk parameter

Revision 2976 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 10 02:19:04 2008 UTC (11 years, 3 months ago) by gkuan
File length: 23568 byte(s)
Diff to previous 2972
merged getTPsforEPs and epsToTycpaths

Revision 2972 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 6 13:49:59 2008 UTC (11 years, 3 months ago) by gkuan
File length: 23175 byte(s)
Diff to previous 2963
fixed some deBruijn indexing bugs

Revision 2963 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 29 02:18:46 2008 UTC (11 years, 3 months ago) by gkuan
File length: 22351 byte(s)
Diff to previous 2961
fixed reptycprops tycpath computation for datatypes, opaque ascription for datatypes, and opaque sealing for nested type definitions plus transtypes no longer prints debug information unless flag turned on

Revision 2961 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 24 02:55:01 2008 UTC (11 years, 3 months ago) by gkuan
File length: 22297 byte(s)
Diff to previous 2910
merged in primop-branch-gkuan 2742:2960 elimination of tycpath in Elaboration and reconstitution in translate

Revision 2910 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 22 02:36:15 2007 UTC (11 years, 7 months ago) by gkuan
File length: 22516 byte(s)
Diff to previous 2741
Added ppTycpath and getFctKnd scaffolding

Revision 2741 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 22 21:13:08 2007 UTC (11 years, 10 months ago) by dbm
File length: 21429 byte(s)
Diff to previous 2740
updated some comments in types.sig and translate.sml

Revision 2740 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 21 21:05:34 2007 UTC (11 years, 10 months ago) by gkuan
File length: 21429 byte(s)
Diff to previous 2571
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

Revision 2571 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 20 15:12:54 2007 UTC (12 years, 1 month ago) by dbm
File length: 21243 byte(s)
Diff to previous 2456
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 2456 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 27 05:21:38 2007 UTC (12 years, 2 months ago) by dbm
File length: 21226 byte(s)
Diff to previous 2451
added Control.Elab.tcdebugging and Control.Elab.unidebugging flags for type checking and unification. Some reorg of Control.

Revision 2451 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 24 21:48:40 2007 UTC (12 years, 2 months ago) by dbm
File length: 21223 byte(s)
Diff to previous 2398
bug fixes, changed TV_MARK to LBOUND, first attempt to compute LBOUND indexes in front end

Revision 2398 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 11 18:54:53 2007 UTC (12 years, 3 months ago) by dbm
File length: 21646 byte(s)
Diff to previous 2395
fixed final bootstrap bug -- successful boot

Revision 2395 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 10 22:12:19 2007 UTC (12 years, 3 months ago) by gkuan
File length: 21654 byte(s)
Diff to previous 2394
transtype LT.TCENV exception handlers removed

Revision 2394 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 10 21:34:29 2007 UTC (12 years, 3 months ago) by gkuan
File length: 21746 byte(s)
Diff to previous 2222
translate mkVBs prim intrinsic and occty type equality test bug fix

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 7 months ago) by blume
File length: 21663 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
File length: 21055 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/FLINT/trans/transtypes.sml
File length: 21055 byte(s)
Diff to previous 1344
eliminated src dir

Revision 1344 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 13 18:04:08 2003 UTC (15 years, 11 months ago) by macqueen
Original Path: sml/trunk/src/compiler/FLINT/trans/transtypes.sml
File length: 21055 byte(s)
Diff to previous 902
merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

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/FLINT/trans/transtypes.sml
File length: 21063 byte(s)
Diff to previous 651
new organization of compiler libraries

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/FLINT/trans/transtypes.sml
File length: 19266 byte(s)
Diff to previous 587
bring revisions from the vendor branch to the trunk

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/FLINT/trans/transtypes.sml
File length: 19266 byte(s)
Diff to previous 499
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 499 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/transtypes.sml
File length: 19638 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/trans/transtypes.sml revision 498
Diff to previous 498
This commit was generated by cvs2svn to compensate for changes in r498,
which included commits to RCS files with non-trunk default branches.

Revision 498 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/transtypes.sml
File length: 19638 byte(s)
Diff to previous 418
version 110.25

Revision 418 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 3 23:51:27 1999 UTC (19 years, 10 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/transtypes.sml
File length: 19636 byte(s)
Diff to previous 411
version 110.20

Revision 411 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 3 00:25:03 1999 UTC (19 years, 10 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/transtypes.sml
File length: 19740 byte(s)
Diff to previous 245
version 110.19

Revision 245 - (view) (download) (annotate) - [select for diffs]
Added Sat Apr 17 18:47:12 1999 UTC (20 years, 3 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/transtypes.sml
File length: 19650 byte(s)
version 110.16

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