Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/compiler/Elaborator/basics/debindex.sml
ViewVC logotype

Diff of /sml/trunk/compiler/Elaborator/basics/debindex.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

sml/trunk/src/compiler/Elaborator/basics/debindex.sml revision 902, Wed Aug 15 21:17:05 2001 UTC sml/trunk/compiler/Elaborator/basics/debindex.sml revision 2492, Fri May 4 03:39:10 2007 UTC
# Line 6  Line 6 
6   * by the FLINT type and term language. The notion of depth   * by the FLINT type and term language. The notion of depth
7   * refers to the type-binding depth relative to the top level   * refers to the type-binding depth relative to the top level
8   * of the current compilation unit. I can't make type depth   * of the current compilation unit. I can't make type depth
9   * and index abstract because certain clients wants to use   * and index abstract because certain clients want to use
10   * the values of these types as table indices.   * the values of these types as table indices.
11   *)   *)
12    

Legend:
Removed from v.902  
changed lines
  Added in v.2492

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