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 4870 - Directory Listing
Modified Sun Sep 30 10:42:32 2018 UTC (15 months, 3 weeks ago) by jhr
  Remove trailing whitespace

Revision 4671 - Directory Listing
Modified Sat Jun 16 01:51:19 2018 UTC (19 months, 1 week ago) by jhr
fix bug with error propagation

Revision 4627 - Directory Listing
Modified Tue May 29 23:15:38 2018 UTC (19 months, 4 weeks ago) by dbm
cleanup, documentation, and debugging support for match compiler (FLINT/trans/matchcomp.sml, etc.)

Revision 4587 - Directory Listing
Modified Sat May 12 21:59:32 2018 UTC (20 months, 2 weeks ago) by jhr
  Tweaking error messages to make them more consistent

Revision 4580 - Directory Listing
Modified Wed May 9 14:07:44 2018 UTC (20 months, 2 weeks ago) by jhr
use ListPair.foldl instead of List.foldl + ListPair.zip

Revision 4559 - Directory Listing
Modified Fri May 4 18:05:23 2018 UTC (20 months, 3 weeks ago) by jhr
better classification of real literals

Revision 4542 - Directory Listing
Modified Fri Apr 27 18:39:43 2018 UTC (20 months, 4 weeks ago) by dbm
deleted PACKexp from Absyn and other files referring to it

Revision 4538 - Directory Listing
Modified Sat Apr 21 17:12:11 2018 UTC (21 months ago) by jhr
  Propogate the source string for numeric literals into the
  Absyn so that it can be used in error messages.

Revision 4536 - Directory Listing
Modified Sat Apr 21 13:25:42 2018 UTC (21 months 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 (21 months 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 4527 - Directory Listing
Modified Sat Apr 14 14:41:11 2018 UTC (21 months, 1 week 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, 3 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, 4 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, 4 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, 9 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, 11 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, 11 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, 8 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, 5 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, 8 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