Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Log of /sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml
ViewVC logotype

Log of /sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml

Parent Directory Parent Directory


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

Revision 2061 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 22 19:07:06 2006 UTC (13 years, 4 months ago) by georgekuan
File length: 17156 byte(s)
Diff to previous 2057
debugging -- prim precision conversion types do not match in translate.sml inl_infPrec

Revision 2057 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 29 23:17:47 2006 UTC (13 years, 5 months ago) by macqueen
File length: 17155 byte(s)
Diff to previous 2054
various debugging changes

Revision 2054 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 28 22:57:54 2006 UTC (13 years, 5 months ago) by macqueen
File length: 17139 byte(s)
Diff to previous 2053
added further debugging instrumentation

Revision 2053 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 28 05:12:11 2006 UTC (13 years, 5 months ago) by macqueen
File length: 16854 byte(s)
Diff to previous 2050
switched all pretty printing to use PrettyPrintNew

Revision 2050 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 24 23:03:10 2006 UTC (13 years, 5 months ago) by macqueen
File length: 16763 byte(s)
Diff to previous 2048
refining debugging instrumentation

Revision 2048 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 24 19:17:46 2006 UTC (13 years, 5 months ago) by georgekuan
File length: 16464 byte(s)
Diff to previous 2047
pplexp uses new pplty/pptkind pretty printers

Revision 2047 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 24 19:09:41 2006 UTC (13 years, 5 months ago) by georgekuan
File length: 16506 byte(s)
Diff to previous 2046
debugging info for chklexp and more extensive kind checking

Revision 2046 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 24 18:28:43 2006 UTC (13 years, 5 months ago) by georgekuan
File length: 15309 byte(s)
Diff to previous 2044
improved error reporting in chkplexp

Revision 2044 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 24 17:45:04 2006 UTC (13 years, 5 months ago) by georgekuan
File length: 14542 byte(s)
Diff to previous 2040
chkplexp now exports checkLty and checkLtyTop taking and not taking an ltyEnv respectively

Revision 2040 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 23 23:44:18 2006 UTC (13 years, 5 months ago) by macqueen
File length: 14398 byte(s)
Diff to previous 2039
debugging kind check error

Revision 2039 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 22 22:54:10 2006 UTC (13 years, 5 months ago) by macqueen
File length: 14373 byte(s)
Diff to previous 2038
continued instrumentation and commenting for tcc_env bug

Revision 2038 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 21 23:07:07 2006 UTC (13 years, 5 months ago) by macqueen
File length: 14042 byte(s)
Diff to previous 2035
debugging plambda type checking

Revision 2035 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 18 23:54:34 2006 UTC (13 years, 5 months ago) by georgekuan
File length: 13545 byte(s)
Diff to previous 2033
chkplexp compiles

Revision 2033 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 18 22:58:46 2006 UTC (13 years, 5 months ago) by macqueen
File length: 13483 byte(s)
Diff to previous 1935
adding kind checking to chkplexp.sml

Revision 1935 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jun 5 18:21:55 2006 UTC (13 years, 7 months ago) by
File length: 12992 byte(s)
Diff to previous 1347
This commit was manufactured by cvs2svn to create branch
'primop-branch-2'.

Revision 1347 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 28 21:59:15 2003 UTC (16 years, 5 months ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 12992 byte(s)
Diff to previous 651
implemented IntInf in Basis and compiler;
new version number; new bootfiles

Revision 651 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 12952 byte(s)
Diff to previous 422
bring revisions from the vendor branch to the trunk

Revision 422 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 5 22:49:38 1999 UTC (20 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 12952 byte(s)
Diff to previous 118
merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

Revision 118 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 21:38:17 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 12968 byte(s)
Diff to previous 95
merged in 110.7 changes

Revision 95 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 13 00:49:12 1998 UTC (21 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 13054 byte(s)
Diff to previous 72
merged with 110.5

Revision 72 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 5 19:07:40 1998 UTC (21 years, 9 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 13303 byte(s)
Diff to previous 71
cleaned up the previous merge

Revision 71 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 10 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 13378 byte(s)
Diff to previous 53
merged in Zhong's 110.4

Revision 53 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 23 04:02:58 1998 UTC (21 years, 10 months ago) by league
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 13200 byte(s)
Diff to previous 16
Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

Revision 16 - (view) (download) (annotate) - [select for diffs]
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 10 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml
File length: 13128 byte(s)
Initial revision

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

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