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 64, Tue Mar 31 05:26:51 1998 UTC revision 65, Wed Apr 1 20:57:44 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
 val tkLookupFreeVars : tkindEnv * LtyKernel.enc_tvar list -> tkind list  
118    
119  (** utility functions on tycEnv *)  (** utility functions on tycEnv *)
120  exception tcUnbound  exception tcUnbound

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

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