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 23, Thu Mar 12 00:49:56 1998 UTC revision 24, Thu Mar 12 00:49:58 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
 val lt_pinst    : lty * tyc list -> lty  
44  val lt_inst_st  : lty * tyc list -> lty list   (* strict apply *)  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
# Line 63  Line 61 
61  val lt_select : lty * int -> lty  val lt_select : lty * int -> lty
62  val lt_swap : lty -> lty  val lt_swap : lty -> lty
63    
 (** functions that manipulate the FLINT function and record types *)  
 val ltc_fkfun   : FLINT.fkind * lty list * lty list -> lty  
 val ltd_fkfun   : lty -> lty list * lty list (* fkind omitted *)  
   
 val ltc_rkind   : FLINT.rkind * lty list -> lty  
 val ltd_rkind   : lty * int -> lty  
   
64  val ltc_arw     : lty * lty -> lty  val ltc_arw     : lty * lty -> lty
65  val ltc_fun     : lty * lty -> lty  val ltc_fun     : lty * lty -> lty
66    
67  val lt_arrow    : lty -> lty * lty  val lt_arrow    : lty -> lty * lty
68  val lt_arrowN   : lty -> lty list * lty list  val lt_arrowN   : lty -> lty list * lty list
69    
 val tc_upd_prim : tyc -> PrimOp.primop  
   
70  end (* signature LTYEXTERN *)  end (* signature LTYEXTERN *)
71    

Legend:
Removed from v.23  
changed lines
  Added in v.24

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