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-3/compiler/FLINT/kernel/ltydef.sig
ViewVC logotype

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

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

revision 2222, Tue Nov 28 22:02:39 2006 UTC revision 2389, Mon Apr 9 17:03:21 2007 UTC
# Line 189  Line 189 
189  val ltc_fct    : lty list * lty list -> lty  val ltc_fct    : lty list * lty list -> lty
190  val ltc_poly   : tkind list * lty list -> lty  val ltc_poly   : tkind list * lty list -> lty
191    
192    exception DeconExn
193    
194  (** lty deconstructors *)  (** lty deconstructors *)
195  val ltd_tyc    : lty -> tyc  val ltd_tyc    : lty -> tyc
196  val ltd_str    : lty -> lty list  val ltd_str    : lty -> lty list

Legend:
Removed from v.2222  
changed lines
  Added in v.2389

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