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 53, Mon Mar 23 04:02:58 1998 UTC revision 65, Wed Apr 1 20:57:44 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 *)  (** utility functions on tkindEnv *)
110  type enc_tvar  type tkindEnv
111  val tvDecode    : enc_tvar -> DebIndex.depth * DebIndex.index  exception tkUnbound
112  val tc_freevars : tyc -> enc_tvar list option  val initTkEnv        : tkindEnv
113    val tkLookup         : tkindEnv * int * int -> tkind
114    val tkInsert         : tkindEnv * tkind list -> tkindEnv
115    val tkLookupFreeVars : tkindEnv * tyc -> tkind list option
116    
117  (** utility functions for TC_ENV and LT_ENV types *)  (** utility functions for TC_ENV and LT_ENV types *)
118  val tcc_env  : tyc * int * int * tycEnv -> tyc  val tcc_env  : tyc * int * int * tycEnv -> tyc

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

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