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

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

Parent Directory Parent Directory


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

Revision 3344 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 15 12:52:07 2009 UTC (10 years, 5 months ago) by gkuan
File length: 19970 byte(s)
Diff to previous 3333
added primaries field representing primaries as tycons

Revision 3333 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 12 16:09:51 2009 UTC (10 years, 5 months ago) by dbm
File length: 20327 byte(s)
Diff to previous 3330
minor mods

Revision 3330 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 12 14:40:36 2009 UTC (10 years, 5 months ago) by gkuan
File length: 20323 byte(s)
Diff to previous 3329
updated reptycprops to fit new type of primaryCompInStruct

Revision 3329 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 12 12:48:27 2009 UTC (10 years, 5 months ago) by gkuan
File length: 20331 byte(s)
Diff to previous 3325
removed spurious propagation of flextycmap

Revision 3325 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 8 13:59:52 2009 UTC (10 years, 5 months ago) by dbm
File length: 20247 byte(s)
Diff to previous 3310
added DEVNOTES/ElabMod/primary-types and renamed TypesTP to TycPath

Revision 3310 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 1 00:46:59 2009 UTC (10 years, 5 months ago) by gkuan
File length: 20247 byte(s)
Diff to previous 3308
cleaned up reptycprops

Revision 3308 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 30 18:32:14 2009 UTC (10 years, 5 months ago) by gkuan
File length: 22473 byte(s)
Diff to previous 3307
removed EPMap from RepTycProps

Revision 3307 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 30 12:45:13 2009 UTC (10 years, 5 months ago) by gkuan
File length: 22659 byte(s)
Diff to previous 3304
fixed reptycprops and translate (minor)

Revision 3304 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 28 06:09:28 2009 UTC (10 years, 5 months ago) by dbm
File length: 22665 byte(s)
Diff to previous 3300
added trans/modkind.sml preliminary sketch

Revision 3300 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 24 14:34:15 2009 UTC (10 years, 6 months ago) by gkuan
File length: 22699 byte(s)
Diff to previous 3299
minor cleanup of translate, etc.

Revision 3299 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 24 13:58:04 2009 UTC (10 years, 6 months ago) by dbm
File length: 22746 byte(s)
Diff to previous 3295
cleanup: removed Semant/modules and contents, removed bodyRlzn field from fctEntity record

Revision 3295 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 23 14:42:42 2009 UTC (10 years, 6 months ago) by dbm
File length: 22787 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, 6 months ago) by gkuan
File length: 24949 byte(s)
Diff to previous 3290
removed old shim-style RepTycProps (preprocessing of absyn). using only new style realization computations for tycpath extraction

Revision 3290 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 17 09:33:39 2009 UTC (10 years, 6 months ago) by dbm
File length: 36608 byte(s)
Diff to previous 3287
removed references to LAMBDA_TP, small improvements in ppabsyn.sml

Revision 3287 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 8 06:15:05 2009 UTC (10 years, 6 months ago) by dbm
File length: 36661 byte(s)
Diff to previous 3225
removed LAMBDA_TP and prepared for deletion of bodyRlzn field in fctEntity

Revision 3225 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 12 01:04:21 2008 UTC (11 years, 1 month ago) by dbm
File length: 36073 byte(s)
Diff to previous 3224
eliminated all refs to obsolete ABSdec constructor

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

Revision 3045 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 19:01:17 2008 UTC (11 years, 4 months ago) by dbm
File length: 36205 byte(s)
Diff to previous 3035
major elab cleanup, commit 1

Revision 3035 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 23 20:04:23 2008 UTC (11 years, 5 months ago) by gkuan
File length: 36147 byte(s)
Diff to previous 3031
fixed bug where flexmaps don't accumulate

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

Revision 3029 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 19 11:18:09 2008 UTC (11 years, 5 months ago) by gkuan
File length: 36106 byte(s)
Diff to previous 3028


Revision 3028 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 16 21:30:21 2008 UTC (11 years, 5 months ago) by gkuan
File length: 36055 byte(s)
Diff to previous 3027
consolidated reptycprops and translate compiles, commented out ABSdec, superseded by opaque ascription

Revision 3027 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 15 20:45:40 2008 UTC (11 years, 5 months ago) by gkuan
File length: 36050 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, 5 months ago) by gkuan
File length: 35203 byte(s)
Diff to previous 3007
bootstraps but higher order functors still do not fully work

Revision 3007 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 28 15:29:41 2008 UTC (11 years, 5 months ago) by gkuan
File length: 31101 byte(s)
Diff to previous 3006
fixed kinds bug for curried functors...still not bootstrapping

Revision 3006 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 25 20:02:56 2008 UTC (11 years, 5 months ago) by gkuan
File length: 30844 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, 6 months ago) by gkuan
File length: 26518 byte(s)
Diff to previous 2979
removed redundant getTk parameter

Revision 2979 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 10 04:37:29 2008 UTC (11 years, 6 months ago) by gkuan
File length: 26697 byte(s)
Diff to previous 2978
reversed tps in epsToTycpath, bootstraps

Revision 2978 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 10 03:57:04 2008 UTC (11 years, 6 months ago) by gkuan
File length: 26693 byte(s)
Diff to previous 2976
look up stamps for existing tycpath translation

Revision 2976 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 10 02:19:04 2008 UTC (11 years, 6 months ago) by gkuan
File length: 26158 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, 6 months ago) by gkuan
File length: 28161 byte(s)
Diff to previous 2964
fixed some deBruijn indexing bugs

Revision 2964 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 30 05:07:37 2008 UTC (11 years, 6 months ago) by gkuan
File length: 23503 byte(s)
Diff to previous 2963
fixed duplicate representative entpaths for multiple nested instances of same formal

Revision 2963 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 29 02:18:46 2008 UTC (11 years, 6 months ago) by gkuan
File length: 22515 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, 7 months ago) by gkuan
File length: 21527 byte(s)
Diff to previous 2751
merged in primop-branch-gkuan 2742:2960 elimination of tycpath in Elaboration and reconstitution in translate

Revision 2751 - (view) (download) (annotate) - [select for diffs]
Added Tue Sep 11 21:57:29 2007 UTC (12 years, 1 month ago) by gkuan
File length: 16331 byte(s)
Added RepTycProps module for computing tycpaths just before translation. Saving functor parameter dummy instantiation as paramEnts in resp. fctEntity and Lambda

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