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/lty.sig
ViewVC logotype

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

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

revision 2029, Fri Aug 18 16:24:18 2006 UTC revision 2030, Fri Aug 18 17:28:28 2006 UTC
# Line 185  Line 185 
185  val tc_nvars : tyc -> tvar list  val tc_nvars : tyc -> tvar list
186  val lt_nvars : lty -> tvar list  val lt_nvars : lty -> tvar list
187    
188    (* Kind checker *)
189    exception LtyAppChk
190    val tkChkGen : unit -> (tkindEnv -> (tkind * tyc) -> unit)
191    
192  end (* signature LTY *)  end (* signature LTY *)

Legend:
Removed from v.2029  
changed lines
  Added in v.2030

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