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-gkuan/compiler/FLINT/trans/translate.sml
ViewVC logotype

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

Parent Directory Parent Directory


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

Revision 2948 - (view) (download) (annotate) - [select for diffs]
Modified Sat Feb 16 18:11:07 2008 UTC (12 years, 6 months ago) by gkuan
File length: 64584 byte(s)
Diff to previous 2792
typestp.sml

Revision 2792 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 9 12:38:22 2007 UTC (12 years, 10 months ago) by gkuan
File length: 64237 byte(s)
Diff to previous 2788
compiles, still lots of TODOs and cannot fixpt

Revision 2788 - (view) (download) (annotate) - [select for diffs]
Modified Sat Sep 29 05:49:51 2007 UTC (12 years, 10 months ago) by gkuan
File length: 63798 byte(s)
Diff to previous 2787
first pass translate revision to recompute functor formals -- incomplete

Revision 2787 - (view) (download) (annotate) - [select for diffs]
Modified Sat Sep 29 05:18:54 2007 UTC (12 years, 10 months ago) by gkuan
File length: 63768 byte(s)
Diff to previous 2751
Creating private branch of sml/branches/primop-branch-3 for experimental Translate rewrite

Revision 2751 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 11 21:57:29 2007 UTC (12 years, 11 months ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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, 11 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 2 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 2 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 3 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 3 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 3 months ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 3 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 3 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 3 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 4 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 4 months ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 4 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 4 months ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 4 months ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 4 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 8 months ago) by blume
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 8 months ago) by blume
Original Path: sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml
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 (13 years, 9 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 (15 years, 9 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 (15 years, 9 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, 10 months 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, 11 months 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, 11 months 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, 11 months 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 (17 years 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 (17 years, 3 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 (18 years, 1 month 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 (18 years, 4 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 (18 years, 4 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 (18 years, 4 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 (18 years, 4 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 (18 years, 5 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, 11 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, 11 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 (19 years 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 (19 years, 1 month 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 (19 years, 7 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 (19 years, 7 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 (19 years, 7 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 (19 years, 9 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 (20 years, 2 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 (20 years, 4 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 (20 years, 4 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 (20 years, 8 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, 11 months 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 (21 years, 4 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 (22 years, 2 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 (22 years, 2 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 (22 years, 2 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 (22 years, 3 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 (22 years, 3 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 (22 years, 3 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 (22 years, 3 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 (22 years, 4 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 (22 years, 4 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 (22 years, 5 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 (22 years, 5 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 (22 years, 5 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