Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Log of /branches/vis12/src/compiler/typechecker/typechecker.sml
ViewVC logotype

Log of /branches/vis12/src/compiler/typechecker/typechecker.sml

Parent Directory Parent Directory


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

Revision 2826 - (view) (download) (annotate) - [select for diffs]
Modified Mon Nov 10 21:06:46 2014 UTC (4 years, 11 months ago) by jhr
File length: 59201 byte(s)
Diff to previous 2823
  detabbing

Revision 2823 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 9 03:57:35 2014 UTC (4 years, 11 months ago) by jhr
File length: 58172 byte(s)
Diff to previous 2813
  new unreachable code pruning; checks for missing strands/initially (the parser prevents
  these errors currently, but future language evolution may change that)

Revision 2813 - (view) (download) (annotate) - [select for diffs]
Modified Sat Nov 8 21:48:17 2014 UTC (4 years, 11 months ago) by jhr
File length: 57821 byte(s)
Diff to previous 2805
  Fix for bug 019 (allowing richer initializers for input globals).

Revision 2805 - (view) (download) (annotate) - [select for diffs]
Modified Sat Nov 8 17:34:20 2014 UTC (4 years, 11 months ago) by jhr
File length: 56957 byte(s)
Diff to previous 2786
  detabbing; some changes from vis12-cl branch

Revision 2786 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 14 19:39:27 2014 UTC (5 years ago) by jhr
File length: 56773 byte(s)
Diff to previous 2784
  merging some changes from the vis12-cl branch

Revision 2784 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 14 19:08:47 2014 UTC (5 years ago) by jhr
File length: 56718 byte(s)
Diff to previous 2780
  Fix for bug013; it is now a type error to declare non-value-type strand variables.

Revision 2780 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 14 14:51:36 2014 UTC (5 years ago) by jhr
File length: 56732 byte(s)
Diff to previous 2723
  Fixed bug018 (conflicts with C reserved words).  Also fixed issues for programs
  that do not define global or input variables.

Revision 2723 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 23 21:06:29 2014 UTC (5 years ago) by jhr
File length: 56571 byte(s)
Diff to previous 2722
  tab expansion

Revision 2722 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 23 20:56:24 2014 UTC (5 years ago) by jhr
File length: 55790 byte(s)
Diff to previous 2674
  Fix bug022 (empty sequence not supported yet)

Revision 2674 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 19 20:52:58 2014 UTC (5 years, 2 months ago) by jhr
File length: 55726 byte(s)
Diff to previous 2654
  Fixed bug034 (issues with unused variable tracking)

Revision 2654 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 30 03:36:53 2014 UTC (5 years, 4 months ago) by jhr
File length: 55583 byte(s)
Diff to previous 2652
  Added unused variable warnigns

Revision 2652 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 23:14:49 2014 UTC (5 years, 4 months ago) by jhr
File length: 54731 byte(s)
Diff to previous 2651
  Working on unused variable warnings

Revision 2651 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 29 21:31:37 2014 UTC (5 years, 4 months ago) by jhr
File length: 54155 byte(s)
Diff to previous 2365
  Starting to add support for detecting unused and shadowed variables.

Revision 2365 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 12 12:52:31 2013 UTC (6 years, 6 months ago) by jhr
File length: 53901 byte(s)
Diff to previous 2271
  merging in changes from Lamont's branch.

Revision 2271 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 7 20:09:32 2013 UTC (6 years, 7 months ago) by jhr
File length: 52218 byte(s)
Diff to previous 2249
  Working on support for empty sequences

Revision 2249 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 4 18:23:35 2013 UTC (6 years, 7 months ago) by jhr
File length: 52029 byte(s)
Diff to previous 2211
  Fix for bug020 (updating of globals using the +=, etc. should not be allowed).

Revision 2211 - (view) (download) (annotate) - [select for diffs]
Modified Tue Feb 26 12:13:36 2013 UTC (6 years, 7 months ago) by jhr
File length: 51533 byte(s)
Diff to previous 2206
  Typecheck strand creation.

Revision 2206 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 25 19:09:18 2013 UTC (6 years, 7 months ago) by jhr
File length: 50155 byte(s)
Diff to previous 2184
  code cleanup

Revision 2184 - (view) (download) (annotate) - [select for diffs]
Modified Sun Feb 24 01:59:49 2013 UTC (6 years, 7 months ago) by jhr
File length: 37289 byte(s)
Diff to previous 2172
  Fix issues in bug012.diderot.

Revision 2172 - (view) (download) (annotate) - [select for diffs]
Modified Sat Feb 23 13:47:05 2013 UTC (6 years, 7 months ago) by jhr
File length: 37290 byte(s)
Diff to previous 2170
  Removed obsolete comment

Revision 2170 - (view) (download) (annotate) - [select for diffs]
Modified Sat Feb 23 13:41:17 2013 UTC (6 years, 7 months ago) by jhr
File length: 37356 byte(s)
Diff to previous 2159
  Fix uncaught exception when attempting to match argument types.

Revision 2159 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 18 20:16:48 2013 UTC (6 years, 7 months ago) by jhr
File length: 37359 byte(s)
Diff to previous 2158
  Minor cleanup

Revision 2158 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 18 17:10:19 2013 UTC (6 years, 7 months ago) by jhr
File length: 37288 byte(s)
Diff to previous 2155
  Fix the handling of function parameters to allow them to shadow previous declarations (bug005).

Revision 2155 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 18 16:54:49 2013 UTC (6 years, 7 months ago) by jhr
File length: 37380 byte(s)
Diff to previous 2151
  Add comprehensive checking for bad control flow to the typechecker.

Revision 2151 - (view) (download) (annotate) - [select for diffs]
Modified Sun Feb 17 19:07:20 2013 UTC (6 years, 7 months ago) by jhr
File length: 34076 byte(s)
Diff to previous 2149
  Add check that strands have at least one output variable.

Revision 2149 - (view) (download) (annotate) - [select for diffs]
Modified Sun Feb 17 18:22:12 2013 UTC (6 years, 7 months ago) by jhr
File length: 33708 byte(s)
Diff to previous 2141
  Fixed it so that type errors are no longer reported as uncaught exceptions.  Note that we
  still only handle one error at a time.

Revision 2141 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 15 13:13:46 2013 UTC (6 years, 7 months ago) by jhr
File length: 33410 byte(s)
Diff to previous 2134
  Added function inliner to simplify phase.

Revision 2134 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 11 12:32:58 2013 UTC (6 years, 8 months ago) by jhr
File length: 33338 byte(s)
Diff to previous 2133
  Bug fix: sequence dimensions are not limited to 1..3!

Revision 2133 - (view) (download) (annotate) - [select for diffs]
Modified Sun Feb 10 20:40:26 2013 UTC (6 years, 8 months ago) by jhr
File length: 33132 byte(s)
Diff to previous 2117
  Added parsing and typechecking support for user-defined functions

Revision 2117 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jan 21 02:43:14 2013 UTC (6 years, 8 months ago) by jhr
File length: 31085 byte(s)
Diff to previous 2050
  when integer literals are promoted to real, convert the literals instead of
  putting a type coercion into the AST.

Revision 2050 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 22 14:11:49 2012 UTC (6 years, 11 months ago) by jhr
File length: 30896 byte(s)
Diff to previous 2019
  Allow images as inputs

Revision 2019 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 10 11:48:09 2012 UTC (7 years ago) by jhr
File length: 30837 byte(s)
Diff to previous 2011
  fixed bug in typechecker

Revision 2011 - (view) (download) (annotate) - [select for diffs]
Modified Sun Oct 7 21:14:31 2012 UTC (7 years ago) by jhr
File length: 30844 byte(s)
Diff to previous 1992
  Working on inputs

Revision 1992 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 27 10:23:12 2012 UTC (7 years ago) by jhr
File length: 30852 byte(s)
Diff to previous 1991
  Working on dynamic sequence loading

Revision 1991 - (view) (download) (annotate) - [select for diffs]
Modified Sun Aug 12 15:25:39 2012 UTC (7 years, 2 months ago) by jhr
File length: 30382 byte(s)
Diff to previous 1975
  Working on dynamic sequences

Revision 1975 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 16 01:01:19 2012 UTC (7 years, 3 months ago) by jhr
File length: 30139 byte(s)
Diff to previous 1973
  Fix missing promotion cases

Revision 1973 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jul 15 20:45:59 2012 UTC (7 years, 3 months ago) by jhr
File length: 29741 byte(s)
Diff to previous 1971
  Bug fixes for int to real promotion

Revision 1971 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jul 15 16:24:43 2012 UTC (7 years, 3 months ago) by jhr
File length: 29946 byte(s)
Diff to previous 1945
  Implementing int -> real promotion

Revision 1945 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jul 6 14:54:21 2012 UTC (7 years, 3 months ago) by jhr
File length: 28833 byte(s)
Diff to previous 1925
  Working on ":" support

Revision 1925 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 23 14:16:09 2012 UTC (7 years, 3 months ago) by jhr
File length: 27658 byte(s)
Diff to previous 1688
  Added length function on dynamic sequences

Revision 1688 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jan 25 13:36:13 2012 UTC (7 years, 8 months ago) by jhr
File length: 27613 byte(s)
Diff to previous 1687
  More work on dynamic sequences.

Revision 1687 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jan 25 13:02:32 2012 UTC (7 years, 8 months ago) by jhr
File length: 27614 byte(s)
Diff to previous 1685
  Working on support for dynamic sequences; also adding support for type coercions.

Revision 1685 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jan 22 15:23:36 2012 UTC (7 years, 8 months ago) by jhr
File length: 27103 byte(s)
Diff to previous 1640
  Create a branch to implement things that we need for the Vis 2012 paper

Revision 1640 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 16 02:19:51 2011 UTC (7 years, 11 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 27103 byte(s)
Diff to previous 1444
  Merging in changes from pure-cfg branch.

Revision 1444 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 11 12:11:53 2011 UTC (8 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 25279 byte(s)
Diff to previous 1301
  Merging in changes from pure-cfg branch: removed CL, expanded trace, and added method name
  datatype.

Revision 1301 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 9 23:58:40 2011 UTC (8 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 25226 byte(s)
Diff to previous 1296
  Added support for hest-based command-line arguments to trunk.  Also switched
  output filename to prog.txt (from mip.txt)

Revision 1296 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 9 12:42:09 2011 UTC (8 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 24883 byte(s)
Diff to previous 1116
  Adding support for assignment operators to the trunk.

Revision 1116 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 5 04:49:02 2011 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 24383 byte(s)
Diff to previous 511
  more merging of pure-cfg changes back into trunk

Revision 511 - (view) (download) (annotate) - [select for diffs]
Modified Tue Feb 8 17:01:43 2011 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18841 byte(s)
Diff to previous 475
  Backporting changes from pure-cfg branch.  These include the "actor" ==> "strand"
  changes.

Revision 475 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 4 18:57:11 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18812 byte(s)
Diff to previous 435
  Changed typing rules for tensor construction.  The convention is now slow-to-fast
  for tensor dimensions.

Revision 435 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 19 13:14:20 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18713 byte(s)
Diff to previous 416
  Upated URL in header to diderot-language.cs.uchicago.edu

Revision 416 - (view) (download) (annotate) - [select for diffs]
Modified Sun Oct 17 00:32:07 2010 UTC (9 years ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18704 byte(s)
Diff to previous 399
  Bug fix: get the result type of condtional expressions right when simplifying

Revision 399 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 14 20:08:35 2010 UTC (9 years ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18677 byte(s)
Diff to previous 381
  Working on slice support

Revision 381 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 5 21:42:17 2010 UTC (9 years ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18705 byte(s)
Diff to previous 370
  Working on adding slice notation and fixed precedence of differentiation

Revision 370 - (view) (download) (annotate) - [select for diffs]
Modified Sat Oct 2 17:19:14 2010 UTC (9 years ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 17805 byte(s)
Diff to previous 235
  Added parse-tree support for conditional expressions (still need parser support)

Revision 235 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 5 21:57:46 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 17268 byte(s)
Diff to previous 228
  Bug fixes

Revision 228 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 4 13:36:35 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 17274 byte(s)
Diff to previous 173
  Made typechecking more strict.

Revision 173 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 15:37:50 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 16174 byte(s)
Diff to previous 171
  Cleanup and simplification of AST representation

Revision 171 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 14:13:10 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 16089 byte(s)
Diff to previous 170
  Adding simple-ast representation

Revision 170 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 13:30:47 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 16197 byte(s)
Diff to previous 169
  Restrict polymorphism to operators/functions.

Revision 169 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 22 20:07:37 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 16172 byte(s)
Diff to previous 164
  Split function and variable namespaces and add notion of restricted operations
  that cannot appear inside actor or initialization code.

Revision 164 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jul 20 18:56:04 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 15543 byte(s)
Diff to previous 110
  Added output state variables and stabilize methods

Revision 110 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jun 23 19:28:48 2010 UTC (9 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 15525 byte(s)
Diff to previous 99
  Moving compiler sources into src/compiler

Revision 99 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 28 00:14:34 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 15525 byte(s)
Diff to previous 96
  Better error messages

Revision 96 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 27 17:57:31 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 14781 byte(s)
Diff to previous 91
  Code reorg and added type arguments to variable printing in ASTPP.

Revision 91 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 27 15:16:36 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 14769 byte(s)
Diff to previous 89
  Fixed some bugs in the basis

Revision 89 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 27 01:37:21 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 14718 byte(s)
Diff to previous 88
  Working on typechecker

Revision 88 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 23:07:50 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 12974 byte(s)
Diff to previous 86
  Working on typechecker

Revision 86 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 22:23:17 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 12232 byte(s)
Diff to previous 85
  Added new syntax for tensor-value construction and more work on typechecker.

Revision 85 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 19:51:10 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 12031 byte(s)
Diff to previous 83
  Working on typechecker

Revision 83 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 18:50:44 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 11313 byte(s)
Diff to previous 82
  More work on the typechecker

Revision 82 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 18:20:49 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 10444 byte(s)
Diff to previous 81
  Working on typechecker

Revision 81 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 17:28:54 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 8962 byte(s)
Diff to previous 80
  Working on typechecker

Revision 80 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 25 03:05:33 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 6051 byte(s)
Diff to previous 75
  Working on typechecker

Revision 75 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 20:41:18 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 6011 byte(s)
Diff to previous 72
  Propoagating changes to meta variables

Revision 72 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 22:48:47 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 6010 byte(s)
Diff to previous 71
  Working on typechecker

Revision 71 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 22:16:04 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 4003 byte(s)
Diff to previous 70
  Working on typechecker

Revision 70 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 14:23:32 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 3123 byte(s)
Diff to previous 69
  Working on typechecker

Revision 69 - (view) (download) (annotate) - [select for diffs]
Added Tue May 18 21:23:53 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 709 byte(s)
  Starting to write a typechecker

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