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

Log of /sml/branches/primop-branch-3/compiler/Elaborator/elaborate/elabmod.sml

Parent Directory Parent Directory


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

Revision 3303 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 25 10:29:28 2009 UTC (10 years, 2 months ago) by dbm
File length: 69233 byte(s)
Diff to previous 3299
added and deleted comments

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: 69290 byte(s)
Diff to previous 3294
cleanup: removed Semant/modules and contents, removed bodyRlzn field from fctEntity record

Revision 3294 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 21 11:19:52 2009 UTC (10 years, 2 months ago) by dbm
File length: 69369 byte(s)
Diff to previous 3292
small cleanups of sigmatch.sml and elabmod.sml, more documentation in module-absyn

Revision 3292 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 20 20:35:09 2009 UTC (10 years, 2 months ago) by dbm
File length: 69390 byte(s)
Diff to previous 3291
minor cleanup in elabmod.sml

Revision 3291 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 20 11:55:43 2009 UTC (10 years, 2 months ago) by dbm
File length: 69125 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 (10 years, 3 months ago) by dbm
File length: 68619 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: 68599 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: 67878 byte(s)
Diff to previous 3225
various small cleanups in elabmod, epcontext, sigmatch, evalent

Revision 3225 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 12 01:04:21 2008 UTC (10 years, 10 months ago) by dbm
File length: 68163 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 (10 years, 10 months ago) by dbm
File length: 68213 byte(s)
Diff to previous 3048
gatien changes to elabmod.sml plus various edits to achieve clean compilation

Revision 3048 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 22:14:42 2008 UTC (11 years, 1 month ago) by dbm
File length: 68575 byte(s)
Diff to previous 3046
elab cleanup commit #3

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: 70040 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: 70039 byte(s)
Diff to previous 3028
major elab cleanup, commit 1

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

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: 70826 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: 70787 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: 70853 byte(s)
Diff to previous 2883
Added ppTycpath and getFctKnd scaffolding

Revision 2883 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 15 22:34:35 2007 UTC (11 years, 8 months ago) by gkuan
File length: 70823 byte(s)
Diff to previous 2751
merge from trunk into primop-branch-3 (2741:2881)

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

Revision 2579 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 22 21:39:00 2007 UTC (12 years, 1 month ago) by dbm
File length: 70606 byte(s)
Diff to previous 2571
merge -r 2492:2578 from sml/trunk

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

Revision 2541 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 11 20:55:44 2007 UTC (12 years, 2 months ago) by dbm
File length: 71254 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, 2 months ago) by dbm
File length: 71229 byte(s)
Diff to previous 2512
eliminated redundant symbols field from sigrec in modules.sig/sml

Revision 2512 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 7 03:38:54 2007 UTC (12 years, 2 months ago) by dbm
File length: 71181 byte(s)
Diff to previous 2479
fix for uncaught EE.Unbound caused by duplicate type specs (bug1499.1.sml)

Revision 2479 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 1 21:43:08 2007 UTC (12 years, 2 months ago) by dbm
File length: 71038 byte(s)
Diff to previous 2451
simplification of mkVBs in simple variable binding case; use anyErrors to suppress spurious reports about unresolved FLEX tyvars

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

Revision 2430 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 19 02:41:42 2007 UTC (12 years, 3 months ago) by gkuan
File length: 70607 byte(s)
Diff to previous 2425
Eliminated spurious getdeclorder ERRORtyc message

Revision 2425 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 18 19:09:02 2007 UTC (12 years, 3 months ago) by gkuan
File length: 70678 byte(s)
Diff to previous 2422
reversed open decl inferred signature decl order

Revision 2422 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 18 16:35:19 2007 UTC (12 years, 3 months ago) by gkuan
File length: 70672 byte(s)
Diff to previous 2419
withtycs and datatycs order swapped in getdeclorder in extractSig elabmod

Revision 2419 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 18 15:42:17 2007 UTC (12 years, 3 months ago) by gkuan
File length: 70666 byte(s)
Diff to previous 2418
fixed datatype group in inferred signature order again...this time for the getdeclorder function

Revision 2418 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 18 15:32:14 2007 UTC (12 years, 3 months ago) by gkuan
File length: 70660 byte(s)
Diff to previous 2417
cleaned up debug/error messages and added some comments

Revision 2417 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 18 14:26:11 2007 UTC (12 years, 3 months ago) by gkuan
File length: 69394 byte(s)
Diff to previous 2414
calculating original decl order for inferred signatures explicitly and DATATYPE replication now uses original decl name as path instead of the datatype name that is replicated

Revision 2414 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 17 13:58:15 2007 UTC (12 years, 3 months ago) by gkuan
File length: 64967 byte(s)
Diff to previous 2413
reverted back to getting inferred signature decl order directly from pre-consolidated environment instead of separate order list

Revision 2413 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 16 23:26:31 2007 UTC (12 years, 3 months ago) by gkuan
File length: 65134 byte(s)
Diff to previous 2408
Attaching symbol/key order list to static environments for pretty printing, recursive datatypes still in progress

Revision 2408 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 16 06:10:46 2007 UTC (12 years, 3 months ago) by gkuan
File length: 64967 byte(s)
Diff to previous 2399
fixed inferred signature printing

Revision 2399 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 11 19:55:16 2007 UTC (12 years, 3 months ago) by gkuan
File length: 64501 byte(s)
Diff to previous 2222
spurious debugging output turned out

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: 64498 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: 64161 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/elaborate/elabmod.sml
File length: 64161 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 (17 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator/elaborate/elabmod.sml
File length: 64161 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