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

Log of /sml/branches/primop-branch-3/compiler/Elaborator/modules/sigmatch.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, 6 months ago) by gkuan
File length: 70400 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, 6 months ago) by dbm
File length: 70269 byte(s)
Diff to previous 3336
eliminated commented code in sigmatch.sml

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

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

Revision 3323 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 7 12:17:47 2009 UTC (10 years, 6 months ago) by gkuan
File length: 75706 byte(s)
Diff to previous 3304
Some minor cleanup and added debug print out

Revision 3304 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 28 06:09:28 2009 UTC (10 years, 6 months ago) by dbm
File length: 75304 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 (10 years, 7 months ago) by dbm
File length: 75464 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, 7 months ago) by dbm
File length: 75983 byte(s)
Diff to previous 3291
small cleanups of sigmatch.sml and elabmod.sml, more documentation in module-absyn

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

Revision 3229 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 21 23:03:38 2008 UTC (11 years, 2 months ago) by gkuan
File length: 75929 byte(s)
Diff to previous 3224
merge from trunk into primop-branch-3 (2931:3228)

Revision 3224 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 12 00:12:42 2008 UTC (11 years, 2 months ago) by dbm
File length: 75861 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, 5 months ago) by dbm
File length: 75787 byte(s)
Diff to previous 3045
elab cleanup commit #3

Revision 3045 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 19:01:17 2008 UTC (11 years, 5 months ago) by dbm
File length: 75841 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, 7 months ago) by gkuan
File length: 76688 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, 8 months ago) by gkuan
File length: 76574 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 (12 years ago) by gkuan
File length: 76609 byte(s)
Diff to previous 2751
Added ppTycpath and getFctKnd scaffolding

Revision 2751 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 11 21:57:29 2007 UTC (12 years, 2 months ago) by gkuan
File length: 76577 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 (12 years, 3 months ago) by gkuan
File length: 76536 byte(s)
Diff to previous 2571
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

Revision 2571 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 20 15:12:54 2007 UTC (12 years, 6 months ago) by dbm
File length: 76623 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, 6 months ago) by dbm
File length: 76493 byte(s)
Diff to previous 2555
fix for Date.fromString, unification for SCHEME tyvars

Revision 2555 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 15 23:23:24 2007 UTC (12 years, 6 months ago) by gkuan
File length: 76517 byte(s)
Diff to previous 2544
all defstrspecs matched instead of just the first [bugfix bug modules/tests/315.sml]

Revision 2544 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 15 00:58:16 2007 UTC (12 years, 6 months ago) by gkuan
File length: 76122 byte(s)
Diff to previous 2520
matchdefstr0 secondary bug fixes

Revision 2520 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 7 20:02:57 2007 UTC (12 years, 6 months ago) by gkuan
File length: 76069 byte(s)
Diff to previous 2487
1578, 1599, 1602 bugfixes

Revision 2487 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 3 20:03:39 2007 UTC (12 years, 6 months ago) by gkuan
File length: 75849 byte(s)
Diff to previous 2455
bugfix for modules test case 309 nonstrict type operator sigmatch bug

Revision 2455 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 26 22:10:42 2007 UTC (12 years, 6 months ago) by dbm
File length: 75672 byte(s)
Diff to previous 2453
modified sigmatch.sml to eliminate secondary error

Revision 2453 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 26 03:06:25 2007 UTC (12 years, 7 months ago) by dbm
File length: 74113 byte(s)
Diff to previous 2452
removed mkCONty and added corresponding fix to equalType

Revision 2452 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 25 22:46:41 2007 UTC (12 years, 7 months ago) by dbm
File length: 74112 byte(s)
Diff to previous 2451
debugging changes to track down lt_inst bug (bug409.sml)

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

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

Revision 2396 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 10 22:15:30 2007 UTC (12 years, 7 months ago) by gkuan
File length: 73279 byte(s)
Diff to previous 2389
Turned off debug printing in TypesUtil, SigMatch, FLINT, translate

Revision 2389 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 9 17:03:21 2007 UTC (12 years, 7 months ago) by gkuan
File length: 73250 byte(s)
Diff to previous 2222
fixed matchInstTypes case for translate -- i.e., matchInstTypes should follow through abstract types unlike during signature matching, turned off plam typechecking and kind checking to get to the realconst (matchInstTypes) bug

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 11 months ago) by blume
File length: 73243 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, 11 months ago) by blume
File length: 65355 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 (13 years ago) by blume
Original Path: sml/trunk/compiler/Elaborator/modules/sigmatch.sml
File length: 65355 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 (16 years, 2 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/modules/sigmatch.sml
File length: 65355 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 (16 years, 2 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/modules/sigmatch.sml
File length: 65436 byte(s)
Diff to previous 1344
eliminate types from primop info

Revision 1344 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 13 18:04:08 2003 UTC (16 years, 3 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/modules/sigmatch.sml
File length: 65355 byte(s)
Diff to previous 903
merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

Revision 903 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 20 19:34:06 2001 UTC (18 years, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator/modules/sigmatch.sml
File length: 65379 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 (18 years, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator/modules/sigmatch.sml
File length: 65406 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