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

Log of /sml/trunk/compiler/ElabData

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 ago) by jhr
  Removed real patterns from Absyn and FLINT, since they are not allowed by SML'93.

Revision 4510 - Directory Listing
Modified Sun Oct 22 14:20:35 2017 UTC (2 years, 2 months ago) by jhr
prune type in numInfo and better tyToString

Revision 4509 - Directory Listing
Modified Sun Oct 22 13:46:28 2017 UTC (2 years, 2 months ago) by jhr
  fix typo

Revision 4499 - Directory Listing
Modified Mon Oct 16 19:01:43 2017 UTC (2 years, 3 months ago) by jhr
  Add some utility functions for dealing with int/word literals

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 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 4463 - Directory Listing
Modified Thu Oct 12 00:55:40 2017 UTC (2 years, 3 months ago) by dbm
added/revised some comments regarding FE primops; made primop_bind type abstract

Revision 4452 - Directory Listing
Modified Thu Sep 21 16:37:47 2017 UTC (2 years, 3 months ago) by dbm
changed cty in FLINT/cps/cps.{sig,sml}

Revision 4447 - Directory Listing
Modified Thu Sep 21 00:52:46 2017 UTC (2 years, 3 months ago) by jhr
fix type errors

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 4445 - Directory Listing
Modified Wed Sep 20 22:01:47 2017 UTC (2 years, 3 months ago) by dbm
minor fix to tyToString in TypesUtil

Revision 4443 - Directory Listing
Modified Wed Sep 20 21:44:46 2017 UTC (2 years, 3 months ago) by dbm
added a crude tyToString function to TypesUtil

Revision 4442 - Directory Listing
Modified Wed Sep 20 20:37:22 2017 UTC (2 years, 3 months ago) by jhr
  fix bug in printing

Revision 4439 - Directory Listing
Modified Wed Sep 20 18:45:26 2017 UTC (2 years, 3 months ago) by jhr
  Working towards 64-bit support.  Added Target module, which specifies the
  properties of the target (e.g., size in bits of default int type).  Reworked
  generation of InlineT structure to be target specific.  Some cleanup for
  primop bindings and FLINT's primtycs.

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

Revision 4436 - Directory Listing
Modified Tue Sep 19 22:47:57 2017 UTC (2 years, 3 months ago) by jhr
  Merge CoreBasicTypes into BasicTypes

Revision 4433 - Directory Listing
Modified Tue Sep 19 21:44:39 2017 UTC (2 years, 3 months ago) by jhr
minor edit

Revision 4432 - Directory Listing
Modified Tue Sep 19 21:40:38 2017 UTC (2 years, 3 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, 3 months ago) by jhr
working on new primops

Revision 4429 - Directory Listing
Modified Tue Sep 19 18:06:28 2017 UTC (2 years, 3 months ago) by dbm
updated ElabData/basics/primop.{sig/sml} with new primop_bind

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 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 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 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 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 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 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 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, 7 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/ElabData
improved the way certain libraries are bound into the compiler

Revision 1861 - Directory Listing
Modified Mon Nov 7 18:17:09 2005 UTC (14 years, 2 months ago) by jhr
Original Path: sml/trunk/src/compiler/ElabData
  Remove Substring.all.

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/ElabData
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/ElabData
eliminated group owners; added warning

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/ElabData
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/ElabData
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/ElabData
extended some export lists

Revision 1393 - Directory Listing
Modified Fri Sep 26 17:00:32 2003 UTC (16 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/ElabData
implemented autoloading on behalf of prettyprinter

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/ElabData
merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

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/ElabData
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/ElabData
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/ElabData
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/ElabData
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/ElabData
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/ElabData
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 905 - Directory Listing
Modified Thu Aug 23 21:53:02 2001 UTC (18 years, 4 months ago) by blume
Original Path: sml/trunk/src/compiler/ElabData
updates to environments, envrefs, interactive loop

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/ElabData
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/ElabData
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/ElabData
new organization of compiler libraries

Sort log by:

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