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

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltybasic.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 115  Line 115 
115  val initTkEnv: tkindEnv  val initTkEnv: tkindEnv
116  val tkLookup : tkindEnv * int * int -> tkind  val tkLookup : tkindEnv * int * int -> tkind
117  val tkInsert : tkindEnv * tkind list -> tkindEnv  val tkInsert : tkindEnv * tkind list -> tkindEnv
118    val tkLookupFreeVars : tkindEnv * LtyKernel.enc_tvar list -> tkind list
119    
120  (** utility functions on tycEnv *)  (** utility functions on tycEnv *)
121  exception tcUnbound  exception tcUnbound

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