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/SMLNJ/src/compiler/FLINT/kernel/ltybasic.sig
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltybasic.sig

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

revision 17, Wed Mar 11 21:00:18 1998 UTC revision 24, Thu Mar 12 00:49:58 1998 UTC
# Line 85  Line 85 
85  (** adjusting an lty or tyc from one depth to another *)  (** adjusting an lty or tyc from one depth to another *)
86  val lt_adj     : lty * depth * depth -> lty  val lt_adj     : lty * depth * depth -> lty
87  val tc_adj     : tyc * depth * depth -> tyc  val tc_adj     : tyc * depth * depth -> tyc
88    val tc_adj_one : tyc * depth * depth -> tyc
89  val lt_adj_k   : lty * depth * depth * int -> lty                                  (* used by trans/transtypes.sml *)
 val tc_adj_k   : tyc * depth * depth * int -> tyc  
90    
91  (** finding out the depth for a tyc's innermost-bound free variables *)  (** finding out the depth for a tyc's innermost-bound free variables *)
92  val tc_depth : tyc * depth -> depth  val tc_depth : tyc * depth -> depth

Legend:
Removed from v.17  
changed lines
  Added in v.24

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