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

Log of /sml/branches

View Directory Listing Directory Listing


Sticky Revision:

Revision 5240 - Directory Listing
Modified Sat Jun 1 13:11:41 2019 UTC (2 months, 3 weeks ago) by jhr
porting changes from trunk

Revision 5234 - Directory Listing
Modified Fri May 31 13:02:38 2019 UTC (2 months, 3 weeks ago) by jhr
minor edits

Revision 5229 - Directory Listing
Modified Thu May 30 18:15:17 2019 UTC (2 months, 3 weeks ago) by jhr
  porting runtime-system changes from trunk

Revision 5226 - Directory Listing
Modified Thu May 30 16:54:19 2019 UTC (2 months, 3 weeks ago) by jhr
fix type error in C code

Revision 5222 - Directory Listing
Modified Thu May 30 14:40:44 2019 UTC (2 months, 3 weeks ago) by jhr
  restore bindings to 64-bit runtime functions

Revision 5220 - Directory Listing
Modified Thu May 30 14:19:30 2019 UTC (2 months, 3 weeks ago) by jhr
port minor edits from trunk to num64 branch

Revision 5219 - Directory Listing
Modified Thu May 30 13:17:43 2019 UTC (2 months, 3 weeks ago) by jhr
  Switch 64-bit versions of Posix FileSys and IO operations to directly
  pass 64-bit integers to/from the runtime (instead of using two 32-bit
  words).  Have also changed the representation of file timestamps
  to a 64-bit number of nanoseconds (instead of 32-bit seconds).
  The plan is to make these versions the default.

Revision 5217 - Directory Listing
Modified Wed May 29 18:41:50 2019 UTC (2 months, 3 weeks ago) by jhr
  minor edit

Revision 5216 - Directory Listing
Modified Wed May 29 18:40:22 2019 UTC (2 months, 3 weeks ago) by jhr
  added 64BIT comments

Revision 5215 - Directory Listing
Modified Wed May 29 18:37:51 2019 UTC (2 months, 3 weeks ago) by jhr
  convert counters to use Unsigned64_t and various minor edits

Revision 5214 - Directory Listing
Modified Wed May 29 17:59:30 2019 UTC (2 months, 3 weeks ago) by jhr
  code formatting and header comments

Revision 5213 - Directory Listing
Modified Wed May 29 17:58:01 2019 UTC (2 months, 3 weeks ago) by jhr
  port bug fix from trunk

Revision 5207 - Directory Listing
Modified Tue May 28 23:14:35 2019 UTC (2 months, 3 weeks ago) by jhr
  port changes from trunk to num64 branch

Revision 5167 - Directory Listing
Modified Wed May 15 12:38:07 2019 UTC (3 months, 1 week ago) by jhr
  Some minor 64-bit changes

Revision 5166 - Directory Listing
Modified Wed May 15 12:12:26 2019 UTC (3 months, 1 week ago) by jhr
code formatting

Revision 5165 - Directory Listing
Modified Tue May 14 16:33:10 2019 UTC (3 months, 1 week ago) by jhr
  Remove unused primop pickle code for CVT64

Revision 5164 - Directory Listing
Modified Sat May 11 11:58:49 2019 UTC (3 months, 1 week ago) by jhr
  Fixed a bug in the way that comparisons were implemented
  for 64-bits.

Revision 5163 - Directory Listing
Modified Fri May 10 22:24:03 2019 UTC (3 months, 1 week ago) by jhr
  Finishing up Int64 and Word64 support.  Added NumFormat64 and
  NumScan64.

Revision 5158 - Directory Listing
Modified Fri May 10 04:27:52 2019 UTC (3 months, 1 week ago) by jhr
added fix for missing fused conversion

Revision 5157 - Directory Listing
Modified Thu May 9 18:26:22 2019 UTC (3 months, 2 weeks ago) by jhr
  Switched the representation of 64-bit integers to a packed
  pair of 32-bit words.

Revision 5156 - Directory Listing
Modified Thu May 9 17:39:42 2019 UTC (3 months, 2 weeks ago) by jhr
code cleanup

Revision 5155 - Directory Listing
Modified Thu May 9 16:17:38 2019 UTC (3 months, 2 weeks ago) by jhr
  Finishing up support for Int64

Revision 5154 - Directory Listing
Modified Thu May 9 14:08:26 2019 UTC (3 months, 2 weeks ago) by jhr
working on Int64 operations

Revision 5153 - Directory Listing
Modified Thu May 9 14:06:42 2019 UTC (3 months, 2 weeks ago) by jhr
  Improved CoreAccess warning message

Revision 5152 - Directory Listing
Modified Thu May 9 13:52:52 2019 UTC (3 months, 2 weeks ago) by jhr
working on Int64 operations

Revision 5151 - Directory Listing
Modified Thu May 9 13:19:53 2019 UTC (3 months, 2 weeks ago) by jhr
  Starting to enable Int64 operations

Revision 5150 - Directory Listing
Modified Thu May 9 12:44:34 2019 UTC (3 months, 2 weeks ago) by jhr
  porting changes from trunk (reorganization of files)

Revision 5145 - Directory Listing
Modified Thu May 9 01:29:22 2019 UTC (3 months, 2 weeks ago) by jhr
cleanup

Revision 5144 - Directory Listing
Modified Thu May 9 01:23:40 2019 UTC (3 months, 2 weeks ago) by jhr
porting changes from trunk

Revision 5141 - Directory Listing
Modified Wed May 8 20:44:21 2019 UTC (3 months, 2 weeks ago) by jhr
  working on Word64 support in compiler

Revision 5140 - Directory Listing
Modified Wed May 8 20:41:19 2019 UTC (3 months, 2 weeks ago) by jhr
  Fixed bug in implementation of INTERN64

Revision 5139 - Directory Listing
Modified Wed May 8 17:43:12 2019 UTC (3 months, 2 weeks ago) by jhr
  Checkpoint.  Word64 is almost complete (just missing scanning), but multiplication
  is not working yet.

Revision 5138 - Directory Listing
Modified Wed May 8 14:54:18 2019 UTC (3 months, 2 weeks ago) by jhr
  IntInf conversions are now specialized to the size of the fixed-precision
  argument/result.  Also got rid of the boolean sign-extend flag; instead
  we use different functions for COPY_INF and EXTEND_INF.

Revision 5137 - Directory Listing
Modified Wed May 8 14:52:29 2019 UTC (3 months, 2 weeks ago) by jhr
  Improved optimization of 64-bit numbers by treating
  CAST as a transparent identity function when collecting
  info in CPS contraction.

Revision 5136 - Directory Listing
Modified Wed May 8 14:31:34 2019 UTC (3 months, 2 weeks ago) by jhr
added infoToString function

Revision 5135 - Directory Listing
Modified Wed May 8 14:31:00 2019 UTC (3 months, 2 weeks ago) by jhr
added vpathToString function

Revision 5134 - Directory Listing
Modified Tue May 7 21:22:18 2019 UTC (3 months, 2 weeks ago) by jhr
Checkpoint

Revision 5133 - Directory Listing
Modified Tue May 7 21:06:22 2019 UTC (3 months, 2 weeks ago) by jhr
some cleanup of core stuff

Revision 5130 - Directory Listing
Modified Tue May 7 20:35:18 2019 UTC (3 months, 2 weeks ago) by jhr
  Checkpoint: rewrite of IntInfCnv

Revision 5129 - Directory Listing
Modified Tue May 7 18:16:49 2019 UTC (3 months, 2 weeks ago) by jhr
  Checkpoint

Revision 5128 - Directory Listing
Modified Tue May 7 17:55:59 2019 UTC (3 months, 2 weeks ago) by jhr
remove some unused code; builds to fixed point

Revision 5127 - Directory Listing
Modified Tue May 7 17:51:26 2019 UTC (3 months, 2 weeks ago) by jhr
  Checkpoint: removed CVT64; word64/int64 are now primitive

Revision 5126 - Directory Listing
Modified Tue May 7 17:32:11 2019 UTC (3 months, 2 weeks ago) by jhr
  Checkpoint

Revision 5125 - Directory Listing
Modified Tue May 7 17:27:53 2019 UTC (3 months, 2 weeks ago) by jhr
  Checkpoint for 64-bit numerics

Revision 5124 - Directory Listing
Modified Tue May 7 15:50:57 2019 UTC (3 months, 2 weeks ago) by jhr
  added debug print for zeroexpand cpsopt phase

Revision 5123 - Directory Listing
Modified Mon May 6 13:02:30 2019 UTC (3 months, 2 weeks ago) by jhr
  Added INTERN64 and EXTERN64 primops, which will replace the CVT64 primop.
  This version reaches a fixed point.  The next step is to make the 64-bit
  integer type abstract in the compiler.

Revision 5122 - Directory Listing
Modified Mon May 6 12:38:26 2019 UTC (3 months, 2 weeks ago) by jhr
  Change NumCnv.elim return type to be an option, where NONE means that
  no change to the code was made.

Revision 5121 - Directory Listing
Modified Mon May 6 12:30:19 2019 UTC (3 months, 2 weeks ago) by jhr
add contraction pass after Num64Cnv to improve 64-bit code

Revision 5119 - Directory Listing
Modified Mon May 6 12:19:50 2019 UTC (3 months, 2 weeks ago) by jhr
  Add optimizations for unsigned comparisons with 0

Revision 5118 - Directory Listing
Modified Mon May 6 12:13:15 2019 UTC (3 months, 2 weeks ago) by jhr
  adding readme for branch

Revision 5116 - Directory Listing
Modified Mon May 6 11:47:17 2019 UTC (3 months, 2 weeks ago) by jhr
  Removing references to Int31 and Word31 from Basis Library implementation.

Revision 5115 - Directory Listing
Modified Sun May 5 20:31:55 2019 UTC (3 months, 2 weeks ago) by jhr
  Working on supporting 64-bit numerics on 32-bit targets.  This is
  a checkpoint, where we have NumCnv structure in place and the
  TransPrim structure is looking for 64-bit operators, but we do not
  have any 64-bit primops in use yet.

Revision 5114 - Directory Listing
Modified Sun May 5 19:24:15 2019 UTC (3 months, 2 weeks ago) by jhr
  port change from trunk

Revision 5111 - Directory Listing
Modified Sun May 5 18:43:49 2019 UTC (3 months, 2 weeks ago) by jhr
  working on Num64Cnv

Revision 5110 - Directory Listing
Modified Sun May 5 18:13:58 2019 UTC (3 months, 2 weeks ago) by jhr
  Working on support for 64-bit numerics on 32-bit targets

Revision 5106 - Directory Listing
Modified Sun May 5 12:10:21 2019 UTC (3 months, 2 weeks ago) by jhr
  port changes from trunk

Revision 5105 - Directory Listing
Modified Sun May 5 12:08:19 2019 UTC (3 months, 2 weeks ago) by jhr
  Some of the CPS optimization modules were written as functors over the
  machine spec, when, in fact, the never reference their functor argument,
  so I've switched them back to structures.

Revision 5104 - Directory Listing
Modified Sun May 5 11:51:27 2019 UTC (3 months, 2 weeks ago) by jhr
  Create a branch to implement the Int64 and Word64 types through codegen
  in 32-bit targets.

Revision 5103 - Directory Listing
Modified Sat May 4 14:39:13 2019 UTC (3 months, 2 weeks ago) by jhr
changes to arith64 branch

Revision 5102 - Directory Listing
Modified Sat May 4 14:30:11 2019 UTC (3 months, 2 weeks ago) by jhr
  fix comment

Revision 5101 - Directory Listing
Modified Sat May 4 14:24:01 2019 UTC (3 months, 2 weeks ago) by jhr
  minor edit

Revision 5100 - Directory Listing
Modified Sat May 4 14:20:55 2019 UTC (3 months, 2 weeks ago) by jhr
  added notes about building under macOS 10.14 (Mojave).

Revision 4874 - Directory Listing
Modified Fri Oct 5 14:33:11 2018 UTC (10 months, 2 weeks ago) by jhr
  merge in edits from trunk

Revision 4831 - Directory Listing
Modified Wed Sep 19 10:04:44 2018 UTC (11 months ago) by jhr
  remove unused files

Revision 4830 - Directory Listing
Modified Wed Sep 19 10:04:28 2018 UTC (11 months ago) by jhr
rename Int64Cnv to Num64Cnv

Revision 4829 - Directory Listing
Modified Thu Sep 13 19:37:44 2018 UTC (11 months, 1 week ago) by jhr
  merging in changes from trunk

Revision 4819 - Directory Listing
Modified Thu Sep 13 15:33:46 2018 UTC (11 months, 1 week ago) by jhr
working on 64-bit arithmetic

Revision 4818 - Directory Listing
Modified Thu Sep 13 12:41:34 2018 UTC (11 months, 1 week ago) by jhr
working on 64-bit arithmetic

Revision 4810 - Directory Listing
Modified Wed Sep 12 21:52:19 2018 UTC (11 months, 1 week ago) by jhr
  Removed broken CPS checking flags and code.

Revision 4807 - Directory Listing
Modified Wed Sep 12 20:19:03 2018 UTC (11 months, 1 week ago) by jhr
  adding "64BIT" comments

Revision 4806 - Directory Listing
Modified Wed Sep 12 20:18:23 2018 UTC (11 months, 1 week ago) by jhr
  Removed unused (and undocumented) `representations` flag from the `MACH_SPEC` signature.

Revision 4803 - Directory Listing
Modified Wed Sep 12 19:07:12 2018 UTC (11 months, 1 week ago) by jhr
  merging in changes from trunk

Revision 4802 - Directory Listing
Modified Wed Sep 12 18:43:52 2018 UTC (11 months, 1 week ago) by jhr
  Remove 32-bit dependencies in InfCnv module (and renamed it to IntInfCnv).

Revision 4795 - Directory Listing
Modified Tue Sep 11 21:47:35 2018 UTC (11 months, 1 week ago) by jhr
  New implementation of CPS switch generation and more documentation
  of the CPS IR.

Revision 4789 - Directory Listing
Modified Sat Sep 8 21:15:47 2018 UTC (11 months, 1 week ago) by jhr
  Create branch to implement support for 64-bit arithmetic (Int64 and Word64)
  on 32-bit targets.  In this branch, 64-bit arithmetic operations are
  implemented by a CPS to CPS translation.

Revision 4691 - Directory Listing
Modified Tue Aug 28 15:23:10 2018 UTC (11 months, 3 weeks ago) by jhr
  Added "config" command to installer and changed name of build script to
  "build.sh" on Unix systems.

Revision 4690 - Directory Listing
Modified Tue Aug 28 15:22:08 2018 UTC (11 months, 3 weeks ago) by jhr
update version date

Revision 4689 - Directory Listing
Modified Mon Aug 27 13:48:50 2018 UTC (11 months, 3 weeks ago) by jhr
  Added RENAME as an extension style; some corrections to the documentation.

Revision 4688 - Directory Listing
Modified Mon Aug 27 12:44:25 2018 UTC (11 months, 3 weeks ago) by jhr
  Create a branch to test out improvements to CM's tool mechanism

Revision 4421 - Directory Listing
Modified Tue Sep 19 01:45:34 2017 UTC (23 months ago) by jhr
merging changes from trunk

Revision 4408 - Directory Listing
Modified Wed Sep 13 22:29:16 2017 UTC (23 months, 1 week ago) by jhr
  patches from trunk

Revision 4401 - Directory Listing
Modified Mon Sep 11 11:22:51 2017 UTC (23 months, 1 week ago) by jhr
minor edits

Revision 4395 - Directory Listing
Modified Sun Aug 27 14:56:56 2017 UTC (23 months, 3 weeks ago) by jhr
working in AMD64

Revision 4386 - Directory Listing
Modified Sun Aug 27 13:13:49 2017 UTC (23 months, 3 weeks ago) by jhr
  Creating branch to work on AMD64 backend

Revision 4329 - Directory Listing
Modified Fri Apr 14 17:52:22 2017 UTC (2 years, 4 months ago) by jhr
  updating to latest revision of trunk (r4328)

Revision 4212 - Directory Listing
Modified Wed Mar 30 16:37:26 2016 UTC (3 years, 4 months ago) by jhr
  merging in 110.78 changes from trunk

Revision 4211 - Directory Listing
Modified Wed Mar 30 12:44:16 2016 UTC (3 years, 4 months ago) by jhr
  Merging runtime system changes from trunk

Revision 4194 - Directory Listing
Modified Wed Oct 14 19:13:58 2015 UTC (3 years, 10 months ago) by dbm
creating branch for bug 130 fix

Revision 4072 - Directory Listing
Modified Thu Jun 11 13:06:36 2015 UTC (4 years, 2 months ago) by jhr
update to 110.78 version of SML/NJ Library

Revision 3979 - Directory Listing
Modified Wed Dec 10 14:29:02 2014 UTC (4 years, 8 months ago) by jhr
  Merging updates from trunk (svn r3978)

Revision 3743 - Directory Listing
Modified Fri Jul 13 12:38:55 2012 UTC (7 years, 1 month ago) by jhr
  add instructions for running

Revision 3741 - Directory Listing
Modified Tue Jun 26 12:36:37 2012 UTC (7 years, 1 month ago) by jhr
  update README

Revision 3740 - Directory Listing
Modified Thu Jun 21 12:39:42 2012 UTC (7 years, 2 months ago) by jhr
  add targets to Makefile

Revision 3739 - Directory Listing
Modified Mon May 14 23:07:27 2012 UTC (7 years, 3 months ago) by jhr
  changes to IDL specs and generation

Revision 3737 - Directory Listing
Modified Mon Apr 30 17:06:02 2012 UTC (7 years, 3 months ago) by jhr
  fix typo

Revision 3734 - Directory Listing
Modified Sun Apr 22 14:16:16 2012 UTC (7 years, 4 months ago) by jhr
  update notes

Revision 3733 - Directory Listing
Modified Sat Apr 21 16:00:55 2012 UTC (7 years, 4 months ago) by jhr
  Add README for new runtime 

Revision 3732 - Directory Listing
Modified Sat Apr 21 15:20:39 2012 UTC (7 years, 4 months ago) by jhr
  importing changes from trunk

Revision 3728 - Directory Listing
Modified Wed Apr 18 00:30:11 2012 UTC (7 years, 4 months ago) by jhr
  Update new runtime base with trunk changes (r3727)

Revision 3663 - Directory Listing
Modified Wed Jan 18 22:51:40 2012 UTC (7 years, 7 months ago) by dbm
fix for bug gf#60: calling EU.calc_strictness for DEFtycs in functor bodies

Revision 3662 - Directory Listing
Modified Tue Jan 17 04:57:51 2012 UTC (7 years, 7 months ago) by dbm
committing runtime changes merged from trunk

Revision 3661 - Directory Listing
Modified Tue Jan 17 04:22:38 2012 UTC (7 years, 7 months ago) by dbm
fix for bug gf#77

Revision 3660 - Directory Listing
Modified Tue Jan 17 01:09:42 2012 UTC (7 years, 7 months ago) by dbm
changes to correct bug gf#77

Revision 3659 - Directory Listing
Modified Mon Jan 16 23:57:06 2012 UTC (7 years, 7 months ago) by dbm
committing changes merged from trunk

Revision 3658 - Directory Listing
Modified Mon Jan 16 21:15:40 2012 UTC (7 years, 7 months ago) by dbm
fixing datatype repl bug (gf #77)

Revision 3654 - Directory Listing
Modified Fri Jan 13 23:05:49 2012 UTC (7 years, 7 months ago) by dbm
working on fix for datatype repl bug: ast.sml, ml.grm

Revision 3651 - Directory Listing
Modified Wed Jan 11 19:17:54 2012 UTC (7 years, 7 months ago) by dbm
creating new blame branch of smlnj/sml

Revision 3610 - Directory Listing
Modified Sat May 14 03:14:10 2011 UTC (8 years, 3 months ago) by dbm
fixes to cm for SourceMap

Revision 3595 - Directory Listing
Modified Thu May 12 16:46:02 2011 UTC (8 years, 3 months ago) by dbm
updated base/cm/parse/parse.sml from trunk version

Revision 3594 - Directory Listing
Modified Thu May 12 16:06:32 2011 UTC (8 years, 3 months ago) by dbm
merge from trunk

Revision 3563 - Directory Listing
Modified Fri Sep 24 15:45:47 2010 UTC (8 years, 10 months ago) by dbm
added Basics/source/sourceutil.sml for error message formatting

Revision 3562 - Directory Listing
Modified Wed Sep 22 14:09:04 2010 UTC (8 years, 11 months ago) by dbm
finished revised sourcemap.sml

Revision 3561 - Directory Listing
Modified Tue Sep 21 01:26:41 2010 UTC (8 years, 11 months ago) by dbm
continued edits to sourcemap.sml

Revision 3557 - Directory Listing
Modified Sun Sep 12 13:05:01 2010 UTC (8 years, 11 months ago) by dbm
rewriting sourcemap.sml

Revision 3556 - Directory Listing
Modified Thu Sep 9 22:10:50 2010 UTC (8 years, 11 months ago) by dbm
further edits of sourcemap.sml

Revision 3555 - Directory Listing
Modified Wed Sep 8 22:22:56 2010 UTC (8 years, 11 months ago) by dbm
further edits of sourcemap

Revision 3554 - Directory Listing
Modified Wed Sep 8 17:14:55 2010 UTC (8 years, 11 months ago) by dbm


Revision 3553 - Directory Listing
Modified Tue Sep 7 22:25:48 2010 UTC (8 years, 11 months ago) by dbm
changed return type of Source.filepos to agree with SourceMap.filepos

Revision 3546 - Directory Listing
Modified Tue Jun 29 19:03:38 2010 UTC (9 years, 1 month ago) by dbm
improved preservation of type locations in unify.sml

Revision 3542 - Directory Listing
Modified Wed Jun 23 21:14:56 2010 UTC (9 years, 2 months ago) by dbm
first partially working version

Revision 3541 - Directory Listing
Modified Wed Jun 23 16:28:44 2010 UTC (9 years, 2 months ago) by dbm
added MARKpat and pattern marking

Revision 3539 - Directory Listing
Modified Mon Jun 21 15:26:28 2010 UTC (9 years, 2 months ago) by dbm
Creating dbm-type-blame branch of sml/trunk

Revision 3527 - Directory Listing
Modified Tue Apr 6 16:19:02 2010 UTC (9 years, 4 months ago) by dbm
edited elabmod-notes

Revision 3523 - Directory Listing
Modified Fri Mar 19 19:57:56 2010 UTC (9 years, 5 months ago) by dbm
added DEVNOTES/sharing.txt

Revision 3521 - Directory Listing
Modified Wed Mar 17 22:36:12 2010 UTC (9 years, 5 months ago) by dbm
beginning of new instantiate design

Revision 3520 - Directory Listing
Modified Mon Mar 15 22:40:21 2010 UTC (9 years, 5 months ago) by dbm
instantiate cleanup

Revision 3519 - Directory Listing
Modified Mon Mar 15 22:35:20 2010 UTC (9 years, 5 months ago) by dbm
instantiate cleanup

Revision 3518 - Directory Listing
Modified Tue Mar 9 23:22:17 2010 UTC (9 years, 5 months ago) by dbm
small edits to notes.txt

Revision 3516 - Directory Listing
Modified Fri Mar 5 22:30:23 2010 UTC (9 years, 5 months ago) by dbm
edited trans/notes.txt

Revision 3515 - Directory Listing
Modified Fri Mar 5 22:25:32 2010 UTC (9 years, 5 months ago) by dbm
working on modtype.sml

Revision 3512 - Directory Listing
Modified Thu Mar 4 23:07:32 2010 UTC (9 years, 5 months ago) by dbm
modtype.sml

Revision 3509 - Directory Listing
Modified Tue Mar 2 23:19:53 2010 UTC (9 years, 5 months ago) by dbm
modtype.sml, elabmod.sml

Revision 3508 - Directory Listing
Modified Fri Feb 26 23:23:08 2010 UTC (9 years, 5 months ago) by dbm
modtype.sml, elabmod.sml edits

Revision 3507 - Directory Listing
Modified Fri Feb 26 15:55:08 2010 UTC (9 years, 5 months ago) by dbm
modtype

Revision 3506 - Directory Listing
Modified Thu Feb 25 23:58:59 2010 UTC (9 years, 5 months ago) by dbm
rewrite of modtype.sml

Revision 3505 - Directory Listing
Modified Wed Feb 24 23:47:22 2010 UTC (9 years, 5 months ago) by dbm
editing modtype.sml and notes.txt for getFctTyc

Revision 3504 - Directory Listing
Modified Tue Feb 23 23:33:51 2010 UTC (9 years, 5 months ago) by dbm
edits to modtype.sml and translate.sml

Revision 3503 - Directory Listing
Modified Tue Feb 23 06:01:42 2010 UTC (9 years, 6 months ago) by dbm
modtype, working on getFctType

Revision 3502 - Directory Listing
Modified Mon Feb 22 23:43:20 2010 UTC (9 years, 6 months ago) by dbm
edits to transtypes (mostly), translate, elabmod, modules

Revision 3501 - Directory Listing
Modified Sat Feb 20 00:01:43 2010 UTC (9 years, 6 months ago) by dbm
edits in transtypes.sml

Revision 3500 - Directory Listing
Modified Fri Feb 19 17:17:15 2010 UTC (9 years, 6 months ago) by dbm
modtype.sml minor edit

Revision 3499 - Directory Listing
Modified Thu Feb 18 23:20:33 2010 UTC (9 years, 6 months ago) by dbm
editing elabmod.sml

Revision 3498 - Directory Listing
Modified Thu Feb 18 16:18:03 2010 UTC (9 years, 6 months ago) by dbm
edits

Revision 3497 - Directory Listing
Modified Wed Feb 17 21:13:41 2010 UTC (9 years, 6 months ago) by dbm
edits in elabmod.sml, transtypes.sml, etc.

Revision 3496 - Directory Listing
Modified Mon Feb 15 23:31:22 2010 UTC (9 years, 6 months ago) by dbm
minor edits to transtypes, translate

Revision 3495 - Directory Listing
Modified Mon Feb 15 23:24:29 2010 UTC (9 years, 6 months ago) by dbm
minor edits to transtypes, translate

Revision 3494 - Directory Listing
Modified Thu Feb 11 23:55:39 2010 UTC (9 years, 6 months ago) by dbm
editing transtypes.sml

Revision 3491 - Directory Listing
Modified Tue Feb 9 23:58:17 2010 UTC (9 years, 6 months ago) by dbm
various edits, working on modtype.sml

Revision 3465 - Directory Listing
Modified Wed Dec 9 22:07:39 2009 UTC (9 years, 8 months ago) by dbm
various small changes and comments added

Revision 3453 - Directory Listing
Modified Fri Sep 18 19:03:07 2009 UTC (9 years, 11 months ago) by dbm
added saved versions

Revision 3452 - Directory Listing
Modified Fri Sep 18 19:00:00 2009 UTC (9 years, 11 months ago) by dbm
minor edit in evalent.sml

Revision 3451 - Directory Listing
Modified Fri Sep 18 18:44:47 2009 UTC (9 years, 11 months ago) by dbm
updated ElabMod/tycpath documentation on tycpaths, added mod-examples test cases

Revision 3425 - Directory Listing
Modified Mon Aug 3 16:16:55 2009 UTC (10 years ago) by jhr
  Add installation support for classic mode and create RuntimeIDL directory
  when it doesn't exist.

Revision 3424 - Directory Listing
Modified Mon Jul 27 20:18:56 2009 UTC (10 years ago) by afix
Adding type for sysconst list option

Revision 3423 - Directory Listing
Modified Mon Jul 27 16:56:26 2009 UTC (10 years ago) by jhr
  Use IDL constants for signal states

Revision 3422 - Directory Listing
Modified Mon Jul 27 16:31:56 2009 UTC (10 years ago) by jhr
  Add signal-state constants

Revision 3421 - Directory Listing
Modified Mon Jul 20 18:26:25 2009 UTC (10 years, 1 month ago) by afix
Adding c++ types to smlnj-runtime.idl, and small changes to sml-basis.idl

Revision 3420 - Directory Listing
Modified Sun Jul 19 20:56:03 2009 UTC (10 years, 1 month ago) by afix
Adding c++ specific files to idl files (see changes to ml-idl: revision 40)

Revision 3419 - Directory Listing
Modified Fri Jul 10 16:53:53 2009 UTC (10 years, 1 month ago) by jhr
  Dummy implementation of Poll module, since there is no runtime support.

Revision 3418 - Directory Listing
Modified Thu Jul 9 16:34:49 2009 UTC (10 years, 1 month ago) by jhr
  Tracking changes to the trunk (revision 3417).

Revision 3405 - Directory Listing
Modified Mon Jun 15 16:14:22 2009 UTC (10 years, 2 months ago) by jhr
  Add command to install generated SML code

Revision 3404 - Directory Listing
Modified Mon Jun 15 16:13:56 2009 UTC (10 years, 2 months ago) by jhr
  Comment out Unix dependency

Revision 3403 - Directory Listing
Modified Mon Jun 15 13:24:28 2009 UTC (10 years, 2 months ago) by jhr
  Merging changes from main branch.

Revision 3399 - Directory Listing
Modified Tue Jun 9 00:09:02 2009 UTC (10 years, 2 months ago) by gkuan
previously added modtype and modkind in core.cm, updated translate.sml strLty calls to new parameter order

Revision 3398 - Directory Listing
Modified Mon Jun 8 16:59:38 2009 UTC (10 years, 2 months ago) by gkuan
minor edits throughout

Revision 3397 - Directory Listing
Modified Mon Jun 8 02:55:28 2009 UTC (10 years, 2 months ago) by gkuan


Revision 3396 - Directory Listing
Modified Mon Jun 8 02:30:08 2009 UTC (10 years, 2 months ago) by gkuan
minor editing of transtypes.sml

Revision 3395 - Directory Listing
Modified Sun Jun 7 19:59:04 2009 UTC (10 years, 2 months ago) by dbm
extensive changes to modtypes.sml and related files

Revision 3394 - Directory Listing
Modified Sun May 31 18:22:49 2009 UTC (10 years, 2 months ago) by dbm
improved comments in epcontext.sml

Revision 3393 - Directory Listing
Modified Fri May 29 03:00:54 2009 UTC (10 years, 2 months ago) by gkuan
resealed EntPathContext

Revision 3392 - Directory Listing
Modified Thu May 28 07:06:58 2009 UTC (10 years, 2 months ago) by dbm
further stipping down of modtype.sml

Revision 3391 - Directory Listing
Modified Tue May 26 22:24:21 2009 UTC (10 years, 2 months ago) by gkuan
implemented argtyc to carry tycon and fctEntity formal argtycs

Revision 3390 - Directory Listing
Modified Tue May 26 19:08:18 2009 UTC (10 years, 2 months ago) by gkuan


Revision 3389 - Directory Listing
Modified Tue May 26 19:03:02 2009 UTC (10 years, 2 months ago) by gkuan
work on fctkind.sml and transtypes to get everything in sync

Revision 3388 - Directory Listing
Modified Tue May 26 19:00:15 2009 UTC (10 years, 2 months ago) by gkuan
work on fctkind.sml and transtypes to get everything in sync

Revision 3387 - Directory Listing
Modified Tue May 26 06:44:22 2009 UTC (10 years, 2 months ago) by dbm
edited comments

Revision 3386 - Directory Listing
Modified Tue May 26 06:42:53 2009 UTC (10 years, 2 months ago) by dbm
resolved conflicts in fctkind.sml

Revision 3385 - Directory Listing
Modified Tue May 26 06:02:16 2009 UTC (10 years, 2 months ago) by gkuan
fixed all unbound symbols in FctKind

Revision 3384 - Directory Listing
Modified Tue May 26 05:47:51 2009 UTC (10 years, 2 months ago) by gkuan
added fctkind to core.cm and work on transtypes

Revision 3383 - Directory Listing
Modified Tue May 26 05:38:36 2009 UTC (10 years, 2 months ago) by gkuan
removed abstycs from pack{Fct,Fct1,Str,Str1} because it is actually never used, corrected some mismatches from primarySig representation and elabmod, sigmatch, etc.

Revision 3382 - Directory Listing
Modified Tue May 26 05:31:14 2009 UTC (10 years, 2 months ago) by gkuan
removed abstycs from pack{Fct,Fct1,Str,Str1} because it is actually never used, corrected some mismatches from primarySig representation and elabmod, sigmatch, etc.

Revision 3381 - Directory Listing
Modified Mon May 25 13:18:45 2009 UTC (10 years, 3 months ago) by dbm
comments added in evalent.sml, preliminary edits of modtype.sml

Revision 3380 - Directory Listing
Modified Mon May 25 09:52:25 2009 UTC (10 years, 3 months ago) by dbm
minor change to instantiate.sml

Revision 3379 - Directory Listing
Modified Sat May 23 14:59:18 2009 UTC (10 years, 3 months ago) by gkuan
work on sigmatch.sml to update to primarySig form

Revision 3378 - Directory Listing
Modified Sat May 23 01:58:40 2009 UTC (10 years, 3 months ago) by gkuan
updated instantiate to new primarysig representation for primaries

Revision 3377 - Directory Listing
Modified Fri May 22 23:06:37 2009 UTC (10 years, 3 months ago) by gkuan
updated ppmod and part of instantiate for new primary encoding

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

Revision 3375 - Directory Listing
Modified Fri May 22 16:14:53 2009 UTC (10 years, 3 months ago) by dbm
added modtype.sml -- revised version of reptycprops

Revision 3374 - Directory Listing
Modified Fri May 22 15:12:35 2009 UTC (10 years, 3 months ago) by dbm
fixed calculation of db index in transtypes.sml

Revision 3373 - Directory Listing
Modified Fri May 22 04:09:02 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3372 - Directory Listing
Modified Thu May 21 17:25:02 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3371 - Directory Listing
Modified Thu May 21 14:21:03 2009 UTC (10 years, 3 months ago) by dbm
further edits of primary-types

Revision 3370 - Directory Listing
Modified Wed May 20 18:49:07 2009 UTC (10 years, 3 months ago) by gkuan
added comments giving description and examples for each FLINT lty that translates from a tycpath.

Revision 3369 - Directory Listing
Modified Wed May 20 16:09:10 2009 UTC (10 years, 3 months ago) by dbm
further edits of transtypes, translate.

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

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

Revision 3366 - Directory Listing
Modified Tue May 19 21:53:57 2009 UTC (10 years, 3 months ago) by dbm
partial fix of the mkFctexp FCTfct case

Revision 3365 - Directory Listing
Modified Tue May 19 14:39:01 2009 UTC (10 years, 3 months ago) by gkuan
minor cleanup

Revision 3364 - Directory Listing
Modified Tue May 19 14:33:00 2009 UTC (10 years, 3 months ago) by dbm
minor edits of transtypes.sml

Revision 3363 - Directory Listing
Modified Tue May 19 13:46:00 2009 UTC (10 years, 3 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, 3 months ago) by dbm
changed name of calc function in DebIndex

Revision 3361 - Directory Listing
Modified Mon May 18 16:03:08 2009 UTC (10 years, 3 months ago) by dbm
changed def of primaries returned by instFormal

Revision 3360 - Directory Listing
Modified Mon May 18 15:36:21 2009 UTC (10 years, 3 months ago) by dbm
added FLINT/trans/fctkind.sml

Revision 3359 - Directory Listing
Modified Mon May 18 15:30:31 2009 UTC (10 years, 3 months ago) by gkuan
translate converted

Revision 3358 - Directory Listing
Modified Mon May 18 04:28:44 2009 UTC (10 years, 3 months ago) by gkuan
transtypes compiles but the implementations of tpsKnd and tpsTyc are incomplete

Revision 3357 - Directory Listing
Modified Sun May 17 13:59:39 2009 UTC (10 years, 3 months ago) by gkuan
more work on tpsTyc

Revision 3356 - Directory Listing
Modified Sun May 17 13:29:59 2009 UTC (10 years, 3 months ago) by gkuan
partially written tpsTyc for new primaries representation

Revision 3355 - Directory Listing
Modified Sun May 17 02:45:56 2009 UTC (10 years, 3 months ago) by gkuan
partial conversion of translate to new primary representation

Revision 3354 - Directory Listing
Modified Sat May 16 22:30:36 2009 UTC (10 years, 3 months ago) by dbm
updated compiler/INDEX

Revision 3353 - Directory Listing
Modified Sat May 16 17:50:55 2009 UTC (10 years, 3 months ago) by dbm
cleaned out obsolete entries from MAP (mostly in Semant)

Revision 3352 - Directory Listing
Modified Sat May 16 13:29:45 2009 UTC (10 years, 3 months ago) by gkuan
updated to new module primaries representation, elaborator compiles

Revision 3351 - Directory Listing
Modified Sat May 16 13:24:43 2009 UTC (10 years, 3 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, 3 months ago) by dbm
moved mapPaths to ModuleUtil and used it in EvalEntity after instantiations

Revision 3349 - Directory Listing
Modified Fri May 15 17:03:18 2009 UTC (10 years, 3 months ago) by gkuan
cm updates from trunk

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

Revision 3347 - Directory Listing
Modified Fri May 15 15:53:19 2009 UTC (10 years, 3 months ago) by dbm
revise instantiate.sml to produce primaries

Revision 3346 - Directory Listing
Modified Fri May 15 15:20:06 2009 UTC (10 years, 3 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, 3 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, 3 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, 3 months ago) by gkuan
adding primaries field to FCTent and LAMBDA

Revision 3342 - Directory Listing
Modified Thu May 14 14:08:08 2009 UTC (10 years, 3 months ago) by dbm
added comments, questions to primary-types

Revision 3341 - Directory Listing
Modified Wed May 13 22:33:09 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3340 - Directory Listing
Modified Wed May 13 17:16:48 2009 UTC (10 years, 3 months ago) by dbm
edited primary-types and instantiate-notes.txt

Revision 3339 - Directory Listing
Modified Wed May 13 16:57:33 2009 UTC (10 years, 3 months ago) by dbm
edited primary-types and instantiate-notes.txt

Revision 3338 - Directory Listing
Modified Wed May 13 15:49:21 2009 UTC (10 years, 3 months ago) by dbm
eliminated commented code in sigmatch.sml

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

Revision 3335 - Directory Listing
Modified Wed May 13 03:31:53 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3334 - Directory Listing
Modified Tue May 12 23:28:09 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3333 - Directory Listing
Modified Tue May 12 16:09:51 2009 UTC (10 years, 3 months ago) by dbm
minor mods

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

Revision 3331 - Directory Listing
Modified Tue May 12 16:06:26 2009 UTC (10 years, 3 months ago) by dbm
added some questions

Revision 3330 - Directory Listing
Modified Tue May 12 14:40:36 2009 UTC (10 years, 3 months ago) by gkuan
updated reptycprops to fit new type of primaryCompInStruct

Revision 3329 - Directory Listing
Modified Tue May 12 12:48:27 2009 UTC (10 years, 3 months ago) by gkuan
removed spurious propagation of flextycmap

Revision 3328 - Directory Listing
Modified Tue May 12 03:18:03 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3327 - Directory Listing
Modified Mon May 11 04:37:11 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3326 - Directory Listing
Modified Sun May 10 03:04:47 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3325 - Directory Listing
Modified Fri May 8 13:59:52 2009 UTC (10 years, 3 months ago) by dbm
added DEVNOTES/ElabMod/primary-types and renamed TypesTP to TycPath

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

Revision 3322 - Directory Listing
Modified Wed May 6 22:47:35 2009 UTC (10 years, 3 months ago) by gkuan
added ppEPC and some InvPath exception (IP.last) exception handling

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

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

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

Revision 3317 - Directory Listing
Modified Wed May 6 13:51:20 2009 UTC (10 years, 3 months ago) by dbm
improved comments in elabmod.sml, progress on modkind.sml

Revision 3316 - Directory Listing
Modified Tue May 5 22:25:12 2009 UTC (10 years, 3 months ago) by gkuan
fixed multiple bootstrapping bugs related to transtypes

Revision 3315 - Directory Listing
Modified Tue May 5 21:20:43 2009 UTC (10 years, 3 months ago) by gkuan
eliminated bodyRlzn component in fctEntity pickle

Revision 3314 - Directory Listing
Modified Tue May 5 21:09:23 2009 UTC (10 years, 3 months ago) by gkuan
turned off debugging print by default in elabmod

Revision 3313 - Directory Listing
Modified Tue May 5 21:00:19 2009 UTC (10 years, 3 months ago) by gkuan
fixed elabFct[BaseFct] epContext bug

Revision 3312 - Directory Listing
Modified Tue May 5 16:34:19 2009 UTC (10 years, 3 months ago) by gkuan
*** empty log message ***

Revision 3311 - Directory Listing
Modified Mon May 4 12:53:35 2009 UTC (10 years, 3 months ago) by gkuan
Added some documentation of instantiate with goal of understanding how curried functor parameter signatures are instantiate.

Revision 3310 - Directory Listing
Modified Fri May 1 00:46:59 2009 UTC (10 years, 3 months ago) by gkuan
cleaned up reptycprops

Revision 3309 - Directory Listing
Modified Fri May 1 00:46:30 2009 UTC (10 years, 3 months ago) by gkuan


Revision 3308 - Directory Listing
Modified Thu Apr 30 18:32:14 2009 UTC (10 years, 3 months ago) by gkuan
removed EPMap from RepTycProps

Revision 3307 - Directory Listing
Modified Thu Apr 30 12:45:13 2009 UTC (10 years, 3 months ago) by gkuan
fixed reptycprops and translate (minor)

Revision 3306 - Directory Listing
Modified Wed Apr 29 03:47:46 2009 UTC (10 years, 3 months ago) by gkuan
passing closure environment through transtypes

Revision 3304 - Directory Listing
Modified Tue Apr 28 06:09:28 2009 UTC (10 years, 3 months ago) by dbm
added trans/modkind.sml preliminary sketch

Revision 3303 - Directory Listing
Modified Sat Apr 25 10:29:28 2009 UTC (10 years, 4 months ago) by dbm
added and deleted comments

Revision 3302 - Directory Listing
Modified Sat Apr 25 10:11:31 2009 UTC (10 years, 4 months ago) by dbm
deleted obsolete Semant/tp-var-info.sml

Revision 3301 - Directory Listing
Modified Fri Apr 24 20:25:56 2009 UTC (10 years, 4 months ago) by dbm
removing obsolete Semant/elaborate

Revision 3300 - Directory Listing
Modified Fri Apr 24 14:34:15 2009 UTC (10 years, 4 months ago) by gkuan
minor cleanup of translate, etc.

Revision 3299 - Directory Listing
Modified Fri Apr 24 13:58:04 2009 UTC (10 years, 4 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, 4 months ago) by dbm
removed redundant copies of debindex.sig/sml in Elaborator/basics

Revision 3297 - Directory Listing
Modified Thu Apr 23 19:36:39 2009 UTC (10 years, 4 months ago) by gkuan
minor fix in typestp.sml to get it to compile

Revision 3296 - Directory Listing
Modified Thu Apr 23 18:52:13 2009 UTC (10 years, 4 months ago) by gkuan
removed useless commented out code

Revision 3295 - Directory Listing
Modified Thu Apr 23 14:42:42 2009 UTC (10 years, 4 months ago) by dbm
cleanup of TypesTP and its uses

Revision 3294 - Directory Listing
Modified Tue Apr 21 11:19:52 2009 UTC (10 years, 4 months ago) by dbm
small cleanups of sigmatch.sml and elabmod.sml, more documentation in module-absyn

Revision 3293 - Directory Listing
Modified Tue Apr 21 02:35:49 2009 UTC (10 years, 4 months ago) by gkuan
removed old shim-style RepTycProps (preprocessing of absyn). using only new style realization computations for tycpath extraction

Revision 3292 - Directory Listing
Modified Mon Apr 20 20:35:09 2009 UTC (10 years, 4 months ago) by dbm
minor cleanup in elabmod.sml

Revision 3291 - Directory Listing
Modified Mon Apr 20 11:55:43 2009 UTC (10 years, 4 months ago) by dbm
simplified interface to Instantiate, merging instParam and instFmBody into instFormal

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

Revision 3289 - Directory Listing
Modified Fri Apr 10 17:22:59 2009 UTC (10 years, 4 months ago) by gkuan
minor fix to evalent so that it compiles

Revision 3288 - Directory Listing
Modified Fri Apr 10 17:07:35 2009 UTC (10 years, 4 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, 4 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, 4 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, 4 months ago) by dbm
various small cleanups in elabmod, epcontext, sigmatch, evalent

Revision 3284 - Directory Listing
Modified Thu Mar 26 16:02:03 2009 UTC (10 years, 4 months ago) by dbm
new version of m21 test case that fails when loaded as a single file

Revision 3282 - Directory Listing
Modified Tue Mar 17 22:51:01 2009 UTC (10 years, 5 months ago) by gkuan
simplified version of hidden functor bug

Revision 3281 - Directory Listing
Modified Tue Mar 17 22:27:10 2009 UTC (10 years, 5 months ago) by gkuan
simplified hidden type formals bug case

Revision 3276 - Directory Listing
Modified Wed Feb 25 20:22:09 2009 UTC (10 years, 5 months ago) by dbm
added initial fragmentary entitycontext doc file

Revision 3275 - Directory Listing
Modified Wed Feb 25 20:20:24 2009 UTC (10 years, 5 months ago) by dbm
edits of ElabMod documentation -- still very sketchy

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

Revision 3232 - Directory Listing
Modified Sat Oct 4 21:07:43 2008 UTC (10 years, 10 months ago) by dbm
added DEVNOTES/ElabMod directory and move elabmod-notes into it

Revision 3230 - Directory Listing
Modified Tue Sep 30 01:10:35 2008 UTC (10 years, 10 months ago) by mrainey
  Branch for testing the AMD64.

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

Revision 3225 - Directory Listing
Modified Fri Sep 12 01:04:21 2008 UTC (10 years, 11 months ago) by dbm
eliminated all refs to obsolete ABSdec constructor

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

Revision 3221 - Directory Listing
Modified Sat Aug 30 14:52:30 2008 UTC (10 years, 11 months ago) by gatien
added comments

Revision 3176 - Directory Listing
Modified Thu Jul 31 22:38:49 2008 UTC (11 years ago) by dbm
added queryutil.sml, modified database.sml and database.sig

Revision 3175 - Directory Listing
Modified Thu Jul 31 19:04:20 2008 UTC (11 years ago) by gatien
a little more simplification in database.sml

Revision 3174 - Directory Listing
Modified Thu Jul 31 17:55:01 2008 UTC (11 years ago) by gatien
simplification, cleanup of database.sml and changed sig_elem type

Revision 3171 - Directory Listing
Modified Wed Jul 30 23:29:29 2008 UTC (11 years ago) by dbm
added path query prototype to query.sml

Revision 3170 - Directory Listing
Modified Wed Jul 30 19:51:03 2008 UTC (11 years ago) by gatien
some work to deal with "open" declarations

Revision 3169 - Directory Listing
Modified Wed Jul 30 18:18:49 2008 UTC (11 years ago) by gatien
occurence set is done (but filled only for structures and variables) and charposToOccurrence works

Revision 3168 - Directory Listing
Modified Wed Jul 30 16:15:02 2008 UTC (11 years ago) by gatien
defined occurrence sets but not they are not serialized yet

Revision 3164 - Directory Listing
Modified Tue Jul 29 22:39:45 2008 UTC (11 years ago) by gatien
corrected a mistake in Database.get_(str|var)_lvar*

Revision 3163 - Directory Listing
Modified Tue Jul 29 21:53:45 2008 UTC (11 years ago) by dbm
some cleanup of the elabmod.sml code, added type occurrence to dbtypes.sml

Revision 3162 - Directory Listing
Modified Tue Jul 29 21:46:30 2008 UTC (11 years ago) by dbm
adding proposed interface functions to database.sig

Revision 3161 - Directory Listing
Modified Tue Jul 29 19:46:54 2008 UTC (11 years ago) by gatien
removed <tempStr> and <anonymousStr> in common cases, corrected some locations and added some others for variables and structures

Revision 3157 - Directory Listing
Modified Mon Jul 28 20:33:00 2008 UTC (11 years ago) by dbm
adding structure-absyn.txt to document structure absyn

Revision 3156 - Directory Listing
Modified Fri Jul 25 20:33:55 2008 UTC (11 years ago) by gatien
moving files

Revision 3155 - Directory Listing
Modified Fri Jul 25 20:31:11 2008 UTC (11 years ago) by gatien


Revision 3154 - Directory Listing
Modified Fri Jul 25 20:30:06 2008 UTC (11 years ago) by gatien


Revision 3153 - Directory Listing
Modified Fri Jul 25 20:29:06 2008 UTC (11 years ago) by gatien


Revision 3152 - Directory Listing
Modified Fri Jul 25 20:28:25 2008 UTC (11 years ago) by gatien


Revision 3151 - Directory Listing
Modified Fri Jul 25 20:27:51 2008 UTC (11 years ago) by gatien


Revision 3150 - Directory Listing
Modified Fri Jul 25 20:14:06 2008 UTC (11 years ago) by gatien


Revision 3149 - Directory Listing
Modified Fri Jul 25 20:13:17 2008 UTC (11 years ago) by gatien


Revision 3148 - Directory Listing
Modified Fri Jul 25 20:11:41 2008 UTC (11 years ago) by gatien


Revision 3147 - Directory Listing
Modified Fri Jul 25 19:33:48 2008 UTC (11 years ago) by dbm
cleanup edits to elabmod, change of first region in parsing str decls in ml.grm

Revision 3146 - Directory Listing
Modified Fri Jul 25 18:43:02 2008 UTC (11 years ago) by gatien
filenames changed

Revision 3145 - Directory Listing
Modified Fri Jul 25 16:44:57 2008 UTC (11 years, 1 month ago) by gatien
splitting done

Revision 3144 - Directory Listing
Modified Fri Jul 25 15:55:07 2008 UTC (11 years, 1 month ago) by gatien
saving before trying to separate local database and global database in memory

Revision 3136 - Directory Listing
Modified Thu Jul 24 19:14:21 2008 UTC (11 years, 1 month ago) by gatien
beginning of a function for removing a part of the database

Revision 3135 - Directory Listing
Modified Thu Jul 24 17:02:34 2008 UTC (11 years, 1 month ago) by dbm
added modified redblack set functor (si-redblack-set-fn.sml, si-ord-set-sig.sml)

Revision 3134 - Directory Listing
Modified Thu Jul 24 15:30:18 2008 UTC (11 years, 1 month ago) by dbm
add NOTES file; add comments to ens_var2.sml

Revision 3133 - Directory Listing
Modified Wed Jul 23 21:32:46 2008 UTC (11 years, 1 month ago) by dbm
restored call of indexBoundTyvars in typecheck.sml to update tyvars to LBOUNDs

Revision 3132 - Directory Listing
Modified Wed Jul 23 20:20:58 2008 UTC (11 years, 1 month ago) by gatien
integration with CM, plus mapping from PATH EXTERN to LVAR are now in a red black tree

Revision 3131 - Directory Listing
Modified Wed Jul 23 19:00:55 2008 UTC (11 years, 1 month ago) by blume
added code for reading/writing/merging of srcinfo

Revision 3130 - Directory Listing
Modified Wed Jul 23 16:23:12 2008 UTC (11 years, 1 month ago) by blume
srcinfo+CM hookup infrastructure

Revision 3129 - Directory Listing
Modified Tue Jul 22 20:33:59 2008 UTC (11 years, 1 month ago) by dbm
merged -r 3026:3128 from trunk into gatien-branch

Revision 3127 - Directory Listing
Modified Mon Jul 21 21:54:19 2008 UTC (11 years, 1 month ago) by gatien
enriched database interface

Revision 3126 - Directory Listing
Modified Mon Jul 21 21:28:03 2008 UTC (11 years, 1 month ago) by gatien
cleaned old files

Revision 3125 - Directory Listing
Modified Mon Jul 21 19:59:11 2008 UTC (11 years, 1 month ago) by dbm
various edits in support of query definitions

Revision 3124 - Directory Listing
Modified Mon Jul 21 19:50:58 2008 UTC (11 years, 1 month ago) by gatien
slight simplification of the merging stuff

Revision 3123 - Directory Listing
Modified Mon Jul 21 19:11:32 2008 UTC (11 years, 1 month ago) by gatien
improvement of the merging stuff

Revision 3122 - Directory Listing
Modified Mon Jul 21 15:16:13 2008 UTC (11 years, 1 month ago) by gatien
beginning of definitions of functions for merging the multiple databases into a single one

Revision 3121 - Directory Listing
Modified Fri Jul 18 21:40:38 2008 UTC (11 years, 1 month ago) by gatien
cleared a bit the pickling and unpickling files

Revision 3120 - Directory Listing
Modified Fri Jul 18 21:16:42 2008 UTC (11 years, 1 month ago) by gatien
added stuff to store external uses and corrected the pickler and now it records being in a path as being used (for structures)

Revision 3119 - Directory Listing
Modified Fri Jul 18 20:12:11 2008 UTC (11 years, 1 month ago) by dbm
added additional prototype queries

Revision 3118 - Directory Listing
Modified Fri Jul 18 20:11:49 2008 UTC (11 years, 1 month ago) by dbm
added LBOUND to ty'

Revision 3116 - Directory Listing
Modified Thu Jul 17 01:48:56 2008 UTC (11 years, 1 month ago) by dbm
merge from sml/trunk -r 3102:3115 into sml/branches/temi-branch

Revision 3115 - Directory Listing
Modified Wed Jul 16 22:27:55 2008 UTC (11 years, 1 month ago) by gatien
added convention 'A, 'B ... for types of variable generalized later, corrected location of variables, added location for (some?) constrained structures

Revision 3113 - Directory Listing
Modified Wed Jul 16 21:09:05 2008 UTC (11 years, 1 month ago) by gatien
added correct positions for anonymous structures and structure bindings

Revision 3112 - Directory Listing
Modified Wed Jul 16 21:08:34 2008 UTC (11 years, 1 month ago) by gatien
added correct positions for anonymous structures and structure bindings

Revision 3110 - Directory Listing
Modified Wed Jul 16 18:13:56 2008 UTC (11 years, 1 month ago) by dbm
removed some diagnostic printing, and MARKtys from type elaboration

Revision 3108 - Directory Listing
Modified Wed Jul 16 17:41:34 2008 UTC (11 years, 1 month ago) by gatien
absyn and ast modified for incorporating regions for type, datatype and abstract type declarations

Revision 3104 - Directory Listing
Modified Mon Jul 14 22:31:37 2008 UTC (11 years, 1 month ago) by dbm
added query.sml -- an initial start on a query language

Revision 3103 - Directory Listing
Modified Mon Jul 14 19:53:02 2008 UTC (11 years, 1 month ago) by gatien
more printing parsing stuff

Revision 3102 - Directory Listing
Modified Mon Jul 14 19:23:00 2008 UTC (11 years, 1 month ago) by dbm
(dbm) merge from trunk -r 3005:3101. Only change was NOTES/HISTORY

Revision 3101 - Directory Listing
Modified Thu Jul 10 21:15:26 2008 UTC (11 years, 1 month ago) by dbm
added tytostring.sig/sml, modified ens_types2.sml

Revision 3100 - Directory Listing
Modified Thu Jul 10 17:53:13 2008 UTC (11 years, 1 month ago) by gatien
new types def and printer

Revision 3099 - Directory Listing
Modified Wed Jul 9 21:19:55 2008 UTC (11 years, 1 month ago) by dbm
recent debugging changes

Revision 3098 - Directory Listing
Modified Wed Jul 9 17:26:36 2008 UTC (11 years, 1 month ago) by gatien
introdution of simplified types

Revision 3097 - Directory Listing
Modified Tue Jul 8 17:37:20 2008 UTC (11 years, 1 month ago) by gatien
modified pickler

Revision 3095 - Directory Listing
Modified Wed Jul 2 20:54:04 2008 UTC (11 years, 1 month ago) by dbm
deleted some obsolete comments in elabmod.sml

Revision 3094 - Directory Listing
Modified Wed Jul 2 18:37:03 2008 UTC (11 years, 1 month ago) by gatien
adding absyn_scan.sml

Revision 3093 - Directory Listing
Modified Wed Jul 2 18:26:43 2008 UTC (11 years, 1 month ago) by gatien
modif on ens_types2

Revision 3092 - Directory Listing
Modified Tue Jul 1 22:23:38 2008 UTC (11 years, 1 month ago) by dbm
slightly improved printing of structure abstract syntax

Revision 3091 - Directory Listing
Modified Tue Jul 1 21:56:08 2008 UTC (11 years, 1 month ago) by gatien
adding ens_types.sml

Revision 3090 - Directory Listing
Modified Tue Jul 1 18:59:32 2008 UTC (11 years, 1 month ago) by gatien
beginning of zork on the absyn

Revision 3089 - Directory Listing
Modified Thu Jun 26 21:23:51 2008 UTC (11 years, 1 month ago) by dbm
added srcInfo and infodebugging flags to ElabControl

Revision 3088 - Directory Listing
Modified Thu Jun 26 19:00:08 2008 UTC (11 years, 1 month ago) by gatien
beginning of a pickler

Revision 3087 - Directory Listing
Modified Wed Jun 25 15:44:55 2008 UTC (11 years, 1 month ago) by gatien
signatures included, beginning on work with CM

Revision 3086 - Directory Listing
Modified Tue Jun 24 18:59:12 2008 UTC (11 years, 2 months ago) by dbm
added DEVNOTES/srcinfo/queries-discussion.txt

Revision 3082 - Directory Listing
Modified Tue Jun 17 16:46:05 2008 UTC (11 years, 2 months ago) by blume
pass info about external references down to elaborator

Revision 3081 - Directory Listing
Modified Thu Jun 12 18:01:34 2008 UTC (11 years, 2 months ago) by jhr
  Added [sml_context] annotation to getStdIn, etc.

Revision 3077 - Directory Listing
Modified Tue Jun 10 21:15:52 2008 UTC (11 years, 2 months ago) by dbm
minor edit of ens_var.sml

Revision 3076 - Directory Listing
Modified Tue Jun 10 20:59:16 2008 UTC (11 years, 2 months ago) by dbm
new versions of ens_var

Revision 3075 - Directory Listing
Modified Mon Jun 9 20:48:09 2008 UTC (11 years, 2 months ago) by gatien
variable use now tracked inside and outside a module

Revision 3074 - Directory Listing
Modified Mon Jun 9 20:28:33 2008 UTC (11 years, 2 months ago) by dbm
added compiler/DEVNOTES/srcinfo

Revision 3072 - Directory Listing
Modified Fri Jun 6 21:53:21 2008 UTC (11 years, 2 months ago) by dbm
rewrite of mkVB in translate.sml -- compiles, but still buggy

Revision 3071 - Directory Listing
Modified Fri Jun 6 16:06:22 2008 UTC (11 years, 2 months ago) by gatien
adding ens_var files

Revision 3070 - Directory Listing
Modified Fri Jun 6 15:39:00 2008 UTC (11 years, 2 months ago) by gatien
2nd commit: constructors, types, variables are accessible, still problems with modules

Revision 3067 - Directory Listing
Modified Thu Jun 5 22:18:34 2008 UTC (11 years, 2 months ago) by dbm
a couple minor changes in VALbind treatment

Revision 3066 - Directory Listing
Modified Thu Jun 5 18:29:19 2008 UTC (11 years, 2 months ago) by jhr
  Split basis and runtime files

Revision 3061 - Directory Listing
Modified Wed Jun 4 00:59:50 2008 UTC (11 years, 2 months ago) by aleffert
rolled in addition of bound type vars to VALvar

Revision 3057 - Directory Listing
Modified Tue Jun 3 16:07:27 2008 UTC (11 years, 2 months ago) by dbm
added NOTES/branches file documenting branches

Revision 3056 - Directory Listing
Modified Tue Jun 3 16:04:14 2008 UTC (11 years, 2 months ago) by dbm
added updated system/smlnj/MLRISC/IA32.cm from trunk

Revision 3053 - Directory Listing
Modified Mon Jun 2 14:08:02 2008 UTC (11 years, 2 months ago) by gkuan
added module examples

Revision 3052 - Directory Listing
Modified Fri May 30 22:02:40 2008 UTC (11 years, 2 months ago) by dbm
fixing VB

Revision 3048 - Directory Listing
Modified Thu May 29 22:14:42 2008 UTC (11 years, 2 months ago) by dbm
elab cleanup commit #3

Revision 3047 - Directory Listing
Modified Thu May 29 22:13:13 2008 UTC (11 years, 2 months ago) by gatien
first commit: variable, type def and use work, datatype def work

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

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

Revision 3041 - Directory Listing
Modified Wed May 28 18:39:35 2008 UTC (11 years, 2 months ago) by jhr
  Changed "ML_unit_t" return types to void.

Revision 3040 - Directory Listing
Modified Wed May 28 18:39:13 2008 UTC (11 years, 2 months ago) by jhr
  Added installation of C++ files

Revision 3036 - Directory Listing
Modified Fri May 23 20:32:08 2008 UTC (11 years, 3 months ago) by dbm
add DEVNOTES/temi-revisions with temi-branch history

Revision 3035 - Directory Listing
Modified Fri May 23 20:04:23 2008 UTC (11 years, 3 months ago) by gkuan
fixed bug where flexmaps don't accumulate

Revision 3034 - Directory Listing
Modified Fri May 23 04:40:21 2008 UTC (11 years, 3 months ago) by gkuan
two pass SEQdec, strbs, fctbs processing to populate flexmap

Revision 3033 - Directory Listing
Modified Thu May 22 18:51:22 2008 UTC (11 years, 3 months ago) by gkuan
fixing handling of SEQdec

Revision 3032 - Directory Listing
Modified Wed May 21 17:26:38 2008 UTC (11 years, 3 months ago) by dbm
debugging in typecheck.sml, cleanup in elabcore and translate

Revision 3031 - Directory Listing
Modified Tue May 20 20:25:54 2008 UTC (11 years, 3 months ago) by gkuan
using functional map passing in Translate and TransTypes, does not bootstrap yet

Revision 3029 - Directory Listing
Modified Mon May 19 11:18:09 2008 UTC (11 years, 3 months ago) by gkuan


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

Revision 3027 - Directory Listing
Modified Thu May 15 20:45:40 2008 UTC (11 years, 3 months ago) by gkuan


Revision 3026 - Directory Listing
Modified Wed May 14 18:45:20 2008 UTC (11 years, 3 months ago) by gatien
creating branch for gatien-baron

Revision 3021 - Directory Listing
Modified Wed May 7 18:19:07 2008 UTC (11 years, 3 months ago) by aleffert
added MARKty to signature

Revision 3020 - Directory Listing
Modified Wed May 7 02:59:25 2008 UTC (11 years, 3 months ago) by aleffert
rolled in markty stuff

Revision 3019 - Directory Listing
Modified Tue May 6 20:25:44 2008 UTC (11 years, 3 months ago) by gkuan
bootstraps but higher order functors still do not fully work

Revision 3012 - Directory Listing
Modified Fri May 2 22:56:05 2008 UTC (11 years, 3 months ago) by dbm
cleanup of elabVB (elabcore.sml) and procpat/aconvertPat (elabutil.sml)

Revision 3007 - Directory Listing
Modified Mon Apr 28 15:29:41 2008 UTC (11 years, 3 months ago) by gkuan
fixed kinds bug for curried functors...still not bootstrapping

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

Revision 3005 - Directory Listing
Modified Fri Apr 25 16:09:44 2008 UTC (11 years, 3 months ago) by dbm
New temi-branch of sml(base) directory created by dbm & akiva for work on
type error message improvement (temi).

Revision 3002 - Directory Listing
Modified Tue Apr 22 16:40:11 2008 UTC (11 years, 4 months ago) by jhr
  Remove generated files from repository

Revision 2991 - Directory Listing
Modified Tue Apr 15 15:05:41 2008 UTC (11 years, 4 months ago) by jhr
  Working on Makefile

Revision 2989 - Directory Listing
Modified Mon Apr 14 18:24:56 2008 UTC (11 years, 4 months ago) by gkuan
removed redundant getTk parameter

Revision 2988 - Directory Listing
Modified Mon Apr 14 15:01:20 2008 UTC (11 years, 4 months ago) by jhr
  Working on Makefile

Revision 2987 - Directory Listing
Modified Mon Apr 14 14:53:59 2008 UTC (11 years, 4 months ago) by jhr
  Temporary makefile

Revision 2985 - Directory Listing
Modified Sun Apr 13 21:40:17 2008 UTC (11 years, 4 months ago) by jhr
  Working on Unix spec.

Revision 2984 - Directory Listing
Modified Sun Apr 13 02:11:53 2008 UTC (11 years, 4 months ago) by jhr
  New file

Revision 2983 - Directory Listing
Modified Sat Apr 12 16:26:30 2008 UTC (11 years, 4 months ago) by jhr
  Move idl-specs into a higher-level directory, since they are used
  to generate both SML and runtime-system code.

Revision 2982 - Directory Listing
Modified Sat Apr 12 16:08:19 2008 UTC (11 years, 4 months ago) by jhr
  Minor edits

Revision 2979 - Directory Listing
Modified Thu Apr 10 04:37:29 2008 UTC (11 years, 4 months ago) by gkuan
reversed tps in epsToTycpath, bootstraps

Revision 2978 - Directory Listing
Modified Thu Apr 10 03:57:04 2008 UTC (11 years, 4 months ago) by gkuan
look up stamps for existing tycpath translation

Revision 2977 - Directory Listing
Modified Thu Apr 10 02:57:33 2008 UTC (11 years, 4 months ago) by gkuan


Revision 2976 - Directory Listing
Modified Thu Apr 10 02:19:04 2008 UTC (11 years, 4 months ago) by gkuan
merged getTPsforEPs and epsToTycpaths

Revision 2975 - Directory Listing
Modified Tue Apr 8 16:27:59 2008 UTC (11 years, 4 months ago) by jhr
  Synching sources with revision 2974 of main trunk.

Revision 2972 - Directory Listing
Modified Sun Apr 6 13:49:59 2008 UTC (11 years, 4 months ago) by gkuan
fixed some deBruijn indexing bugs

Revision 2965 - Directory Listing
Modified Mon Mar 31 20:34:03 2008 UTC (11 years, 4 months ago) by gkuan
More precise PLambda type checking error

Revision 2964 - Directory Listing
Modified Sun Mar 30 05:07:37 2008 UTC (11 years, 4 months ago) by gkuan
fixed duplicate representative entpaths for multiple nested instances of same formal

Revision 2963 - Directory Listing
Modified Sat Mar 29 02:18:46 2008 UTC (11 years, 4 months ago) by gkuan
fixed reptycprops tycpath computation for datatypes, opaque ascription for datatypes, and opaque sealing for nested type definitions plus transtypes no longer prints debug information unless flag turned on

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

Revision 2960 - Directory Listing
Modified Sun Mar 23 23:59:49 2008 UTC (11 years, 5 months ago) by gkuan
merged 2742:2959 primop-branch-3 into primop-branch-gkuan

Revision 2950 - Directory Listing
Modified Sun Feb 17 15:11:53 2008 UTC (11 years, 6 months ago) by gkuan
reenabled plchk

Revision 2949 - Directory Listing
Modified Sun Feb 17 15:10:09 2008 UTC (11 years, 6 months ago) by gkuan
reenabled plchk

Revision 2948 - Directory Listing
Modified Sat Feb 16 18:11:07 2008 UTC (11 years, 6 months ago) by gkuan
typestp.sml

Revision 2932 - Directory Listing
Modified Thu Jan 24 02:27:54 2008 UTC (11 years, 7 months ago) by gkuan
updated primop3-revisions on merge of MLRISC/CodeGen updates

Revision 2931 - Directory Listing
Modified Thu Jan 24 02:23:59 2008 UTC (11 years, 7 months ago) by gkuan
merge from trunk into primop-branch-3 (2881:2930) MLRISC/CodeGen updates

Revision 2925 - Directory Listing
Modified Wed Jan 9 17:34:12 2008 UTC (11 years, 7 months ago) by blume
in absence of Posix.FileSys.symlink use shell command-line version

Revision 2924 - Directory Listing
Modified Wed Jan 9 16:17:02 2008 UTC (11 years, 7 months ago) by blume
implemented exportFn in terms of exportML; fixed bug in Unix installer code

Revision 2923 - Directory Listing
Modified Mon Jan 7 21:29:18 2008 UTC (11 years, 7 months ago) by blume
re-enabled installer code

Revision 2913 - Directory Listing
Modified Thu Nov 22 05:17:34 2007 UTC (11 years, 9 months ago) by jhr
  Remove redundant files

Revision 2912 - Directory Listing
Modified Thu Nov 22 05:15:36 2007 UTC (11 years, 9 months ago) by jhr
  Remove redundant files

Revision 2911 - Directory Listing
Modified Thu Nov 22 04:56:58 2007 UTC (11 years, 9 months ago) by jhr
  Return false for other path-related error conditions

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

Revision 2906 - Directory Listing
Modified Tue Nov 20 22:09:00 2007 UTC (11 years, 9 months ago) by jhr
  Fixed a bunch of C warnings.

Revision 2900 - Directory Listing
Modified Tue Nov 20 19:54:40 2007 UTC (11 years, 9 months ago) by jhr
  Another Aaron change.

Revision 2899 - Directory Listing
Modified Tue Nov 20 19:10:03 2007 UTC (11 years, 9 months ago) by jhr
  Another one of Aaron's changes.

Revision 2898 - Directory Listing
Modified Tue Nov 20 19:08:41 2007 UTC (11 years, 9 months ago) by jhr
  Merged Aaron's changes.

Revision 2897 - Directory Listing
Modified Tue Nov 20 14:21:38 2007 UTC (11 years, 9 months ago) by jhr
  Merging in changes from trunk

Revision 2896 - Directory Listing
Modified Tue Nov 20 05:52:19 2007 UTC (11 years, 9 months ago) by jhr
  Merging updates from main branch (r2895)

Revision 2884 - Directory Listing
Modified Thu Nov 15 22:35:18 2007 UTC (11 years, 9 months ago) by gkuan
updated primop3-revisions

Revision 2883 - Directory Listing
Modified Thu Nov 15 22:34:35 2007 UTC (11 years, 9 months ago) by gkuan
merge from trunk into primop-branch-3 (2741:2881)

Revision 2850 - Directory Listing
Modified Fri Nov 9 04:16:56 2007 UTC (11 years, 9 months ago) by jhr
  Import AMD fix

Revision 2849 - Directory Listing
Modified Thu Nov 8 23:17:09 2007 UTC (11 years, 9 months ago) by jhr
  Merging

Revision 2848 - Directory Listing
Modified Thu Nov 8 21:59:14 2007 UTC (11 years, 9 months ago) by jhr
  More merging.

Revision 2847 - Directory Listing
Modified Wed Nov 7 23:10:08 2007 UTC (11 years, 9 months ago) by jhr
  More merging.

Revision 2846 - Directory Listing
Modified Wed Nov 7 23:05:09 2007 UTC (11 years, 9 months ago) by jhr
  More merging

Revision 2845 - Directory Listing
Modified Wed Nov 7 22:41:52 2007 UTC (11 years, 9 months ago) by jhr
  Merging in Aaron's changes

Revision 2837 - Directory Listing
Modified Fri Nov 2 19:35:43 2007 UTC (11 years, 9 months ago) by jhr
  Create a branch for the transition to the new runtime system.

Revision 2792 - Directory Listing
Modified Tue Oct 9 12:38:22 2007 UTC (11 years, 10 months ago) by gkuan
compiles, still lots of TODOs and cannot fixpt

Revision 2788 - Directory Listing
Modified Sat Sep 29 05:49:51 2007 UTC (11 years, 10 months ago) by gkuan
first pass translate revision to recompute functor formals -- incomplete

Revision 2787 - Directory Listing
Modified Sat Sep 29 05:18:54 2007 UTC (11 years, 10 months ago) by gkuan
Creating private branch of sml/branches/primop-branch-3 for experimental Translate rewrite

Revision 2753 - Directory Listing
Modified Wed Sep 12 19:24:12 2007 UTC (11 years, 11 months ago) by dbm
updated kernel-files

Revision 2752 - Directory Listing
Modified Wed Sep 12 19:18:57 2007 UTC (11 years, 11 months ago) by dbm
added ltytostring files in FLINT/kernel (old pseudo prettyprinting)

Revision 2751 - Directory Listing
Modified Tue Sep 11 21:57:29 2007 UTC (11 years, 11 months 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 2747 - Directory Listing
Modified Thu Aug 30 19:24:09 2007 UTC (11 years, 11 months ago) by dbm
update to compiler/DEVNOTES/Flint/kernel-files

Revision 2746 - Directory Listing
Modified Thu Aug 30 19:21:14 2007 UTC (11 years, 11 months ago) by dbm
FLINT/kernel reorganization - step 2, moving, adding files

Revision 2745 - Directory Listing
Modified Thu Aug 30 18:56:33 2007 UTC (11 years, 11 months ago) by dbm
reorganization of FLINT/kernel, step 1

Revision 2744 - Directory Listing
Modified Mon Aug 27 16:38:23 2007 UTC (11 years, 11 months ago) by gkuan
ppEntityEnv indentation fix

Revision 2743 - Directory Listing
Modified Mon Aug 27 04:05:25 2007 UTC (11 years, 11 months ago) by gkuan
updated primop3-revisions

Revision 2742 - Directory Listing
Modified Mon Aug 27 04:03:53 2007 UTC (11 years, 11 months ago) by gkuan
merge from trunk into primop-branch-3 (2650:2741)

Revision 2741 - Directory Listing
Modified Wed Aug 22 21:13:08 2007 UTC (12 years 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 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 ago) by dbm
comments in instantiate.sml, added notes.txt

Revision 2738 - Directory Listing
Modified Tue Aug 14 19:05:08 2007 UTC (12 years ago) by dbm
small simplification to sigToInst in instantiate - no entEnv needed

Revision 2737 - Directory Listing
Modified Mon Aug 13 21:58:45 2007 UTC (12 years ago) by dbm
some comments and a small correction in instantiate

Revision 2736 - Directory Listing
Modified Fri Aug 10 22:10:20 2007 UTC (12 years ago) by gkuan


Revision 2735 - Directory Listing
Modified Fri Aug 10 22:07:20 2007 UTC (12 years ago) by gkuan
computing functor parameter kinds in translate...first step in defunctorizing Elaborator

Revision 2734 - Directory Listing
Modified Thu Aug 2 16:05:25 2007 UTC (12 years ago) by gkuan
types-reformat was not used...PACKexp related stuff removed

Revision 2730 - Directory Listing
Modified Mon Jul 23 20:45:02 2007 UTC (12 years, 1 month 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, 1 month ago) by gkuan
Removed extra reformat. reformat is now in Semant TypesReformat

Revision 2649 - Directory Listing
Modified Thu May 31 19:34:18 2007 UTC (12 years, 2 months ago) by dbm
preliminary update of NOTES/HISTORY

Revision 2648 - Directory Listing
Modified Thu May 31 19:23:01 2007 UTC (12 years, 2 months ago) by dbm
merge from trunk (2631:2647)

Revision 2637 - Directory Listing
Modified Wed May 30 20:23:59 2007 UTC (12 years, 2 months ago) by dbm
updating primop3-revisions after merge/commit

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

Revision 2612 - Directory Listing
Modified Fri May 25 01:31:49 2007 UTC (12 years, 3 months ago) by dbm
updated primop3-revisions

Revision 2611 - Directory Listing
Modified Fri May 25 01:30:39 2007 UTC (12 years, 3 months ago) by dbm
merge from trunk (2603:2610)

Revision 2601 - Directory Listing
Modified Wed May 23 20:20:16 2007 UTC (12 years, 3 months ago) by dbm
minor edit to base/system/ADD-PRIMOPS

Revision 2600 - Directory Listing
Modified Wed May 23 20:16:36 2007 UTC (12 years, 3 months ago) by dbm
HISTORY updated for merge from primop3

Revision 2596 - Directory Listing
Modified Wed May 23 16:42:24 2007 UTC (12 years, 3 months ago) by dbm
update primop3-revisions with latest merge from trunk

Revision 2595 - Directory Listing
Modified Wed May 23 16:40:43 2007 UTC (12 years, 3 months ago) by dbm
merge (2579:2594) from svn://smlnj-gforge.cs.uchicago.edu/smlnj/sml/trunk (CM changes)

Revision 2579 - Directory Listing
Modified Tue May 22 21:39:00 2007 UTC (12 years, 3 months ago) by dbm
merge -r 2492:2578 from sml/trunk

Revision 2576 - Directory Listing
Modified Mon May 21 22:11:19 2007 UTC (12 years, 3 months ago) by dbm
cosmetic editing of some Control signatures

Revision 2575 - Directory Listing
Modified Mon May 21 21:02:50 2007 UTC (12 years, 3 months ago) by dbm
added FLINT/main/control.sig, defining FLINTCONTROL, which is now used in TopLevel/main/control.sig

Revision 2574 - Directory Listing
Modified Mon May 21 05:32:14 2007 UTC (12 years, 3 months ago) by dbm
minor improvement to printing type specs in inferred functor result signatures

Revision 2572 - Directory Listing
Modified Sun May 20 16:15:51 2007 UTC (12 years, 3 months ago) by dbm
renamed pickmod-new.sml and unpickmod-new.sml (deleting -new) and updated compiler/MAP,INDEX

Revision 2571 - Directory Listing
Modified Sun May 20 15:12:54 2007 UTC (12 years, 3 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, 3 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, 3 months ago) by dbm
fix for Date.fromString, unification for SCHEME tyvars

Revision 2555 - Directory Listing
Modified Tue May 15 23:23:24 2007 UTC (12 years, 3 months ago) by gkuan
all defstrspecs matched instead of just the first [bugfix bug modules/tests/315.sml]

Revision 2544 - Directory Listing
Modified Tue May 15 00:58:16 2007 UTC (12 years, 3 months ago) by gkuan
matchdefstr0 secondary bug fixes

Revision 2541 - Directory Listing
Modified Fri May 11 20:55:44 2007 UTC (12 years, 3 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, 3 months ago) by dbm
eliminated redundant symbols field from sigrec in modules.sig/sml

Revision 2531 - Directory Listing
Modified Thu May 10 01:30:53 2007 UTC (12 years, 3 months ago) by dbm
fix for typing/tests/19.sml bug

Revision 2529 - Directory Listing
Modified Wed May 9 23:22:59 2007 UTC (12 years, 3 months ago) by dbm
partially fixed Fluet bug (typing/tests/19.sml)

Revision 2528 - Directory Listing
Modified Wed May 9 20:36:39 2007 UTC (12 years, 3 months ago) by dbm
deleting base/testcases

Revision 2527 - Directory Listing
Modified Wed May 9 20:31:43 2007 UTC (12 years, 3 months ago) by dbm
reorganized DEVNOTES, adding Flint and Primop subdirectories

Revision 2526 - Directory Listing
Modified Wed May 9 20:21:42 2007 UTC (12 years, 3 months ago) by dbm
reorganizing DEVNOTES. Preparing to create FLINT subdirectory

Revision 2524 - Directory Listing
Modified Wed May 9 17:44:26 2007 UTC (12 years, 3 months ago) by dbm
updated HISTORY with revision number of merge into trunk

Revision 2522 - Directory Listing
Modified Tue May 8 18:36:48 2007 UTC (12 years, 3 months ago) by dbm
completed parallel definitions of new elements and new symbols in all cases

Revision 2521 - Directory Listing
Modified Tue May 8 04:11:37 2007 UTC (12 years, 3 months ago) by dbm
added DEVNOTES/bootfiles

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

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

Revision 2511 - Directory Listing
Modified Sat May 5 13:11:22 2007 UTC (12 years, 3 months ago) by gkuan
datatype replication bug fix for bugs 1583.1 and 1603.1

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

Revision 2487 - Directory Listing
Modified Thu May 3 20:03:39 2007 UTC (12 years, 3 months ago) by gkuan
bugfix for modules test case 309 nonstrict type operator sigmatch bug

Revision 2483 - Directory Listing
Modified Thu May 3 04:51:28 2007 UTC (12 years, 3 months ago) by dbm
added printing completion messages for major stages, controlled by Control.progressMsgs

Revision 2481 - Directory Listing
Modified Wed May 2 18:40:27 2007 UTC (12 years, 3 months ago) by gkuan
added registry flags for flintnm, rttype, and reify; added debug printing to reify and rttype; fixed modules test 307 rttype TC_PROJ bug

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

Revision 2476 - Directory Listing
Modified Mon Apr 30 23:56:18 2007 UTC (12 years, 3 months ago) by dbm
slight fix in typecheck.sml to correct problem with reporting hidden unresolved flex record types redundantly

Revision 2475 - Directory Listing
Modified Mon Apr 30 23:30:34 2007 UTC (12 years, 3 months ago) by dbm
modified typecheck.sml and translate.sml to move checking for unresolved (hidden) flex record types into the front end

Revision 2474 - Directory Listing
Modified Mon Apr 30 21:59:48 2007 UTC (12 years, 3 months ago) by gkuan
merging 2464:2472, unix-path bug fix from trunk

Revision 2473 - Directory Listing
Modified Mon Apr 30 21:59:19 2007 UTC (12 years, 3 months ago) by gkuan
merging 2464:2472, unix-path bug fix from trunk

Revision 2472 - Directory Listing
Modified Mon Apr 30 21:53:36 2007 UTC (12 years, 3 months ago) by gkuan
fixed spurious FLINT error for bug1396.1 by checking for errors right after translation (i.e. before wrap and normalize)

Revision 2468 - Directory Listing
Modified Mon Apr 30 16:08:27 2007 UTC (12 years, 3 months ago) by gkuan
added some comments in unify.sml

Revision 2465 - Directory Listing
Modified Mon Apr 30 04:36:48 2007 UTC (12 years, 3 months ago) by dbm
updated DEVNOTES/primop3-revisions

Revision 2464 - Directory Listing
Modified Mon Apr 30 04:35:37 2007 UTC (12 years, 3 months ago) by dbm
committing changes merged from the trunk, revisions
r2410 to r2450), including possibly erroneous changes to OS.Path

Revision 2459 - Directory Listing
Modified Sat Apr 28 19:17:33 2007 UTC (12 years, 3 months ago) by gkuan
bug589.sml nonstrict type abbrev unification fix

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

Revision 2457 - Directory Listing
Modified Fri Apr 27 05:30:18 2007 UTC (12 years, 3 months ago) by dbm
added compiler/Elaborator/basics/elabcontrol.sig, defining ELAB_CONTROL signature

Revision 2456 - Directory Listing
Modified Fri Apr 27 05:21:38 2007 UTC (12 years, 3 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, 3 months ago) by dbm
modified sigmatch.sml to eliminate secondary error

Revision 2454 - Directory Listing
Modified Thu Apr 26 03:52:12 2007 UTC (12 years, 4 months ago) by dbm
stopped making nullary POLYtys in generalizeTy (typecheck.sml)

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

Revision 2452 - Directory Listing
Modified Wed Apr 25 22:46:41 2007 UTC (12 years, 4 months ago) by dbm
debugging changes to track down lt_inst bug (bug409.sml)

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

Revision 2446 - Directory Listing
Modified Mon Apr 23 16:57:18 2007 UTC (12 years, 4 months ago) by gkuan
reverting num-scan, bug1294 used wrong format

Revision 2443 - Directory Listing
Modified Mon Apr 23 14:56:50 2007 UTC (12 years, 4 months ago) by dbm
fixes for regression test failues: Int32.<, Int32.>, and Int.fromString

Revision 2441 - Directory Listing
Modified Sun Apr 22 02:52:10 2007 UTC (12 years, 4 months ago) by gkuan
num-scan format scan bug fix, see bug1294

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

Revision 2434 - Directory Listing
Modified Fri Apr 20 03:26:51 2007 UTC (12 years, 4 months ago) by gkuan
single structure spec in inferred signature prints better

Revision 2433 - Directory Listing
Modified Thu Apr 19 03:42:03 2007 UTC (12 years, 4 months ago) by dbm
added primop3-revisions in DEVNOTES

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

Revision 2431 - Directory Listing
Modified Thu Apr 19 03:14:21 2007 UTC (12 years, 4 months ago) by dbm
merged revisions 2221:2410 of sml/trunk into base

Revision 2430 - Directory Listing
Modified Thu Apr 19 02:41:42 2007 UTC (12 years, 4 months ago) by gkuan
Eliminated spurious getdeclorder ERRORtyc message

Revision 2429 - Directory Listing
Modified Thu Apr 19 00:12:47 2007 UTC (12 years, 4 months ago) by dbm
filling description of FLINT files

Revision 2428 - Directory Listing
Modified Wed Apr 18 21:53:03 2007 UTC (12 years, 4 months ago) by dbm
fixed open bug in trans/translate.sml and minor update to primop-list

Revision 2425 - Directory Listing
Modified Wed Apr 18 19:09:02 2007 UTC (12 years, 4 months ago) by gkuan
reversed open decl inferred signature decl order

Revision 2424 - Directory Listing
Modified Wed Apr 18 17:14:31 2007 UTC (12 years, 4 months ago) by dbm
adding FLINT/MAP and FLINT/INDEX (incomplete)

Revision 2423 - Directory Listing
Modified Wed Apr 18 16:51:39 2007 UTC (12 years, 4 months ago) by gkuan
Restored printing of exceptions

Revision 2422 - Directory Listing
Modified Wed Apr 18 16:35:19 2007 UTC (12 years, 4 months ago) by gkuan
withtycs and datatycs order swapped in getdeclorder in extractSig elabmod

Revision 2419 - Directory Listing
Modified Wed Apr 18 15:42:17 2007 UTC (12 years, 4 months ago) by gkuan
fixed datatype group in inferred signature order again...this time for the getdeclorder function

Revision 2418 - Directory Listing
Modified Wed Apr 18 15:32:14 2007 UTC (12 years, 4 months ago) by gkuan
cleaned up debug/error messages and added some comments

Revision 2417 - Directory Listing
Modified Wed Apr 18 14:26:11 2007 UTC (12 years, 4 months ago) by gkuan
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 2416 - Directory Listing
Modified Tue Apr 17 20:04:37 2007 UTC (12 years, 4 months ago) by gkuan
removed elabtype diagnostic printing

Revision 2415 - Directory Listing
Modified Tue Apr 17 19:39:03 2007 UTC (12 years, 4 months ago) by gkuan
changed order of finalEnv in elabDATATYPEdec0 to use natural/user-defined order

Revision 2414 - Directory Listing
Modified Tue Apr 17 13:58:15 2007 UTC (12 years, 4 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, 4 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, 4 months ago) by gkuan
fixed inferred signature printing

Revision 2407 - Directory Listing
Modified Fri Apr 13 04:27:56 2007 UTC (12 years, 4 months ago) by gkuan
fixed pretty printing of signatures

Revision 2402 - Directory Listing
Modified Wed Apr 11 21:34:42 2007 UTC (12 years, 4 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 2400 - Directory Listing
Modified Wed Apr 11 20:42:53 2007 UTC (12 years, 4 months ago) by gkuan


Revision 2399 - Directory Listing
Modified Wed Apr 11 19:55:16 2007 UTC (12 years, 4 months ago) by gkuan
spurious debugging output turned out

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

Revision 2397 - Directory Listing
Modified Wed Apr 11 14:46:59 2007 UTC (12 years, 4 months ago) by gkuan
initial checkin parallel bootstrap build script

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

Revision 2395 - Directory Listing
Modified Tue Apr 10 22:12:19 2007 UTC (12 years, 4 months ago) by gkuan
transtype LT.TCENV exception handlers removed

Revision 2394 - Directory Listing
Modified Tue Apr 10 21:34:29 2007 UTC (12 years, 4 months ago) by gkuan
translate mkVBs prim intrinsic and occty type equality test bug fix

Revision 2393 - Directory Listing
Modified Tue Apr 10 18:17:13 2007 UTC (12 years, 4 months ago) by gkuan


Revision 2392 - Directory Listing
Modified Tue Apr 10 18:16:23 2007 UTC (12 years, 4 months ago) by gkuan


Revision 2391 - Directory Listing
Modified Tue Apr 10 18:14:43 2007 UTC (12 years, 4 months ago) by gkuan


Revision 2390 - Directory Listing
Modified Tue Apr 10 18:14:20 2007 UTC (12 years, 4 months ago) by gkuan
added realconst abstract type and type application beta expansion bug testcases

Revision 2389 - Directory Listing
Modified Mon Apr 9 17:03:21 2007 UTC (12 years, 4 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 2386 - Directory Listing
Modified Thu Apr 5 22:26:48 2007 UTC (12 years, 4 months ago) by dbm
various small edits

Revision 2385 - Directory Listing
Modified Wed Apr 4 19:51:56 2007 UTC (12 years, 4 months ago) by gkuan
turned off lt_eqv debug printout

Revision 2384 - Directory Listing
Modified Tue Apr 3 00:44:28 2007 UTC (12 years, 4 months ago) by gkuan
ltMatch catching all exceptions as pattern teUnbound2 instead of LT.teUnbound...fixed

Revision 2329 - Directory Listing
Modified Fri Feb 9 23:27:07 2007 UTC (12 years, 6 months ago) by dbm
documentation update in DEVNOTES

Revision 2295 - Directory Listing
Modified Thu Feb 1 00:35:10 2007 UTC (12 years, 6 months ago) by dbm
edits of error checking code in ltykernel.sml

Revision 2294 - Directory Listing
Modified Thu Feb 1 00:14:48 2007 UTC (12 years, 6 months ago) by dbm
kernel documentation, minor edits in ltykernel.sml

Revision 2293 - Directory Listing
Modified Wed Jan 31 22:17:18 2007 UTC (12 years, 6 months ago) by dbm
added kernel file to compiler/DEVNOTES

Revision 2268 - Directory Listing
Modified Fri Jan 26 22:37:53 2007 UTC (12 years, 6 months ago) by dbm
better names in ltykernel local to tcc_env, ltc_env

Revision 2265 - Directory Listing
Modified Fri Jan 26 19:41:58 2007 UTC (12 years, 6 months ago) by dbm
added DEVNOTES directory

Revision 2264 - Directory Listing
Modified Thu Jan 25 23:20:45 2007 UTC (12 years, 6 months ago) by dbm
updated debugging printing from uncommitted primop2 files

Revision 2223 - Directory Listing
Modified Tue Nov 28 22:13:51 2006 UTC (12 years, 8 months ago) by blume
II -> PrimOpId in amd64 code

Revision 2222 - Directory Listing
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 8 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, 8 months ago) by blume
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2064 - Directory Listing
Modified Mon Oct 2 22:44:29 2006 UTC (12 years, 10 months ago) by macqueen
fixed LtyKernel.tc_eqv for TC_FIX case

Revision 2062 - Directory Listing
Modified Mon Sep 25 03:26:52 2006 UTC (12 years, 11 months ago) by georgekuan
inl_infPrec still not correct, but getting there...

Revision 2061 - Directory Listing
Modified Fri Sep 22 19:07:06 2006 UTC (12 years, 11 months ago) by georgekuan
debugging -- prim precision conversion types do not match in translate.sml inl_infPrec

Revision 2060 - Directory Listing
Modified Thu Sep 7 20:57:35 2006 UTC (12 years, 11 months ago) by georgekuan
fixed built-in.sml Word32.toLargeIntX (needed type annotation), num-scan.sml compiles

Revision 2059 - Directory Listing
Modified Tue Sep 5 17:59:51 2006 UTC (12 years, 11 months ago) by georgekuan
Narrowed down num-scan.sml type error

Revision 2058 - Directory Listing
Modified Tue Sep 5 14:38:20 2006 UTC (12 years, 11 months ago) by georgekuan
streamlined printing, bug/halt on type check error

Revision 2057 - Directory Listing
Modified Tue Aug 29 23:17:47 2006 UTC (12 years, 11 months ago) by macqueen
various debugging changes

Revision 2056 - Directory Listing
Modified Tue Aug 29 17:37:39 2006 UTC (12 years, 11 months ago) by macqueen
fixed parser2.sml problem

Revision 2055 - Directory Listing
Modified Tue Aug 29 14:05:14 2006 UTC (12 years, 11 months ago) by macqueen
minor printing tweaks for debugging lt_inst problem

Revision 2054 - Directory Listing
Modified Mon Aug 28 22:57:54 2006 UTC (12 years, 11 months ago) by macqueen
added further debugging instrumentation

Revision 2053 - Directory Listing
Modified Mon Aug 28 05:12:11 2006 UTC (12 years, 11 months ago) by macqueen
switched all pretty printing to use PrettyPrintNew

Revision 2052 - Directory Listing
Modified Sun Aug 27 18:50:10 2006 UTC (12 years, 11 months ago) by macqueen
updating pplexp.sml to use new pretty printing

Revision 2051 - Directory Listing
Modified Fri Aug 25 23:03:04 2006 UTC (13 years ago) by macqueen
partially finished rpplexp.sml to replace pplexp.sml

Revision 2050 - Directory Listing
Modified Thu Aug 24 23:03:10 2006 UTC (13 years ago) by macqueen
refining debugging instrumentation

Revision 2049 - Directory Listing
Modified Thu Aug 24 19:28:42 2006 UTC (13 years ago) by macqueen
added datatype names to TC_FIX for printing tycs better

Revision 2048 - Directory Listing
Modified Thu Aug 24 19:17:46 2006 UTC (13 years ago) by georgekuan
pplexp uses new pplty/pptkind pretty printers

Revision 2047 - Directory Listing
Modified Thu Aug 24 19:09:41 2006 UTC (13 years ago) by georgekuan
debugging info for chklexp and more extensive kind checking

Revision 2046 - Directory Listing
Modified Thu Aug 24 18:28:43 2006 UTC (13 years ago) by georgekuan
improved error reporting in chkplexp

Revision 2045 - Directory Listing
Modified Thu Aug 24 17:47:43 2006 UTC (13 years ago) by georgekuan
*** empty log message ***

Revision 2044 - Directory Listing
Modified Thu Aug 24 17:45:04 2006 UTC (13 years ago) by georgekuan
chkplexp now exports checkLty and checkLtyTop taking and not taking an ltyEnv respectively

Revision 2043 - Directory Listing
Modified Thu Aug 24 16:32:45 2006 UTC (13 years ago) by macqueen
updated kind check, ppLty

Revision 2042 - Directory Listing
Modified Thu Aug 24 14:56:24 2006 UTC (13 years ago) by macqueen
added printer for kind environments

Revision 2041 - Directory Listing
Modified Thu Aug 24 12:20:15 2006 UTC (13 years ago) by macqueen
adding ltykindchk.sml

Revision 2040 - Directory Listing
Modified Wed Aug 23 23:44:18 2006 UTC (13 years ago) by macqueen
debugging kind check error

Revision 2039 - Directory Listing
Modified Tue Aug 22 22:54:10 2006 UTC (13 years ago) by macqueen
continued instrumentation and commenting for tcc_env bug

Revision 2038 - Directory Listing
Modified Mon Aug 21 23:07:07 2006 UTC (13 years ago) by macqueen
debugging plambda type checking

Revision 2037 - Directory Listing
Modified Mon Aug 21 20:40:35 2006 UTC (13 years ago) by georgekuan
newlines for transtypes warnings

Revision 2036 - Directory Listing
Modified Mon Aug 21 20:38:36 2006 UTC (13 years ago) by georgekuan
fixed TC_IND/normalized AX_FLAG bug

Revision 2035 - Directory Listing
Modified Fri Aug 18 23:54:34 2006 UTC (13 years ago) by georgekuan
chkplexp compiles

Revision 2034 - Directory Listing
Modified Fri Aug 18 23:43:02 2006 UTC (13 years ago) by georgekuan
Kind checking exceptions re-exported through LtyExtern

Revision 2033 - Directory Listing
Modified Fri Aug 18 22:58:46 2006 UTC (13 years ago) by macqueen
adding kind checking to chkplexp.sml

Revision 2032 - Directory Listing
Modified Fri Aug 18 21:19:55 2006 UTC (13 years ago) by georgekuan
lty kind checker and tyc kind checker handle IND cases correctly now

Revision 2031 - Directory Listing
Modified Fri Aug 18 20:55:00 2006 UTC (13 years ago) by georgekuan
lty kind checker

Revision 2030 - Directory Listing
Modified Fri Aug 18 17:28:28 2006 UTC (13 years ago) by georgekuan
kind checker moved to lty.sml

Revision 2029 - Directory Listing
Modified Fri Aug 18 16:24:18 2006 UTC (13 years ago) by georgekuan
kind checker unfolds teBinder list from tycEnv

Revision 2028 - Directory Listing
Modified Fri Aug 18 14:58:19 2006 UTC (13 years ago) by georgekuan
added TC_ENV checking to kind checker

Revision 2027 - Directory Listing
Modified Thu Aug 17 23:13:14 2006 UTC (13 years ago) by macqueen
preparing for kind checking

Revision 2026 - Directory Listing
Modified Thu Aug 17 21:55:48 2006 UTC (13 years ago) by georgekuan
tycEnv representation change propagated through ltykernel.sml

Revision 2025 - Directory Listing
Modified Thu Aug 17 21:26:26 2006 UTC (13 years ago) by georgekuan
tycEnv representation change propagated through pplty.sml

Revision 2024 - Directory Listing
Modified Thu Aug 17 21:08:37 2006 UTC (13 years ago) by georgekuan
lty.sml typos

Revision 2023 - Directory Listing
Modified Thu Aug 17 21:00:37 2006 UTC (13 years ago) by georgekuan
lty.sml typos

Revision 2022 - Directory Listing
Modified Thu Aug 17 20:54:13 2006 UTC (13 years ago) by georgekuan
ltyextern subkinding type functions and kind checking error reporting fixes

Revision 2021 - Directory Listing
Modified Thu Aug 17 20:36:49 2006 UTC (13 years ago) by macqueen
new representation and interface for tycEnv

Revision 2020 - Directory Listing
Modified Thu Aug 17 19:54:34 2006 UTC (13 years ago) by georgekuan
kind checking

Revision 2019 - Directory Listing
Modified Thu Aug 17 15:36:17 2006 UTC (13 years ago) by georgekuan
beginning full FLINT kind checker

Revision 2018 - Directory Listing
Modified Wed Aug 16 23:25:03 2006 UTC (13 years ago) by macqueen
completed prototype kind checker

Revision 2017 - Directory Listing
Modified Tue Aug 15 23:01:32 2006 UTC (13 years ago) by macqueen
partially done rewrite of tycEnv machinery - not yet correct

Revision 2016 - Directory Listing
Modified Mon Aug 14 23:47:47 2006 UTC (13 years ago) by macqueen
added lty.sig, lty.sml in FLINT/kernel

Revision 2015 - Directory Listing
Modified Mon Aug 14 21:42:33 2006 UTC (13 years ago) by macqueen
added kindch directory

Revision 2014 - Directory Listing
Modified Fri Aug 11 20:42:24 2006 UTC (13 years ago) by macqueen
broke ltykernel into lty and ltykernel, improved pplty

Revision 2013 - Directory Listing
Modified Fri Aug 11 04:09:23 2006 UTC (13 years ago) by georgekuan
Narrowed down where bad suspension was built

Revision 2012 - Directory Listing
Modified Tue Aug 8 19:32:53 2006 UTC (13 years ago) by georgekuan
lexp trace of culprit, pplexp (which should be updated to use the PP lib) now uses PPLTy.ppTyc

Revision 2011 - Directory Listing
Modified Tue Aug 8 18:02:53 2006 UTC (13 years ago) by georgekuan
cleaned up pplty tyc part

Revision 2010 - Directory Listing
Modified Mon Aug 7 03:52:33 2006 UTC (13 years ago) by georgekuan
made plambda lexp printout dependent on debugging flag

Revision 2009 - Directory Listing
Modified Sun Aug 6 06:05:09 2006 UTC (13 years ago) by georgekuan
hooked up PPPrim and turned off some debugging printouts

Revision 2008 - Directory Listing
Modified Thu Aug 3 18:10:26 2006 UTC (13 years ago) by georgekuan
pplty updated to pretty priint rectycs more sensibly

Revision 2007 - Directory Listing
Modified Thu Aug 3 03:11:32 2006 UTC (13 years ago) by georgekuan
(mutually-)rectype arity checking done

Revision 2006 - Directory Listing
Modified Wed Aug 2 20:59:42 2006 UTC (13 years ago) by georgekuan
*** empty log message ***

Revision 2005 - Directory Listing
Modified Tue Aug 1 23:01:55 2006 UTC (13 years ago) by georgekuan
new pretty printer pputil-new

Revision 2004 - Directory Listing
Modified Tue Aug 1 23:01:19 2006 UTC (13 years ago) by macqueen
added rule comments to ltykernel.sml

Revision 2003 - Directory Listing
Modified Mon Jul 31 23:29:46 2006 UTC (13 years ago) by georgekuan
pp for prim, transtype IBOUND case a bug

Revision 2002 - Directory Listing
Modified Mon Jul 31 19:07:10 2006 UTC (13 years ago) by georgekuan
added more PP.break's to PPLTy

Revision 2001 - Directory Listing
Modified Mon Jul 31 18:50:45 2006 UTC (13 years ago) by georgekuan
changed LtyKernel tcUnbound to carry tycEnv...printing tycEnv upon tcUnbound exception

Revision 2000 - Directory Listing
Modified Mon Jul 31 18:07:17 2006 UTC (13 years ago) by georgekuan
PPLty complete at least for printing Ltycs

Revision 1999 - Directory Listing
Modified Mon Jul 31 16:05:41 2006 UTC (13 years ago) by georgekuan
more work on pplty -- ppTyc complete

Revision 1998 - Directory Listing
Modified Fri Jul 28 22:26:08 2006 UTC (13 years ago) by georgekuan
started LTy pretty printer using SMLNJ-lib

Revision 1997 - Directory Listing
Modified Wed Jul 26 22:34:58 2006 UTC (13 years ago) by georgekuan
flintnm debug printouts refined

Revision 1996 - Directory Listing
Modified Wed Jul 26 21:56:37 2006 UTC (13 years ago) by georgekuan
flintnm debug printouts -- call trace info

Revision 1995 - Directory Listing
Modified Wed Jul 26 21:28:29 2006 UTC (13 years ago) by georgekuan
translate now reports every site of introduction for lvars

Revision 1994 - Directory Listing
Modified Wed Jul 26 19:53:25 2006 UTC (13 years ago) by georgekuan
extended LTyKernel.tc_print to print out TC_ENV

Revision 1993 - Directory Listing
Modified Wed Jul 26 18:20:36 2006 UTC (13 years, 1 month ago) by macqueen
further debugging code

Revision 1992 - Directory Listing
Modified Wed Jul 26 15:22:19 2006 UTC (13 years, 1 month ago) by georgekuan
typesutil, moduleutils, and translate...debugging output now checks debugging flag...more debugging for flintnm/ltykernel

Revision 1991 - Directory Listing
Modified Tue Jul 25 17:02:19 2006 UTC (13 years, 1 month ago) by macqueen
added questions to notes, touched up sigmatch

Revision 1990 - Directory Listing
Modified Mon Jul 24 23:10:58 2006 UTC (13 years, 1 month ago) by georgekuan
debugging printouts

Revision 1989 - Directory Listing
Modified Mon Jul 24 23:10:26 2006 UTC (13 years, 1 month ago) by georgekuan
temporary stand-in for primopid pretty printer

Revision 1988 - Directory Listing
Modified Mon Jul 24 23:08:58 2006 UTC (13 years, 1 month ago) by georgekuan
StrPrimInfo selectors now return [] or NonPrim by default if StrPrimInfo is empty -- probably wrong but this is what InlInfo did before

Revision 1987 - Directory Listing
Modified Mon Jul 24 23:07:36 2006 UTC (13 years, 1 month ago) by georgekuan
debugging info flintnm and translate

Revision 1986 - Directory Listing
Modified Mon Jul 24 22:38:55 2006 UTC (13 years, 1 month ago) by macqueen
minor edits -- comments, etc.

Revision 1985 - Directory Listing
Modified Tue Jul 18 19:46:35 2006 UTC (13 years, 1 month ago) by georgekuan
debug printout

Revision 1984 - Directory Listing
Modified Tue Jul 18 14:39:28 2006 UTC (13 years, 1 month ago) by georgekuan
more debugging printouts

Revision 1983 - Directory Listing
Modified Tue Jul 18 14:15:36 2006 UTC (13 years, 1 month ago) by georgekuan
debug printout for getStrElem/getFctElem (slot selection on empty strPrimInfo) bug

Revision 1982 - Directory Listing
Modified Tue Jul 18 02:39:07 2006 UTC (13 years, 1 month ago) by georgekuan
commented out some Translator and TypesUtil debugging info

Revision 1981 - Directory Listing
Modified Tue Jul 18 02:03:32 2006 UTC (13 years, 1 month ago) by georgekuan
more debug info printout for prune looping bug -- peql type pruning causes problems

Revision 1980 - Directory Listing
Modified Tue Jul 18 01:10:33 2006 UTC (13 years, 1 month ago) by georgekuan
matchInstType: added TV_MARK case...prune VARty infinite loops problem

Revision 1979 - Directory Listing
Modified Thu Jul 13 22:35:51 2006 UTC (13 years, 1 month ago) by georgekuan
Debug info for matchInstTypes bug during translate of core.sml

Revision 1978 - Directory Listing
Modified Thu Jul 13 22:28:03 2006 UTC (13 years, 1 month ago) by macqueen
further specification of types of InLine bindings

Revision 1977 - Directory Listing
Modified Thu Jul 13 21:10:44 2006 UTC (13 years, 1 month ago) by georgekuan
primOpTypeMap addition now compiles...makeml still does not work

Revision 1976 - Directory Listing
Modified Thu Jul 13 20:20:48 2006 UTC (13 years, 1 month ago) by macqueen
primoptypemap added

Revision 1975 - Directory Listing
Modified Thu Jul 13 20:12:25 2006 UTC (13 years, 1 month ago) by macqueen
fixes for new primop scheme

Revision 1974 - Directory Listing
Modified Thu Jul 13 18:21:39 2006 UTC (13 years, 1 month ago) by georgekuan
*** empty log message ***

Revision 1973 - Directory Listing
Modified Wed Jul 12 22:02:12 2006 UTC (13 years, 1 month ago) by macqueen
added some error printing to lt_inst

Revision 1972 - Directory Listing
Modified Wed Jul 12 15:52:38 2006 UTC (13 years, 1 month ago) by georgekuan
removed typecheck.sml from Semant because defunctorized version is now in Elaborator and also sigmatchfn because still functorized sigmatch in Elaborator

Revision 1971 - Directory Listing
Modified Wed Jul 12 15:43:14 2006 UTC (13 years, 1 month ago) by georgekuan
sigmatch is still functorized because of PLambda Types, the compiler builds now but does not bootstrap

Revision 1970 - Directory Listing
Modified Tue Jul 11 23:00:41 2006 UTC (13 years, 1 month ago) by macqueen
further primop hacking -- getting close to compile

Revision 1969 - Directory Listing
Modified Tue Jul 11 15:35:49 2006 UTC (13 years, 1 month ago) by georgekuan
Use strPrimInfo instead of strPrimElem

Revision 1968 - Directory Listing
Modified Tue Jul 11 15:10:15 2006 UTC (13 years, 1 month ago) by georgekuan
*** empty log message ***

Revision 1967 - Directory Listing
Modified Mon Jul 10 22:27:13 2006 UTC (13 years, 1 month ago) by macqueen
further changes to primops, starting on translate.sml

Revision 1966 - Directory Listing
Modified Mon Jul 10 14:30:48 2006 UTC (13 years, 1 month ago) by georgekuan
some more updating of tdp-instrument

Revision 1965 - Directory Listing
Modified Mon Jul 10 14:22:34 2006 UTC (13 years, 1 month ago) by georgekuan
Updated some DebugProf modules to use PrimOpId and param ty var list

Revision 1964 - Directory Listing
Modified Mon Jul 10 14:06:37 2006 UTC (13 years, 1 month ago) by georgekuan
Elaborator compilers, updated Elaborate modules to use new PrimOpId and param ty vars

Revision 1963 - Directory Listing
Modified Fri Jul 7 21:49:48 2006 UTC (13 years, 1 month ago) by georgekuan
elabdata builds again, fixed prim.sml

Revision 1962 - Directory Listing
Modified Fri Jul 7 21:32:42 2006 UTC (13 years, 1 month ago) by georgekuan
fixed some typesutil syntax and signature specs

Revision 1961 - Directory Listing
Modified Fri Jul 7 21:06:11 2006 UTC (13 years, 1 month ago) by macqueen
fixup matchTypes in sigmatch, VALvar in many files

Revision 1960 - Directory Listing
Modified Fri Jul 7 20:38:45 2006 UTC (13 years, 1 month ago) by georgekuan
elabdata builds now -- everything updated to new primopid representation scheme

Revision 1959 - Directory Listing
Modified Fri Jul 7 20:36:18 2006 UTC (13 years, 1 month ago) by georgekuan
elabdata builds now -- everything updated to new primopid representation scheme

Revision 1958 - Directory Listing
Modified Thu Jul 6 23:01:06 2006 UTC (13 years, 1 month ago) by macqueen
added FLINT/trans/primopmap.sml defining mapping from names to primops

Revision 1957 - Directory Listing
Modified Thu Jul 6 22:28:24 2006 UTC (13 years, 1 month ago) by georgekuan
ElabData work on moduleutil.sml mainly

Revision 1956 - Directory Listing
Modified Thu Jul 6 20:13:39 2006 UTC (13 years, 1 month ago) by macqueen
new prim.sml that doesn't depend on Primop

Revision 1955 - Directory Listing
Modified Thu Jul 6 20:10:33 2006 UTC (13 years, 1 month ago) by macqueen
revised primopid.sml/sig

Revision 1954 - Directory Listing
Modified Thu Jul 6 16:35:38 2006 UTC (13 years, 1 month ago) by georgekuan
Moving to new PrimOpId instead of InlInfo (int based primop id scheme)

Revision 1953 - Directory Listing
Modified Thu Jul 6 15:00:39 2006 UTC (13 years, 1 month ago) by georgekuan
Shifted VARexp, CONexp, CONpat back to carrying ty list (for determining type app parameters in FLINT)

Revision 1952 - Directory Listing
Modified Thu Jul 6 03:07:18 2006 UTC (13 years, 1 month ago) by georgekuan
Moved matchTypes to TypeUtils

Revision 1951 - Directory Listing
Modified Wed Jul 5 21:31:22 2006 UTC (13 years, 1 month ago) by macqueen
hacking on sigmatch.sml - primops and type instantiation

Revision 1949 - Directory Listing
Modified Wed Jun 28 00:02:59 2006 UTC (13 years, 1 month ago) by georgekuan
Added some more InlineT entries into primop-list up to 110 p64i

Revision 1948 - Directory Listing
Modified Tue Jun 27 22:08:49 2006 UTC (13 years, 1 month ago) by macqueen
updated primop-list, modified translate.sml

Revision 1947 - Directory Listing
Modified Wed Jun 21 21:14:42 2006 UTC (13 years, 2 months ago) by macqueen
added to notes

Revision 1946 - Directory Listing
Modified Tue Jun 20 22:15:23 2006 UTC (13 years, 2 months ago) by macqueen
further primop changes

Revision 1945 - Directory Listing
Modified Tue Jun 20 17:09:18 2006 UTC (13 years, 2 months ago) by georgekuan
DebugProf updated to new VARexp, CONexp, CONpat absyn ty option

Revision 1944 - Directory Listing
Modified Tue Jun 20 13:56:17 2006 UTC (13 years, 2 months ago) by georgekuan
added sigmatchfn which was in Elaborate/modules/sigmatch.sml

Revision 1943 - Directory Listing
Modified Tue Jun 20 04:20:49 2006 UTC (13 years, 2 months ago) by georgekuan
Separated out SIGMATCH and TYPECHECK sig files in elaborate.cm group

Revision 1942 - Directory Listing
Modified Tue Jun 20 04:18:11 2006 UTC (13 years, 2 months ago) by georgekuan
Moved PrimOp dependent TypesUtil.isValue function to Semant/types/typecheck module and SigMatchFn.sml to Semant/modules/

Revision 1941 - Directory Listing
Modified Tue Jun 20 01:28:00 2006 UTC (13 years, 2 months ago) by georgekuan
Propagating VARexp, CONpat, CONexp type change to ?? * ty option change

Revision 1940 - Directory Listing
Modified Mon Jun 19 22:37:46 2006 UTC (13 years, 2 months ago) by georgekuan
Fixed some syntax errors

Revision 1939 - Directory Listing
Modified Mon Jun 19 22:29:00 2006 UTC (13 years, 2 months ago) by macqueen
update of InlInfo

Revision 1938 - Directory Listing
Modified Thu Jun 15 22:28:07 2006 UTC (13 years, 2 months ago) by macqueen
added notes file for primop-branch-2 branch

Revision 1935 - Directory Listing
Modified Mon Jun 5 18:21:55 2006 UTC (13 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'primop-branch-2'.

Revision 1835 - Directory Listing
Modified Tue Aug 16 16:16:38 2005 UTC (14 years ago) by
This commit was manufactured by cvs2svn to create branch
'dbm-branch-2005_09_20'.

Revision 1775 - Directory Listing
Modified Wed Apr 27 22:30:45 2005 UTC (14 years, 3 months ago) by macqueen
minor edits

Revision 1658 - Directory Listing
Modified Wed Oct 20 21:07:54 2004 UTC (14 years, 10 months ago) by mblume
merge changes from main trunk

Revision 1657 - Directory Listing
Modified Wed Oct 20 20:05:45 2004 UTC (14 years, 10 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1635 - Directory Listing
Modified Tue Sep 28 17:12:31 2004 UTC (14 years, 10 months ago) by mblume
merging changes from main trunk

Revision 1628 - Directory Listing
Modified Wed Sep 15 20:58:05 2004 UTC (14 years, 11 months ago) by mblume
merge changes from main trunk

Revision 1627 - Directory Listing
Modified Wed Sep 15 20:58:05 2004 UTC (14 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1596 - Directory Listing
Modified Sun Aug 8 05:22:41 2004 UTC (15 years ago) by mblume
fixed pattern-match bug and missing cases in c-calls implementation

Revision 1592 - Directory Listing
Modified Thu Aug 5 16:53:03 2004 UTC (15 years ago) by mblume
merging changes up to 110.47 from main trunk

Revision 1591 - Directory Listing
Modified Thu Aug 5 16:53:03 2004 UTC (15 years ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1563 - Directory Listing
Modified Mon Jul 26 19:48:45 2004 UTC (15 years ago) by macqueen
editing notes, MAP

Revision 1558 - Directory Listing
Modified Thu Jul 22 22:30:55 2004 UTC (15 years, 1 month ago) by macqueen
editing notes, sigmatch.sml

Revision 1556 - Directory Listing
Modified Wed Jul 21 21:54:54 2004 UTC (15 years, 1 month ago) by macqueen
working on eqvTnspTy

Revision 1555 - Directory Listing
Modified Tue Jul 20 21:40:36 2004 UTC (15 years, 1 month ago) by macqueen
revised eqvTnspTy

Revision 1543 - Directory Listing
Modified Tue Jul 13 22:19:50 2004 UTC (15 years, 1 month ago) by mblume
another merge from main trunk

Revision 1542 - Directory Listing
Modified Tue Jul 13 22:19:50 2004 UTC (15 years, 1 month ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1538 - Directory Listing
Modified Tue Jul 13 19:04:05 2004 UTC (15 years, 1 month ago) by mblume
merge changes from main trunk

Revision 1535 - Directory Listing
Modified Tue Jul 13 05:00:35 2004 UTC (15 years, 1 month ago) by mblume
merge changes from main trunk

Revision 1534 - Directory Listing
Modified Tue Jul 13 05:00:35 2004 UTC (15 years, 1 month ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1517 - Directory Listing
Modified Fri Jun 18 19:52:04 2004 UTC (15 years, 2 months ago) by mblume
merge changes from main trunk

Revision 1516 - Directory Listing
Modified Fri Jun 18 19:52:04 2004 UTC (15 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1509 - Directory Listing
Modified Fri Jun 18 04:50:05 2004 UTC (15 years, 2 months ago) by mblume
merge changes from main trunk up to 110.46

Revision 1508 - Directory Listing
Modified Fri Jun 18 04:50:05 2004 UTC (15 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1499 - Directory Listing
Modified Tue May 25 21:49:58 2004 UTC (15 years, 3 months ago) by mblume
merge changes from main trunk

Revision 1493 - Directory Listing
Modified Tue May 18 21:19:57 2004 UTC (15 years, 3 months ago) by mblume
merged changes from main trunk

Revision 1492 - Directory Listing
Modified Tue May 18 21:19:57 2004 UTC (15 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1484 - Directory Listing
Modified Sat Apr 24 13:30:51 2004 UTC (15 years, 4 months ago) by mblume
merge changes from main trunk

Revision 1483 - Directory Listing
Modified Sat Apr 24 13:30:51 2004 UTC (15 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1476 - Directory Listing
Modified Fri Apr 16 20:51:46 2004 UTC (15 years, 4 months ago) by macqueen
change CONexp, CONpat to take instantiated type instead of tyvar list

Revision 1475 - Directory Listing
Modified Fri Apr 9 19:05:33 2004 UTC (15 years, 4 months ago) by macqueen
notes and added comments

Revision 1474 - Directory Listing
Modified Sun Apr 4 21:29:18 2004 UTC (15 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch
'primop-branch'.

Revision 1471 - Directory Listing
Modified Mon Mar 29 22:45:55 2004 UTC (15 years, 4 months ago) by macqueen
merged trunk from primop-branch to HEAD into primop-branch

Revision 1470 - Directory Listing
Modified Mon Mar 29 22:45:55 2004 UTC (15 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch
'primop-branch'.

Revision 1457 - Directory Listing
Modified Fri Feb 13 21:12:13 2004 UTC (15 years, 6 months ago) by mblume
merge changes up to 110.45 from main trunk

Revision 1454 - Directory Listing
Modified Mon Feb 9 22:32:05 2004 UTC (15 years, 6 months ago) by mblume
implemented SUPERCAST in FLINT;
(pushed it through as far as it seemed necessary -- but more TODO
corners are probably lurking...);
used SUPERCAST to implement link_plugin;
simple test case compiles and works; everything beyond that is untested

Revision 1453 - Directory Listing
Modified Mon Feb 9 20:33:28 2004 UTC (15 years, 6 months ago) by mblume
merged changes from main trunk into devel branch

Revision 1452 - Directory Listing
Modified Mon Feb 9 20:33:28 2004 UTC (15 years, 6 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1451 - Directory Listing
Modified Thu Feb 5 18:02:32 2004 UTC (15 years, 6 months ago) by mblume
sync of devel branch

Revision 1450 - Directory Listing
Modified Sat Jan 31 14:24:42 2004 UTC (15 years, 6 months ago) by
This commit was manufactured by cvs2svn to create branch
'dbmdev1-branch'.

Revision 1442 - Directory Listing
Modified Thu Jan 15 23:12:57 2004 UTC (15 years, 7 months ago) by mblume
added copyright notices

Revision 1441 - Directory Listing
Modified Thu Jan 15 23:01:21 2004 UTC (15 years, 7 months ago) by mblume
implemented readline stream

Revision 1440 - Directory Listing
Modified Wed Jan 14 23:26:22 2004 UTC (15 years, 7 months ago) by mblume
fixed problem with not having linked curses

Revision 1439 - Directory Listing
Modified Wed Jan 14 22:55:24 2004 UTC (15 years, 7 months ago) by mblume
added readline example to ml-nlffi-lib

Revision 1434 - Directory Listing
Modified Thu Dec 11 23:23:44 2003 UTC (15 years, 8 months ago) by mblume
snapshot of plugin hacking

Revision 1430 - Directory Listing
Modified Wed Nov 26 06:34:28 2003 UTC (15 years, 9 months ago) by mblume
exported Unify from elaborate.cm

Revision 1429 - Directory Listing
Modified Mon Nov 24 20:34:21 2003 UTC (15 years, 9 months ago) by mblume
undo last attempted change

Revision 1428 - Directory Listing
Modified Fri Nov 21 19:49:33 2003 UTC (15 years, 9 months ago) by mblume
more fiddling with plugins; now there are FLINT problems...

Revision 1423 - Directory Listing
Modified Thu Nov 13 22:54:25 2003 UTC (15 years, 9 months ago) by mblume
reorganized the link_plugin implementation;
it should have a better chance at being ok now, but something still
breaks;  looks like something more fundamental is going on

Revision 1422 - Directory Listing
Modified Thu Nov 13 21:28:06 2003 UTC (15 years, 9 months ago) by mblume
print ast/absyn earlier

Revision 1416 - Directory Listing
Modified Thu Nov 6 18:44:37 2003 UTC (15 years, 9 months ago) by mblume
merged changes from main trunk

Revision 1412 - Directory Listing
Modified Tue Nov 4 19:07:43 2003 UTC (15 years, 9 months ago) by mblume
merge changes from main trunk

Revision 1410 - Directory Listing
Modified Mon Nov 3 22:32:01 2003 UTC (15 years, 9 months ago) by mblume
merge changes from main trunk

Revision 1408 - Directory Listing
Modified Tue Oct 28 22:28:00 2003 UTC (15 years, 9 months ago) by mblume
merged changes from main trunk

Revision 1406 - Directory Listing
Modified Thu Oct 23 22:09:13 2003 UTC (15 years, 10 months ago) by mblume
added let-bound structures, but they do not work right

Revision 1405 - Directory Listing
Modified Tue Oct 21 22:49:43 2003 UTC (15 years, 10 months ago) by mblume
in the middle of hacking the plugin stuff

Revision 1404 - Directory Listing
Modified Fri Oct 3 22:26:14 2003 UTC (15 years, 10 months ago) by mblume
more fuzzing around with the plugin stuff (I am still learning my
way around the elaborator, basically)

Revision 1403 - Directory Listing
Modified Fri Oct 3 00:39:13 2003 UTC (15 years, 10 months ago) by mblume
more plugin hacking

Revision 1402 - Directory Listing
Modified Thu Oct 2 16:09:02 2003 UTC (15 years, 10 months ago) by mblume
started implementation of plugin support

Revision 1401 - Directory Listing
Modified Thu Oct 2 16:09:02 2003 UTC (15 years, 10 months ago) by
This commit was manufactured by cvs2svn to create branch
'blume-private-devel'.

Revision 1377 - Directory Listing
Modified Tue Sep 16 15:22:47 2003 UTC (15 years, 11 months ago) by macqueen
VARexp changed to take whole instantiated type

Revision 1373 - Directory Listing
Modified Mon Sep 15 22:16:26 2003 UTC (15 years, 11 months ago) by macqueen
eliminating type from primop info

Revision 1372 - Directory Listing
Modified Mon Sep 15 22:16:26 2003 UTC (15 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch
'primop-branch'.

Revision 1246 - Directory Listing
Modified Thu Jun 13 16:09:36 2002 UTC (17 years, 2 months ago) by blume
added missing stuff to sml-basis.idl and friends;
filled in missing parts of date.sml

Revision 1245 - Directory Listing
Modified Thu Jun 13 14:47:03 2002 UTC (17 years, 2 months ago) by blume
added sml-basis.idl (for reference)

Revision 1244 - Directory Listing
Modified Wed Jun 12 20:25:34 2002 UTC (17 years, 2 months ago) by blume
filled in more of the date stuff;
made OS.Path raise InvalidArc where appropriate;
small tweaks to idl-generated files to make things compile for now

Revision 1243 - Directory Listing
Modified Tue Jun 11 21:48:50 2002 UTC (17 years, 2 months ago) by blume
more filling of gaps

Revision 1239 - Directory Listing
Modified Tue Jun 11 15:26:11 2002 UTC (17 years, 2 months ago) by blume
provided implementations for fromUnixPath and toUnixPath

Revision 1237 - Directory Listing
Modified Mon Jun 10 20:08:08 2002 UTC (17 years, 2 months ago) by blume
provided scan and fromString in IEEEReal

Revision 1236 - Directory Listing
Modified Fri Jun 7 18:52:21 2002 UTC (17 years, 2 months ago) by blume
fixed and exported various missing slice modules

Revision 1235 - Directory Listing
Modified Thu Jun 6 20:10:03 2002 UTC (17 years, 2 months ago) by blume
changed iodesc type to word; implemented text readers and writers

Revision 1234 - Directory Listing
Modified Thu Jun 6 15:08:54 2002 UTC (17 years, 2 months ago) by blume
made everything compile; there are still holes to be fixed

Revision 1233 - Directory Listing
Modified Wed Jun 5 21:47:29 2002 UTC (17 years, 2 months ago) by blume
made more stuff compile; now stuck in MLRISC-related library code

Revision 1232 - Directory Listing
Modified Tue Jun 4 21:11:15 2002 UTC (17 years, 2 months ago) by blume
merged all changes from main trunk

Revision 1231 - Directory Listing
Modified Mon Jun 3 18:32:08 2002 UTC (17 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

Revision 1097 - Directory Listing
Modified Tue Feb 26 16:59:02 2002 UTC (17 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch
'shao-private-devel'.

Revision 1002 - Directory Listing
Modified Fri Nov 30 17:11:33 2001 UTC (17 years, 8 months ago) by blume
merged changes up to latest status of MainTrunk;
Basis still compiles (and is still incomplete in parts);
smlnj-lib does not compile because of changes to Basis signatures

Revision 1001 - Directory Listing
Modified Fri Nov 30 17:11:33 2001 UTC (17 years, 8 months ago) by
This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

Revision 982 - Directory Listing
Modified Wed Nov 21 18:41:49 2001 UTC (17 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 913 - Directory Listing
Modified Fri Aug 24 18:12:37 2001 UTC (18 years ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 907 - Directory Listing
Modified Fri Aug 24 17:36:41 2001 UTC (18 years ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 872 - Directory Listing
Modified Fri Jul 6 22:17:03 2001 UTC (18 years, 1 month ago) by blume
forgot to commit the substring module in init.cmi

Revision 871 - Directory Listing
Modified Fri Jul 6 22:11:29 2001 UTC (18 years, 1 month ago) by blume
Basis compiles for now;
Date module still has big holes;
NJ still needs to be converted

Revision 870 - Directory Listing
Modified Thu Jul 5 22:05:20 2001 UTC (18 years, 1 month ago) by blume
begun to rebuild the IO tower and the
generic OS stuff based on SMLBasis;  OS-specific code has been disabled
in sources.cm for now

Revision 869 - Directory Listing
Modified Tue Jul 3 18:55:58 2001 UTC (18 years, 1 month ago) by blume
dealing with OS and IO issues

Revision 868 - Directory Listing
Modified Tue Jul 3 15:05:32 2001 UTC (18 years, 1 month ago) by blume
begun to do something about Time

Revision 867 - Directory Listing
Modified Mon Jul 2 20:14:11 2001 UTC (18 years, 1 month ago) by blume
more inching forward;
there are several unresolved issues that I decided to ignore for
now (usually by just raising a signal);
current sticking point: Time.time vs. SMLBasis.Time_t

Revision 866 - Directory Listing
Modified Mon Jul 2 16:33:10 2001 UTC (18 years, 1 month ago) by blume
more fixup work

Revision 865 - Directory Listing
Modified Sat Jun 30 03:40:12 2001 UTC (18 years, 1 month ago) by dbm
latest idl version for sml-basis*.sml

Revision 864 - Directory Listing
Modified Fri Jun 29 19:50:25 2001 UTC (18 years, 1 month ago) by blume
map signatures in MONO_VECTOR_SLICE fixed(?)

Revision 863 - Directory Listing
Modified Thu Jun 28 20:41:28 2001 UTC (18 years, 1 month ago) by blume
moved to latest sml-basis-sig.sml;
converted some more code

Revision 862 - Directory Listing
Modified Thu Jun 28 02:43:07 2001 UTC (18 years, 1 month ago) by blume
some work towards making vectors and arrays compile;
by far not everything is done yet, plus, there still seem to be
some discrepancies between our signatures and the Basis spec

Revision 861 - Directory Listing
Modified Wed Jun 27 22:00:22 2001 UTC (18 years, 1 month ago) by blume
CharArray.vector added; Real64ArraySlice is back

Revision 860 - Directory Listing
Modified Wed Jun 27 21:51:46 2001 UTC (18 years, 1 month ago) by dbm
adding real64-array-slice.sml and a fix to word8-array-slice.sml

Revision 859 - Directory Listing
Modified Wed Jun 27 21:43:12 2001 UTC (18 years, 1 month ago) by blume
merged changes from main trunk;
some typos etc. fixed (but still does not compile yet)

Revision 858 - Directory Listing
Modified Wed Jun 27 21:20:27 2001 UTC (18 years, 1 month ago) by dbm
adding list-sig.sml, SML90-sig.sml

Revision 857 - Directory Listing
Modified Wed Jun 27 21:03:15 2001 UTC (18 years, 1 month ago) by dbm
adding sml-basis files

Revision 856 - Directory Listing
Modified Wed Jun 27 20:19:03 2001 UTC (18 years, 1 month ago) by dbm
adding sml-basis-sig.sml and sml-basis.sml

Revision 855 - Directory Listing
Modified Wed Jun 27 20:17:52 2001 UTC (18 years, 1 month ago) by dbm
adding isSubstring

Revision 851 - Directory Listing
Modified Mon Jun 25 21:06:39 2001 UTC (18 years, 2 months ago) by dbm
adding new -sig files

Revision 850 - Directory Listing
Modified Mon Jun 25 19:42:31 2001 UTC (18 years, 2 months ago) by dbm
adding new files

Revision 849 - Directory Listing
Modified Mon Jun 25 19:29:29 2001 UTC (18 years, 2 months ago) by dbm
adding array-slice-sig.sml

Revision 848 - Directory Listing
Modified Mon Jun 25 19:29:29 2001 UTC (18 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch
'idlbasis-devel'.

Revision 821 - Directory Listing
Modified Tue May 8 21:08:11 2001 UTC (18 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 630 - Directory Listing
Modified Wed Apr 26 18:40:56 2000 UTC (19 years, 4 months ago) by monnier
*** empty log message ***

Revision 611 - Directory Listing
Modified Mon Apr 10 19:03:03 2000 UTC (19 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'smlnj'.

Revision 598 - Directory Listing
Modified Wed Apr 5 18:34:51 2000 UTC (19 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'ckit'.

Revision 560 - Directory Listing
Modified Fri Mar 3 16:22:09 2000 UTC (19 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 557 - Directory Listing
Modified Fri Mar 3 16:13:55 2000 UTC (19 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 549 - Directory Listing
Modified Tue Feb 29 16:40:46 2000 UTC (19 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'smlnj'.

Revision 502 - Directory Listing
Modified Tue Dec 7 17:56:19 1999 UTC (19 years, 8 months ago) by monnier
version 110.25.1

Revision 500 - Directory Listing
Modified Tue Dec 7 15:59:36 1999 UTC (19 years, 8 months ago) by monnier
version 110.25

Revision 498 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 8 months ago) by monnier
version 110.25

Revision 497 - Directory Listing
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 8 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 475 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (19 years, 9 months ago) by monnier
version 110.24

Revision 474 - Directory Listing
Modified Wed Nov 10 22:59:58 1999 UTC (19 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 471 - Directory Listing
Modified Wed Nov 10 22:48:28 1999 UTC (19 years, 9 months ago) by monnier
version 110.23

Revision 469 - Directory Listing
Modified Wed Nov 10 22:42:52 1999 UTC (19 years, 9 months ago) by monnier
version 110.23

Revision 468 - Directory Listing
Modified Wed Nov 10 22:42:52 1999 UTC (19 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 441 - Directory Listing
Modified Wed Sep 15 23:29:38 1999 UTC (19 years, 11 months ago) by monnier
version 110.22

Revision 439 - Directory Listing
Modified Wed Sep 15 16:37:27 1999 UTC (19 years, 11 months ago) by monnier
version 110.22

Revision 438 - Directory Listing
Modified Wed Sep 15 16:37:27 1999 UTC (19 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 429 - Directory Listing
Modified Wed Sep 8 09:47:00 1999 UTC (19 years, 11 months ago) by monnier
version 110.21

Revision 428 - Directory Listing
Modified Wed Sep 8 09:47:00 1999 UTC (19 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 420 - Directory Listing
Modified Sat Sep 4 00:01:22 1999 UTC (19 years, 11 months ago) by monnier
version 110.20

Revision 418 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (19 years, 11 months ago) by monnier
version 110.20

Revision 417 - Directory Listing
Modified Fri Sep 3 23:51:27 1999 UTC (19 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 413 - Directory Listing
Modified Fri Sep 3 00:30:34 1999 UTC (19 years, 11 months ago) by monnier
version 110.19

Revision 411 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (19 years, 11 months ago) by monnier
version 110.19

Revision 410 - Directory Listing
Modified Fri Sep 3 00:25:03 1999 UTC (19 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 289 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (20 years, 3 months ago) by monnier
version 110.17

Revision 288 - Directory Listing
Modified Sat May 22 21:01:25 1999 UTC (20 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 284 - Directory Listing
Modified Wed May 19 23:31:25 1999 UTC (20 years, 3 months ago) by monnier
version 110.16.1

Revision 263 - Directory Listing
Modified Thu May 6 06:52:06 1999 UTC (20 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 249 - Directory Listing
Modified Sat Apr 17 18:57:03 1999 UTC (20 years, 4 months ago) by monnier
version 110.16

Revision 247 - Directory Listing
Modified Sat Apr 17 18:47:13 1999 UTC (20 years, 4 months ago) by monnier
version 110.16

Revision 245 - Directory Listing
Modified Sat Apr 17 18:47:12 1999 UTC (20 years, 4 months ago) by monnier
version 110.16

Revision 243 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (20 years, 4 months ago) by monnier
version 110.16

Revision 242 - Directory Listing
Modified Sat Apr 17 18:41:51 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 239 - Directory Listing
Modified Sat Apr 17 18:29:24 1999 UTC (20 years, 4 months ago) by monnier
version 110.15

Revision 238 - Directory Listing
Modified Sat Apr 17 18:29:24 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 235 - Directory Listing
Modified Sat Apr 17 18:21:47 1999 UTC (20 years, 4 months ago) by monnier
version 110.14

Revision 234 - Directory Listing
Modified Sat Apr 17 18:21:47 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 231 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (20 years, 4 months ago) by monnier
version 110.13

Revision 230 - Directory Listing
Modified Sat Apr 17 18:14:18 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 227 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (20 years, 4 months ago) by monnier
version 110.12

Revision 226 - Directory Listing
Modified Sat Apr 17 17:15:03 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 223 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (20 years, 4 months ago) by monnier
version 110.11

Revision 222 - Directory Listing
Modified Sat Apr 17 16:27:01 1999 UTC (20 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 211 - Directory Listing
Modified Fri Jan 15 16:19:21 1999 UTC (20 years, 7 months ago) by monnier
version 110.10

Revision 209 - Directory Listing
Modified Fri Jan 15 16:00:20 1999 UTC (20 years, 7 months ago) by monnier
version 110.10

Revision 207 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (20 years, 7 months ago) by monnier
version 110.10

Revision 206 - Directory Listing
Modified Fri Jan 15 15:54:19 1999 UTC (20 years, 7 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 194 - Directory Listing
Modified Fri Nov 20 17:44:10 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 181 - Directory Listing
Modified Sat Nov 7 23:07:31 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 178 - Directory Listing
Modified Sat Nov 7 22:42:45 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 175 - Directory Listing
Modified Sat Nov 7 22:37:15 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 172 - Directory Listing
Modified Sat Nov 7 22:27:15 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 169 - Directory Listing
Modified Sat Nov 7 20:30:40 1998 UTC (20 years, 9 months ago) by monnier
version $version

Revision 167 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (20 years, 9 months ago) by monnier
version $version

Revision 166 - Directory Listing
Modified Sat Nov 7 20:11:41 1998 UTC (20 years, 9 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 143 - Directory Listing
Modified Mon Sep 7 21:46:44 1998 UTC (20 years, 11 months ago) by monnier
Release_110_8_1

Revision 141 - Directory Listing
Modified Mon Sep 7 21:37:09 1998 UTC (20 years, 11 months ago) by monnier
110.8

Revision 139 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (20 years, 11 months ago) by monnier
110.8

Revision 138 - Directory Listing
Modified Mon Sep 7 21:11:35 1998 UTC (20 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 135 - Directory Listing
Modified Mon Sep 7 21:02:08 1998 UTC (20 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 132 - Directory Listing
Modified Mon Sep 7 19:48:36 1998 UTC (20 years, 11 months ago) by monnier
Release_110_8

Revision 130 - Directory Listing
Modified Mon Sep 7 19:39:22 1998 UTC (20 years, 11 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 127 - Directory Listing
Modified Mon Sep 7 19:06:29 1998 UTC (20 years, 11 months ago) by monnier
Release_110_7_3

Revision 125 - Directory Listing
Modified Mon Sep 7 18:14:32 1998 UTC (20 years, 11 months ago) by monnier
  Release_110_7_2

Revision 123 - Directory Listing
Modified Mon Sep 7 16:19:55 1998 UTC (20 years, 11 months ago) by monnier
  Release_110_7_1

Revision 116 - Directory Listing
Modified Fri Jun 5 20:15:29 1998 UTC (21 years, 2 months ago) by monnier
removed deleted files

Revision 113 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 2 months ago) by monnier
110.7

Revision 112 - Directory Listing
Modified Fri Jun 5 19:41:21 1998 UTC (21 years, 2 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 110 - Directory Listing
Modified Fri Jun 5 19:06:47 1998 UTC (21 years, 2 months ago) by monnier
removed files from older versions

Revision 106 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (21 years, 3 months ago) by monnier
110.6

Revision 105 - Directory Listing
Modified Thu May 28 21:30:17 1998 UTC (21 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 100 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (21 years, 3 months ago) by monnier
110.5.1 from Zhong

Revision 99 - Directory Listing
Modified Thu May 14 04:56:46 1998 UTC (21 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 93 - Directory Listing
Modified Tue May 12 21:56:22 1998 UTC (21 years, 3 months ago) by monnier
*** empty log message ***

Revision 91 - Directory Listing
Modified Tue May 12 21:55:42 1998 UTC (21 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 90 - Directory Listing
Modified Tue May 12 21:54:55 1998 UTC (21 years, 3 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 69 - Directory Listing
Modified Fri Apr 3 00:06:55 1998 UTC (21 years, 4 months ago) by monnier
*** empty log message ***

Revision 67 - Directory Listing
Modified Fri Apr 3 00:06:42 1998 UTC (21 years, 4 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 45 - Directory Listing
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 43 - Directory Listing
Modified Sun Mar 22 20:10:57 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 42 - Directory Listing
Modified Sun Mar 22 20:10:57 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 29 - Directory Listing
Modified Thu Mar 12 01:05:59 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 27 - Directory Listing
Modified Thu Mar 12 01:05:57 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 24 - Directory Listing
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 5 months ago) by monnier
*** empty log message ***

Revision 22 - Directory Listing
Modified Thu Mar 12 00:49:56 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 18 - Directory Listing
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 17 - Directory Listing
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 5 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 11 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 7 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 10 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 7 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 8 - Directory Listing
Modified Sun Jan 18 01:01:29 1998 UTC (21 years, 7 months ago) by monnier
*** empty log message ***

Revision 4 - Directory Listing
Modified Sat Oct 4 23:33:46 1997 UTC (21 years, 10 months ago) by
This commit was manufactured by cvs2svn to create branch 'FLINT'.

Revision 3 - Directory Listing
Modified Sat Oct 4 23:33:46 1997 UTC (21 years, 10 months ago) by
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 1 - Directory Listing
Added Sat Oct 4 23:33:09 1997 UTC (21 years, 10 months ago) by
New repository initialized by cvs2svn.

Sort log by:

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