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

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

View Directory Listing Directory Listing


Sticky Revision:

Revision 4536 - Directory Listing
Modified Sat Apr 21 13:25:42 2018 UTC (2 years, 1 month ago) by jhr
  Changed Absyn representation of real constants to prepare
  for eventual 32-bit float support.

Revision 4532 - Directory Listing
Modified Fri Apr 20 14:06:40 2018 UTC (2 years, 1 month ago) by jhr
  Fix for bug #191 (Compiler crash when handling large reals).  We now issue a warning
  for real literals that will round to zero and an error for real literals that are
  too large to represent.  There still needs to be done some work to support sub-normal
  literal values (these are currently rounded to 0).

Revision 4523 - Directory Listing
Modified Fri Apr 13 14:41:33 2018 UTC (2 years, 1 month ago) by jhr
  Removed real patterns from Absyn and FLINT, since they are not allowed by SML'93.

Revision 4511 - Directory Listing
Modified Sun Oct 22 14:22:43 2017 UTC (2 years, 7 months ago) by jhr
  bug fix for literal range checking.  We need to do *all* overload resolution
  before checking ranges, since we might have literals whose type variable has
  been instantiated to another overloaded type varible that has not yet be resolved.

Revision 4500 - Directory Listing
Modified Mon Oct 16 20:00:58 2017 UTC (2 years, 7 months ago) by jhr
  Add checking of numeric literal ranges to overload resolution.

Revision 4496 - Directory Listing
Modified Sun Oct 15 13:41:11 2017 UTC (2 years, 7 months ago) by jhr
adding comment

Revision 4495 - Directory Listing
Modified Sun Oct 15 13:31:27 2017 UTC (2 years, 7 months ago) by jhr
  Remove "open" and add some comments to overload.sml

Revision 4494 - Directory Listing
Modified Sun Oct 15 03:04:17 2017 UTC (2 years, 7 months ago) by jhr
  Working on change in integer/word literal representation.
  Stage 1 -- changed representation in Absyn.

Revision 4491 - Directory Listing
Modified Sat Oct 14 23:42:01 2017 UTC (2 years, 7 months ago) by jhr
  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 4437 - Directory Listing
Modified Wed Sep 20 00:08:57 2017 UTC (2 years, 8 months ago) by dbm
getting rid of ptnum stuff

Revision 4431 - Directory Listing
Modified Tue Sep 19 20:09:13 2017 UTC (2 years, 8 months ago) by jhr
working on new primops

Revision 4328 - Directory Listing
Modified Fri Apr 14 17:51:54 2017 UTC (3 years, 1 month ago) by jhr
  removing trailing spaces

Revision 4307 - Directory Listing
Modified Wed Sep 14 18:34:19 2016 UTC (3 years, 8 months ago) by jhr
clean up printing code and fix DOdec typechecking

Revision 4304 - Directory Listing
Modified Tue Sep 13 22:14:18 2016 UTC (3 years, 8 months ago) by jhr
  Added support for Successor ML 'do' declaration support.  There are still some open
  bugs with respect to explicit type variables.

Revision 4297 - Directory Listing
Modified Mon Sep 12 17:10:10 2016 UTC (3 years, 8 months ago) by dbm
fix for bug 149: added boolean stripped field to DATATYPE tyckind. requires -rebuild option on makeml because of change of static env pickles

Revision 4251 - Directory Listing
Modified Tue Aug 9 19:00:06 2016 UTC (3 years, 9 months ago) by dbm
DBM: fixed bug 145 by adding OVLD_UB case to failMessage in unify.sml

Revision 4000 - Directory Listing
Modified Fri Dec 19 22:33:49 2014 UTC (5 years, 5 months ago) by dbm
Fix for bug #52. Major revision of the mechanism for overloading resolution that uses a common basis for overloaded operators and literals.

Revision 3991 - Directory Listing
Modified Sun Dec 14 06:20:36 2014 UTC (5 years, 5 months ago) by dbm
Simplifications in preparation for new overloading treatment.

Revision 3799 - Directory Listing
Modified Fri Nov 16 21:08:56 2012 UTC (7 years, 6 months ago) by dbm
fixed missing cases in expType in DebugProf/types/reconstruct.sml

Revision 3672 - Directory Listing
Modified Fri Jan 20 23:06:28 2012 UTC (8 years, 4 months ago) by dbm
fixed omission in cm/smlfile/skel-cvt.sml, and minor printing issue in typecheck.sml

Revision 3652 - Directory Listing
Modified Thu Jan 12 21:49:32 2012 UTC (8 years, 4 months ago) by dbm
added showTypeErrorCulprit flag in ElabControl (Elaborator/main/elabcontrol.s??)

Revision 3648 - Directory Listing
Modified Fri Jan 6 19:55:25 2012 UTC (8 years, 5 months ago) by dbm
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 - Directory Listing
Modified Fri Oct 31 02:39:39 2008 UTC (11 years, 7 months ago) by gkuan
Minor typo fix 

Revision 3233 - Directory Listing
Modified Fri Oct 31 02:24:24 2008 UTC (11 years, 7 months ago) by gkuan
fixed MARKty unifyTy performance bug

Revision 3117 - Directory Listing
Modified Thu Jul 17 03:31:51 2008 UTC (11 years, 10 months ago) by dbm
ported changes from sml/branches/temi-branch -r 3005:3116 into trunk

Revision 2954 - Directory Listing
Modified Mon Feb 25 15:43:35 2008 UTC (12 years, 3 months ago) by gkuan
propagate VARty OPEN's eq property in LBOUND, bugfix for equality type signature matching bug

Revision 2951 - Directory Listing
Modified Sun Feb 24 17:34:00 2008 UTC (12 years, 3 months ago) by gkuan
fixed equality type signature matching bug

Revision 2603 - Directory Listing
Modified Wed May 23 21:50:42 2007 UTC (13 years ago) by dbm
merge of primop3/base branch -r2492:2602 into trunk

Revision 2492 - Directory Listing
Modified Fri May 4 03:39:10 2007 UTC (13 years, 1 month ago) by dbm
merge revisions 2221:2491 from primop-branch-3

Revision 2162 - Directory Listing
Modified Thu Nov 2 21:20:47 2006 UTC (13 years, 7 months ago) by blume
eliminated src dir

Revision 1682 - Directory Listing
Modified Tue Nov 9 23:48:09 2004 UTC (15 years, 6 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator/types
started building support for 64-bit types

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

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

Revision 1374 - Directory Listing
Modified Mon Sep 15 22:17:10 2003 UTC (16 years, 8 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/types
undoing accidental commit of files intended for primop-branch

Revision 1370 - Directory Listing
Modified Mon Sep 15 03:38:25 2003 UTC (16 years, 8 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator/types
eliminate types from primop info

Revision 1347 - Directory Listing
Modified Thu Aug 28 21:59:15 2003 UTC (16 years, 9 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator/types
implemented IntInf in Basis and compiler;
new version number; new bootfiles

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

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

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

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

Sort log by:

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