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/trunk/compiler/Elaborator/types/unify.sml
ViewVC logotype

Log of /sml/trunk/compiler/Elaborator/types/unify.sml

Parent Directory Parent Directory


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

Revision 4491 - (view) (download) (annotate) - [select for diffs]
Modified Sat Oct 14 23:42:01 2017 UTC (2 years, 4 months ago) by jhr
File length: 18861 byte(s)
Diff to previous 4328
  Some restructuring/cleanup for literal overloading.  Got rid of Types.litKind
  datatype; changed Type.ovldSource datatype to have different constructors for
  each kind of literal that can be overloaded.

Revision 4328 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 14 17:51:54 2017 UTC (2 years, 10 months ago) by jhr
File length: 19032 byte(s)
Diff to previous 4251
  removing trailing spaces

Revision 4251 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 9 19:00:06 2016 UTC (3 years, 6 months ago) by dbm
File length: 19063 byte(s)
Diff to previous 4000
DBM: fixed bug 145 by adding OVLD_UB case to failMessage in unify.sml

Revision 4000 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 19 22:33:49 2014 UTC (5 years, 2 months ago) by dbm
File length: 18978 byte(s)
Diff to previous 3991
Fix for bug #52. Major revision of the mechanism for overloading resolution that uses a common basis for overloaded operators and literals.

Revision 3991 - (view) (download) (annotate) - [select for diffs]
Modified Sun Dec 14 06:20:36 2014 UTC (5 years, 2 months ago) by dbm
File length: 19518 byte(s)
Diff to previous 3648
Simplifications in preparation for new overloading treatment.

Revision 3648 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 6 19:55:25 2012 UTC (8 years, 1 month ago) by dbm
File length: 19423 byte(s)
Diff to previous 3234
fix of lexer off-by-one bug, change of SourceMap interface, slight cleanup of match compiler, preliminary modification of type checker to add culprit tracking

Revision 3234 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 31 02:39:39 2008 UTC (11 years, 3 months ago) by gkuan
File length: 17022 byte(s)
Diff to previous 3233
Minor typo fix 

Revision 3233 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 31 02:24:24 2008 UTC (11 years, 3 months ago) by gkuan
File length: 17016 byte(s)
Diff to previous 3117
fixed MARKty unifyTy performance bug

Revision 3117 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 17 03:31:51 2008 UTC (11 years, 7 months ago) by dbm
File length: 17002 byte(s)
Diff to previous 2951
ported changes from sml/branches/temi-branch -r 3005:3116 into trunk

Revision 2951 - (view) (download) (annotate) - [select for diffs]
Modified Sun Feb 24 17:34:00 2008 UTC (12 years ago) by gkuan
File length: 16498 byte(s)
Diff to previous 2603
fixed equality type signature matching bug

Revision 2603 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 23 21:50:42 2007 UTC (12 years, 9 months ago) by dbm
File length: 16303 byte(s)
Diff to previous 2492
merge of primop3/base branch -r2492:2602 into trunk

Revision 2492 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 4 03:39:10 2007 UTC (12 years, 9 months ago) by dbm
File length: 14359 byte(s)
Diff to previous 2162
merge revisions 2221:2491 from primop-branch-3

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (13 years, 3 months ago) by blume
File length: 12561 byte(s)
Diff to previous 902
eliminated src dir

Revision 902 - (view) (download) (annotate) - [select for diffs]
Added Wed Aug 15 21:17:05 2001 UTC (18 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator/types/unify.sml
File length: 12561 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