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

Log of /sml/branches/primop-branch-3/compiler/ElabData/modules/modules.sml

Parent Directory Parent Directory


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

Revision 3376 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 22 16:15:37 2009 UTC (10 years, 3 months ago) by gkuan
File length: 10294 byte(s)
Diff to previous 3368
updated modules.sig with newest primary representation

Revision 3368 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 20 14:26:40 2009 UTC (10 years, 3 months ago) by dbm
File length: 10390 byte(s)
Diff to previous 3367
new version of primaries

Revision 3367 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 19 22:16:34 2009 UTC (10 years, 3 months ago) by dbm
File length: 10087 byte(s)
Diff to previous 3348
moved datatype primary from Instantiate to Modules

Revision 3348 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 15 16:48:04 2009 UTC (10 years, 3 months ago) by gkuan
File length: 10021 byte(s)
Diff to previous 3346
fixed some minor syntax problems in modules and instantiate

Revision 3346 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 15 15:20:06 2009 UTC (10 years, 3 months ago) by dbm
File length: 10047 byte(s)
Diff to previous 3345
modified version of primaries field of LAMBDA

Revision 3345 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 15 15:05:51 2009 UTC (10 years, 3 months ago) by gkuan
File length: 10258 byte(s)
Diff to previous 3344
merged trunk 3286 into primop3 and reorganized fctEntity, fctExp, and FCTfct to record primaries information in a single place, i.e. LAMBDA

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

Revision 3343 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 14 16:29:06 2009 UTC (10 years, 3 months ago) by gkuan
File length: 10145 byte(s)
Diff to previous 3336
adding primaries field to FCTent and LAMBDA

Revision 3336 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 13 12:46:49 2009 UTC (10 years, 3 months ago) by gkuan
File length: 10059 byte(s)
Diff to previous 3299
some minor cleanup, deleting commented out code mainly

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

Revision 3290 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 17 09:33:39 2009 UTC (10 years, 4 months ago) by dbm
File length: 10345 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, 4 months ago) by dbm
File length: 10345 byte(s)
Diff to previous 3285
removed LAMBDA_TP and prepared for deletion of bodyRlzn field in fctEntity

Revision 3285 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 1 16:20:00 2009 UTC (10 years, 4 months ago) by dbm
File length: 7362 byte(s)
Diff to previous 3006
various small cleanups in elabmod, epcontext, sigmatch, evalent

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

Revision 2961 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 24 02:55:01 2008 UTC (11 years, 5 months ago) by gkuan
File length: 7285 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]
Modified Tue Sep 11 21:57:29 2007 UTC (11 years, 11 months ago) by gkuan
File length: 7338 byte(s)
Diff to previous 2739
Added RepTycProps module for computing tycpaths just before translation. Saving functor parameter dummy instantiation as paramEnts in resp. fctEntity and Lambda

Revision 2739 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 21 20:44:08 2007 UTC (12 years ago) by dbm
File length: 7262 byte(s)
Diff to previous 2571
comments in instantiate.sml, added notes.txt

Revision 2571 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 20 15:12:54 2007 UTC (12 years, 3 months ago) by dbm
File length: 7244 byte(s)
Diff to previous 2561
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 2561 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 17 03:41:11 2007 UTC (12 years, 3 months ago) by dbm
File length: 6743 byte(s)
Diff to previous 2541
fix for Date.fromString, unification for SCHEME tyvars

Revision 2541 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 11 20:55:44 2007 UTC (12 years, 3 months ago) by dbm
File length: 6802 byte(s)
Diff to previous 2532
cleanup of obsolete files; MAP files updated

Revision 2532 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 10 05:09:42 2007 UTC (12 years, 3 months ago) by dbm
File length: 6804 byte(s)
Diff to previous 2222
eliminated redundant symbols field from sigrec in modules.sig/sml

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 8 months ago) by blume
File length: 6866 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, 8 months ago) by blume
File length: 6836 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, 9 months ago) by blume
Original Path: sml/trunk/compiler/ElabData/modules/modules.sml
File length: 6836 byte(s)
Diff to previous 902
eliminated src dir

Revision 902 - (view) (download) (annotate) - [select for diffs]
Added Wed Aug 15 21:17:05 2001 UTC (18 years ago) by blume
Original Path: sml/trunk/src/compiler/ElabData/modules/modules.sml
File length: 6836 byte(s)
new organization of compiler libraries

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