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/ltydef.sig
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/kernel/ltydef.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, and   * constructor funtions, deconstructor functions, predicate functions, and
8   * functions that test equivalence and do pretty-printing. This interface   * functions that test equivalence and do pretty-printing. This interface
9   * should only refer to DebIndex, LtyKernel, PrimTyc, and Symbol.   * should only refer to DebIndex, Lty, PrimTyc, and Symbol.
10   *)   *)
11    
12  signature LTYDEF =  signature LTYDEF =

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