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/branches/primop-branch-3/compiler/FLINT/kernel/ltyextern.sig
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/kernel/ltyextern.sig

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

revision 2397, Wed Apr 11 14:46:59 2007 UTC revision 2398, Wed Apr 11 18:54:53 2007 UTC
# Line 3  Line 3 
3    
4  (*  (*
5   * This interface hides the implementation details of FLINT tkind, tyc, and   * This interface hides the implementation details of FLINT tkind, tyc, and
6   * lty defined inside LtyKernel. For each entity, we provide a series of   * lty defined inside Lty. For each entity, we provide a series of
7   * constructor funtions, deconstructor functions, predicate functions,   * constructor funtions, deconstructor functions, predicate functions,
8   * and other utility functions. We divide these functions into three files:   * and other utility functions. We divide these functions into three files:
9   * LtyDef contains the set of abstract constructor, deconstructor, and   * LtyDef contains the set of abstract constructor, deconstructor, and
# Line 22  Line 22 
22   * (2) functions should all be accessed as "LtyExtern.foo". The client   * (2) functions should all be accessed as "LtyExtern.foo". The client
23   * in general should never need to access LtyKernel.   * in general should never need to access LtyKernel.
24   *   *
25   * This interface should only refer to structures such as DebIndex, LtyKernel,   * This interface should only refer to structures such as DebIndex, Lty,
26   * PrimTyc, Symbol, and LtyBasic (indirectly LtyDef).   * PrimTyc, Symbol, and LtyBasic (indirectly LtyDef).
27   *)   *)
28    

Legend:
Removed from v.2397  
changed lines
  Added in v.2398

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