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/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
ViewVC logotype

Log of /sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml

Parent Directory Parent Directory


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

Revision 3034 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 23 04:40:21 2008 UTC (11 years, 5 months ago) by gkuan
File length: 69187 byte(s)
Diff to previous 3033
two pass SEQdec, strbs, fctbs processing to populate flexmap

Revision 3033 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 22 18:51:22 2008 UTC (11 years, 5 months ago) by gkuan
File length: 68596 byte(s)
Diff to previous 3031
fixing handling of SEQdec

Revision 3031 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 20 20:25:54 2008 UTC (11 years, 5 months ago) by gkuan
File length: 67612 byte(s)
Diff to previous 3029
using functional map passing in Translate and TransTypes, does not bootstrap yet

Revision 3029 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 19 11:18:09 2008 UTC (11 years, 5 months ago) by gkuan
File length: 66845 byte(s)
Diff to previous 3028


Revision 3028 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 16 21:30:21 2008 UTC (11 years, 5 months ago) by gkuan
File length: 66762 byte(s)
Diff to previous 3027
consolidated reptycprops and translate compiles, commented out ABSdec, superseded by opaque ascription

Revision 3027 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 15 20:45:40 2008 UTC (11 years, 5 months ago) by gkuan
File length: 66265 byte(s)
Diff to previous 3006


Revision 3006 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 25 20:02:56 2008 UTC (11 years, 6 months ago) by gkuan
File length: 65272 byte(s)
Diff to previous 2972
lots of bugfixes and formal functor setup...not complete

Revision 2972 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 6 13:49:59 2008 UTC (11 years, 6 months ago) by gkuan
File length: 65295 byte(s)
Diff to previous 2964
fixed some deBruijn indexing bugs

Revision 2964 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 30 05:07:37 2008 UTC (11 years, 6 months ago) by gkuan
File length: 64761 byte(s)
Diff to previous 2963
fixed duplicate representative entpaths for multiple nested instances of same formal

Revision 2963 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 29 02:18:46 2008 UTC (11 years, 6 months ago) by gkuan
File length: 64721 byte(s)
Diff to previous 2961
fixed reptycprops tycpath computation for datatypes, opaque ascription for datatypes, and opaque sealing for nested type definitions plus transtypes no longer prints debug information unless flag turned on

Revision 2961 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 24 02:55:01 2008 UTC (11 years, 7 months ago) by gkuan
File length: 64722 byte(s)
Diff to previous 2910
merged in primop-branch-gkuan 2742:2960 elimination of tycpath in Elaboration and reconstitution in translate

Revision 2910 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 22 02:36:15 2007 UTC (11 years, 11 months ago) by gkuan
File length: 63906 byte(s)
Diff to previous 2751
Added ppTycpath and getFctKnd scaffolding

Revision 2751 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 11 21:57:29 2007 UTC (12 years, 1 month ago) by gkuan
File length: 63768 byte(s)
Diff to previous 2745
Added RepTycProps module for computing tycpaths just before translation. Saving functor parameter dummy instantiation as paramEnts in resp. fctEntity and Lambda

Revision 2745 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 30 18:56:33 2007 UTC (12 years, 1 month ago) by dbm
File length: 63720 byte(s)
Diff to previous 2736
reorganization of FLINT/kernel, step 1

Revision 2736 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 10 22:10:20 2007 UTC (12 years, 2 months ago) by gkuan
File length: 63703 byte(s)
Diff to previous 2735


Revision 2735 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 10 22:07:20 2007 UTC (12 years, 2 months ago) by gkuan
File length: 63629 byte(s)
Diff to previous 2730
computing functor parameter kinds in translate...first step in defunctorizing Elaborator

Revision 2730 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 23 20:45:02 2007 UTC (12 years, 3 months ago) by gkuan
File length: 62211 byte(s)
Diff to previous 2648
commented out Absyn.PACKexp and PLambda.PACK related code...Does not seem to do anything because PACKexp should never be introduced after matchStr

Revision 2648 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 31 19:23:01 2007 UTC (12 years, 4 months ago) by dbm
File length: 62207 byte(s)
Diff to previous 2636
merge from trunk (2631:2647)

Revision 2636 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 30 20:22:55 2007 UTC (12 years, 4 months ago) by dbm
File length: 62009 byte(s)
Diff to previous 2479
merge from trunk (2610:2630)

Revision 2479 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 1 21:43:08 2007 UTC (12 years, 5 months ago) by dbm
File length: 61421 byte(s)
Diff to previous 2475
simplification of mkVBs in simple variable binding case; use anyErrors to suppress spurious reports about unresolved FLEX tyvars

Revision 2475 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 30 23:30:34 2007 UTC (12 years, 5 months ago) by dbm
File length: 62779 byte(s)
Diff to previous 2472
modified typecheck.sml and translate.sml to move checking for unresolved (hidden) flex record types into the front end

Revision 2472 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 30 21:53:36 2007 UTC (12 years, 5 months ago) by gkuan
File length: 63136 byte(s)
Diff to previous 2456
fixed spurious FLINT error for bug1396.1 by checking for errors right after translation (i.e. before wrap and normalize)

Revision 2456 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 27 05:21:38 2007 UTC (12 years, 6 months ago) by dbm
File length: 63020 byte(s)
Diff to previous 2455
added Control.Elab.tcdebugging and Control.Elab.unidebugging flags for type checking and unification. Some reorg of Control.

Revision 2455 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 26 22:10:42 2007 UTC (12 years, 6 months ago) by dbm
File length: 63004 byte(s)
Diff to previous 2451
modified sigmatch.sml to eliminate secondary error

Revision 2451 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 24 21:48:40 2007 UTC (12 years, 6 months ago) by dbm
File length: 63017 byte(s)
Diff to previous 2428
bug fixes, changed TV_MARK to LBOUND, first attempt to compute LBOUND indexes in front end

Revision 2428 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 18 21:53:03 2007 UTC (12 years, 6 months ago) by dbm
File length: 62191 byte(s)
Diff to previous 2399
fixed open bug in trans/translate.sml and minor update to primop-list

Revision 2399 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 11 19:55:16 2007 UTC (12 years, 6 months ago) by gkuan
File length: 61497 byte(s)
Diff to previous 2398
spurious debugging output turned out

Revision 2398 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 11 18:54:53 2007 UTC (12 years, 6 months ago) by dbm
File length: 61706 byte(s)
Diff to previous 2394
fixed final bootstrap bug -- successful boot

Revision 2394 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 10 21:34:29 2007 UTC (12 years, 6 months ago) by gkuan
File length: 61595 byte(s)
Diff to previous 2389
translate mkVBs prim intrinsic and occty type equality test bug fix

Revision 2389 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 9 17:03:21 2007 UTC (12 years, 6 months ago) by gkuan
File length: 61452 byte(s)
Diff to previous 2386
fixed matchInstTypes case for translate -- i.e., matchInstTypes should follow through abstract types unlike during signature matching, turned off plam typechecking and kind checking to get to the realconst (matchInstTypes) bug

Revision 2386 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 5 22:26:48 2007 UTC (12 years, 6 months ago) by dbm
File length: 61309 byte(s)
Diff to previous 2222
various small edits

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (12 years, 10 months ago) by blume
File length: 61153 byte(s)
Diff to previous 2221
merged all changes from primop-branch-2

Revision 2221 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 21:56:55 2006 UTC (12 years, 10 months ago) by blume
File length: 50501 byte(s)
Diff to previous 2162
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (12 years, 11 months ago) by blume
Original Path: sml/trunk/compiler/FLINT/trans/translate.sml
File length: 50501 byte(s)
Diff to previous 1683
eliminated src dir

Revision 1683 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 11 00:12:41 2004 UTC (14 years, 11 months ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 50501 byte(s)
Diff to previous 1682
more 64-bit hacking (still in the middle of it, though)

Revision 1682 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 9 23:48:09 2004 UTC (14 years, 11 months ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 50372 byte(s)
Diff to previous 1641
started building support for 64-bit types

Revision 1641 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 6 20:18:55 2004 UTC (15 years ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 50179 byte(s)
Diff to previous 1374
minor cleanup in absyn and btrace

Revision 1374 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 22:17:10 2003 UTC (16 years, 1 month ago) by macqueen
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 50193 byte(s)
Diff to previous 1371
undoing accidental commit of files intended for primop-branch

Revision 1371 - (view) (download) (annotate) - [select for diffs]
Modified Mon Sep 15 03:43:47 2003 UTC (16 years, 1 month ago) by macqueen
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 50199 byte(s)
Diff to previous 1347
eliminate type from inline info

Revision 1347 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 28 21:59:15 2003 UTC (16 years, 1 month ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 50193 byte(s)
Diff to previous 1344
implemented IntInf in Basis and compiler;
new version number; new bootfiles

Revision 1344 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 13 18:04:08 2003 UTC (16 years, 2 months ago) by macqueen
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 45853 byte(s)
Diff to previous 1332
merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

Revision 1332 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 18 03:21:16 2003 UTC (16 years, 5 months ago) by mblume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 45865 byte(s)
Diff to previous 1249
added IF/WHILE/ANDALSO/ORELSE to Absyn (to improve error messages)

Revision 1249 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jun 25 21:23:40 2002 UTC (17 years, 4 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 45323 byte(s)
Diff to previous 1183
fixed bug in FP translation of INLMAX and INLMIN

Revision 1183 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 29 19:09:48 2002 UTC (17 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 45323 byte(s)
Diff to previous 1180
division primops, inline primops for min/max/abs

Revision 1180 - (view) (download) (annotate) - [select for diffs]
Modified Tue Mar 26 22:24:24 2002 UTC (17 years, 7 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 48699 byte(s)
Diff to previous 1178
improved implementation of div, mod, and rem

Revision 1178 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 25 20:51:48 2002 UTC (17 years, 7 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46935 byte(s)
Diff to previous 1174
raw-primop cleanup

Revision 1174 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 23 21:14:40 2002 UTC (17 years, 7 months ago) by leunga
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 47495 byte(s)
Diff to previous 1078

    Added some new primops for creating/manipulating temporary "C" objects
    allocated on the ml heap.

Revision 1078 - (view) (download) (annotate) - [select for diffs]
Modified Tue Feb 19 21:26:48 2002 UTC (17 years, 8 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46994 byte(s)
Diff to previous 904
a mix of changes to CM and FFI

Revision 904 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 20 19:50:05 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46894 byte(s)
Diff to previous 903
fixed a minor slipup

Revision 903 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 20 19:34:06 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46839 byte(s)
Diff to previous 902
library debugprof.cm extracted

Revision 902 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 15 21:17:05 2001 UTC (18 years, 2 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46705 byte(s)
Diff to previous 879
new organization of compiler libraries

Revision 879 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 19 18:59:38 2001 UTC (18 years, 3 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46519 byte(s)
Diff to previous 774
extensive organizational changes

Revision 774 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jan 10 12:50:56 2001 UTC (18 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46512 byte(s)
Diff to previous 773
merging changes from private branch

Revision 773 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jan 8 16:18:37 2001 UTC (18 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46508 byte(s)
Diff to previous 772
merging changes from private branch

Revision 772 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jan 4 15:36:41 2001 UTC (18 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46229 byte(s)
Diff to previous 733
merging changes from private branch

Revision 733 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 17 05:13:45 2000 UTC (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46817 byte(s)
Diff to previous 651
merged the big housecleaning patch (see HISTORY!)

Revision 651 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46766 byte(s)
Diff to previous 592
bring revisions from the vendor branch to the trunk

Revision 592 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 3 07:04:12 2000 UTC (19 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46766 byte(s)
Diff to previous 587
merging branch blume_devel_v110p26p2_1 (elimination of corenv)

Revision 587 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 30 09:01:52 2000 UTC (19 years, 6 months ago) by blume
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46785 byte(s)
Diff to previous 504
merging back development branch blume_devel_v110p26p1_3...
This involves changes to CM and the removal of CMStaticEnv from
the compiler.  See the HISTORY file for more information.

Revision 504 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 7 18:31:05 1999 UTC (19 years, 10 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46553 byte(s)
Diff to previous 422
the 110.25 merge compiles

Revision 422 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 5 22:49:38 1999 UTC (20 years, 1 month ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46419 byte(s)
Diff to previous 251
merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

Revision 251 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 6 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46274 byte(s)
Diff to previous 122
First try at a merge of 110.16

Revision 122 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 6 15:05:38 1998 UTC (21 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46192 byte(s)
Diff to previous 118
addition of fcontract and fixfix and Control.FLINT

Revision 118 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 21:38:17 1998 UTC (21 years, 4 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46194 byte(s)
Diff to previous 109
merged in 110.7 changes

Revision 109 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 29 02:12:55 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46916 byte(s)
Diff to previous 102
merged in 110.6 changes

Revision 102 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 14 05:53:10 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46353 byte(s)
Diff to previous 101
merged in 110.5.1 from Zhong

Revision 101 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 14 04:56:46 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 46354 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/trans/translate.sml revision 100
Diff to previous 100
This commit was generated by cvs2svn to compensate for changes in r100,
which included commits to RCS files with non-trunk default branches.

Revision 100 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 14 04:56:46 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/translate.sml
File length: 46354 byte(s)
Diff to previous 93
110.5.1 from Zhong

Revision 93 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 12 21:56:22 1998 UTC (21 years, 5 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/translate.sml
File length: 42975 byte(s)
Diff to previous 69
*** empty log message ***

Revision 69 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 3 00:06:55 1998 UTC (21 years, 6 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/translate.sml
File length: 42871 byte(s)
Diff to previous 45
*** empty log message ***

Revision 45 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/translate.sml
File length: 42865 byte(s)
Diff to previous 24
*** empty log message ***

Revision 24 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/translate.sml
File length: 45803 byte(s)
Diff to previous 17
*** empty log message ***

Revision 17 - (view) (download) (annotate) - [select for diffs]
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 7 months ago) by
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/trans/translate.sml
File length: 42718 byte(s)
Diff to previous 16
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 16 - (view) (download) (annotate) - [select for diffs]
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 7 months ago) by monnier
Original Path: sml/trunk/src/compiler/FLINT/trans/translate.sml
File length: 42718 byte(s)
Initial revision

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