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/branches/SMLNJ/src/compiler/FLINT/kernel/ltyextern.sig
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/FLINT/kernel/ltyextern.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 68, Fri Apr 3 00:06:42 1998 UTC revision 69, Fri Apr 3 00:06:55 1998 UTC
# Line 42  Line 42 
42  (** instantiating a polymorphic type or an higher-order constructor *)  (** instantiating a polymorphic type or an higher-order constructor *)
43  val lt_inst     : lty * tyc list -> lty list  val lt_inst     : lty * tyc list -> lty list
44  val lt_pinst    : lty * tyc list -> lty  val lt_pinst    : lty * tyc list -> lty
 val lt_inst_st  : lty * tyc list -> lty list   (* strict apply *)  
 val lt_pinst_st : lty * tyc list -> lty        (* strict apply *)  
45    
46  exception TkTycChk  exception TkTycChk
47  exception LtyAppChk  exception LtyAppChk
48  val lt_inst_chk : lty * tyc list * tkindEnv -> lty list  val lt_inst_chk_gen : unit -> lty * tyc list * tkindEnv -> lty list
49    
50  (* special adjustment functions used during type specializations *)  (* special adjustment functions used during type specializations *)
51  val lt_sp_adj : tkind list * lty * tyc list * int * int -> lty  val lt_sp_adj : tkind list * lty * tyc list * int * int -> lty
# Line 70  Line 68 
68  val ltc_rkind   : FLINT.rkind * lty list -> lty  val ltc_rkind   : FLINT.rkind * lty list -> lty
69  val ltd_rkind   : lty * int -> lty  val ltd_rkind   : lty * int -> lty
70    
71  (** all functions below should go away soon *)  (** given a tyc, select the appropriate update primop *)
   
 val ltc_arw     : lty * lty -> lty  
 val ltc_fun     : lty * lty -> lty  
   
 val lt_arrow    : lty -> lty * lty  
 val lt_arrowN   : lty -> lty list * lty list  
   
72  val tc_upd_prim : tyc -> PrimOp.primop  val tc_upd_prim : tyc -> PrimOp.primop
73    
74    (** translating the tkind into the corresponding type *)
75  val tk_lty      : tkind -> lty  val tk_lty      : tkind -> lty
76    
77    (** twrap type translation generator, used by Wrapping.wrapping *)
78    val twrap_gen   : bool -> ((tyc -> tyc) * (lty -> lty) *
79                               (tyc -> tyc) * (lty -> lty) * (unit -> unit))
80    
81    (** tnarrow type translation generator, used by Reify.reify *)
82  val tnarrow_gen : unit -> ((tyc -> tyc) * (lty -> lty) * (unit -> unit))  val tnarrow_gen : unit -> ((tyc -> tyc) * (lty -> lty) * (unit -> unit))
83    
84  end (* signature LTYEXTERN *)  end (* signature LTYEXTERN *)

Legend:
Removed from v.68  
changed lines
  Added in v.69

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