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 196, Fri Nov 20 18:16:19 1998 UTC revision 197, Sun Nov 22 01:25:23 1998 UTC
# Line 29  Line 29 
29    
30  datatype tycI  datatype tycI
31    = TC_VAR of DebIndex.index * int            (* tyc variable *)    = TC_VAR of DebIndex.index * int            (* tyc variable *)
32    | TC_NVAR of tvar * DebIndex.depth * int    (* named tyc variable *)    | TC_NVAR of tvar                           (* named tyc variable *)
33    | TC_PRIM of PrimTyc.primtyc                (* primitive tyc *)    | TC_PRIM of PrimTyc.primtyc                (* primitive tyc *)
34    | TC_FN of tkind list * tyc                 (* tyc abstraction *)    | TC_FN of tkind list * tyc                 (* tyc abstraction *)
35    | TC_APP of tyc * tyc list                  (* tyc application *)    | TC_APP of tyc * tyc list                  (* tyc application *)
# Line 102  Line 102 
102  (** finding out the depth for a tyc's innermost-bound free variables *)  (** finding out the depth for a tyc's innermost-bound free variables *)
103  val tc_depth : tyc * DebIndex.depth -> DebIndex.depth  val tc_depth : tyc * DebIndex.depth -> DebIndex.depth
104  val tcs_depth: tyc list * DebIndex.depth -> DebIndex.depth  val tcs_depth: tyc list * DebIndex.depth -> DebIndex.depth
105    val tc_nvars : tyc -> tvar list
106    val lt_nvars : lty -> tvar list
107    
108  (** utility functions on tkindEnv *)  (** utility functions on tkindEnv *)
109  type tkindEnv  type tkindEnv

Legend:
Removed from v.196  
changed lines
  Added in v.197

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