Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

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 44, Sun Mar 22 20:10:57 1998 UTC revision 45, Sun Mar 22 20:11:09 1998 UTC
# Line 41  Line 41 
41    
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
45  val lt_inst_st  : lty * tyc list -> lty list   (* strict apply *)  val lt_inst_st  : lty * tyc list -> lty list   (* strict apply *)
46    val lt_pinst_st : lty * tyc list -> lty        (* strict apply *)
47    
48  exception TkTycChk  exception TkTycChk
49  exception LtyAppChk  exception LtyAppChk
# Line 61  Line 63 
63  val lt_select : lty * int -> lty  val lt_select : lty * int -> lty
64  val lt_swap : lty -> lty  val lt_swap : lty -> lty
65    
66    (** functions that manipulate the FLINT function and record types *)
67    val ltc_fkfun   : FLINT.fkind * lty list * lty list -> lty
68    val ltd_fkfun   : lty -> lty list * lty list (* fkind omitted *)
69    
70    val ltc_rkind   : FLINT.rkind * lty list -> lty
71    val ltd_rkind   : lty * int -> lty
72    
73    (** all functions below should go away soon *)
74    
75  val ltc_arw     : lty * lty -> lty  val ltc_arw     : lty * lty -> lty
76  val ltc_fun     : lty * lty -> lty  val ltc_fun     : lty * lty -> lty
77    
78  val lt_arrow    : lty -> lty * lty  val lt_arrow    : lty -> lty * lty
79  val lt_arrowN   : lty -> lty list * lty list  val lt_arrowN   : lty -> lty list * lty list
80    
81    val tc_upd_prim : tyc -> PrimOp.primop
82    
83    val tk_lty      : tkind -> lty
84    val tnarrow_gen : unit -> ((tyc -> tyc) * (lty -> lty) * (unit -> unit))
85    
86  end (* signature LTYEXTERN *)  end (* signature LTYEXTERN *)
87    

Legend:
Removed from v.44  
changed lines
  Added in v.45

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