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

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltykernel.sig

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

revision 52, Mon Mar 23 03:59:51 1998 UTC revision 53, Mon Mar 23 04:02:58 1998 UTC
# Line 106  Line 106 
106  val tc_depth : tyc * DebIndex.depth -> DebIndex.depth  val tc_depth : tyc * DebIndex.depth -> DebIndex.depth
107  val tcs_depth: tyc list * DebIndex.depth -> DebIndex.depth  val tcs_depth: tyc list * DebIndex.depth -> DebIndex.depth
108    
109    (** accessing and decoding free variables *)
110    type enc_tvar
111    val tvDecode    : enc_tvar -> DebIndex.depth * DebIndex.index
112    val tc_freevars : tyc -> enc_tvar list option
113    
114  (** utility functions for TC_ENV and LT_ENV types *)  (** utility functions for TC_ENV and LT_ENV types *)
115  val tcc_env  : tyc * int * int * tycEnv -> tyc  val tcc_env  : tyc * int * int * tycEnv -> tyc
116  val ltc_env  : lty * int * int * tycEnv -> lty  val ltc_env  : lty * int * int * tycEnv -> lty

Legend:
Removed from v.52  
changed lines
  Added in v.53

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