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

SCM Repository

[smlnj] Log of /sml/branches/primop-branch-3/compiler/Elaborator/types/typecheck.sml
ViewVC logotype

Log of /sml/branches/primop-branch-3/compiler/Elaborator/types/typecheck.sml

Parent Directory Parent Directory


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

Revision 3344 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 15 12:52:07 2009 UTC (10 years, 5 months ago) by gkuan
File length: 35210 byte(s)
Diff to previous 3299
added primaries field representing primaries as tycons

Revision 3299 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 24 13:58:04 2009 UTC (10 years, 5 months ago) by dbm
File length: 35170 byte(s)
Diff to previous 3229
cleanup: removed Semant/modules and contents, removed bodyRlzn field from fctEntity record

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

Revision 3225 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 12 01:04:21 2008 UTC (11 years, 1 month ago) by dbm
File length: 33972 byte(s)
Diff to previous 3046
eliminated all refs to obsolete ABSdec constructor

Revision 3046 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 20:14:51 2008 UTC (11 years, 4 months ago) by gkuan
File length: 34044 byte(s)
Diff to previous 3045
major elab cleanup,  commit 2

Revision 3045 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 19:01:17 2008 UTC (11 years, 4 months ago) by dbm
File length: 34063 byte(s)
Diff to previous 3028
major elab cleanup, commit 1

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

Revision 2961 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 24 02:55:01 2008 UTC (11 years, 6 months ago) by gkuan
File length: 34496 byte(s)
Diff to previous 2730
merged in primop-branch-gkuan 2742:2960 elimination of tycpath in Elaboration and reconstitution in translate

Revision 2730 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 23 20:45:02 2007 UTC (12 years, 2 months ago) by gkuan
File length: 34546 byte(s)
Diff to previous 2479
commented out Absyn.PACKexp and PLambda.PACK related code...Does not seem to do anything because PACKexp should never be introduced after matchStr

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

Revision 2476 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 30 23:56:18 2007 UTC (12 years, 5 months ago) by dbm
File length: 34441 byte(s)
Diff to previous 2475
slight fix in typecheck.sml to correct problem with reporting hidden unresolved flex record types redundantly

Revision 2475 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 30 23:30:34 2007 UTC (12 years, 5 months ago) by dbm
File length: 34321 byte(s)
Diff to previous 2456
modified typecheck.sml and translate.sml to move checking for unresolved (hidden) flex record types into the front end

Revision 2456 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 27 05:21:38 2007 UTC (12 years, 5 months ago) by dbm
File length: 33254 byte(s)
Diff to previous 2454
added Control.Elab.tcdebugging and Control.Elab.unidebugging flags for type checking and unification. Some reorg of Control.

Revision 2454 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 26 03:52:12 2007 UTC (12 years, 5 months ago) by dbm
File length: 33240 byte(s)
Diff to previous 2451
stopped making nullary POLYtys in generalizeTy (typecheck.sml)

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

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 10 months ago) by blume
File length: 32354 byte(s)
Diff to previous 2221
merged all changes from primop-branch-2

Revision 2221 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 21:56:55 2006 UTC (12 years, 10 months ago) by blume
File length: 32332 byte(s)
Diff to previous 2162
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (12 years, 11 months ago) by blume
Original Path: sml/trunk/compiler/Elaborator/types/typecheck.sml
File length: 32332 byte(s)
Diff to previous 1681
eliminated src dir

Revision 1681 - (view) (download) (annotate) - [select for diffs]
Modified Mon Nov 8 23:03:24 2004 UTC (14 years, 11 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32332 byte(s)
Diff to previous 1641
some code cleanup

Revision 1641 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 6 20:18:55 2004 UTC (15 years ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32506 byte(s)
Diff to previous 1374
minor cleanup in absyn and btrace

Revision 1374 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 22:17:10 2003 UTC (16 years, 1 month ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32483 byte(s)
Diff to previous 1370
undoing accidental commit of files intended for primop-branch

Revision 1370 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 03:38:25 2003 UTC (16 years, 1 month ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32589 byte(s)
Diff to previous 1344
eliminate types from primop info

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

Revision 1332 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 18 03:21:16 2003 UTC (16 years, 5 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 32494 byte(s)
Diff to previous 902
added IF/WHILE/ANDALSO/ORELSE to Absyn (to improve error messages)

Revision 902 - (view) (download) (annotate) - [select for diffs]
Added Wed Aug 15 21:17:05 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator/types/typecheck.sml
File length: 30552 byte(s)
new organization of compiler libraries

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

  Diffs between and
  Type of Diff should be a

Sort log by:

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