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/primop-branch-2/src/compiler/FLINT/kernel/ltydef.sig
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/ltydef.sig

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

revision 93, Tue May 12 21:56:22 1998 UTC revision 100, Thu May 14 04:56:46 1998 UTC
# Line 202  Line 202 
202   *      | LT_STR of lty list   *      | LT_STR of lty list
203   *      | LT_FCT of lty list * lty list   *      | LT_FCT of lty list * lty list
204   *      | LT_POLY of tkind list * lty list   *      | LT_POLY of tkind list * lty list
  *      | LT_PST of (int * lty) list            (* SOON BECOME OBSOLETE *)  
205   *   *
206   * We treat lty as an abstract type so we can no longer use pattern   * We treat lty as an abstract type so we can no longer use pattern
207   * matching. The client does not need to worry about whether an lty   * matching. The client does not need to worry about whether an lty
# Line 214  Line 213 
213  val ltc_str    : lty list -> lty  val ltc_str    : lty list -> lty
214  val ltc_fct    : lty list * lty list -> lty  val ltc_fct    : lty list * lty list -> lty
215  val ltc_poly   : tkind list * lty list -> lty  val ltc_poly   : tkind list * lty list -> lty
 val ltc_pst    : (int * lty) list -> lty  
216    
217  (** lty deconstructors *)  (** lty deconstructors *)
218  val ltd_tyc    : lty -> tyc  val ltd_tyc    : lty -> tyc
219  val ltd_str    : lty -> lty list  val ltd_str    : lty -> lty list
220  val ltd_fct    : lty -> lty list * lty list  val ltd_fct    : lty -> lty list * lty list
221  val ltd_poly   : lty -> tkind list * lty list  val ltd_poly   : lty -> tkind list * lty list
 val ltd_pst    : lty -> (int * lty) list  
222    
223  (** lty predicates *)  (** lty predicates *)
224  val ltp_tyc    : lty -> bool  val ltp_tyc    : lty -> bool
225  val ltp_str    : lty -> bool  val ltp_str    : lty -> bool
226  val ltp_fct    : lty -> bool  val ltp_fct    : lty -> bool
227  val ltp_poly   : lty -> bool  val ltp_poly   : lty -> bool
 val ltp_pst    : lty -> bool  
228    
229  (** lty one arm switches *)  (** lty one arm switches *)
230  val ltw_tyc    : lty * (tyc -> 'a) * (lty -> 'a) -> 'a  val ltw_tyc    : lty * (tyc -> 'a) * (lty -> 'a) -> 'a
231  val ltw_str    : lty * (lty list -> 'a) * (lty -> 'a) -> 'a  val ltw_str    : lty * (lty list -> 'a) * (lty -> 'a) -> 'a
232  val ltw_fct    : lty * (lty list * lty list -> 'a) * (lty -> 'a) -> 'a  val ltw_fct    : lty * (lty list * lty list -> 'a) * (lty -> 'a) -> 'a
233  val ltw_poly   : lty * (tkind list * lty list -> 'a) * (lty -> 'a) -> 'a  val ltw_poly   : lty * (tkind list * lty list -> 'a) * (lty -> 'a) -> 'a
 val ltw_pst    : lty * ((int * lty) list -> 'a) * (lty -> 'a) -> 'a  
234    
235    
236  (*  (*

Legend:
Removed from v.93  
changed lines
  Added in v.100

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