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

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

Parent Directory Parent Directory


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

Revision 3379 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 23 14:59:18 2009 UTC (10 years, 1 month ago) by gkuan
File length: 12315 byte(s)
Diff to previous 3378
work on sigmatch.sml to update to primarySig form

Revision 3378 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 23 01:58:40 2009 UTC (10 years, 1 month ago) by gkuan
File length: 12279 byte(s)
Diff to previous 3351
updated instantiate to new primarysig representation for primaries

Revision 3351 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 16 13:24:43 2009 UTC (10 years, 2 months ago) by gkuan
File length: 12259 byte(s)
Diff to previous 3350
updated parts of elaborator for new module primary representation

Revision 3350 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 16 11:44:37 2009 UTC (10 years, 2 months ago) by dbm
File length: 12270 byte(s)
Diff to previous 3348
moved mapPaths to ModuleUtil and used it in EvalEntity after instantiations

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

Revision 3345 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 15 15:05:51 2009 UTC (10 years, 2 months ago) by gkuan
File length: 12299 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, 2 months ago) by gkuan
File length: 11667 byte(s)
Diff to previous 3338
added primaries field representing primaries as tycons

Revision 3338 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 13 15:49:21 2009 UTC (10 years, 2 months ago) by dbm
File length: 11628 byte(s)
Diff to previous 3299
eliminated commented code in sigmatch.sml

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

Revision 3291 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 20 11:55:43 2009 UTC (10 years, 3 months ago) by dbm
File length: 11665 byte(s)
Diff to previous 3290
simplified interface to Instantiate, merging instParam and instFmBody into instFormal

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

Revision 3289 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 10 17:22:59 2009 UTC (10 years, 3 months ago) by gkuan
File length: 12668 byte(s)
Diff to previous 3287
minor fix to evalent so that it compiles

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

Revision 3286 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 2 19:56:17 2009 UTC (10 years, 3 months ago) by dbm
File length: 12346 byte(s)
Diff to previous 3285
changes to elabmod.sml base funtor elab. Various print flags on

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

Revision 3046 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 20:14:51 2008 UTC (11 years, 1 month ago) by gkuan
File length: 13018 byte(s)
Diff to previous 3045
major elab cleanup,  commit 2

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

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: 13198 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, 3 months ago) by gkuan
File length: 12894 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, 10 months ago) by gkuan
File length: 13211 byte(s)
Diff to previous 2740
Added RepTycProps module for computing tycpaths just before translation. Saving functor parameter dummy instantiation as paramEnts in resp. fctEntity and Lambda

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: 13194 byte(s)
Diff to previous 2451
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

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: 13178 byte(s)
Diff to previous 2221
bug fixes, changed TV_MARK to LBOUND, first attempt to compute LBOUND indexes in front end

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: 13177 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/Elaborator/modules/evalent.sml
File length: 13177 byte(s)
Diff to previous 903
eliminated src dir

Revision 903 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 20 19:34:06 2001 UTC (17 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator/modules/evalent.sml
File length: 13177 byte(s)
Diff to previous 902
library debugprof.cm extracted

Revision 902 - (view) (download) (annotate) - [select for diffs]
Added Wed Aug 15 21:17:05 2001 UTC (17 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator/modules/evalent.sml
File length: 13173 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