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 2030, Fri Aug 18 17:28:28 2006 UTC revision 2031, Fri Aug 18 20:55:00 2006 UTC
# Line 187  Line 187 
187    
188  (* Kind checker *)  (* Kind checker *)
189  exception LtyAppChk  exception LtyAppChk
190    
191    val tkTycGen : unit -> (tkindEnv -> tyc -> tkind)
192  val tkChkGen : unit -> (tkindEnv -> (tkind * tyc) -> unit)  val tkChkGen : unit -> (tkindEnv -> (tkind * tyc) -> unit)
193    
194  end (* signature LTY *)  end (* signature LTY *)

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

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