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

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltyextern.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 47  Line 47 
47  exception LtyAppChk  exception LtyAppChk
48  val lt_inst_chk_gen : unit -> lty * tyc list * tkindEnv -> lty list  val lt_inst_chk_gen : unit -> lty * tyc list * tkindEnv -> lty list
49    
50    (* substitution of named type variables *)
51    (*** CLEAN THIS UP ***)
52    val tc_nvar_elim_gen : unit -> (tvar * DebIndex.depth -> tyc option)
53                                -> DebIndex.depth -> tyc -> tyc
54    val lt_nvar_elim_gen : unit -> (tvar * DebIndex.depth -> tyc option)
55                                -> DebIndex.depth -> lty -> lty
56    
57    val tc_nvar_subst_gen : unit -> (tvar * tyc) list -> tyc -> tyc
58    val lt_nvar_subst_gen : unit -> (tvar * tyc) list -> lty -> lty
59    
60    val tc_nvar_cvt_gen : unit -> (tvar * int) list
61                               -> DebIndex.depth -> tyc -> tyc
62    val lt_nvar_cvt_gen : unit -> (tvar * int) list
63                               -> DebIndex.depth -> lty -> lty
64    
65  (* special adjustment functions used during type specializations *)  (* special adjustment functions used during type specializations *)
66  val lt_sp_adj : tkind list * lty * tyc list * int * int -> lty  val lt_sp_adj : tkind list * lty * tyc list * int * int -> lty
67  val tc_sp_adj : tkind list * tyc * tyc list * int * int -> tyc  val tc_sp_adj : tkind list * tyc * tyc list * int * int -> tyc

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