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
ViewVC logotype

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

View Directory Listing Directory Listing


Sticky Revision:

Revision 3376 - Directory Listing
Modified Fri May 22 16:15:37 2009 UTC (10 years, 5 months ago) by gkuan
updated modules.sig with newest primary representation

Revision 3368 - Directory Listing
Modified Wed May 20 14:26:40 2009 UTC (10 years, 5 months ago) by dbm
new version of primaries

Revision 3367 - Directory Listing
Modified Tue May 19 22:16:34 2009 UTC (10 years, 5 months ago) by dbm
moved datatype primary from Instantiate to Modules

Revision 3363 - Directory Listing
Modified Tue May 19 13:46:00 2009 UTC (10 years, 5 months ago) by dbm
moved debindex to FLINT/trans. edited transtypes.sml, fctkind.sml

Revision 3362 - Directory Listing
Modified Tue May 19 10:20:26 2009 UTC (10 years, 5 months ago) by dbm
changed name of calc function in DebIndex

Revision 3351 - Directory Listing
Modified Sat May 16 13:24:43 2009 UTC (10 years, 5 months ago) by gkuan
updated parts of elaborator for new module primary representation

Revision 3350 - Directory Listing
Modified Sat May 16 11:44:37 2009 UTC (10 years, 5 months ago) by dbm
moved mapPaths to ModuleUtil and used it in EvalEntity after instantiations

Revision 3348 - Directory Listing
Modified Fri May 15 16:48:04 2009 UTC (10 years, 5 months ago) by gkuan
fixed some minor syntax problems in modules and instantiate

Revision 3346 - Directory Listing
Modified Fri May 15 15:20:06 2009 UTC (10 years, 5 months ago) by dbm
modified version of primaries field of LAMBDA

Revision 3345 - Directory Listing
Modified Fri May 15 15:05:51 2009 UTC (10 years, 5 months ago) by gkuan
merged trunk 3286 into primop3 and reorganized fctEntity, fctExp, and FCTfct to record primaries information in a single place, i.e. LAMBDA

Revision 3344 - Directory Listing
Modified Fri May 15 12:52:07 2009 UTC (10 years, 5 months ago) by gkuan
added primaries field representing primaries as tycons

Revision 3343 - Directory Listing
Modified Thu May 14 16:29:06 2009 UTC (10 years, 5 months ago) by gkuan
adding primaries field to FCTent and LAMBDA

Revision 3336 - Directory Listing
Modified Wed May 13 12:46:49 2009 UTC (10 years, 5 months ago) by gkuan
some minor cleanup, deleting commented out code mainly

Revision 3332 - Directory Listing
Modified Tue May 12 16:07:06 2009 UTC (10 years, 5 months ago) by dbm
minor cleanup

Revision 3323 - Directory Listing
Modified Thu May 7 12:17:47 2009 UTC (10 years, 5 months ago) by gkuan
Some minor cleanup and added debug print out

Revision 3321 - Directory Listing
Modified Wed May 6 22:40:39 2009 UTC (10 years, 5 months ago) by gkuan
added some debug printing

Revision 3320 - Directory Listing
Modified Wed May 6 22:37:52 2009 UTC (10 years, 5 months ago) by gkuan
Exporting InvPath for debugging.

Revision 3319 - Directory Listing
Modified Wed May 6 22:37:21 2009 UTC (10 years, 5 months ago) by gkuan
enable debug printing inspection of EPContext. Perhaps there is a better way to do this without exposing EPContext

Revision 3299 - Directory Listing
Modified Fri Apr 24 13:58:04 2009 UTC (10 years, 6 months ago) by dbm
cleanup: removed Semant/modules and contents, removed bodyRlzn field from fctEntity record

Revision 3298 - Directory Listing
Modified Fri Apr 24 09:41:03 2009 UTC (10 years, 6 months ago) by dbm
removed redundant copies of debindex.sig/sml in Elaborator/basics

Revision 3290 - Directory Listing
Modified Fri Apr 17 09:33:39 2009 UTC (10 years, 6 months ago) by dbm
removed references to LAMBDA_TP, small improvements in ppabsyn.sml

Revision 3288 - Directory Listing
Modified Fri Apr 10 17:07:35 2009 UTC (10 years, 6 months ago) by gkuan
removed LAMBDA_TP from modules.sig

Revision 3287 - Directory Listing
Modified Wed Apr 8 06:15:05 2009 UTC (10 years, 6 months ago) by dbm
removed LAMBDA_TP and prepared for deletion of bodyRlzn field in fctEntity

Revision 3286 - Directory Listing
Modified Thu Apr 2 19:56:17 2009 UTC (10 years, 6 months ago) by dbm
changes to elabmod.sml base funtor elab. Various print flags on

Revision 3285 - Directory Listing
Modified Wed Apr 1 16:20:00 2009 UTC (10 years, 6 months ago) by dbm
various small cleanups in elabmod, epcontext, sigmatch, evalent

Revision 3273 - Directory Listing
Modified Fri Feb 20 21:55:57 2009 UTC (10 years, 8 months ago) by gkuan
fixed TypesUtil matchInstTypes LBOUND instantiation and matching bug

Revision 3229 - Directory Listing
Modified Sun Sep 21 23:03:38 2008 UTC (11 years, 1 month ago) by gkuan
merge from trunk into primop-branch-3 (2931:3228)

Revision 3224 - Directory Listing
Modified Fri Sep 12 00:12:42 2008 UTC (11 years, 1 month ago) by dbm
gatien changes to elabmod.sml plus various edits to achieve clean compilation

Revision 3046 - Directory Listing
Modified Thu May 29 20:14:51 2008 UTC (11 years, 4 months ago) by gkuan
major elab cleanup,  commit 2

Revision 3045 - Directory Listing
Modified Thu May 29 19:01:17 2008 UTC (11 years, 4 months ago) by dbm
major elab cleanup, commit 1

Revision 3028 - Directory Listing
Modified Fri May 16 21:30:21 2008 UTC (11 years, 5 months ago) by gkuan
consolidated reptycprops and translate compiles, commented out ABSdec, superseded by opaque ascription

Revision 3006 - Directory Listing
Modified Fri Apr 25 20:02:56 2008 UTC (11 years, 6 months ago) by gkuan
lots of bugfixes and formal functor setup...not complete

Revision 2961 - Directory Listing
Modified Mon Mar 24 02:55:01 2008 UTC (11 years, 7 months ago) by gkuan
merged in primop-branch-gkuan 2742:2960 elimination of tycpath in Elaboration and reconstitution in translate

Revision 2910 - Directory Listing
Modified Thu Nov 22 02:36:15 2007 UTC (11 years, 11 months ago) by gkuan
Added ppTycpath and getFctKnd scaffolding

Revision 2751 - Directory Listing
Modified Tue Sep 11 21:57:29 2007 UTC (12 years, 1 month ago) by gkuan
Added RepTycProps module for computing tycpaths just before translation. Saving functor parameter dummy instantiation as paramEnts in resp. fctEntity and Lambda

Revision 2741 - Directory Listing
Modified Wed Aug 22 21:13:08 2007 UTC (12 years, 2 months ago) by dbm
updated some comments in types.sig and translate.sml

Revision 2740 - Directory Listing
Modified Tue Aug 21 21:05:34 2007 UTC (12 years, 2 months ago) by gkuan
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

Revision 2739 - Directory Listing
Modified Tue Aug 21 20:44:08 2007 UTC (12 years, 2 months ago) by dbm
comments in instantiate.sml, added notes.txt

Revision 2730 - Directory Listing
Modified Mon Jul 23 20:45:02 2007 UTC (12 years, 3 months ago) by gkuan
commented out Absyn.PACKexp and PLambda.PACK related code...Does not seem to do anything because PACKexp should never be introduced after matchStr

Revision 2728 - Directory Listing
Modified Thu Jul 12 13:09:08 2007 UTC (12 years, 3 months ago) by gkuan
Removed extra reformat. reformat is now in Semant TypesReformat

Revision 2636 - Directory Listing
Modified Wed May 30 20:22:55 2007 UTC (12 years, 4 months ago) by dbm
merge from trunk (2610:2630)

Revision 2571 - Directory Listing
Modified Sun May 20 15:12:54 2007 UTC (12 years, 5 months ago) by dbm
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 - Directory Listing
Modified Thu May 17 22:37:20 2007 UTC (12 years, 5 months ago) by dbm
(partial) fix for bug in printing of type elements of inferred functor result signatures (tests/modules/tests/316.sml,316.1.sml

Revision 2561 - Directory Listing
Modified Thu May 17 03:41:11 2007 UTC (12 years, 5 months ago) by dbm
fix for Date.fromString, unification for SCHEME tyvars

Revision 2541 - Directory Listing
Modified Fri May 11 20:55:44 2007 UTC (12 years, 5 months ago) by dbm
cleanup of obsolete files; MAP files updated

Revision 2532 - Directory Listing
Modified Thu May 10 05:09:42 2007 UTC (12 years, 5 months ago) by dbm
eliminated redundant symbols field from sigrec in modules.sig/sml

Revision 2520 - Directory Listing
Modified Mon May 7 20:02:57 2007 UTC (12 years, 5 months ago) by gkuan
1578, 1599, 1602 bugfixes

Revision 2512 - Directory Listing
Modified Mon May 7 03:38:54 2007 UTC (12 years, 5 months ago) by dbm
fix for uncaught EE.Unbound caused by duplicate type specs (bug1499.1.sml)

Revision 2488 - Directory Listing
Modified Thu May 3 20:15:14 2007 UTC (12 years, 5 months ago) by dbm
minor cleanups in persstamps.sml, entpath.sml

Revision 2479 - Directory Listing
Modified Tue May 1 21:43:08 2007 UTC (12 years, 5 months ago) by dbm
simplification of mkVBs in simple variable binding case; use anyErrors to suppress spurious reports about unresolved FLEX tyvars

Revision 2458 - Directory Listing
Modified Fri Apr 27 22:48:38 2007 UTC (12 years, 5 months ago) by dbm
removed mkCONty, fixed ElabUtil.calc_strictness, refined internals printing of DEFtycs to include strictness info

Revision 2456 - Directory Listing
Modified Fri Apr 27 05:21:38 2007 UTC (12 years, 6 months ago) by dbm
added Control.Elab.tcdebugging and Control.Elab.unidebugging flags for type checking and unification. Some reorg of Control.

Revision 2455 - Directory Listing
Modified Thu Apr 26 22:10:42 2007 UTC (12 years, 6 months ago) by dbm
modified sigmatch.sml to eliminate secondary error

Revision 2453 - Directory Listing
Modified Thu Apr 26 03:06:25 2007 UTC (12 years, 6 months ago) by dbm
removed mkCONty and added corresponding fix to equalType

Revision 2451 - Directory Listing
Modified Tue Apr 24 21:48:40 2007 UTC (12 years, 6 months ago) by dbm
bug fixes, changed TV_MARK to LBOUND, first attempt to compute LBOUND indexes in front end

Revision 2437 - Directory Listing
Modified Fri Apr 20 21:02:39 2007 UTC (12 years, 6 months ago) by gkuan
matchInstTypes should not raise exception when matching WILDCARD types.

Revision 2432 - Directory Listing
Modified Thu Apr 19 03:14:38 2007 UTC (12 years, 6 months ago) by gkuan
added ERRORfct, ERRORstr, and ERRORvar cases for moduleutil strPrimElemeInBinds

Revision 2414 - Directory Listing
Modified Tue Apr 17 13:58:15 2007 UTC (12 years, 6 months ago) by gkuan
reverted back to getting inferred signature decl order directly from pre-consolidated environment instead of separate order list

Revision 2413 - Directory Listing
Modified Mon Apr 16 23:26:31 2007 UTC (12 years, 6 months ago) by gkuan
Attaching symbol/key order list to static environments for pretty printing, recursive datatypes still in progress

Revision 2408 - Directory Listing
Modified Mon Apr 16 06:10:46 2007 UTC (12 years, 6 months ago) by gkuan
fixed inferred signature printing

Revision 2402 - Directory Listing
Modified Wed Apr 11 21:34:42 2007 UTC (12 years, 6 months ago) by gkuan
Corrected equality type and abstract type bug (regression test d005a-ac.sml). matchInstTypes now ignores equality type test if it told to ignore abstract

Revision 2398 - Directory Listing
Modified Wed Apr 11 18:54:53 2007 UTC (12 years, 6 months ago) by dbm
fixed final bootstrap bug -- successful boot

Revision 2396 - Directory Listing
Modified Tue Apr 10 22:15:30 2007 UTC (12 years, 6 months ago) by gkuan
Turned off debug printing in TypesUtil, SigMatch, FLINT, translate

Revision 2389 - Directory Listing
Modified Mon Apr 9 17:03:21 2007 UTC (12 years, 6 months ago) by gkuan
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 - Directory Listing
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 10 months ago) by blume
merged all changes from primop-branch-2

Revision 2221 - Directory Listing
Modified Tue Nov 28 21:56:55 2006 UTC (12 years, 10 months ago) by blume
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2162 - Directory Listing
Modified Thu Nov 2 21:20:47 2006 UTC (12 years, 11 months ago) by blume
Original Path: sml/trunk/compiler/ElabData
eliminated src dir

Revision 1863 - Directory Listing
Modified Tue Nov 15 22:38:49 2005 UTC (13 years, 11 months ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
improved the way certain libraries are bound into the compiler

Revision 1861 - Directory Listing
Modified Mon Nov 7 18:17:09 2005 UTC (13 years, 11 months ago) by jhr
Original Path: sml/trunk/src/compiler/ElabData
  Remove Substring.all.

Revision 1681 - Directory Listing
Modified Mon Nov 8 23:03:24 2004 UTC (14 years, 11 months ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
some code cleanup

Revision 1655 - Directory Listing
Modified Mon Oct 18 21:45:30 2004 UTC (15 years ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
eliminated group owners; added warning

Revision 1642 - Directory Listing
Modified Thu Oct 7 21:00:04 2004 UTC (15 years ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
cleanup work

Revision 1641 - Directory Listing
Modified Wed Oct 6 20:18:55 2004 UTC (15 years ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
minor cleanup in absyn and btrace

Revision 1486 - Directory Listing
Modified Tue May 11 17:04:01 2004 UTC (15 years, 5 months ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
extended some export lists

Revision 1393 - Directory Listing
Modified Fri Sep 26 17:00:32 2003 UTC (16 years, 1 month ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
implemented autoloading on behalf of prettyprinter

Revision 1344 - Directory Listing
Modified Wed Aug 13 18:04:08 2003 UTC (16 years, 2 months ago) by macqueen
Original Path: sml/trunk/src/compiler/ElabData
merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

Revision 1335 - Directory Listing
Modified Tue May 27 21:54:23 2003 UTC (16 years, 5 months ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
eliminated many cases of poly-eq

Revision 1332 - Directory Listing
Modified Sun May 18 03:21:16 2003 UTC (16 years, 5 months ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
added IF/WHILE/ANDALSO/ORELSE to Absyn (to improve error messages)

Revision 1208 - Directory Listing
Modified Tue May 21 02:22:43 2002 UTC (17 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
more controls cleanup; removed some wrongly-added things from config/preloads

Revision 1201 - Directory Listing
Modified Fri May 17 20:48:38 2002 UTC (17 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
pushed new controls interface through compiler

Revision 1145 - Directory Listing
Modified Fri Mar 15 02:30:53 2002 UTC (17 years, 7 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
moved Controls module into its own library;
changed Controls interface to make it saner;
made MLRISC independent of Controls;
minor changes to CM

Revision 1126 - Directory Listing
Modified Thu Mar 7 21:16:28 2002 UTC (17 years, 7 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
implemented generic Controls module and used it for
all compiler flags/tuneable knobs/...;
more command-line options accepted (for setting the above controls);
some minor bug fixes

Revision 905 - Directory Listing
Modified Thu Aug 23 21:53:02 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
updates to environments, envrefs, interactive loop

Revision 904 - Directory Listing
Modified Mon Aug 20 19:50:05 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
fixed a minor slipup

Revision 903 - Directory Listing
Modified Mon Aug 20 19:34:06 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
library debugprof.cm extracted

Revision 902 - Directory Listing
Added Wed Aug 15 21:17:05 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
new organization of compiler libraries

Sort log by:

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0