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 114, Fri Jun 5 19:41:21 1998 UTC revision 651, Thu Jun 1 18:34:03 2000 UTC
# Line 106  Line 106 
106   *   *
107   *    datatype tyc   *    datatype tyc
108   *      = TC_VAR of index * int   *      = TC_VAR of index * int
109   *      | TC_NVAR of tvar * depth * int    (* NOT USED *)   *      | TC_NVAR of tvar
110   *      | TC_PRIM of primtyc   *      | TC_PRIM of primtyc
111   *      | TC_FN of tkind list * tyc   *      | TC_FN of tkind list * tyc
112   *      | TC_APP of tyc * tyc list   *      | TC_APP of tyc * tyc list
# Line 130  Line 130 
130    
131  (** tyc constructors *)  (** tyc constructors *)
132  val tcc_var    : index * int -> tyc  val tcc_var    : index * int -> tyc
133  val tcc_nvar   : tvar * depth * int -> tyc  val tcc_nvar   : tvar -> tyc
134  val tcc_prim   : primtyc -> tyc  val tcc_prim   : primtyc -> tyc
135  val tcc_fn     : tkind list * tyc -> tyc  val tcc_fn     : tkind list * tyc -> tyc
136  val tcc_app    : tyc * tyc list -> tyc  val tcc_app    : tyc * tyc list -> tyc
# Line 146  Line 146 
146    
147  (** tyc deconstructors *)  (** tyc deconstructors *)
148  val tcd_var    : tyc -> index * int  val tcd_var    : tyc -> index * int
149  val tcd_nvar   : tyc -> tvar * depth * int  val tcd_nvar   : tyc -> tvar
150  val tcd_prim   : tyc -> primtyc  val tcd_prim   : tyc -> primtyc
151  val tcd_fn     : tyc -> tkind list * tyc  val tcd_fn     : tyc -> tkind list * tyc
152  val tcd_app    : tyc -> tyc * tyc list  val tcd_app    : tyc -> tyc * tyc list
# Line 178  Line 178 
178    
179  (** tyc one-arm switch *)  (** tyc one-arm switch *)
180  val tcw_var    : tyc * (index * int -> 'a) * (tyc -> 'a) -> 'a  val tcw_var    : tyc * (index * int -> 'a) * (tyc -> 'a) -> 'a
181  val tcw_nvar   : tyc * (tvar * depth * int -> 'a) * (tyc -> 'a) -> 'a  val tcw_nvar   : tyc * (tvar -> 'a) * (tyc -> 'a) -> 'a
182  val tcw_prim   : tyc * (primtyc -> 'a) * (tyc -> 'a) -> 'a  val tcw_prim   : tyc * (primtyc -> 'a) * (tyc -> 'a) -> 'a
183  val tcw_fn     : tyc * (tkind list * tyc -> 'a) * (tyc -> 'a) -> 'a  val tcw_fn     : tyc * (tkind list * tyc -> 'a) * (tyc -> 'a) -> 'a
184  val tcw_app    : tyc * (tyc * tyc list -> 'a) * (tyc -> 'a) -> 'a  val tcw_app    : tyc * (tyc * tyc list -> 'a) * (tyc -> 'a) -> 'a
# Line 331  Line 331 
331  val ltw_pfct   : lty * (lty * lty -> 'a) * (lty -> 'a) -> 'a  val ltw_pfct   : lty * (lty * lty -> 'a) * (lty -> 'a) -> 'a
332    
333  end (* signature LTYDEF *)  end (* signature LTYDEF *)
   
 (*  
  * $Log$  
  *)  

Legend:
Removed from v.114  
changed lines
  Added in v.651

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