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

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

Parent Directory Parent Directory


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

Revision 3347 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 15 15:53:19 2009 UTC (11 years, 6 months ago) by dbm
File length: 61997 byte(s)
Diff to previous 3345
revise instantiate.sml to produce primaries

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

Revision 3317 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 6 13:51:20 2009 UTC (11 years, 6 months ago) by dbm
File length: 62383 byte(s)
Diff to previous 3304
improved comments in elabmod.sml, progress on modkind.sml

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

Revision 3299 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 24 13:58:04 2009 UTC (11 years, 7 months ago) by dbm
File length: 62515 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 (11 years, 7 months ago) by dbm
File length: 62940 byte(s)
Diff to previous 3287
simplified interface to Instantiate, merging instParam and instFmBody into instFormal

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

Revision 3046 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 20:14:51 2008 UTC (12 years, 6 months ago) by gkuan
File length: 63875 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 (12 years, 6 months ago) by dbm
File length: 63902 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 (12 years, 7 months ago) by gkuan
File length: 64022 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 (12 years, 8 months ago) by gkuan
File length: 63675 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 (13 years, 2 months ago) by gkuan
File length: 68952 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 (13 years, 3 months ago) by gkuan
File length: 68592 byte(s)
Diff to previous 2739
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

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

Revision 2738 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 14 19:05:08 2007 UTC (13 years, 3 months ago) by dbm
File length: 67986 byte(s)
Diff to previous 2737
small simplification to sigToInst in instantiate - no entEnv needed

Revision 2737 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 13 21:58:45 2007 UTC (13 years, 3 months ago) by dbm
File length: 69070 byte(s)
Diff to previous 2735
some comments and a small correction in instantiate

Revision 2735 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 10 22:07:20 2007 UTC (13 years, 3 months ago) by gkuan
File length: 68845 byte(s)
Diff to previous 2571
computing functor parameter kinds in translate...first step in defunctorizing Elaborator

Revision 2571 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 20 15:12:54 2007 UTC (13 years, 6 months ago) by dbm
File length: 68824 byte(s)
Diff to previous 2568
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 2568 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 17 22:37:20 2007 UTC (13 years, 6 months ago) by dbm
File length: 68200 byte(s)
Diff to previous 2451
(partial) fix for bug in printing of type elements of inferred functor result signatures (tests/modules/tests/316.sml,316.1.sml

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

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (14 years ago) by blume
File length: 68190 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 (14 years ago) by blume
File length: 68108 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 (14 years, 1 month ago) by blume
Original Path: sml/trunk/compiler/Elaborator/modules/instantiate.sml
File length: 68108 byte(s)
Diff to previous 1374
eliminated src dir

Revision 1374 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 22:17:10 2003 UTC (17 years, 2 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/modules/instantiate.sml
File length: 68108 byte(s)
Diff to previous 1370
undoing accidental commit of files intended for primop-branch

Revision 1370 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 03:38:25 2003 UTC (17 years, 2 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/modules/instantiate.sml
File length: 68122 byte(s)
Diff to previous 902
eliminate types from primop info

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