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

Log of /sml/trunk/compiler/Elaborator

View Directory Listing Directory Listing


Sticky Revision:

Revision 4527 - Directory Listing
Modified Sat Apr 14 14:41:11 2018 UTC (21 months ago) by jhr
  Switched the representation of real literals from strings to the
  RealLit.t type.  This change is the first step toward fixing
  bug #191 and supporting 32-bit reals.

Revision 4523 - Directory Listing
Modified Fri Apr 13 14:41:33 2018 UTC (21 months, 1 week 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, 2 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, 3 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, 3 months ago) by jhr
adding comment

Revision 4495 - Directory Listing
Modified Sun Oct 15 13:31:27 2017 UTC (2 years, 3 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, 3 months ago) by jhr
  Working on change in integer/word literal representation.
  Stage 1 -- changed representation in Absyn.

Revision 4492 - Directory Listing
Modified Sun Oct 15 01:28:11 2017 UTC (2 years, 3 months ago) by jhr
  fix bug (typo)

Revision 4491 - Directory Listing
Modified Sat Oct 14 23:42:01 2017 UTC (2 years, 3 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 4446 - Directory Listing
Modified Wed Sep 20 23:40:53 2017 UTC (2 years, 3 months ago) by jhr
  Bug fix.  Also add headers and remove trailing whitespace.

Revision 4441 - Directory Listing
Modified Wed Sep 20 20:20:14 2017 UTC (2 years, 3 months ago) by dbm
removed old debugging print statements in elabOVERLOADdec in elabcore.sml

Revision 4437 - Directory Listing
Modified Wed Sep 20 00:08:57 2017 UTC (2 years, 4 months ago) by dbm
getting rid of ptnum stuff

Revision 4432 - Directory Listing
Modified Tue Sep 19 21:40:38 2017 UTC (2 years, 4 months ago) by jhr
  Working on new primops.  We've moved a bunch of code from Semant to ElabData
  and we've changed the representation of primop IDs in structures.

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

Revision 4422 - Directory Listing
Modified Tue Sep 19 16:43:12 2017 UTC (2 years, 4 months ago) by jhr
new primop representation

Revision 4416 - Directory Listing
Modified Mon Sep 18 20:39:57 2017 UTC (2 years, 4 months ago) by dbm
fix for bug 123, updated documentation for primops

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

Revision 4314 - Directory Listing
Modified Thu Sep 15 22:46:20 2016 UTC (3 years, 4 months ago) by dbm
Further cleanup of FLINT stuff in front end. module-plists.sml moved to FLINT/trans

Revision 4309 - Directory Listing
Modified Thu Sep 15 01:31:46 2016 UTC (3 years, 4 months ago) by dbm
removed remaining dependencies on PlambdaType from front-end

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

Revision 4305 - Directory Listing
Modified Wed Sep 14 16:19:50 2016 UTC (3 years, 4 months ago) by jhr
reducing use of 'open'

Revision 4304 - Directory Listing
Modified Tue Sep 13 22:14:18 2016 UTC (3 years, 4 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, 4 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, 5 months ago) by dbm
DBM: fixed bug 145 by adding OVLD_UB case to failMessage in unify.sml

Revision 4219 - Directory Listing
Modified Thu Apr 7 11:58:24 2016 UTC (3 years, 9 months ago) by jhr
  Fixed printing of word literals in error messages (bug #155)

Revision 4000 - Directory Listing
Modified Fri Dec 19 22:33:49 2014 UTC (5 years, 1 month 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, 1 month ago) by dbm
Simplifications in preparation for new overloading treatment.

Revision 3876 - Directory Listing
Modified Thu May 1 14:20:55 2014 UTC (5 years, 8 months ago) by jhr
  fixed minor issue in an error message; type variable name should be printed with leading '

Revision 3799 - Directory Listing
Modified Fri Nov 16 21:08:56 2012 UTC (7 years, 2 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 ago) by dbm
fixed omission in cm/smlfile/skel-cvt.sml, and minor printing issue in typecheck.sml

Revision 3665 - Directory Listing
Modified Wed Jan 18 23:24:39 2012 UTC (8 years ago) by dbm
fixes for bugs gf#77 and gf#60, and bump version to 110.74

Revision 3652 - Directory Listing
Modified Thu Jan 12 21:49:32 2012 UTC (8 years 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 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 3324 - Directory Listing
Modified Thu May 7 23:20:21 2009 UTC (10 years, 8 months ago) by jriehl
"Unfixing" part of change made on 2009.04.28: removing parenthesis from 
a SeqExp that contains a nested FixAppExp can make the result ambiguous.  
The result will "round trip", but changes how the result will be 
compiled.  Added special case to fix this specific problem.

Revision 3305 - Directory Listing
Modified Tue Apr 28 18:42:17 2009 UTC (10 years, 8 months ago) by jriehl
Fixed some "bugs" in the PPAst pretty printer that were making "round 
trips" fail ((pp o parse o pp o parse) s != (pp o parse) s).  
Specifically:

   - The "fn" was not being prepended to FnExp's.

   - Removed parenthesis for sequence expressions of one
     subexpression.  (Iteratively sending this back to the parser kept
     adding nested parenthesis.)

   - A ">" was being appended after selector expressions ("#x" would
     pretty print as "#x>").

   - Fixed spelling error (was "stuct") and added whitespace between the
     structure body and the "end" keyword for BaseStr's.

   - Changed ":" to "=" for Strb's (note that constraints were not and
     are still not handled).

Revision 3234 - Directory Listing
Modified Fri Oct 31 02:39:39 2008 UTC (11 years, 2 months ago) by gkuan
Minor typo fix 

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

Revision 3117 - Directory Listing
Modified Thu Jul 17 03:31:51 2008 UTC (11 years, 6 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 (11 years, 10 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 (11 years, 10 months ago) by gkuan
fixed equality type signature matching bug

Revision 2885 - Directory Listing
Modified Thu Nov 15 22:43:51 2007 UTC (12 years, 2 months ago) by gkuan
rolled back accidental ppkind change in pptype.sml

Revision 2882 - Directory Listing
Modified Thu Nov 15 22:32:11 2007 UTC (12 years, 2 months ago) by gkuan
merge from trunk into primop-branch-3 (2741:2881)

Revision 2773 - Directory Listing
Modified Sat Sep 15 05:58:06 2007 UTC (12 years, 4 months ago) by gkuan
fixed performance bugs: seqdecl inserts into staticenv now does lazy consolidation and flintnm lexps2values debugging print eliminated (had quadratic behavior)

Revision 2624 - Directory Listing
Modified Tue May 29 23:00:44 2007 UTC (12 years, 7 months ago) by blume
added explicit test for divide-by-0 to translate phase for all div/mod/quot/rem ops

Revision 2603 - Directory Listing
Modified Wed May 23 21:50:42 2007 UTC (12 years, 8 months 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 (12 years, 8 months 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, 2 months ago) by blume
eliminated src dir

Revision 1863 - Directory Listing
Modified Tue Nov 15 22:38:49 2005 UTC (14 years, 2 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
improved the way certain libraries are bound into the compiler

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

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

Revision 1655 - Directory Listing
Modified Mon Oct 18 21:45:30 2004 UTC (15 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
eliminated group owners; added warning

Revision 1648 - Directory Listing
Modified Tue Oct 12 22:47:46 2004 UTC (15 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
additional improvement to region info propagation

Revision 1646 - Directory Listing
Modified Mon Oct 11 22:57:55 2004 UTC (15 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
eliminate unneeded argument

Revision 1645 - Directory Listing
Modified Mon Oct 11 21:37:17 2004 UTC (15 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
better region info propagation in elaborator

Revision 1642 - Directory Listing
Modified Thu Oct 7 21:00:04 2004 UTC (15 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
cleanup work

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

Revision 1486 - Directory Listing
Modified Tue May 11 17:04:01 2004 UTC (15 years, 8 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
extended some export lists

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

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

Revision 1347 - Directory Listing
Modified Thu Aug 28 21:59:15 2003 UTC (16 years, 4 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
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, 5 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator
merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

Revision 1336 - Directory Listing
Modified Tue Jun 17 20:36:59 2003 UTC (16 years, 7 months ago) by macqueen
Original Path: sml/trunk/src/compiler/Elaborator
fixed bug 895

Revision 1335 - Directory Listing
Modified Tue May 27 21:54:23 2003 UTC (16 years, 7 months ago) by mblume
Original Path: sml/trunk/src/compiler/Elaborator
eliminated many cases of poly-eq

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

Revision 1208 - Directory Listing
Modified Tue May 21 02:22:43 2002 UTC (17 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator
more controls cleanup; removed some wrongly-added things from config/preloads

Revision 1201 - Directory Listing
Modified Fri May 17 20:48:38 2002 UTC (17 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator
pushed new controls interface through compiler

Revision 1145 - Directory Listing
Modified Fri Mar 15 02:30:53 2002 UTC (17 years, 10 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator
moved Controls module into its own library;
changed Controls interface to make it saner;
made MLRISC independent of Controls;
minor changes to CM

Revision 1126 - Directory Listing
Modified Thu Mar 7 21:16:28 2002 UTC (17 years, 10 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator
implemented generic Controls module and used it for
all compiler flags/tuneable knobs/...;
more command-line options accepted (for setting the above controls);
some minor bug fixes

Revision 904 - Directory Listing
Modified Mon Aug 20 19:50:05 2001 UTC (18 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/Elaborator
fixed a minor slipup

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

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

Sort log by:

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